multirec-0.2: Generic programming with systems of recursive datatypesContentsIndex
Search:
&
1 (Function)
2 (Function)
3 (Function)
4 (Function)
:*:
1 (Type/Class)
2 (Data Constructor)
:+:
:->
1 (Type/Class)
2 (Type/Class)
:>:
Alg
1 (Type/Class)
2 (Type/Class)
alg
1 (Function)
2 (Function)
Algebra
1 (Type/Class)
2 (Type/Class)
3 (Type/Class)
4 (Type/Class)
Algebra'
1 (Type/Class)
2 (Type/Class)
AlgebraF
1 (Type/Class)
2 (Type/Class)
AlgebraF'
1 (Type/Class)
2 (Type/Class)
AlgPart
1 (Type/Class)
2 (Type/Class)
Associativity
C
1 (Type/Class)
2 (Data Constructor)
CoAlgebra
1 (Type/Class)
2 (Type/Class)
CoAlgebra'
1 (Type/Class)
2 (Type/Class)
CoAlgebraF
1 (Type/Class)
2 (Type/Class)
CoAlgebraF'
1 (Type/Class)
2 (Type/Class)
compos
composA
composM
con
1 (Function)
2 (Function)
conFixity
conName
ConNames
conNames
Constructor
deriveConstructors
deriveIx
derivePF
deriveSystem
eq
Fixity
Fold
1 (Type/Class)
2 (Type/Class)
fold
1 (Function)
2 (Function)
3 (Function)
4 (Function)
foldM
1 (Function)
2 (Function)
fold_
1 (Function)
2 (Function)
from
from_
hconNames
HEq
heq
HFix
hfrom
HFunctor
HIn
hmap
hmapA
hmapM
hout
HShow
hShowsPrecAlg
hShowsPrecAlg_
hto
I
1 (Type/Class)
2 (Data Constructor)
I0
1 (Type/Class)
2 (Data Constructor)
index
Infix
Ix
K
1 (Type/Class)
2 (Data Constructor)
K0
1 (Type/Class)
2 (Data Constructor)
L
LeftAssociative
NotAssociative
para
1 (Function)
2 (Function)
ParaAlgebra
1 (Type/Class)
2 (Type/Class)
ParaAlgebra'
1 (Type/Class)
2 (Type/Class)
ParaAlgebraF
1 (Type/Class)
2 (Type/Class)
ParaAlgebraF'
1 (Type/Class)
2 (Type/Class)
paraM
1 (Function)
2 (Function)
PF
Prefix
R
RightAssociative
show
showsPrec
spaces
Str
Tag
tag
1 (Function)
2 (Function)
to
to_
U
1 (Type/Class)
2 (Data Constructor)
unC
unfold
1 (Function)
2 (Function)
unfoldM
1 (Function)
2 (Function)
unI
unI0
unK
unK0
unTag