multirec-0.1: Generic programming with systems of recursive datatypesContentsIndex
Search:
&
:*:
1 (Type/Class)
2 (Data Constructor)
:+:
:->
:>:
Algebra
AlgPart
CoAlgebra
compos
composA
composM
eq
fold
from
from_
HEq
heq
HFunctor
hmap
hmapA
hmapM
I
1 (Type/Class)
2 (Data Constructor)
I0
1 (Type/Class)
2 (Data Constructor)
index
Ix
K
1 (Type/Class)
2 (Data Constructor)
K0
1 (Type/Class)
2 (Data Constructor)
L
para
ParaAlgebra
PF
R
Str
Tag
tag
to
to_
unfold
unI
unI0
unK
unK0
unTag