heftia-0.3.1.0: higher-order effects done right

Index

! 
1 (Type/Class)Control.Effect.ExtensibleTreeA
2 (Type/Class)Control.Effect.ExtensibleTree
3 (Type/Class)Control.Effect.ExtensibleFinalA
4 (Type/Class)Control.Effect.ExtensibleFinal
5 (Type/Class)Control.Effect.ExtensibleFastA
6 (Type/Class)Control.Effect.ExtensibleChurch
!! 
1 (Type/Class)Control.Effect.ExtensibleTreeA
2 (Type/Class)Control.Effect.ExtensibleTree
3 (Type/Class)Control.Effect.ExtensibleFinalA
4 (Type/Class)Control.Effect.ExtensibleFinal
5 (Type/Class)Control.Effect.ExtensibleFastA
6 (Type/Class)Control.Effect.ExtensibleChurch
#Data.Effect.Tag
##Data.Effect.Tag
##>Data.Effect.Key
#>Data.Effect.Key
$Control.Effect.Hefty
$$Control.Effect.Hefty
&Data.Effect.TH
+Data.Free.Sum
:! 
1 (Type/Class)Control.Effect.ExtensibleTreeA
2 (Type/Class)Control.Effect.ExtensibleTree
3 (Type/Class)Control.Effect.ExtensibleFinalA
4 (Type/Class)Control.Effect.ExtensibleFinal
5 (Type/Class)Control.Effect.ExtensibleFastA
6 (Type/Class)Control.Effect.ExtensibleChurch
:!! 
1 (Type/Class)Control.Effect.ExtensibleTreeA
2 (Type/Class)Control.Effect.ExtensibleTree
3 (Type/Class)Control.Effect.ExtensibleFinalA
4 (Type/Class)Control.Effect.ExtensibleFinal
5 (Type/Class)Control.Effect.ExtensibleFastA
6 (Type/Class)Control.Effect.ExtensibleChurch
:&: 
1 (Data Constructor)Data.Effect.HFunctor
2 (Type/Class)Data.Effect.HFunctor
:+:Data.Effect.HFunctor
:<:Data.Effect.HFunctor
:=:Data.Effect.HFunctor
<:Control.Effect
<<:Control.Effect
<<|Data.Hefty.Extensible
<|Data.Hefty.Extensible
absurdLData.Free.Sum
absurdRData.Free.Sum
alterEffectClassConfData.Effect.TH
alterEffectConfData.Effect.TH
bundleControl.Effect.Hefty
bundleUnion2Data.Hefty.Union
bundleUnion3Data.Hefty.Union
bundleUnion4Data.Hefty.Union
ByKey 
1 (Data Constructor)Control.Effect.Key
2 (Type/Class)Control.Effect.Key
caseFData.Free.Sum
caseHData.Effect.HFunctor
caseHFControl.Effect.Hefty
changeNormalSenderFnNameFormatData.Effect.Key.TH
ClassIndexData.Hefty.Union
compData.Hefty.Union
confByEffectData.Effect.TH
copyEffControl.Effect.Hefty
copyEffHControl.Effect.Hefty
CurrentLevelData.Hefty.Union
CurrentLevelSearchResultData.Hefty.Union
CurrentLevelSym0Data.Hefty.Union
decompData.Hefty.Union
defData.Effect.TH
DefaultData.Effect.TH
dequeSumControl.Effect.Hefty
deriveHFunctorData.Effect.TH
detransContTControl.Effect.Hefty
DistAnnData.Effect.HFunctor
doesDeriveHFunctorData.Effect.TH
doesGenerateLiftInsPatternSynonymsData.Effect.TH
doesGenerateLiftInsTypeSynonymData.Effect.TH
doesGenerateSenderFnSignatureData.Effect.TH
dupEffControl.Effect.Hefty
dupEffHControl.Effect.Hefty
Eff 
1 (Type/Class)Control.Effect.Hefty
2 (Type/Class)Data.Hefty.Extensible
EffectClassConf 
1 (Data Constructor)Data.Effect.TH
2 (Type/Class)Data.Effect.TH
EffectConf 
1 (Data Constructor)Data.Effect.TH
2 (Type/Class)Data.Effect.TH
EffectfulControl.Effect.Hefty
EffectfulFControl.Effect.Free
EffectOrderData.Effect.TH
EffF 
1 (Type/Class)Control.Effect.Free
2 (Type/Class)Data.Hefty.Extensible
EffUnion 
1 (Type/Class)Control.Effect.Hefty
2 (Data Constructor)Control.Effect.Hefty
EffUnionF 
1 (Type/Class)Control.Effect.Free
2 (Data Constructor)Control.Effect.Free
ElabControl.Effect.Hefty
ElemData.Effect.HFunctor
endControl.Effect.Hefty
enqueSumControl.Effect.Hefty
exhaustData.Hefty.Union
ExtensibleUnion 
1 (Type/Class)Data.Hefty.Extensible
2 (Data Constructor)Data.Hefty.Extensible
FieldApp 
1 (Type/Class)Data.Hefty.Extensible
2 (Data Constructor)Data.Hefty.Extensible
findFirstMembershipData.Hefty.Extensible
FirstOrderData.Effect.TH
flipEffControl.Effect.Hefty
flipEff3Control.Effect.Hefty
flipEff3HControl.Effect.Hefty
flipEffHControl.Effect.Hefty
flipEffUnderControl.Effect.Hefty
flipEffUnderHControl.Effect.Hefty
flipUnionData.Hefty.Union
flipUnion3Data.Hefty.Union
flipUnionUnderData.Hefty.Union
ForallData.Hefty.Extensible
ForallHFunctor 
1 (Type/Class)Data.Hefty.Union
2 (Type/Class)Data.Hefty.Extensible
FoundInData.Hefty.Union
FoundInSym0Data.Hefty.Union
FoundInSym0KindInferenceData.Hefty.Union
FoundInSym1Data.Hefty.Union
FoundLevelData.Hefty.Union
FoundLevelOfData.Hefty.Union
FreerControl.Freer
FreerChurch 
1 (Type/Class)Control.Monad.Freer.Church
2 (Data Constructor)Control.Monad.Freer.Church
FreerFinal 
1 (Type/Class)Control.Freer.Final
2 (Data Constructor)Control.Freer.Final
FreerTree 
1 (Type/Class)Control.Monad.Freer.Tree
2 (Data Constructor)Control.Monad.Freer.Tree
fromEffFControl.Effect.Free
genEffectKeyData.Effect.Key.TH
generateLiftInsPatternSynonymsData.Effect.TH
generateLiftInsTypeSynonymData.Effect.TH
HasMembershipData.Hefty.Union
HasMembershipFControl.Effect.Hefty
HasMembershipRecData.Hefty.Union
HasMembershipRec1_Data.Hefty.Union
HasMembershipRec2_Data.Hefty.Union
HasMembershipRec3_Data.Hefty.Union
HasMembershipWhenCurrentLevelData.Hefty.Union
HasMembershipWhenCurrentLevel_Data.Hefty.Union
HCont 
1 (Data Constructor)Data.Effect.HFunctor.HCont
2 (Type/Class)Data.Effect.HFunctor.HCont
HeadInsData.Hefty.Union
HeadLowerSearchResultData.Hefty.Union
Hefty 
1 (Type/Class)Control.Hefty
2 (Data Constructor)Control.Hefty
hfmapData.Effect.HFunctor
HFunctorData.Effect.HFunctor
HFunctorUnionData.Hefty.Union
HFunctorUnion_Data.Hefty.Union
HigherOrderData.Effect.TH
injData.Effect.HFunctor
inj'Data.Effect.HFunctor
injectData.Hefty.Union
inject0Data.Hefty.Union
injectAData.Effect.HFunctor
injectFControl.Effect.Hefty
injectHControl.Effect.Hefty
InjectInsControl.Freer
injectInsControl.Freer
InjectInsByControl.Freer
injectInsByControl.Freer
injectRecData.Hefty.Union
InjectSigControl.Hefty
injectSigControl.Hefty
InjectSigByControl.Hefty
injectSigByControl.Hefty
injectSMRData.Hefty.Union
injectSMR_Data.Hefty.Union
injectUnderData.Hefty.Union
injectUnder2Data.Hefty.Union
injectUnder3Data.Hefty.Union
InlData.Effect.HFunctor
InrData.Effect.HFunctor
InsClassData.Effect
interposeControl.Effect.Hefty
interposeContTControl.Effect.Hefty
interposeFinControl.Effect.Hefty
interposeKControl.Effect.Hefty
interposeRecControl.Effect.Hefty
interposeRecHControl.Effect.Hefty
interposeTControl.Effect.Hefty
interpretControl.Effect.Hefty
interpretAllControl.Effect.Hefty
interpretAllEControl.Effect.Hefty
interpretAllFHControl.Effect.Hefty
interpretAllFHEControl.Effect.Hefty
interpretAllHControl.Effect.Hefty
interpretAllRecControl.Effect.Hefty
interpretAllRecFHControl.Effect.Hefty
interpretAllRecFHEControl.Effect.Hefty
interpretAllRecHControl.Effect.Hefty
interpretChurchControl.Monad.Freer.Church
interpretChurchKControl.Monad.Freer.Church
interpretContTControl.Effect.Hefty
interpretContTAllControl.Effect.Hefty
interpretContTAllFHControl.Effect.Hefty
interpretContTAllHControl.Effect.Hefty
interpretContTAllRecFHControl.Effect.Hefty
interpretContTAllRecHControl.Effect.Hefty
interpretContTHControl.Effect.Hefty
interpretFinControl.Effect.Hefty
interpretFinHControl.Effect.Hefty
interpretFreerControl.Freer
interpretFreerFinalControl.Freer.Final
interpretFreerKControl.Monad.Freer
interpretHControl.Effect.Hefty
interpretKControl.Effect.Hefty
interpretKAllControl.Effect.Hefty
interpretKAllFHControl.Effect.Hefty
interpretKAllHControl.Effect.Hefty
interpretKAllRecFHControl.Effect.Hefty
interpretKAllRecHControl.Effect.Hefty
interpretKHControl.Effect.Hefty
interpretRecControl.Effect.Hefty
interpretRecHControl.Effect.Hefty
interpretTControl.Effect.Hefty
interpretTAllControl.Effect.Hefty
interpretTAllHControl.Effect.Hefty
interpretTAllRecHControl.Effect.Hefty
interpretTHControl.Effect.Hefty
interpretTreeControl.Monad.Freer.Tree
interpretTreeKControl.Monad.Freer.Tree
IsFoundData.Hefty.Union
KData.Effect.Key
Key 
1 (Data Constructor)Data.Effect.Key
2 (Type/Class)Data.Effect.Key
keyControl.Effect.Key
keyedSenderGenConfData.Effect.TH
KeyH 
1 (Data Constructor)Data.Effect.Key
2 (Type/Class)Data.Effect.Key
keySubsumeControl.Effect.Hefty
keySubsumeHControl.Effect.Hefty
KHData.Effect.Key
L1Data.Free.Sum
liftEffControl.Effect.Hefty
liftEffHControl.Effect.Hefty
LiftIns 
1 (Data Constructor)Data.Effect
2 (Type/Class)Data.Effect
liftInsControl.Freer
liftInsChurchControl.Monad.Freer.Church
liftInsEffControl.Effect.Hefty
liftInsFinalControl.Freer.Final
LiftInsIfSingleData.Hefty.Union
liftInsIfSingleData.Hefty.Union
liftInsTreeControl.Monad.Freer.Tree
LNopData.Effect
LookupData.Hefty.Union
LowerLevelData.Hefty.Union
LowerLevelSym0Data.Hefty.Union
makeEffectData.Effect.TH
makeEffect'Data.Effect.TH
MakeEffectConf 
1 (Data Constructor)Data.Effect.TH
2 (Type/Class)Data.Effect.TH
makeEffectFData.Effect.TH
makeEffectHData.Effect.TH
makeHFunctorData.Effect.HFunctor.TH
makeHFunctor'Data.Effect.HFunctor.TH
makeKeyedEffectData.Effect.Key.TH
MemberData.Hefty.Union
MemberBy 
1 (Type/Class)Data.Hefty.Union
2 (Type/Class)Data.Hefty.Extensible
MemberFoundData.Hefty.Union
MemberHData.Hefty.Union
MemberHBy 
1 (Type/Class)Data.Hefty.Union
2 (Type/Class)Data.Hefty.Extensible
MemberRecData.Hefty.Union
mergeEffControl.Effect.Hefty
mergeEffHControl.Effect.Hefty
MonadFreerControl.Monad.Freer
MultiListToUnionData.Hefty.Union
NextSearchMemberRecActionData.Hefty.Union
NFUData.Hefty.Union
NFUHData.Hefty.Union
noDeriveHFunctorData.Effect.TH
noExtTemplateData.Effect.TH
noGenerateKeyedSenderFunctionData.Effect.TH
noGenerateLiftInsPatternSynonymsData.Effect.TH
noGenerateLiftInsTypeSynonymData.Effect.TH
noGenerateNormalSenderFunctionData.Effect.TH
noGenerateSenderFunctionSignatureData.Effect.TH
noGenerateTaggedSenderFunctionData.Effect.TH
NopData.Effect
NormalFormUnionListData.Hefty.Union
NormalFormUnionListHData.Hefty.Union
NormalizeSigData.Hefty.Union
normalSenderGenConfData.Effect.TH
NotFoundData.Hefty.Union
NotFoundSym0Data.Hefty.Union
orderOfData.Effect.TH
OrElseData.Hefty.Union
overFreerControl.Freer
overHeftyControl.Hefty
popBundleControl.Effect.Hefty
prj'Data.Effect.HFunctor
projData.Effect.HFunctor
projectData.Hefty.Union
projectAData.Effect.HFunctor
projectRecData.Hefty.Union
projectSMRData.Hefty.Union
projectSMR_Data.Hefty.Union
pushBundleControl.Effect.Hefty
R1Data.Free.Sum
raiseControl.Effect.Hefty
raise2Control.Effect.Hefty
raise2HControl.Effect.Hefty
raise2UnderControl.Effect.Hefty
raise2Under2Control.Effect.Hefty
raise2Under2HControl.Effect.Hefty
raise2UnderHControl.Effect.Hefty
raise3Control.Effect.Hefty
raise3HControl.Effect.Hefty
raise3UnderControl.Effect.Hefty
raise3UnderHControl.Effect.Hefty
raise4Control.Effect.Hefty
raise4HControl.Effect.Hefty
raiseAllControl.Effect.Hefty
raiseAllHControl.Effect.Hefty
raiseHControl.Effect.Hefty
raiseNControl.Effect.Hefty
raiseNHControl.Effect.Hefty
raiseNUnderMControl.Effect.Hefty
raiseNUnderMHControl.Effect.Hefty
raiseUnderControl.Effect.Hefty
raiseUnder2Control.Effect.Hefty
raiseUnder2HControl.Effect.Hefty
raiseUnder3Control.Effect.Hefty
raiseUnder3HControl.Effect.Hefty
raiseUnderHControl.Effect.Hefty
ReaderKeyControl.Hefty
reencodeFreerControl.Freer
reinterpretControl.Effect.Hefty
reinterpretContTControl.Effect.Hefty
reinterpretFreerControl.Freer
reinterpretKControl.Effect.Hefty
reinterpretRecControl.Effect.Hefty
reinterpretRecHControl.Effect.Hefty
reinterpretTControl.Effect.Hefty
RemAData.Effect.HFunctor
remAData.Effect.HFunctor
removeLastApostropheData.Effect.Key.TH
retractFreerControl.Freer
rewriteControl.Effect.Hefty
rewriteFHControl.Effect.Hefty
rewriteHControl.Effect.Hefty
rot3Data.Hefty.Union
rot3'Data.Hefty.Union
runByKeyControl.Effect.Key
runEff 
1 (Function)Control.Effect.Hefty
2 (Function)Control.Effect.ExtensibleTreeA
3 (Function)Control.Effect.ExtensibleTree
4 (Function)Control.Effect.ExtensibleFinalA
5 (Function)Control.Effect.ExtensibleFinal
6 (Function)Control.Effect.ExtensibleFastA
7 (Function)Control.Effect.ExtensibleChurch
runEffF 
1 (Function)Control.Effect.Free
2 (Function)Control.Effect.ExtensibleTreeA
3 (Function)Control.Effect.ExtensibleTree
4 (Function)Control.Effect.ExtensibleFinalA
5 (Function)Control.Effect.ExtensibleFinal
6 (Function)Control.Effect.ExtensibleFastA
7 (Function)Control.Effect.ExtensibleChurch
runPureControl.Effect.Hefty
runViaTagControl.Effect.Tag
S 
1 (Type/Class)Data.Hefty.Union
2 (Type/Class)Data.Hefty.Extensible
SCurrentLevelData.Hefty.Union
SearchData.Hefty.Union
SearchMemberRecData.Hefty.Union
SearchMemberRecActionData.Hefty.Union
SearchMemberRecWhenLowerLevelData.Hefty.Union
SearchMemberRecWhenLowerLevel_Data.Hefty.Union
SearchMemberRec_Data.Hefty.Union
SearchResultData.Hefty.Union
SearchResults 
1 (Type/Class)Data.Hefty.Union
2 (Data Constructor)Data.Hefty.Union
SearchResultsOnSmrDownData.Hefty.Union
Search_Data.Hefty.Union
send0Control.Effect.Hefty
send0HControl.Effect.Hefty
send1Control.Effect.Hefty
send1HControl.Effect.Hefty
senderFnArgDocData.Effect.TH
senderFnConfsData.Effect.TH
senderFnDocData.Effect.TH
senderFnNameData.Effect.TH
SenderFunctionConfData.Effect.TH
SendInsControl.Effect
sendInsControl.Effect
SendInsByControl.Effect.Key
sendInsByControl.Effect.Key
SendSigControl.Effect
sendSigControl.Effect
SendSigByControl.Effect.Key
sendSigByControl.Effect.Key
SFoundInData.Hefty.Union
SFoundLevelData.Hefty.Union
SH 
1 (Type/Class)Data.Hefty.Union
2 (Type/Class)Data.Hefty.Extensible
SigClassData.Effect
SingleSig 
1 (Type/Class)Data.Hefty.Union
2 (Data Constructor)Data.Hefty.Union
SLowerLevelData.Hefty.Union
SmrDownData.Hefty.Union
SmrRightData.Hefty.Union
SmrStopData.Hefty.Union
SNotFoundData.Hefty.Union
splData.Effect.HFunctor
splitEffControl.Effect.Hefty
SSearchResultData.Hefty.Union
StateKeyControl.Freer
StrengthenData.Hefty.Union.Strengthen
strengthenNData.Hefty.Union.Strengthen
strengthenNUnderMData.Hefty.Union.Strengthen
strengthenNUnderM_Data.Hefty.Union.Strengthen
StrengthenUnderData.Hefty.Union.Strengthen
StrengthenUnder_Data.Hefty.Union.Strengthen
SubsumeData.Effect.HFunctor
subsumeControl.Effect.Hefty
subsumeHControl.Effect.Hefty
subsumeNControl.Effect.Hefty
subsumeNHControl.Effect.Hefty
subsumeNUnderMControl.Effect.Hefty
subsumeNUnderMHControl.Effect.Hefty
SumToUnionListData.Hefty.Union
suppressFirstOrderInSignatureClassWarningData.Effect.TH
swapSumData.Free.Sum
TData.Effect.Tag
Tag 
1 (Data Constructor)Data.Effect.Tag
2 (Type/Class)Data.Effect.Tag
tagControl.Effect.Tag
tagEffControl.Effect.Hefty
tagEffHControl.Effect.Hefty
taggedSenderGenConfData.Effect.TH
TagH 
1 (Data Constructor)Data.Effect.Tag
2 (Type/Class)Data.Effect.Tag
THData.Effect.Tag
toEffFControl.Effect.Free
toInterpretKFromContTControl.Effect.Hefty
toInterpretKFromContT2Control.Effect.Hefty
transContControl.Effect.Hefty
transformControl.Effect.Hefty
transformAllControl.Effect.Hefty
transformAllFHControl.Effect.Hefty
transformAllHControl.Effect.Hefty
transformFHControl.Effect.Hefty
transformFreerControl.Freer
transformHControl.Effect.Hefty
translateControl.Effect.Hefty
translateFHControl.Effect.Hefty
translateHControl.Effect.Hefty
U 
1 (Type/Class)Data.Hefty.Union
2 (Type/Class)Data.Hefty.Extensible
UH 
1 (Type/Class)Data.Hefty.Union
2 (Type/Class)Data.Hefty.Extensible
unbundleControl.Effect.Hefty
unbundleUnion2Data.Hefty.Union
unbundleUnion3Data.Hefty.Union
unbundleUnion4Data.Hefty.Union
unEffUnionControl.Effect.Hefty
unEffUnionFControl.Effect.Free
unExtensibleUnionData.Hefty.Extensible
unFieldAppData.Hefty.Extensible
unFreerChurchControl.Monad.Freer.Church
unFreerFinalControl.Freer.Final
unFreerTreeControl.Monad.Freer.Tree
unHContData.Effect.HFunctor.HCont
unHeftyControl.Hefty
UnionData.Hefty.Union
UnionListToSumData.Hefty.Union
UnionToSumData.Hefty.Union
unKeyData.Effect.Key
unkeyEffControl.Effect.Hefty
unkeyEffHControl.Effect.Hefty
unKeyHData.Effect.Key
UnliftIfSingleData.Hefty.Union
unliftInsData.Effect
unliftInsIfSingleData.Hefty.Union
unMakeEffectConfData.Effect.TH
unSingleSigData.Hefty.Union
unTagData.Effect.Tag
untagEffControl.Effect.Hefty
untagEffHControl.Effect.Hefty
unTagHData.Effect.Tag
ViaFreer 
1 (Type/Class)Control.Freer
2 (Data Constructor)Control.Freer
viaFreerControl.Freer
ViaTag 
1 (Data Constructor)Control.Effect.Tag
2 (Type/Class)Control.Effect.Tag
warnFirstOrderInSigClsData.Effect.TH
WeakenData.Hefty.Union.Weaken
weakenData.Hefty.Union
weaken2Data.Hefty.Union
weaken2UnderData.Hefty.Union
weaken2Under2Data.Hefty.Union
weaken3Data.Hefty.Union
weaken3UnderData.Hefty.Union
weaken4Data.Hefty.Union
weakenNData.Hefty.Union.Weaken
weakenNUnderMData.Hefty.Union.Weaken
weakenNUnderM_Data.Hefty.Union.Weaken
WeakenUnderData.Hefty.Union.Weaken
weakenUnderData.Hefty.Union
weakenUnder2Data.Hefty.Union
weakenUnder3Data.Hefty.Union
WeakenUnder_Data.Hefty.Union.Weaken
withFoundData.Hefty.Union
WriterKeyControl.Hefty
_confByEffectData.Effect.TH
_doesDeriveHFunctorData.Effect.TH
_doesGenerateLiftInsPatternSynonymsData.Effect.TH
_doesGenerateLiftInsTypeSynonymData.Effect.TH
_doesGenerateSenderFnSignatureData.Effect.TH
_keyedSenderGenConfData.Effect.TH
_normalSenderGenConfData.Effect.TH
_senderFnArgDocData.Effect.TH
_senderFnDocData.Effect.TH
_senderFnNameData.Effect.TH
_taggedSenderGenConfData.Effect.TH
_warnFirstOrderInSigClsData.Effect.TH
|+Data.Hefty.Union
|+:Data.Hefty.Union
~>Control.Effect
~~>Data.Effect.HFunctor.HCont