Language.Haskell.TH.Helper

Special folds for the guessing

foldl1With

foldr1With

applyWith

Syntax elements

sclause

defclause

sval

case'

(->:)

instance_none

instance_default

instance_context

simple_instance

generic_instance

sigN

funN

Pattern vs Value abstraction

class NameLike nm

class Valcon a

app

class LitC a

Constructor abstraction

dataVars

vars

vrn

ctv

ctp

ctc

Lift a constructor over a fixed number of arguments.

l0

l1

l2

Pre-lifted versions of common operations

false

nil

true

hZero'

hNil'

cons

box

const'

return'

hSucc'

(&&:)

(++:)

(>>=:)

(>>:)

(.:)

ap'

(>:)

(==:)

hCons'

(++::)

(>>::)

sequence__

(.::)

(&&::)

liftmk