Language.Haskell.TH.Helper

Special folds for the guessing

applyWith

foldl1With

foldr1With

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

true

false

nil

hNil'

hZero'

unit

id'

cons

box

return'

const'

hSucc'

(==:)

(&&:)

(++:)

(>>=:)

(>>:)

(.:)

ap'

(>:)

hCons'

(&&::)

(++::)

(>>::)

sequence__

(.::)

liftmk