data-effects-0.4.2.0: A basic framework for effect systems based on effects represented by GADTs.
Contents
Index
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
W
Y
:
!
#
$
&
+
~
_
All
Index - E
Each
Data.Effect.OpenUnion
Eff
1 (Type/Class)
Control.Effect
2 (Data Constructor)
Control.Effect
Effect
Data.Effect
EffectConf
1 (Type/Class)
Data.Effect.TH
2 (Data Constructor)
Data.Effect.TH
EffectForm
Data.Effect
effectMakers
Data.Effect.TH
EffectOrder
Data.Effect
,
Data.Effect.TH
Efix
Data.Effect.Fix
,
Data.Effect
efix
Data.Effect.Fix
efix'
Data.Effect.Fix
efix''
Data.Effect.Fix
efix'_
Data.Effect.Fix
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.NonDet
,
Data.Effect
2 (Data Constructor)
Data.Effect.NonDet
,
Data.Effect
empty
Data.Effect.NonDet
empty'
Data.Effect.NonDet
empty''
Data.Effect.NonDet
empty'_
Data.Effect.NonDet
EmptyException
1 (Type/Class)
Data.Effect.NonDet
2 (Data Constructor)
Data.Effect.NonDet
EmptyLabel
Data.Effect
ErrorIfNotFound
Data.Effect.OpenUnion
evalStateIORef
Data.Effect.State
exc
Data.Effect.Except
execStateIORef
Data.Effect.State
existsKV
Data.Effect.KVStore
Exponential
Data.Effect
extract
Data.Effect.OpenUnion
extractAnyOrder
Data.Effect.OpenUnion