heftia-0.1.0.0: Higher-order version of Freer.

Index

+Data.Free.Sum
<Data.Free.Sum
<<Data.Hefty.Sum
<<|Control.Effect.Heftia
<|Control.Effect.Freer
absurdLData.Free.Sum
absurdLHData.Hefty.Sum
absurdRData.Free.Sum
absurdRHData.Hefty.Sum
absurdUnionData.Free.Union
absurdUnionHData.Hefty.Union
bundle2Control.Effect.Freer
bundle2HControl.Effect.Heftia
bundle3Control.Effect.Freer
bundle3HControl.Effect.Heftia
bundle4Control.Effect.Freer
bundle4HControl.Effect.Heftia
bundleUnion2Data.Free.Union
bundleUnion2HData.Hefty.Union
bundleUnion3Data.Free.Union
bundleUnion3HData.Hefty.Union
bundleUnion4Data.Free.Union
bundleUnion4HData.Hefty.Union
caseFData.Free.Sum
compData.Free.Union
compHData.Hefty.Union
decompData.Free.Union
decompHData.Hefty.Union
elaborateControl.Effect.Heftia
elaboratedControl.Effect.Heftia
elaborateHTControl.Heftia.Trans
elaborateMKControl.Monad.Trans.Heftia
elaborateMTControl.Monad.Trans.Heftia
ElaboratorControl.Effect.Heftia
ExtensibleUnion 
1 (Type/Class)Data.Free.Extensible
2 (Data Constructor)Data.Free.Extensible
ExtensibleUnionH 
1 (Type/Class)Data.Hefty.Extensible
2 (Data Constructor)Data.Hefty.Extensible
FieldApp 
1 (Type/Class)Data.Free.Extensible
2 (Data Constructor)Data.Free.Extensible
FieldAppH 
1 (Type/Class)Data.Hefty.Extensible
2 (Data Constructor)Data.Hefty.Extensible
findFirstMembershipData.Free.Extensible
flipFreerControl.Effect.Freer
flipFreer3Control.Effect.Freer
flipFreerUnderControl.Effect.Freer
flipHeftiaControl.Effect.Heftia
flipHeftia3Control.Effect.Heftia
flipHeftiaUnderControl.Effect.Heftia
flipUnionData.Free.Union
flipUnion3Data.Free.Union
flipUnion3HData.Hefty.Union
flipUnionHData.Hefty.Union
flipUnionUnderData.Free.Union
flipUnionUnderHData.Hefty.Union
ForallHFunctorControl.Effect.Heftia
FreControl.Effect.Freer
FreerControl.Freer
FreerChurchT 
1 (Type/Class)Control.Monad.Trans.Freer.Church
2 (Data Constructor)Control.Monad.Trans.Freer.Church
FreerEffectsControl.Effect.Freer
freerEffectsControl.Effect.Freer
freerToHeftiaControl.Heftia.Trans
FreerTreeControl.Monad.Trans.Freer.Tree
FreerTreeMonad 
1 (Type/Class)Control.Monad.Trans.Freer.Tree
2 (Data Constructor)Control.Monad.Trans.Freer.Tree
FreerTreeT 
1 (Type/Class)Control.Monad.Trans.Freer.Tree
2 (Data Constructor)Control.Monad.Trans.Freer.Tree
FreerUnion 
1 (Type/Class)Control.Effect.Freer
2 (Data Constructor)Control.Effect.Freer
FreerUnionForSend 
1 (Type/Class)Control.Effect.Freer
2 (Data Constructor)Control.Effect.Freer
HasMembershipData.Free.Union
HasMembershipHData.Hefty.Union
HCoyoneda 
1 (Type/Class)Control.Monad.Trans.Heftia.Tree
2 (Data Constructor)Control.Monad.Trans.Heftia.Tree
HefControl.Effect.Heftia
HeftiaControl.Heftia
HeftiaChurchT 
1 (Type/Class)Control.Monad.Trans.Heftia.Church
2 (Data Constructor)Control.Monad.Trans.Heftia.Church
HeftiaEffectsControl.Effect.Heftia
heftiaEffectsControl.Effect.Heftia
heftiaToFreerControl.Heftia.Trans
HeftiaUnion 
1 (Type/Class)Control.Effect.Heftia
2 (Data Constructor)Control.Effect.Heftia
HeftiaUnionForSendIns 
1 (Type/Class)Control.Effect.Heftia
2 (Data Constructor)Control.Effect.Heftia
HeftyControl.Monad.Trans.Hefty
heftyControl.Monad.Trans.Hefty
HeftyT 
1 (Type/Class)Control.Monad.Trans.Hefty
2 (Data Constructor)Control.Monad.Trans.Hefty
hoistFreerControl.Freer.Trans
hoistFreerEffectsControl.Effect.Freer
hoistHeftiaControl.Heftia.Trans
hoistHeftiaEffectsControl.Effect.Heftia
hoistInterposeControl.Effect.Heftia
injData.Free.Sum
injectData.Free.Union
inject0Data.Free.Union
inject0HData.Hefty.Union
injectHData.Hefty.Union
injectUnderData.Free.Union
injectUnder2Data.Free.Union
injectUnder2HData.Hefty.Union
injectUnder3Data.Free.Union
injectUnder3HData.Hefty.Union
injectUnderHData.Hefty.Union
injHData.Hefty.Sum
injSumData.Free.Sum
injSumHData.Hefty.Sum
insToLowerControl.Effect.Freer
interceptControl.Effect.Freer
interceptHControl.Effect.Heftia
interposeControl.Effect.Freer
interposeAllControl.Effect.Freer
interposeContTControl.Effect.Freer
interposeHControl.Effect.Heftia
interposeKControl.Effect.Freer
interposeLowerControl.Effect.Heftia
interposeLowerTControl.Freer.Trans
interposeTControl.Effect.Freer
interpretControl.Effect.Freer
interpretAllControl.Effect.Freer
interpretContTControl.Effect.Freer
interpretedControl.Effect.Freer
interpretFControl.Freer
interpretFTControl.Freer.Trans
interpretHControl.Effect.Heftia
interpretHHControl.Heftia
interpretKControl.Effect.Freer
interpretLowerControl.Effect.Freer
interpretLowerHControl.Effect.Heftia
interpretLowerHTControl.Heftia.Trans
interpretMKControl.Monad.Trans.Freer
interpretMTControl.Monad.Trans.Freer
interpretTControl.Effect.Freer
interpretTTreeControl.Monad.Trans.Freer.Tree
IsHeadInsOfData.Free.Sum
IsHeadSigOfData.Hefty.Sum
IsMemberData.Free.Union
IsMemberHData.Hefty.Union
L1Data.Free.Sum
liftHeftyControl.Monad.Trans.Hefty
liftInsControl.Freer
liftInsTControl.Freer.Trans
liftInsTreeControl.Monad.Trans.Freer.Tree
liftLowerControl.Effect.Freer
liftLowerFTControl.Freer.Trans
liftLowerHControl.Effect.Heftia
liftLowerHTControl.Heftia.Trans
liftSigControl.Heftia
liftSigTControl.Heftia.Trans
lowerToInsControl.Effect.Freer
MemberData.Free.Union
MemberHData.Hefty.Union
mergeFreerControl.Freer.Trans
mergeHeftiaControl.Heftia.Trans
MonadTransFreerControl.Monad.Trans.Freer
MonadTransHeftiaControl.Monad.Trans.Heftia
overFreerEffectsControl.Effect.Freer
overHeftiaEffectsControl.Effect.Heftia
projData.Free.Sum
projectData.Free.Union
projectHData.Hefty.Union
projHData.Hefty.Sum
projSumData.Free.Sum
projSumHData.Hefty.Sum
R1Data.Free.Sum
raiseControl.Effect.Freer
raise2Control.Effect.Freer
raise2HControl.Effect.Heftia
raise2UnderControl.Effect.Freer
raise2Under2Control.Effect.Freer
raise2Under2HControl.Effect.Heftia
raise2UnderHControl.Effect.Heftia
raise3Control.Effect.Freer
raise3HControl.Effect.Heftia
raise3UnderControl.Effect.Freer
raise3UnderHControl.Effect.Heftia
raise4Control.Effect.Freer
raise4HControl.Effect.Heftia
raiseHControl.Effect.Heftia
raiseUnderControl.Effect.Freer
raiseUnder2Control.Effect.Freer
raiseUnder2HControl.Effect.Heftia
raiseUnder3Control.Effect.Freer
raiseUnder3HControl.Effect.Heftia
raiseUnderHControl.Effect.Heftia
reelaborateHTControl.Heftia.Trans
reelaborateMKControl.Monad.Trans.Heftia
reelaborateMTControl.Monad.Trans.Heftia
reinterpretControl.Effect.Freer
reinterpretFControl.Freer
reinterpretFTControl.Freer.Trans
reinterpretHControl.Effect.Heftia
reinterpretHHControl.Heftia
reinterpretHTTViaFinalControl.Monad.Trans.Heftia
reinterpretMKControl.Monad.Trans.Freer
reinterpretMTControl.Monad.Trans.Freer
reinterpretTTViaFinalControl.Monad.Trans.Freer
retractControl.Freer
retractHControl.Heftia
rot3Data.Free.Union
rot3'Data.Free.Union
rot3HData.Hefty.Union
rot3H'Data.Hefty.Union
rotate3Control.Effect.Freer
rotate3'Control.Effect.Freer
rotate3HControl.Effect.Heftia
rotate3H'Control.Effect.Heftia
runElaborateControl.Effect.Heftia
runElaborateContTControl.Effect.Heftia
runElaborateHControl.Heftia.Trans
runElaborateKControl.Effect.Heftia
runElaborateTControl.Effect.Heftia
runFreerEffectsControl.Effect.Freer
runFreerUnionControl.Effect.Freer
runFreerUnionForSendControl.Effect.Freer
runHeftiaChurchTControl.Monad.Trans.Heftia.Church
runHeftiaEffectsControl.Effect.Heftia
runHeftiaUnionControl.Effect.Heftia
runHeftiaUnionForSendInsControl.Effect.Heftia
runHeftyControl.Monad.Trans.Hefty
runHeftyTControl.Monad.Trans.Hefty
runInterpretControl.Effect.Freer
runInterpretFControl.Freer.Trans
runIOControl.Effect.Freer
runViaLiftLowerControl.Monad.Trans.Freer
runViaLiftLowerHControl.Monad.Trans.Heftia
splitFreerControl.Freer.Trans
splitFreerEffectsControl.Effect.Freer
subsume 
1 (Function)Control.Effect.Freer
2 (Function)Control.Effect.Heftia
subsumeLowerControl.Effect.Freer
SumData.Free.Sum
SumHData.Hefty.Sum
SumMemberData.Free.Sum
SumMemberHData.Hefty.Sum
SumUnion 
1 (Type/Class)Data.Free.Sum
2 (Data Constructor)Data.Free.Sum
SumUnionH 
1 (Type/Class)Data.Hefty.Sum
2 (Data Constructor)Data.Hefty.Sum
swapSumData.Free.Sum
swapSumHData.Hefty.Sum
transformControl.Effect.Freer
transformAllControl.Effect.Freer
transformAllHControl.Effect.Heftia
transformFControl.Freer
transformHControl.Effect.Heftia
transformHTControl.Heftia.Trans
transformTControl.Freer.Trans
TransFreerControl.Freer.Trans
TransHeftiaControl.Heftia.Trans
translateControl.Effect.Heftia
translateAllControl.Effect.Heftia
translateHHControl.Heftia
translateTControl.Heftia.Trans
TypeIndexData.Free.Extensible
unbundle2Control.Effect.Freer
unbundle2HControl.Effect.Heftia
unbundle3Control.Effect.Freer
unbundle3HControl.Effect.Heftia
unbundle4Control.Effect.Freer
unbundle4HControl.Effect.Heftia
unbundleUnion2Data.Free.Union
unbundleUnion2HData.Hefty.Union
unbundleUnion3Data.Free.Union
unbundleUnion3HData.Hefty.Union
unbundleUnion4Data.Free.Union
unbundleUnion4HData.Hefty.Union
unExtensibleUnionData.Free.Extensible
unExtensibleUnionHData.Hefty.Extensible
unFieldAppData.Free.Extensible
unFieldAppHData.Hefty.Extensible
unFreerChurchTControl.Monad.Trans.Freer.Church
unFreerEffectsControl.Effect.Freer
unFreerTreeMonadControl.Monad.Trans.Freer.Tree
unFreerTreeTControl.Monad.Trans.Freer.Tree
unHCoyonedaControl.Monad.Trans.Heftia.Tree
unHeftiaChurchTControl.Monad.Trans.Heftia.Church
unHeftiaEffectsControl.Effect.Heftia
UnionData.Free.Union
UnionHData.Hefty.Union
unSumUnionData.Free.Sum
unSumUnionHData.Hefty.Sum
untagControl.Effect.Freer
untagHControl.Effect.Heftia
ViaLiftLower 
1 (Type/Class)Control.Monad.Trans.Freer
2 (Data Constructor)Control.Monad.Trans.Freer
ViaLiftLowerH 
1 (Type/Class)Control.Monad.Trans.Heftia
2 (Data Constructor)Control.Monad.Trans.Heftia
weakenData.Free.Union
weaken2Data.Free.Union
weaken2HData.Hefty.Union
weaken2UnderData.Free.Union
weaken2Under2Data.Free.Union
weaken2Under2HData.Hefty.Union
weaken2UnderHData.Hefty.Union
weaken3Data.Free.Union
weaken3HData.Hefty.Union
weaken3UnderData.Free.Union
weaken3UnderHData.Hefty.Union
weaken4Data.Free.Union
weaken4HData.Hefty.Union
weakenHData.Hefty.Union
weakenUnderData.Free.Union
weakenUnder2Data.Free.Union
weakenUnder2HData.Hefty.Union
weakenUnder3Data.Free.Union
weakenUnder3HData.Hefty.Union
weakenUnderHData.Hefty.Union
|+:Data.Hefty.Union
|+|:Data.Free.Union