data-effects-core-0.2.0.0: A basic framework for effect systems based on effects represented by GADTs.

Index

#Data.Effect.Tag
##Data.Effect.Tag
##>Data.Effect.Key
#>Data.Effect.Key
:&: 
1 (Type/Class)Data.Effect.HFunctor
2 (Data Constructor)Data.Effect.HFunctor
:+:Data.Effect.HFunctor
:<:Data.Effect.HFunctor
:=:Data.Effect.HFunctor
<:Control.Effect
<<:Control.Effect
ByKey 
1 (Type/Class)Control.Effect.Key
2 (Data Constructor)Control.Effect.Key
caseHData.Effect.HFunctor
DistAnnData.Effect.HFunctor
EffectFData.Effect
EffectHData.Effect
ElemData.Effect.HFunctor
HCont 
1 (Type/Class)Data.Effect.HFunctor.HCont
2 (Data Constructor)Data.Effect.HFunctor.HCont
hfmapData.Effect.HFunctor
HFunctorData.Effect.HFunctor
injData.Effect.HFunctor
inj'Data.Effect.HFunctor
injectAData.Effect.HFunctor
InlData.Effect.HFunctor
InrData.Effect.HFunctor
KData.Effect.Key
Key 
1 (Type/Class)Data.Effect.Key
2 (Data Constructor)Data.Effect.Key
keyControl.Effect.Key
KeyH 
1 (Type/Class)Data.Effect.Key
2 (Data Constructor)Data.Effect.Key
KHData.Effect.Key
LiftFOE 
1 (Type/Class)Data.Effect
2 (Data Constructor)Data.Effect
LNopData.Effect
NopData.Effect
prj'Data.Effect.HFunctor
projData.Effect.HFunctor
projectAData.Effect.HFunctor
RemAData.Effect.HFunctor
remAData.Effect.HFunctor
runByKeyControl.Effect.Key
runViaTagControl.Effect.Tag
SendFOEControl.Effect
sendFOEControl.Effect
SendFOEByControl.Effect.Key
sendFOEByControl.Effect.Key
SendHOEControl.Effect
sendHOEControl.Effect
SendHOEByControl.Effect.Key
sendHOEByControl.Effect.Key
splData.Effect.HFunctor
SubsumeData.Effect.HFunctor
TData.Effect.Tag
Tag 
1 (Type/Class)Data.Effect.Tag
2 (Data Constructor)Data.Effect.Tag
tagControl.Effect.Tag
TagH 
1 (Type/Class)Data.Effect.Tag
2 (Data Constructor)Data.Effect.Tag
THData.Effect.Tag
unHContData.Effect.HFunctor.HCont
unKeyData.Effect.Key
unKeyHData.Effect.Key
unliftFOEData.Effect
unTagData.Effect.Tag
unTagHData.Effect.Tag
ViaTag 
1 (Type/Class)Control.Effect.Tag
2 (Data Constructor)Control.Effect.Tag
~>Control.Effect