Generics.Pointless.Combinators

Type annotations

data Ann a

ann

vnn

Terminal object

_L

data One

Points

bang

pnt

Products

(/\)

(><)

Sums

inl

inr

(\/)

(-|-)

(<>)

Exponentials

app

lexp

rexp

(!)

Guards

grd

(?)

(??)

Point-free definitions of uncurried versions of the basic combinators

split

eithr

comp

orf

andf

or

and

eq

neq

Point-free isomorphic combinators

swap

coswap

distl

undistl

distr

undistr

assocl

assocr

coassocl

coassocr

subr

subl

cosubr

cosubl

distp

dists