Contents
Index
free-functors-0.6.5: Free functors, adjoint to functors that forget class constraints.
Index
:~>
1 (Type/Class)
Data.Functor.HFree
2 (Type/Class)
Data.Functor.HCofree
Cofree
1 (Type/Class)
Data.Functor.Cofree
2 (Data Constructor)
Data.Functor.Cofree
coiter
Data.Functor.HCofree
convert
1 (Function)
Data.Functor.HFree
2 (Function)
Data.Functor.HCofree
3 (Function)
Data.Functor.Free
4 (Function)
Data.Functor.Cofree
convertClosed
Data.Functor.Free
Coproduct
Data.Functor.Free
coproduct
Data.Functor.Free
counit
1 (Function)
Data.Functor.HFree
2 (Function)
Data.Functor.HCofree
3 (Function)
Data.Functor.Free
4 (Function)
Data.Functor.Cofree
deriveInstances
Data.Functor.Free
Free
1 (Type/Class)
Data.Functor.Free
2 (Data Constructor)
Data.Functor.Free
HCofree
1 (Type/Class)
Data.Functor.HCofree
2 (Data Constructor)
Data.Functor.HCofree
hfmap
1 (Function)
Data.Functor.HFree
2 (Function)
Data.Functor.HCofree
HFree
1 (Type/Class)
Data.Functor.HFree
2 (Data Constructor)
Data.Functor.HFree
initial
Data.Functor.Free
InitialObject
Data.Functor.Free
inL
Data.Functor.Free
inR
Data.Functor.Free
iter
Data.Functor.HFree
leftAdjunct
1 (Function)
Data.Functor.HFree
2 (Function)
Data.Functor.HCofree
3 (Function)
Data.Functor.Free
4 (Function)
Data.Functor.Cofree
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.HFree
2 (Function)
Data.Functor.HCofree
3 (Function)
Data.Functor.Free
4 (Function)
Data.Functor.Cofree
rightAdjunctF
Data.Functor.Free
rightAdjunctT
Data.Functor.Free
runFree
Data.Functor.Free
runHFree
Data.Functor.HFree
terminal
Data.Functor.Cofree
TerminalObject
Data.Functor.Cofree
transform
Data.Functor.Free
unfold
Data.Functor.Free
unit
1 (Function)
Data.Functor.HFree
2 (Function)
Data.Functor.HCofree
3 (Function)
Data.Functor.Free
4 (Function)
Data.Functor.Cofree
unwrap
Data.Functor.HCofree
wrap
Data.Functor.HFree