data-effects-core-0.4.2.0: A basic framework for effect systems based on effects represented by GADTs.
Contents
Index
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
AskLabel
Data.Effect
At
Data.Effect.OpenUnion
bundleUnion
Data.Effect.OpenUnion
callCC_
Control.Effect
caseAnyOrder
Data.Effect.OpenUnion
Catch
1 (Type/Class)
Data.Effect
2 (Data Constructor)
Data.Effect
CatchLabel
Data.Effect
CC
Data.Effect
CCLabel
Data.Effect
Censor
Data.Effect
Choose
1 (Type/Class)
Data.Effect
2 (Data Constructor)
Data.Effect
ChooseH
1 (Type/Class)
Data.Effect
2 (Data Constructor)
Data.Effect
ChooseHLabel
Data.Effect
ChooseLabel
Data.Effect
coerceFOEs
Data.Effect.OpenUnion
compareMembership
Data.Effect.OpenUnion
continuationOfInterpretation
Data.Effect.OpenUnion
convertEff
Control.Effect
convertFree
Control.Effect
decomp
Data.Effect.OpenUnion
Discriminator
Data.Effect.OpenUnion
Each
Data.Effect.OpenUnion
Eff
1 (Type/Class)
Control.Effect
2 (Data Constructor)
Control.Effect
Effect
Data.Effect
EffectForm
Data.Effect
EffectOrder
Data.Effect
Efix
Data.Effect
Elem
Data.Effect.OpenUnion
Emb
1 (Type/Class)
Data.Effect
2 (Data Constructor)
Data.Effect
emb
Control.Effect
EmbLabel
Data.Effect
Empty
1 (Type/Class)
Data.Effect
2 (Data Constructor)
Data.Effect
EmptyLabel
Data.Effect
ErrorIfNotFound
Data.Effect.OpenUnion
Exponential
Data.Effect
extract
Data.Effect.OpenUnion
extractAnyOrder
Data.Effect.OpenUnion
Fail
1 (Type/Class)
Data.Effect
2 (Data Constructor)
Data.Effect
FailLabel
Data.Effect
FindBy
Data.Effect.OpenUnion
findBy
Data.Effect.OpenUnion
FindByLabel
Data.Effect.OpenUnion
FirstOrder
1 (Type/Class)
Data.Effect
2 (Data Constructor)
Data.Effect
firstOrdership
Data.Effect.OpenUnion
Fix
Data.Effect
FixLabel
Data.Effect
FOEs
Data.Effect.OpenUnion
foldExpIndexShifter
Data.Effect.OpenUnion
foldHoeIndexShifter
Data.Effect.OpenUnion
FormCase
Data.Effect
FormOf
Data.Effect
Free
Control.Effect
Get
Data.Effect
getEmb
Data.Effect
getUnemb
Data.Effect
Has
Data.Effect.OpenUnion
HCont
1 (Type/Class)
Data.Effect.HFunctor.HCont
2 (Data Constructor)
Data.Effect.HFunctor.HCont
HeadOf
Data.Effect.OpenUnion
Here
Data.Effect.OpenUnion
hfmap
Data.Effect.HFunctor
hfmapDynUnsafeCoerce
Data.Effect.OpenUnion
hfmapUnion
Data.Effect.OpenUnion
HFunctor
Data.Effect.HFunctor
HigherOrder
Data.Effect
higherOrdership
Data.Effect.OpenUnion
hoist
Control.Effect
IdentityDiscriminator
Data.Effect.OpenUnion
identityMembership
Data.Effect.OpenUnion
IdentityResolver
Data.Effect.OpenUnion
In
Data.Effect.OpenUnion
inject
Data.Effect.OpenUnion
interpose
Control.Effect.Interpret
interposeFor
Control.Effect.Interpret
interposeIn
Control.Effect.Interpret
interposeOn
Control.Effect.Interpret
interpret
Control.Effect.Interpret
interpretAll
Control.Effect.Interpret
interprets
Control.Effect.Interpret
intVal
Data.Effect.OpenUnion
iterAllEff
Control.Effect.Interpret
Jump
Data.Effect
KeyDiscriminator
Data.Effect.OpenUnion
keyMembership
Data.Effect.OpenUnion
KeyOf
Data.Effect.OpenUnion
KeyResolver
Data.Effect.OpenUnion
KnownIndex
Data.Effect.OpenUnion
KnownLength
Data.Effect.OpenUnion
KnownOrder
Data.Effect.OpenUnion
labelMembership
Data.Effect.OpenUnion
LabelOf
Data.Effect
LabelResolver
Data.Effect.OpenUnion
liftFree
Control.Effect
Listen
Data.Effect
Local
1 (Type/Class)
Data.Effect
2 (Data Constructor)
Data.Effect
LocalLabel
Data.Effect
mapUnion
Data.Effect.OpenUnion
MemberBy
Data.Effect.OpenUnion
Membership
Data.Effect.OpenUnion
membership
Data.Effect.OpenUnion
membershipAt
Data.Effect.OpenUnion
mergeUnion
Data.Effect.OpenUnion
mergeUnion1
Data.Effect.OpenUnion
mkUnion
Data.Effect.OpenUnion
nil
Data.Effect.OpenUnion
nilMembership
Data.Effect.OpenUnion
NoKeyDiscriminator
Data.Effect.OpenUnion
Nop
Data.Effect
NopLabel
Data.Effect
offset
Data.Effect.OpenUnion
onlyFOEs
Control.Effect.Transform
onlyPolys
Control.Effect.Transform
OrderCase
Data.Effect
OrderOf
Data.Effect
Ordership
Data.Effect.OpenUnion
pass
Control.Effect
perform
Control.Effect
perform'
Control.Effect
perform''
Control.Effect
PolyHFunctor
Data.Effect
PolyHFunctors
Data.Effect.OpenUnion
Polynomial
Data.Effect
prefixFor
Data.Effect.OpenUnion
prefixFor1
Data.Effect.OpenUnion
prefixLen
Data.Effect.OpenUnion
prefixLenUnder
Data.Effect.OpenUnion
preinterpose
Control.Effect.Interpret
preinterposeFor
Control.Effect.Interpret
preinterposeIn
Control.Effect.Interpret
preinterposeOn
Control.Effect.Interpret
project
Data.Effect.OpenUnion
projectAnyOrder
Data.Effect.OpenUnion
Put
Data.Effect
raise
Control.Effect.Transform
raisePrefix
Control.Effect.Transform
raisePrefix1
Control.Effect.Transform
raises
Control.Effect.Transform
raiseSuffix
Control.Effect.Transform
raisesUnder
Control.Effect.Transform
raisesUnders
Control.Effect.Transform
raiseUnder
Control.Effect.Transform
reifyLength
Data.Effect.OpenUnion
reinterpret
Control.Effect.Interpret
reinterprets
Control.Effect.Interpret
RemoveExps
Data.Effect.OpenUnion
RemoveHOEs
Data.Effect.OpenUnion
ResolverName
Data.Effect.OpenUnion
retract
Control.Effect
rewrite
Control.Effect.Transform
rewriteFor
Control.Effect.Transform
rewriteIn
Control.Effect.Transform
rewriteOn
Control.Effect.Transform
runEff
Control.Effect.Interpret
runFree
Control.Effect
runPure
Control.Effect.Interpret
send
Control.Effect
sendAt
Control.Effect
sendFor
Control.Effect
shrinkOrdership
Data.Effect.OpenUnion
splitFor
Data.Effect.OpenUnion
splitFor1
Data.Effect.OpenUnion
splitUnion
Data.Effect.OpenUnion
splitUnion1
Data.Effect.OpenUnion
State
Data.Effect
StateLabel
Data.Effect
sub
Control.Effect
SubFork
Data.Effect
subsume
Control.Effect.Transform
subsumeUnder
Control.Effect.Transform
Suffix
Data.Effect.OpenUnion
suffixFor
Data.Effect.OpenUnion
SuffixUnder
Data.Effect.OpenUnion
Tag
Data.Effect.Tag
tag
Control.Effect.Transform
Tagged
Data.Effect.Tag
TaggedLabel
Data.Effect.Tag
Tell
1 (Type/Class)
Data.Effect
2 (Data Constructor)
Data.Effect
TellLabel
Data.Effect
There
Data.Effect.OpenUnion
Throw
1 (Type/Class)
Data.Effect
2 (Data Constructor)
Data.Effect
ThrowLabel
Data.Effect
transAll
Control.Effect.Transform
transform
Control.Effect.Transform
translate
Control.Effect.Transform
translateFor
Control.Effect.Transform
translateIn
Control.Effect.Transform
translateOn
Control.Effect.Transform
unbundleUnion
Data.Effect.OpenUnion
unEff
Control.Effect
Unemb
1 (Type/Class)
Data.Effect
2 (Data Constructor)
Data.Effect
unHCont
Data.Effect.HFunctor.HCont
Union
Data.Effect.OpenUnion
union
Data.Effect.OpenUnion
UnliftBase
Data.Effect
UnliftBaseLabel
Data.Effect
UnliftIO
Data.Effect
unMembership
Data.Effect.OpenUnion
UnsafeFirst
Data.Effect.OpenUnion
UnsafeHigher
Data.Effect.OpenUnion
UnsafeMembership
Data.Effect.OpenUnion
UnsafeUnion
Data.Effect.OpenUnion
unTag
Data.Effect.Tag
untag
Control.Effect.Transform
weaken
Data.Effect.OpenUnion
WeakenExps
Data.Effect.OpenUnion
weakenExps
Data.Effect.OpenUnion
weakenExpsFor
Data.Effect.OpenUnion
WeakenExps_
Data.Effect.OpenUnion
weakenFor
Data.Effect.OpenUnion
WeakenHOEs
Data.Effect.OpenUnion
weakenHOEs
Data.Effect.OpenUnion
weakenHOEsFor
Data.Effect.OpenUnion
WeakenHOEs_
Data.Effect.OpenUnion
weakens
Data.Effect.OpenUnion
weakensFor
Data.Effect.OpenUnion
weakensUnder
Data.Effect.OpenUnion
weakensUnderFor
Data.Effect.OpenUnion
WithRunInBase
Data.Effect
WriterH
Data.Effect
WriterHLabel
Data.Effect
~>
Control.Effect
~~>
Control.Effect