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

Index

!++Data.Effect.OpenUnion
!:Data.Effect.OpenUnion
!:>Data.Effect.OpenUnion
#Data.Effect.Tag
$Control.Effect
$$Control.Effect
++Data.Effect.OpenUnion
:>Data.Effect.OpenUnion
Ask 
1 (Type/Class)Data.Effect
2 (Data Constructor)Data.Effect
AskLabelData.Effect
AtData.Effect.OpenUnion
bundleUnionData.Effect.OpenUnion
callCC_Control.Effect
caseAnyOrderData.Effect.OpenUnion
Catch 
1 (Type/Class)Data.Effect
2 (Data Constructor)Data.Effect
CatchLabelData.Effect
CCData.Effect
CCLabelData.Effect
CensorData.Effect
Choose 
1 (Type/Class)Data.Effect
2 (Data Constructor)Data.Effect
ChooseH 
1 (Type/Class)Data.Effect
2 (Data Constructor)Data.Effect
ChooseHLabelData.Effect
ChooseLabelData.Effect
coerceFOEsData.Effect.OpenUnion
compareMembershipData.Effect.OpenUnion
continuationOfInterpretationData.Effect.OpenUnion
convertEffControl.Effect
convertFreeControl.Effect
decompData.Effect.OpenUnion
DiscriminatorData.Effect.OpenUnion
EachData.Effect.OpenUnion
Eff 
1 (Type/Class)Control.Effect
2 (Data Constructor)Control.Effect
EffectData.Effect
EffectFormData.Effect
EffectOrderData.Effect
EfixData.Effect
ElemData.Effect.OpenUnion
Emb 
1 (Type/Class)Data.Effect
2 (Data Constructor)Data.Effect
embControl.Effect
EmbLabelData.Effect
Empty 
1 (Type/Class)Data.Effect
2 (Data Constructor)Data.Effect
EmptyLabelData.Effect
ErrorIfNotFoundData.Effect.OpenUnion
ExponentialData.Effect
extractData.Effect.OpenUnion
extractAnyOrderData.Effect.OpenUnion
Fail 
1 (Type/Class)Data.Effect
2 (Data Constructor)Data.Effect
FailLabelData.Effect
FindByData.Effect.OpenUnion
findByData.Effect.OpenUnion
FindByLabelData.Effect.OpenUnion
FirstOrder 
1 (Type/Class)Data.Effect
2 (Data Constructor)Data.Effect
firstOrdershipData.Effect.OpenUnion
FixData.Effect
FixLabelData.Effect
FOEsData.Effect.OpenUnion
foldExpIndexShifterData.Effect.OpenUnion
foldHoeIndexShifterData.Effect.OpenUnion
FormCaseData.Effect
FormOfData.Effect
FreeControl.Effect
GetData.Effect
getEmbData.Effect
getUnembData.Effect
HasData.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
HigherOrderData.Effect
higherOrdershipData.Effect.OpenUnion
hoistControl.Effect
IdentityDiscriminatorData.Effect.OpenUnion
identityMembershipData.Effect.OpenUnion
IdentityResolverData.Effect.OpenUnion
InData.Effect.OpenUnion
injectData.Effect.OpenUnion
interposeControl.Effect.Interpret
interposeForControl.Effect.Interpret
interposeInControl.Effect.Interpret
interposeOnControl.Effect.Interpret
interpretControl.Effect.Interpret
interpretAllControl.Effect.Interpret
interpretsControl.Effect.Interpret
intValData.Effect.OpenUnion
iterAllEffControl.Effect.Interpret
JumpData.Effect
KeyDiscriminatorData.Effect.OpenUnion
keyMembershipData.Effect.OpenUnion
KeyOfData.Effect.OpenUnion
KeyResolverData.Effect.OpenUnion
KnownIndexData.Effect.OpenUnion
KnownLengthData.Effect.OpenUnion
KnownOrderData.Effect.OpenUnion
labelMembershipData.Effect.OpenUnion
LabelOfData.Effect
LabelResolverData.Effect.OpenUnion
liftFreeControl.Effect
ListenData.Effect
Local 
1 (Type/Class)Data.Effect
2 (Data Constructor)Data.Effect
LocalLabelData.Effect
mapUnionData.Effect.OpenUnion
MemberByData.Effect.OpenUnion
MembershipData.Effect.OpenUnion
membershipData.Effect.OpenUnion
membershipAtData.Effect.OpenUnion
mergeUnionData.Effect.OpenUnion
mergeUnion1Data.Effect.OpenUnion
mkUnionData.Effect.OpenUnion
nilData.Effect.OpenUnion
nilMembershipData.Effect.OpenUnion
NoKeyDiscriminatorData.Effect.OpenUnion
NopData.Effect
NopLabelData.Effect
offsetData.Effect.OpenUnion
onlyFOEsControl.Effect.Transform
onlyPolysControl.Effect.Transform
OrderCaseData.Effect
OrderOfData.Effect
OrdershipData.Effect.OpenUnion
passControl.Effect
performControl.Effect
perform'Control.Effect
perform''Control.Effect
PolyHFunctorData.Effect
PolyHFunctorsData.Effect.OpenUnion
PolynomialData.Effect
prefixForData.Effect.OpenUnion
prefixFor1Data.Effect.OpenUnion
prefixLenData.Effect.OpenUnion
prefixLenUnderData.Effect.OpenUnion
preinterposeControl.Effect.Interpret
preinterposeForControl.Effect.Interpret
preinterposeInControl.Effect.Interpret
preinterposeOnControl.Effect.Interpret
projectData.Effect.OpenUnion
projectAnyOrderData.Effect.OpenUnion
PutData.Effect
raiseControl.Effect.Transform
raisePrefixControl.Effect.Transform
raisePrefix1Control.Effect.Transform
raisesControl.Effect.Transform
raiseSuffixControl.Effect.Transform
raisesUnderControl.Effect.Transform
raisesUndersControl.Effect.Transform
raiseUnderControl.Effect.Transform
reifyLengthData.Effect.OpenUnion
reinterpretControl.Effect.Interpret
reinterpretsControl.Effect.Interpret
RemoveExpsData.Effect.OpenUnion
RemoveHOEsData.Effect.OpenUnion
ResolverNameData.Effect.OpenUnion
retractControl.Effect
rewriteControl.Effect.Transform
rewriteForControl.Effect.Transform
rewriteInControl.Effect.Transform
rewriteOnControl.Effect.Transform
runEffControl.Effect.Interpret
runFreeControl.Effect
runPureControl.Effect.Interpret
sendControl.Effect
sendAtControl.Effect
sendForControl.Effect
shrinkOrdershipData.Effect.OpenUnion
splitForData.Effect.OpenUnion
splitFor1Data.Effect.OpenUnion
splitUnionData.Effect.OpenUnion
splitUnion1Data.Effect.OpenUnion
StateData.Effect
StateLabelData.Effect
subControl.Effect
SubForkData.Effect
subsumeControl.Effect.Transform
subsumeUnderControl.Effect.Transform
SuffixData.Effect.OpenUnion
suffixForData.Effect.OpenUnion
SuffixUnderData.Effect.OpenUnion
TagData.Effect.Tag
tagControl.Effect.Transform
TaggedData.Effect.Tag
TaggedLabelData.Effect.Tag
Tell 
1 (Type/Class)Data.Effect
2 (Data Constructor)Data.Effect
TellLabelData.Effect
ThereData.Effect.OpenUnion
Throw 
1 (Type/Class)Data.Effect
2 (Data Constructor)Data.Effect
ThrowLabelData.Effect
transAllControl.Effect.Transform
transformControl.Effect.Transform
translateControl.Effect.Transform
translateForControl.Effect.Transform
translateInControl.Effect.Transform
translateOnControl.Effect.Transform
unbundleUnionData.Effect.OpenUnion
unEffControl.Effect
Unemb 
1 (Type/Class)Data.Effect
2 (Data Constructor)Data.Effect
unHContData.Effect.HFunctor.HCont
UnionData.Effect.OpenUnion
unionData.Effect.OpenUnion
UnliftBaseData.Effect
UnliftBaseLabelData.Effect
UnliftIOData.Effect
unMembershipData.Effect.OpenUnion
UnsafeFirstData.Effect.OpenUnion
UnsafeHigherData.Effect.OpenUnion
UnsafeMembershipData.Effect.OpenUnion
UnsafeUnionData.Effect.OpenUnion
unTagData.Effect.Tag
untagControl.Effect.Transform
weakenData.Effect.OpenUnion
WeakenExpsData.Effect.OpenUnion
weakenExpsData.Effect.OpenUnion
weakenExpsForData.Effect.OpenUnion
WeakenExps_Data.Effect.OpenUnion
weakenForData.Effect.OpenUnion
WeakenHOEsData.Effect.OpenUnion
weakenHOEsData.Effect.OpenUnion
weakenHOEsForData.Effect.OpenUnion
WeakenHOEs_Data.Effect.OpenUnion
weakensData.Effect.OpenUnion
weakensForData.Effect.OpenUnion
weakensUnderData.Effect.OpenUnion
weakensUnderForData.Effect.OpenUnion
WithRunInBaseData.Effect
WriterHData.Effect
WriterHLabelData.Effect
~>Control.Effect
~~>Control.Effect