free-functors-0.8.3: Free functors, adjoint to functors that forget class constraints. (Index)

free-functors-0.8.3: Free functors, adjoint to functors that forget class constraints.

Index

++	Data.Constraint.Class1
:~>
1 (Type/Class)	Data.Functor.HCofree
2 (Type/Class)	Data.Functor.HFree
:~~>
1 (Type/Class)	Data.Functor.HHFree
2 (Type/Class)	Data.Functor.HHCofree
bind
1 (Function)	Data.Functor.HFree
2 (Function)	Data.Functor.HHFree
Cofree
1 (Type/Class)	Data.Functor.Cofree
2 (Data Constructor)	Data.Functor.Cofree
coiter	Data.Functor.HCofree
containsSelf	Data.Constraint.Class1
convert
1 (Function)	Data.Functor.Cofree
2 (Function)	Data.Functor.Free
3 (Function)	Data.Functor.HCofree
4 (Function)	Data.Functor.HFree
convertClosed	Data.Functor.Free
Coproduct	Data.Functor.Free
coproduct	Data.Functor.Free
counit
1 (Function)	Data.Functor.Cofree
2 (Function)	Data.Functor.Free
3 (Function)	Data.Functor.HCofree
4 (Function)	Data.Functor.HFree
5 (Function)	Data.Functor.HHFree
6 (Function)	Data.Functor.HHCofree
deriveInstances	Data.Functor.Free
Duplicate
1 (Type/Class)	Data.Functor.Free
2 (Data Constructor)	Data.Functor.Free
Elem	Data.Constraint.Class1
Extract
1 (Type/Class)	Data.Functor.Free
2 (Data Constructor)	Data.Functor.Free
FoldConstraints	Data.Constraint.Class1
Free
1 (Type/Class)	Data.Functor.Free
2 (Data Constructor)	Data.Functor.Free
getDuplicate	Data.Functor.Free
getExtract	Data.Functor.Free
HasSuperClasses	Data.Constraint.Class1
HCofree
1 (Type/Class)	Data.Functor.HCofree
2 (Data Constructor)	Data.Functor.HCofree
hextend
1 (Function)	Data.Functor.HCofree
2 (Function)	Data.Functor.HHCofree
hfmap
1 (Function)	Data.Functor.HCofree
2 (Function)	Data.Functor.HFree
3 (Function)	Data.Functor.HHFree
4 (Function)	Data.Functor.HHCofree
HFree
1 (Type/Class)	Data.Functor.HFree
2 (Data Constructor)	Data.Functor.HFree
HHCofree
1 (Type/Class)	Data.Functor.HHCofree
2 (Data Constructor)	Data.Functor.HHCofree
HHFree
1 (Type/Class)	Data.Functor.HHFree
2 (Data Constructor)	Data.Functor.HHFree
initial	Data.Functor.Free
InitialObject	Data.Functor.Free
inL	Data.Functor.Free
inR	Data.Functor.Free
isElem	Data.Constraint.Class1
IsSubset	Data.Constraint.Class1
isSubset	Data.Constraint.Class1
iter	Data.Functor.HFree
leftAdjunct
1 (Function)	Data.Functor.Cofree
2 (Function)	Data.Functor.Free
3 (Function)	Data.Functor.HCofree
4 (Function)	Data.Functor.HFree
5 (Function)	Data.Functor.HHFree
6 (Function)	Data.Functor.HHCofree
leftAdjunctF	Data.Functor.Cofree
liftCofree	Data.Functor.HCofree
liftFree	Data.Functor.HFree
lowerCofree	Data.Functor.HCofree
lowerFree	Data.Functor.HFree
outL	Data.Functor.Cofree
outR	Data.Functor.Cofree
Product	Data.Functor.Cofree
product	Data.Functor.Cofree
rightAdjunct
1 (Function)	Data.Functor.Cofree
2 (Function)	Data.Functor.Free
3 (Function)	Data.Functor.HCofree
4 (Function)	Data.Functor.HFree
5 (Function)	Data.Functor.HHFree
6 (Function)	Data.Functor.HHCofree
rightAdjunctF	Data.Functor.Free
runFree	Data.Functor.Free
runHFree	Data.Functor.HFree
runHHFree	Data.Functor.HHFree
scls1	Data.Constraint.Class1
ShowHelper	Data.Functor.Free
ShowRec	Data.Functor.Free
ShowUnit	Data.Functor.Free
Subset	Data.Constraint.Class1
SuperClass1	Data.Constraint.Class1
SuperClasses	Data.Constraint.Class1
superClasses	Data.Constraint.Class1
terminal	Data.Functor.Cofree
TerminalObject	Data.Functor.Cofree
transform
1 (Function)	Data.Functor.Free
2 (Function)	Data.Functor.HCofree
3 (Function)	Data.Functor.HFree
4 (Function)	Data.Functor.HHFree
5 (Function)	Data.Functor.HHCofree
unfold	Data.Functor.Free
unit
1 (Function)	Data.Functor.Cofree
2 (Function)	Data.Functor.Free
3 (Function)	Data.Functor.HCofree
4 (Function)	Data.Functor.HFree
5 (Function)	Data.Functor.HHFree
6 (Function)	Data.Functor.HHCofree
unwrap	Data.Functor.HCofree
wrap	Data.Functor.HFree