heftia-0.7.0.0: higher-order algebraic effects done right

Index

!++Control.Monad.Hefty, Data.Effect.OpenUnion
!:Control.Monad.Hefty, Data.Effect.OpenUnion
!:>Data.Effect.OpenUnion
#Control.Monad.Hefty, Data.Effect.Tag
$Control.Monad.Hefty, Control.Effect
$$Control.Monad.Hefty, Control.Effect
&Control.Monad.Hefty, Data.Effect.TH
++Control.Monad.Hefty, Data.Effect.OpenUnion
:<Control.Monad.Hefty, Data.Effect.HFunctor.TH, Data.Effect.TH
:>Control.Monad.Hefty, Data.Effect.OpenUnion
:|Data.FTCQueue
><Data.FTCQueue
AlgHandlerControl.Monad.Hefty.Types, Control.Monad.Hefty
appendData.FTCQueue
Ask 
1 (Type/Class)Control.Monad.Hefty, Data.Effect
2 (Data Constructor)Control.Monad.Hefty, Data.Effect
AskLabelControl.Monad.Hefty, Data.Effect
AtData.Effect.OpenUnion
bundleUnionData.Effect.OpenUnion
callCC_Control.Monad.Hefty, Control.Effect
caseAnyOrderData.Effect.OpenUnion
Catch 
1 (Type/Class)Control.Monad.Hefty, Data.Effect
2 (Data Constructor)Control.Monad.Hefty, Data.Effect
CatchLabelControl.Monad.Hefty, Data.Effect
CCControl.Monad.Hefty, Data.Effect
CCLabelControl.Monad.Hefty, Data.Effect
CensorControl.Monad.Hefty, Data.Effect
Choose 
1 (Type/Class)Control.Monad.Hefty, Data.Effect
2 (Data Constructor)Control.Monad.Hefty, Data.Effect
ChooseH 
1 (Type/Class)Control.Monad.Hefty, Data.Effect
2 (Data Constructor)Control.Monad.Hefty, Data.Effect
ChooseHLabelControl.Monad.Hefty, Data.Effect
ChooseLabelControl.Monad.Hefty, Data.Effect
coerceFOEsData.Effect.OpenUnion
compareMembershipData.Effect.OpenUnion
continuationOfInterpretationData.Effect.OpenUnion
convertEffControl.Monad.Hefty, Control.Effect
convertFreeControl.Monad.Hefty, Control.Effect
decompData.Effect.OpenUnion
defControl.Monad.Hefty, Data.Effect.TH
DefaultControl.Monad.Hefty, Data.Effect.TH
deriveHFunctorControl.Monad.Hefty, Data.Effect.TH
DiscriminatorData.Effect.OpenUnion
doesGenerateLabelControl.Monad.Hefty, Data.Effect.TH
doesGenerateOrderInstanceControl.Monad.Hefty, Data.Effect.TH
doesGeneratePerformerSignatureControl.Monad.Hefty, Data.Effect.TH
EachData.Effect.OpenUnion
Eff 
1 (Type/Class)Control.Effect
2 (Data Constructor)Control.Effect
3 (Type/Class)Control.Monad.Hefty.Types, Control.Monad.Hefty
EffectControl.Monad.Hefty, Data.Effect
EffectConf 
1 (Type/Class)Control.Monad.Hefty, Data.Effect.TH
2 (Data Constructor)Control.Monad.Hefty, Data.Effect.TH
EffectFormControl.Monad.Hefty, Data.Effect
effectMakersControl.Monad.Hefty, Data.Effect.TH
EffectOrderControl.Monad.Hefty, Data.Effect, Data.Effect.TH
EfixControl.Monad.Hefty, Data.Effect
ElemData.Effect.OpenUnion
Emb 
1 (Type/Class)Control.Monad.Hefty, Data.Effect
2 (Data Constructor)Control.Monad.Hefty, Data.Effect
embControl.Monad.Hefty, Control.Effect
EmbLabelControl.Monad.Hefty, Data.Effect
Empty 
1 (Type/Class)Control.Monad.Hefty, Data.Effect
2 (Data Constructor)Control.Monad.Hefty, Data.Effect
EmptyLabelControl.Monad.Hefty, Data.Effect
ErrorIfNotFoundData.Effect.OpenUnion
ExponentialControl.Monad.Hefty, Data.Effect
extractData.Effect.OpenUnion
extractAnyOrderData.Effect.OpenUnion
Fail 
1 (Type/Class)Control.Monad.Hefty, Data.Effect
2 (Data Constructor)Control.Monad.Hefty, Data.Effect
FailLabelControl.Monad.Hefty, Data.Effect
FindByData.Effect.OpenUnion
findByData.Effect.OpenUnion
FindByLabelData.Effect.OpenUnion
FirstOrder 
1 (Data Constructor)Control.Monad.Hefty, Data.Effect, Data.Effect.TH
2 (Type/Class)Control.Monad.Hefty, Data.Effect
firstOrdershipData.Effect.OpenUnion
FixControl.Monad.Hefty, Data.Effect
FixLabelControl.Monad.Hefty, Data.Effect
FOEsControl.Monad.Hefty, Data.Effect.OpenUnion
foldExpIndexShifterData.Effect.OpenUnion
foldHoeIndexShifterData.Effect.OpenUnion
FormCaseControl.Monad.Hefty, Data.Effect
FormOfControl.Monad.Hefty, Data.Effect
FreeControl.Monad.Hefty, Control.Effect
FreerControl.Monad.Hefty.Types, Control.Monad.Hefty
FTCQueueData.FTCQueue
genFOEwithHFunctorControl.Monad.Hefty, Data.Effect.TH
genHOEwithHFunctorControl.Monad.Hefty, Data.Effect.TH
GetControl.Monad.Hefty, Data.Effect
getEmbControl.Monad.Hefty, Data.Effect
getUnembControl.Monad.Hefty, Data.Effect
HasControl.Monad.Hefty, Data.Effect.OpenUnion
HCont 
1 (Type/Class)Data.Effect.HFunctor.HCont
2 (Data Constructor)Data.Effect.HFunctor.HCont
HeadOfData.Effect.OpenUnion
HereData.Effect.OpenUnion
hfmapData.Effect.HFunctor
hfmapDynUnsafeCoerceData.Effect.OpenUnion
hfmapUnionData.Effect.OpenUnion
HFunctorData.Effect.HFunctor
HigherOrderControl.Monad.Hefty, Data.Effect, Data.Effect.TH
higherOrdershipData.Effect.OpenUnion
hoistControl.Monad.Hefty, Control.Effect
IdentityDiscriminatorData.Effect.OpenUnion
identityMembershipData.Effect.OpenUnion
IdentityResolverData.Effect.OpenUnion
InControl.Monad.Hefty, Data.Effect.OpenUnion
InfiniteControl.Monad.Hefty, Data.Effect.HFunctor.TH, Data.Effect.TH
injectData.Effect.OpenUnion
interposeControl.Monad.Hefty.Interpret, Control.Monad.Hefty
interposeByControl.Monad.Hefty.Interpret, Control.Monad.Hefty
interposeForControl.Monad.Hefty.Interpret, Control.Monad.Hefty
interposeForByControl.Monad.Hefty.Interpret, Control.Monad.Hefty
interposeForWithControl.Monad.Hefty.Interpret, Control.Monad.Hefty
interposeInControl.Monad.Hefty.Interpret, Control.Monad.Hefty
interposeInByControl.Monad.Hefty.Interpret, Control.Monad.Hefty
interposeInWithControl.Monad.Hefty.Interpret, Control.Monad.Hefty
interposeOnControl.Monad.Hefty.Interpret, Control.Monad.Hefty
interposeOnByControl.Monad.Hefty.Interpret, Control.Monad.Hefty
interposeOnWithControl.Monad.Hefty.Interpret, Control.Monad.Hefty
interposeStateByControl.Monad.Hefty.Interpret.State, Control.Monad.Hefty
interposeStateForByControl.Monad.Hefty.Interpret.State, Control.Monad.Hefty
interposeStateInByControl.Monad.Hefty.Interpret.State, Control.Monad.Hefty
interposeWithControl.Monad.Hefty.Interpret, Control.Monad.Hefty
interpretControl.Monad.Hefty.Interpret, Control.Monad.Hefty
interpretAllControl.Monad.Hefty.Interpret, Control.Monad.Hefty
interpretByControl.Monad.Hefty.Interpret, Control.Monad.Hefty
interpretsControl.Monad.Hefty.Interpret, Control.Monad.Hefty
interpretsByControl.Monad.Hefty.Interpret, Control.Monad.Hefty
interpretStateByControl.Monad.Hefty.Interpret.State, Control.Monad.Hefty
interpretWithControl.Monad.Hefty.Interpret, Control.Monad.Hefty
intValData.Effect.OpenUnion
iterAllEffControl.Monad.Hefty.Interpret, Control.Monad.Hefty
JumpControl.Monad.Hefty, Data.Effect
KeyDiscriminatorData.Effect.OpenUnion
keyedPerformerConfControl.Monad.Hefty, Data.Effect.TH
keyMembershipData.Effect.OpenUnion
KeyOfData.Effect.OpenUnion
KeyResolverData.Effect.OpenUnion
KnownIndexData.Effect.OpenUnion
KnownLengthData.Effect.OpenUnion
KnownOrderControl.Monad.Hefty, Data.Effect.OpenUnion
labelMembershipData.Effect.OpenUnion
LabelOfControl.Monad.Hefty, Data.Effect
LabelResolverData.Effect.OpenUnion
liftFreeControl.Monad.Hefty, Control.Effect
liftIOControl.Monad.Hefty
ListenControl.Monad.Hefty, Data.Effect
Local 
1 (Type/Class)Control.Monad.Hefty, Data.Effect
2 (Data Constructor)Control.Monad.Hefty, Data.Effect
LocalLabelControl.Monad.Hefty, Data.Effect
makeEffectFControl.Monad.Hefty, Data.Effect.TH
makeEffectF'Control.Monad.Hefty, Data.Effect.TH
makeEffectF_Control.Monad.Hefty, Data.Effect.TH
makeEffectF_'Control.Monad.Hefty, Data.Effect.TH
makeEffectHControl.Monad.Hefty, Data.Effect.TH
makeEffectH'Control.Monad.Hefty, Data.Effect.TH
makeEffectH_Control.Monad.Hefty, Data.Effect.TH
makeEffectH_'Control.Monad.Hefty, Data.Effect.TH
makeEffectsFControl.Monad.Hefty, Data.Effect.TH
makeEffectsF_Control.Monad.Hefty, Data.Effect.TH
makeEffectsHControl.Monad.Hefty, Data.Effect.TH
makeEffectsH_Control.Monad.Hefty, Data.Effect.TH
makeHFunctorControl.Monad.Hefty, Data.Effect.HFunctor.TH
makeHFunctor'Control.Monad.Hefty, Data.Effect.HFunctor.TH
mapUnionData.Effect.OpenUnion
MemberByData.Effect.OpenUnion
MembershipData.Effect.OpenUnion
membershipData.Effect.OpenUnion
membershipAtData.Effect.OpenUnion
mergeUnionData.Effect.OpenUnion
mergeUnion1Data.Effect.OpenUnion
mkUnionData.Effect.OpenUnion
nilControl.Monad.Hefty, Data.Effect.OpenUnion
nilMembershipData.Effect.OpenUnion
noGenerateKeyedPerformerControl.Monad.Hefty, Data.Effect.TH
noGenerateLabelControl.Monad.Hefty, Data.Effect.TH
noGenerateNormalPerformerControl.Monad.Hefty, Data.Effect.TH
noGenerateOrderInstanceControl.Monad.Hefty, Data.Effect.TH
noGeneratePerformerSignatureControl.Monad.Hefty, Data.Effect.TH
noGenerateTaggedPerformerControl.Monad.Hefty, Data.Effect.TH
NoKeyDiscriminatorData.Effect.OpenUnion
NopControl.Monad.Hefty, Data.Effect
NopLabelControl.Monad.Hefty, Data.Effect
normalPerformerConfControl.Monad.Hefty, Data.Effect.TH
offsetData.Effect.OpenUnion
onlyFOEsControl.Monad.Hefty
onlyPolysControl.Monad.Hefty
OpControl.Monad.Hefty.Types, Control.Monad.Hefty
OpConf 
1 (Type/Class)Control.Monad.Hefty, Data.Effect.TH
2 (Data Constructor)Control.Monad.Hefty, Data.Effect.TH
opConfControl.Monad.Hefty, Data.Effect.TH
OrderCaseControl.Monad.Hefty, Data.Effect
OrderOfControl.Monad.Hefty, Data.Effect
OrdershipData.Effect.OpenUnion
passControl.Monad.Hefty, Control.Effect
performControl.Monad.Hefty, Control.Effect
perform'Control.Monad.Hefty, Control.Effect
perform''Control.Monad.Hefty, Control.Effect
performerArgDocControl.Monad.Hefty, Data.Effect.TH
PerformerConf 
1 (Type/Class)Control.Monad.Hefty, Data.Effect.TH
2 (Data Constructor)Control.Monad.Hefty, Data.Effect.TH
performerConfsControl.Monad.Hefty, Data.Effect.TH
performerDocControl.Monad.Hefty, Data.Effect.TH
performerNameControl.Monad.Hefty, Data.Effect.TH
PolyHFunctorControl.Monad.Hefty, Data.Effect
PolyHFunctorsControl.Monad.Hefty, Data.Effect.OpenUnion
PolynomialControl.Monad.Hefty, Data.Effect
prefixForData.Effect.OpenUnion
prefixFor1Data.Effect.OpenUnion
prefixLenData.Effect.OpenUnion
prefixLenUnderData.Effect.OpenUnion
preinterposeControl.Monad.Hefty.Interpret
preinterposeForControl.Monad.Hefty.Interpret
preinterposeInControl.Monad.Hefty.Interpret
preinterposeOnControl.Monad.Hefty.Interpret
projectData.Effect.OpenUnion
projectAnyOrderData.Effect.OpenUnion
PutControl.Monad.Hefty, Data.Effect
qAppControl.Monad.Hefty.Types
raiseControl.Monad.Hefty
raisePrefixControl.Monad.Hefty
raisePrefix1Control.Monad.Hefty
raisesControl.Monad.Hefty
raiseSuffixControl.Monad.Hefty
raisesUnderControl.Monad.Hefty
raiseUnderControl.Monad.Hefty
reifyLengthData.Effect.OpenUnion
reinterpretControl.Monad.Hefty.Interpret, Control.Monad.Hefty
reinterpretByControl.Monad.Hefty.Interpret, Control.Monad.Hefty
reinterpretsControl.Monad.Hefty.Interpret, Control.Monad.Hefty
reinterpretsByControl.Monad.Hefty.Interpret, Control.Monad.Hefty
reinterpretStateByControl.Monad.Hefty.Interpret.State, Control.Monad.Hefty
reinterpretWithControl.Monad.Hefty.Interpret, Control.Monad.Hefty
RemoveExpsControl.Monad.Hefty, Data.Effect.OpenUnion
RemoveHOEsControl.Monad.Hefty, Data.Effect.OpenUnion
ResolverNameData.Effect.OpenUnion
retractControl.Monad.Hefty, Control.Effect
rewriteControl.Monad.Hefty
rewriteForControl.Monad.Hefty
rewriteInControl.Monad.Hefty
rewriteOnControl.Monad.Hefty
runEffControl.Monad.Hefty.Interpret, Control.Monad.Hefty
runFreeControl.Monad.Hefty, Control.Effect
runPureControl.Monad.Hefty.Interpret, Control.Monad.Hefty
sendControl.Monad.Hefty, Control.Effect
sendAtControl.Monad.Hefty, Control.Effect
sendForControl.Monad.Hefty, Control.Effect
shrinkOrdershipData.Effect.OpenUnion
snocData.FTCQueue
splitForData.Effect.OpenUnion
splitFor1Data.Effect.OpenUnion
splitUnionData.Effect.OpenUnion
splitUnion1Data.Effect.OpenUnion
StateControl.Monad.Hefty, Data.Effect
StateHandlerControl.Monad.Hefty.Interpret.State, Control.Monad.Hefty
StateLabelControl.Monad.Hefty, Data.Effect
statelessControl.Monad.Hefty.Interpret, Control.Monad.Hefty
subControl.Monad.Hefty, Control.Effect
SubForkControl.Monad.Hefty, Data.Effect
subsumeControl.Monad.Hefty
subsumeUnderControl.Monad.Hefty
SuffixControl.Monad.Hefty, Data.Effect.OpenUnion
suffixForData.Effect.OpenUnion
SuffixUnderControl.Monad.Hefty, Data.Effect.OpenUnion
TagControl.Monad.Hefty, Data.Effect.Tag
tagControl.Monad.Hefty
TaggedControl.Monad.Hefty, Data.Effect.Tag
TaggedLabelControl.Monad.Hefty, Data.Effect.Tag
taggedPerformerConfControl.Monad.Hefty, Data.Effect.TH
Tell 
1 (Type/Class)Control.Monad.Hefty, Data.Effect
2 (Data Constructor)Control.Monad.Hefty, Data.Effect
TellLabelControl.Monad.Hefty, Data.Effect
ThereData.Effect.OpenUnion
Throw 
1 (Type/Class)Control.Monad.Hefty, Data.Effect
2 (Data Constructor)Control.Monad.Hefty, Data.Effect
ThrowLabelControl.Monad.Hefty, Data.Effect
TOneData.FTCQueue
transformControl.Monad.Hefty
translateControl.Monad.Hefty
translateForControl.Monad.Hefty
translateInControl.Monad.Hefty
translateOnControl.Monad.Hefty
tsingletonData.FTCQueue
tviewlData.FTCQueue
TypeControl.Monad.Hefty
unbundleUnionData.Effect.OpenUnion
unEffControl.Monad.Hefty, Control.Effect
Unemb 
1 (Type/Class)Control.Monad.Hefty, Data.Effect
2 (Data Constructor)Control.Monad.Hefty, Data.Effect
unHContData.Effect.HFunctor.HCont
UnionData.Effect.OpenUnion
unionData.Effect.OpenUnion
UnliftBaseControl.Monad.Hefty, Data.Effect
UnliftBaseLabelControl.Monad.Hefty, Data.Effect
UnliftIOControl.Monad.Hefty, Data.Effect
unMembershipData.Effect.OpenUnion
UnsafeFirstData.Effect.OpenUnion
UnsafeHigherData.Effect.OpenUnion
UnsafeMembershipData.Effect.OpenUnion
UnsafeUnionData.Effect.OpenUnion
unTagControl.Monad.Hefty, Data.Effect.Tag
untagControl.Monad.Hefty
ValControl.Monad.Hefty.Types, Control.Monad.Hefty
ViewLData.FTCQueue
weakenData.Effect.OpenUnion
WeakenExpsControl.Monad.Hefty, Data.Effect.OpenUnion
weakenExpsData.Effect.OpenUnion
weakenExpsForData.Effect.OpenUnion
WeakenExps_Data.Effect.OpenUnion
weakenForData.Effect.OpenUnion
WeakenHOEsControl.Monad.Hefty, Data.Effect.OpenUnion
weakenHOEsData.Effect.OpenUnion
weakenHOEsForData.Effect.OpenUnion
WeakenHOEs_Data.Effect.OpenUnion
weakensData.Effect.OpenUnion
weakensForData.Effect.OpenUnion
weakensUnderData.Effect.OpenUnion
weakensUnderForData.Effect.OpenUnion
WithRunInBaseControl.Monad.Hefty, Data.Effect
WriterHControl.Monad.Hefty, Data.Effect
WriterHLabelControl.Monad.Hefty, Data.Effect
_doesGeneratePerformerSignatureControl.Monad.Hefty, Data.Effect.TH
_keyedPerformerConfControl.Monad.Hefty, Data.Effect.TH
_normalPerformerConfControl.Monad.Hefty, Data.Effect.TH
_performerArgDocControl.Monad.Hefty, Data.Effect.TH
_performerDocControl.Monad.Hefty, Data.Effect.TH
_performerNameControl.Monad.Hefty, Data.Effect.TH
_senderConfControl.Monad.Hefty, Data.Effect.TH
_taggedPerformerConfControl.Monad.Hefty, Data.Effect.TH
|>Data.FTCQueue
~>Control.Monad.Hefty, Control.Effect
~~>Control.Monad.Hefty, Control.Effect