Index

adventIO	Control.Eff.Operational.Example
adventPure	Control.Eff.Operational.Example
Arr	Control.Eff
arr	Control.Eff
Arrs	Control.Eff
ask
1 (Function)	Control.Eff.Reader.Lazy
2 (Function)	Control.Eff.Reader.Strict
call	Control.Eff.Cut
catchExc	Control.Eff.Exception
censor
1 (Function)	Control.Eff.Writer.Lazy
2 (Function)	Control.Eff.Writer.Strict
Choose
1 (Type/Class)	Control.Eff.Choose
2 (Data Constructor)	Control.Eff.Choose
choose	Control.Eff.Choose
comp	Control.Eff
CutFalse
1 (Type/Class)	Control.Eff.Cut
2 (Data Constructor)	Control.Eff.Cut
cutfalse	Control.Eff.Cut
decomp	Data.OpenUnion
Delay
1 (Data Constructor)	Control.Eff.State.LazyState
2 (Data Constructor)	Control.Eff.State.Lazy
die	Control.Eff.Exception
Done	Control.Eff.Coroutine
E	Control.Eff
Eff	Control.Eff
evalState
1 (Function)	Control.Eff.State.Lazy
2 (Function)	Control.Eff.State.Strict
Exc
1 (Type/Class)	Control.Eff.Exception
2 (Data Constructor)	Control.Eff.Exception
execState
1 (Function)	Control.Eff.State.Lazy
2 (Function)	Control.Eff.State.Strict
Fail	Control.Eff.Exception
first	Control.Eff
Fresh
1 (Type/Class)	Control.Eff.Fresh
2 (Data Constructor)	Control.Eff.Fresh
fresh	Control.Eff.Fresh
Get
1 (Data Constructor)	Control.Eff.State.Lazy
2 (Data Constructor)	Control.Eff.State.Strict
get
1 (Function)	Control.Eff.State.Lazy
2 (Function)	Control.Eff.State.Strict
handDown	Control.Eff.Example
handle_relay	Control.Eff
handle_relay_s	Control.Eff
handUp	Control.Eff.Example
ident	Control.Eff
ifte	Control.Eff.NdetEff
ignoreFail	Control.Eff.Exception
inj	Data.OpenUnion
interpose	Control.Eff
Jail	Control.Eff.Operational.Example
lastAndSum	Control.Eff.Example
lastEff	Control.Eff.Example
LazyState	Control.Eff.State.LazyState
LGet	Control.Eff.State.LazyState
lget	Control.Eff.State.LazyState
Lift
1 (Type/Class)	Control.Eff.Lift
2 (Data Constructor)	Control.Eff.Lift
lift	Control.Eff.Lift
liftEither	Control.Eff.Exception
liftEitherM	Control.Eff.Exception
liftMaybe	Control.Eff.Exception
liftMaybeM	Control.Eff.Exception
lmodify	Control.Eff.State.LazyState
local
1 (Function)	Control.Eff.Reader.Lazy
2 (Function)	Control.Eff.Reader.Strict
LPut	Control.Eff.State.LazyState
lput	Control.Eff.State.LazyState
makeChoice	Control.Eff.Choose
makeChoiceA	Control.Eff.NdetEff
makeChoiceA0	Control.Eff.NdetEff
Member	Data.OpenUnion
modify
1 (Function)	Control.Eff.State.Lazy
2 (Function)	Control.Eff.State.Strict
Move
1 (Type/Class)	Control.Eff.Example
2 (Data Constructor)	Control.Eff.Example
MPlus	Control.Eff.NdetEff
mplus'	Control.Eff.Choose
msplit	Control.Eff.NdetEff
MZero	Control.Eff.NdetEff
mzero'	Control.Eff.Choose
NdetEff	Control.Eff.NdetEff
once	Control.Eff.NdetEff
onDemand
1 (Function)	Control.Eff.State.LazyState
2 (Function)	Control.Eff.State.Lazy
onFail	Control.Eff.Exception
Print	Control.Eff.Operational.Example
prj	Data.OpenUnion
prog	Control.Eff.Operational.Example
Program
1 (Type/Class)	Control.Eff.Operational
2 (Data Constructor)	Control.Eff.Operational
ProxyState
1 (Type/Class)	Control.Eff.State.Strict
2 (Data Constructor)	Control.Eff.State.Strict
Put
1 (Data Constructor)	Control.Eff.State.Lazy
2 (Data Constructor)	Control.Eff.State.Strict
put
1 (Function)	Control.Eff.State.Lazy
2 (Function)	Control.Eff.State.Strict
qApp	Control.Eff
qComp	Control.Eff
Reader
1 (Type/Class)	Control.Eff.Reader.Lazy
2 (Data Constructor)	Control.Eff.Reader.Lazy
3 (Type/Class)	Control.Eff.Reader.Strict
4 (Data Constructor)	Control.Eff.Reader.Strict
reader
1 (Function)	Control.Eff.Reader.Lazy
2 (Function)	Control.Eff.Reader.Strict
rethrowExc	Control.Eff.Exception
run	Control.Eff
runC	Control.Eff.Coroutine
runExc	Control.Eff.Exception
runFail	Control.Eff.Exception
runFirstWriter
1 (Function)	Control.Eff.Writer.Lazy
2 (Function)	Control.Eff.Writer.Strict
runFresh'	Control.Eff.Fresh
runLastWriter
1 (Function)	Control.Eff.Writer.Lazy
2 (Function)	Control.Eff.Writer.Strict
runLift	Control.Eff.Lift
runListWriter
1 (Function)	Control.Eff.Writer.Lazy
2 (Function)	Control.Eff.Writer.Strict
runMonoidWriter
1 (Function)	Control.Eff.Writer.Lazy
2 (Function)	Control.Eff.Writer.Strict
runProgram	Control.Eff.Operational
runReader
1 (Function)	Control.Eff.Reader.Lazy
2 (Function)	Control.Eff.Reader.Strict
runState
1 (Function)	Control.Eff.State.Lazy
2 (Function)	Control.Eff.State.Strict
runState'
1 (Function)	Control.Eff.State.Lazy
2 (Function)	Control.Eff.State.Strict
runStateBack
1 (Function)	Control.Eff.State.LazyState
2 (Function)	Control.Eff.State.Lazy
runStateBack0
1 (Function)	Control.Eff.State.LazyState
2 (Function)	Control.Eff.State.Lazy
runStateLazy	Control.Eff.State.LazyState
runStateR
1 (Function)	Control.Eff.State.Lazy
2 (Function)	Control.Eff.State.Strict
runTrace	Control.Eff.Trace
runWriter
1 (Function)	Control.Eff.Writer.Lazy
2 (Function)	Control.Eff.Writer.Strict
Scan	Control.Eff.Operational.Example
send	Control.Eff
SetMember	Data.OpenUnion
single	Control.Eff
singleton	Control.Eff.Operational
State
1 (Type/Class)	Control.Eff.State.Lazy
2 (Type/Class)	Control.Eff.State.Strict
sumAll	Control.Eff.Example
sumEff	Control.Eff.Example
tell
1 (Function)	Control.Eff.Writer.Lazy
2 (Function)	Control.Eff.Writer.Strict
throwExc	Control.Eff.Exception
Trace
1 (Type/Class)	Control.Eff.Trace
2 (Data Constructor)	Control.Eff.Trace
trace	Control.Eff.Trace
transactionState	Control.Eff.State.Strict
Union	Data.OpenUnion
Val	Control.Eff
weaken	Data.OpenUnion
writeAll	Control.Eff.Example
writeAndAdd	Control.Eff.Example
Writer
1 (Type/Class)	Control.Eff.Writer.Lazy
2 (Data Constructor)	Control.Eff.Writer.Lazy
3 (Type/Class)	Control.Eff.Writer.Strict
4 (Data Constructor)	Control.Eff.Writer.Strict
Y
1 (Type/Class)	Control.Eff.Coroutine
2 (Data Constructor)	Control.Eff.Coroutine
Yield
1 (Type/Class)	Control.Eff.Coroutine
2 (Data Constructor)	Control.Eff.Coroutine
yield	Control.Eff.Coroutine