free-functors-1.2.1: Free functors, adjoint to functors that forget class constraints.
Contents
Index
Index
:~>
1 (Type/Class)
Data.Functor.HCofree
2 (Type/Class)
Data.Functor.HFree
:~~>
1 (Type/Class)
Data.Functor.HHCofree
2 (Type/Class)
Data.Functor.HHFree
bind
1 (Function)
Data.Functor.HFree
2 (Function)
Data.Functor.HHFree
Cofree
1 (Type/Class)
Data.Functor.Cofree
2 (Data Constructor)
Data.Functor.Cofree
cofreeDeriv
Data.Functor.Cofree.Internal
coiter
Data.Functor.HCofree
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.HHCofree
6 (Function)
Data.Functor.HHFree
deriveCofreeInstance
Data.Functor.Cofree
deriveCofreeInstance'
Data.Functor.Cofree.Internal
deriveFreeInstance
Data.Functor.Free
deriveFreeInstance'
Data.Functor.Free.Internal
deriveHCofreeInstance
Data.Functor.HCofree
deriveHFreeInstance
Data.Functor.HFree
deriveHHCofreeInstance
Data.Functor.HHCofree
deriveHHFreeInstance
Data.Functor.HHFree
deriveInstances
Data.Functor.Free
deriveInstances'
Data.Functor.Free.Internal
Duplicate
1 (Type/Class)
Data.Functor.Free
2 (Data Constructor)
Data.Functor.Free
Extract
1 (Type/Class)
Data.Functor.Free
2 (Data Constructor)
Data.Functor.Free
Free
1 (Type/Class)
Data.Functor.Free
2 (Data Constructor)
Data.Functor.Free
freeDeriv
Data.Functor.Free.Internal
getDuplicate
Data.Functor.Free
getExtract
Data.Functor.Free
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.HHCofree
4 (Function)
Data.Functor.HHFree
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
iter
Data.Functor.HFree
kExp
1 (Function)
Data.Functor.Cofree.Internal
2 (Function)
Data.Functor.Free.Internal
kPat
1 (Function)
Data.Functor.Cofree.Internal
2 (Function)
Data.Functor.Free.Internal
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.HHCofree
6 (Function)
Data.Functor.HHFree
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.HHCofree
6 (Function)
Data.Functor.HHFree
runFree
Data.Functor.Free
runHFree
Data.Functor.HFree
runHHFree
Data.Functor.HHFree
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.HHCofree
5 (Function)
Data.Functor.HHFree
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.HHCofree
6 (Function)
Data.Functor.HHFree
unwrap
Data.Functor.HCofree
wrap
Data.Functor.HFree
~=>
1 (Type/Class)
Data.Functor.Cofree.Internal
2 (Type/Class)
Data.Functor.Free.Internal