data-effects-core-0.1.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 (Data Constructor)Data.Effect.HFunctor
2 (Type/Class)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
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
InsClassData.Effect
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
LiftIns 
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
SendInsControl.Effect
sendInsControl.Effect
SendInsByControl.Effect.Key
sendInsByControl.Effect.Key
SendSigControl.Effect
sendSigControl.Effect
SendSigByControl.Effect.Key
sendSigByControl.Effect.Key
SigClassData.Effect
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
unliftInsData.Effect
unTagData.Effect.Tag
unTagHData.Effect.Tag
ViaTag 
1 (Type/Class)Control.Effect.Tag
2 (Data Constructor)Control.Effect.Tag
~>Control.Effect
~~>Data.Effect.HFunctor.HCont