free-functors-0.4: Provides free functors that are 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
coiterData.Functor.HCofree
convert 
1 (Function)Data.Functor.HFree
2 (Function)Data.Functor.Free
3 (Function)Data.Functor.Cofree
convertClosedData.Functor.Free
CoproductData.Functor.Free
coproductData.Functor.Free
counit 
1 (Function)Data.Functor.HFree
2 (Function)Data.Functor.HCofree
3 (Function)Data.Functor.Free
4 (Function)Data.Functor.Cofree
Free 
1 (Type/Class)Data.Functor.Free
2 (Data Constructor)Data.Functor.Free
getLiftAFreeData.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
initialData.Functor.Free
InitialObjectData.Functor.Free
inLData.Functor.Free
inRData.Functor.Free
iterData.Functor.HFree
leftAdjunct 
1 (Function)Data.Functor.HFree
2 (Function)Data.Functor.HCofree
3 (Function)Data.Functor.Free
4 (Function)Data.Functor.Cofree
leftAdjunctFData.Functor.Cofree
LiftAFree 
1 (Type/Class)Data.Functor.Free
2 (Data Constructor)Data.Functor.Free
liftCofreeData.Functor.HCofree
liftFreeData.Functor.HFree
lowerCofreeData.Functor.HCofree
lowerFreeData.Functor.HFree
rightAdjunct 
1 (Function)Data.Functor.HFree
2 (Function)Data.Functor.HCofree
3 (Function)Data.Functor.Free
4 (Function)Data.Functor.Cofree
rightAdjunctFData.Functor.Free
rightAdjunctTData.Functor.Free
runFreeData.Functor.Free
runHFreeData.Functor.HFree
unit 
1 (Function)Data.Functor.HFree
2 (Function)Data.Functor.HCofree
3 (Function)Data.Functor.Free
4 (Function)Data.Functor.Cofree
unwrapData.Functor.HCofree
wrapData.Functor.HFree