heftia-0.1.0.0: Higher-order version of Freer.
Contents
Index
Index
+
Data.Free.Sum
<
Data.Free.Sum
<<
Data.Hefty.Sum
<<|
Control.Effect.Heftia
<|
Control.Effect.Freer
absurdL
Data.Free.Sum
absurdLH
Data.Hefty.Sum
absurdR
Data.Free.Sum
absurdRH
Data.Hefty.Sum
absurdUnion
Data.Free.Union
absurdUnionH
Data.Hefty.Union
bundle2
Control.Effect.Freer
bundle2H
Control.Effect.Heftia
bundle3
Control.Effect.Freer
bundle3H
Control.Effect.Heftia
bundle4
Control.Effect.Freer
bundle4H
Control.Effect.Heftia
bundleUnion2
Data.Free.Union
bundleUnion2H
Data.Hefty.Union
bundleUnion3
Data.Free.Union
bundleUnion3H
Data.Hefty.Union
bundleUnion4
Data.Free.Union
bundleUnion4H
Data.Hefty.Union
caseF
Data.Free.Sum
comp
Data.Free.Union
compH
Data.Hefty.Union
decomp
Data.Free.Union
decompH
Data.Hefty.Union
elaborate
Control.Effect.Heftia
elaborated
Control.Effect.Heftia
elaborateHT
Control.Heftia.Trans
elaborateMK
Control.Monad.Trans.Heftia
elaborateMT
Control.Monad.Trans.Heftia
Elaborator
Control.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
findFirstMembership
Data.Free.Extensible
flipFreer
Control.Effect.Freer
flipFreer3
Control.Effect.Freer
flipFreerUnder
Control.Effect.Freer
flipHeftia
Control.Effect.Heftia
flipHeftia3
Control.Effect.Heftia
flipHeftiaUnder
Control.Effect.Heftia
flipUnion
Data.Free.Union
flipUnion3
Data.Free.Union
flipUnion3H
Data.Hefty.Union
flipUnionH
Data.Hefty.Union
flipUnionUnder
Data.Free.Union
flipUnionUnderH
Data.Hefty.Union
ForallHFunctor
Control.Effect.Heftia
Fre
Control.Effect.Freer
Freer
Control.Freer
FreerChurchT
1 (Type/Class)
Control.Monad.Trans.Freer.Church
2 (Data Constructor)
Control.Monad.Trans.Freer.Church
FreerEffects
Control.Effect.Freer
freerEffects
Control.Effect.Freer
freerToHeftia
Control.Heftia.Trans
FreerTree
Control.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
HasMembership
Data.Free.Union
HasMembershipH
Data.Hefty.Union
HCoyoneda
1 (Type/Class)
Control.Monad.Trans.Heftia.Tree
2 (Data Constructor)
Control.Monad.Trans.Heftia.Tree
Hef
Control.Effect.Heftia
Heftia
Control.Heftia
HeftiaChurchT
1 (Type/Class)
Control.Monad.Trans.Heftia.Church
2 (Data Constructor)
Control.Monad.Trans.Heftia.Church
HeftiaEffects
Control.Effect.Heftia
heftiaEffects
Control.Effect.Heftia
heftiaToFreer
Control.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
Hefty
Control.Monad.Trans.Hefty
hefty
Control.Monad.Trans.Hefty
HeftyT
1 (Type/Class)
Control.Monad.Trans.Hefty
2 (Data Constructor)
Control.Monad.Trans.Hefty
hoistFreer
Control.Freer.Trans
hoistFreerEffects
Control.Effect.Freer
hoistHeftia
Control.Heftia.Trans
hoistHeftiaEffects
Control.Effect.Heftia
hoistInterpose
Control.Effect.Heftia
inj
Data.Free.Sum
inject
Data.Free.Union
inject0
Data.Free.Union
inject0H
Data.Hefty.Union
injectH
Data.Hefty.Union
injectUnder
Data.Free.Union
injectUnder2
Data.Free.Union
injectUnder2H
Data.Hefty.Union
injectUnder3
Data.Free.Union
injectUnder3H
Data.Hefty.Union
injectUnderH
Data.Hefty.Union
injH
Data.Hefty.Sum
injSum
Data.Free.Sum
injSumH
Data.Hefty.Sum
insToLower
Control.Effect.Freer
intercept
Control.Effect.Freer
interceptH
Control.Effect.Heftia
interpose
Control.Effect.Freer
interposeAll
Control.Effect.Freer
interposeContT
Control.Effect.Freer
interposeH
Control.Effect.Heftia
interposeK
Control.Effect.Freer
interposeLower
Control.Effect.Heftia
interposeLowerT
Control.Freer.Trans
interposeT
Control.Effect.Freer
interpret
Control.Effect.Freer
interpretAll
Control.Effect.Freer
interpretContT
Control.Effect.Freer
interpreted
Control.Effect.Freer
interpretF
Control.Freer
interpretFT
Control.Freer.Trans
interpretH
Control.Effect.Heftia
interpretHH
Control.Heftia
interpretK
Control.Effect.Freer
interpretLower
Control.Effect.Freer
interpretLowerH
Control.Effect.Heftia
interpretLowerHT
Control.Heftia.Trans
interpretMK
Control.Monad.Trans.Freer
interpretMT
Control.Monad.Trans.Freer
interpretT
Control.Effect.Freer
interpretTTree
Control.Monad.Trans.Freer.Tree
IsHeadInsOf
Data.Free.Sum
IsHeadSigOf
Data.Hefty.Sum
IsMember
Data.Free.Union
IsMemberH
Data.Hefty.Union
L1
Data.Free.Sum
liftHefty
Control.Monad.Trans.Hefty
liftIns
Control.Freer
liftInsT
Control.Freer.Trans
liftInsTree
Control.Monad.Trans.Freer.Tree
liftLower
Control.Effect.Freer
liftLowerFT
Control.Freer.Trans
liftLowerH
Control.Effect.Heftia
liftLowerHT
Control.Heftia.Trans
liftSig
Control.Heftia
liftSigT
Control.Heftia.Trans
lowerToIns
Control.Effect.Freer
Member
Data.Free.Union
MemberH
Data.Hefty.Union
mergeFreer
Control.Freer.Trans
mergeHeftia
Control.Heftia.Trans
MonadTransFreer
Control.Monad.Trans.Freer
MonadTransHeftia
Control.Monad.Trans.Heftia
overFreerEffects
Control.Effect.Freer
overHeftiaEffects
Control.Effect.Heftia
proj
Data.Free.Sum
project
Data.Free.Union
projectH
Data.Hefty.Union
projH
Data.Hefty.Sum
projSum
Data.Free.Sum
projSumH
Data.Hefty.Sum
R1
Data.Free.Sum
raise
Control.Effect.Freer
raise2
Control.Effect.Freer
raise2H
Control.Effect.Heftia
raise2Under
Control.Effect.Freer
raise2Under2
Control.Effect.Freer
raise2Under2H
Control.Effect.Heftia
raise2UnderH
Control.Effect.Heftia
raise3
Control.Effect.Freer
raise3H
Control.Effect.Heftia
raise3Under
Control.Effect.Freer
raise3UnderH
Control.Effect.Heftia
raise4
Control.Effect.Freer
raise4H
Control.Effect.Heftia
raiseH
Control.Effect.Heftia
raiseUnder
Control.Effect.Freer
raiseUnder2
Control.Effect.Freer
raiseUnder2H
Control.Effect.Heftia
raiseUnder3
Control.Effect.Freer
raiseUnder3H
Control.Effect.Heftia
raiseUnderH
Control.Effect.Heftia
reelaborateHT
Control.Heftia.Trans
reelaborateMK
Control.Monad.Trans.Heftia
reelaborateMT
Control.Monad.Trans.Heftia
reinterpret
Control.Effect.Freer
reinterpretF
Control.Freer
reinterpretFT
Control.Freer.Trans
reinterpretH
Control.Effect.Heftia
reinterpretHH
Control.Heftia
reinterpretHTTViaFinal
Control.Monad.Trans.Heftia
reinterpretMK
Control.Monad.Trans.Freer
reinterpretMT
Control.Monad.Trans.Freer
reinterpretTTViaFinal
Control.Monad.Trans.Freer
retract
Control.Freer
retractH
Control.Heftia
rot3
Data.Free.Union
rot3'
Data.Free.Union
rot3H
Data.Hefty.Union
rot3H'
Data.Hefty.Union
rotate3
Control.Effect.Freer
rotate3'
Control.Effect.Freer
rotate3H
Control.Effect.Heftia
rotate3H'
Control.Effect.Heftia
runElaborate
Control.Effect.Heftia
runElaborateContT
Control.Effect.Heftia
runElaborateH
Control.Heftia.Trans
runElaborateK
Control.Effect.Heftia
runElaborateT
Control.Effect.Heftia
runFreerEffects
Control.Effect.Freer
runFreerUnion
Control.Effect.Freer
runFreerUnionForSend
Control.Effect.Freer
runHeftiaChurchT
Control.Monad.Trans.Heftia.Church
runHeftiaEffects
Control.Effect.Heftia
runHeftiaUnion
Control.Effect.Heftia
runHeftiaUnionForSendIns
Control.Effect.Heftia
runHefty
Control.Monad.Trans.Hefty
runHeftyT
Control.Monad.Trans.Hefty
runInterpret
Control.Effect.Freer
runInterpretF
Control.Freer.Trans
runIO
Control.Effect.Freer
runViaLiftLower
Control.Monad.Trans.Freer
runViaLiftLowerH
Control.Monad.Trans.Heftia
splitFreer
Control.Freer.Trans
splitFreerEffects
Control.Effect.Freer
subsume
1 (Function)
Control.Effect.Freer
2 (Function)
Control.Effect.Heftia
subsumeLower
Control.Effect.Freer
Sum
Data.Free.Sum
SumH
Data.Hefty.Sum
SumMember
Data.Free.Sum
SumMemberH
Data.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
swapSum
Data.Free.Sum
swapSumH
Data.Hefty.Sum
transform
Control.Effect.Freer
transformAll
Control.Effect.Freer
transformAllH
Control.Effect.Heftia
transformF
Control.Freer
transformH
Control.Effect.Heftia
transformHT
Control.Heftia.Trans
transformT
Control.Freer.Trans
TransFreer
Control.Freer.Trans
TransHeftia
Control.Heftia.Trans
translate
Control.Effect.Heftia
translateAll
Control.Effect.Heftia
translateHH
Control.Heftia
translateT
Control.Heftia.Trans
TypeIndex
Data.Free.Extensible
unbundle2
Control.Effect.Freer
unbundle2H
Control.Effect.Heftia
unbundle3
Control.Effect.Freer
unbundle3H
Control.Effect.Heftia
unbundle4
Control.Effect.Freer
unbundle4H
Control.Effect.Heftia
unbundleUnion2
Data.Free.Union
unbundleUnion2H
Data.Hefty.Union
unbundleUnion3
Data.Free.Union
unbundleUnion3H
Data.Hefty.Union
unbundleUnion4
Data.Free.Union
unbundleUnion4H
Data.Hefty.Union
unExtensibleUnion
Data.Free.Extensible
unExtensibleUnionH
Data.Hefty.Extensible
unFieldApp
Data.Free.Extensible
unFieldAppH
Data.Hefty.Extensible
unFreerChurchT
Control.Monad.Trans.Freer.Church
unFreerEffects
Control.Effect.Freer
unFreerTreeMonad
Control.Monad.Trans.Freer.Tree
unFreerTreeT
Control.Monad.Trans.Freer.Tree
unHCoyoneda
Control.Monad.Trans.Heftia.Tree
unHeftiaChurchT
Control.Monad.Trans.Heftia.Church
unHeftiaEffects
Control.Effect.Heftia
Union
Data.Free.Union
UnionH
Data.Hefty.Union
unSumUnion
Data.Free.Sum
unSumUnionH
Data.Hefty.Sum
untag
Control.Effect.Freer
untagH
Control.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
weaken
Data.Free.Union
weaken2
Data.Free.Union
weaken2H
Data.Hefty.Union
weaken2Under
Data.Free.Union
weaken2Under2
Data.Free.Union
weaken2Under2H
Data.Hefty.Union
weaken2UnderH
Data.Hefty.Union
weaken3
Data.Free.Union
weaken3H
Data.Hefty.Union
weaken3Under
Data.Free.Union
weaken3UnderH
Data.Hefty.Union
weaken4
Data.Free.Union
weaken4H
Data.Hefty.Union
weakenH
Data.Hefty.Union
weakenUnder
Data.Free.Union
weakenUnder2
Data.Free.Union
weakenUnder2H
Data.Hefty.Union
weakenUnder3
Data.Free.Union
weakenUnder3H
Data.Hefty.Union
weakenUnderH
Data.Hefty.Union
|+:
Data.Hefty.Union
|+|:
Data.Free.Union