*> | Data.OpenUnion.Imports |
:> | Data.OpenUnion.Imports, Data.OpenUnion, Control.Eff |
<* | Data.OpenUnion.Imports |
<*> | Data.OpenUnion.Imports |
adventIO | Control.Eff.Operational.Example |
adventPure | Control.Eff.Operational.Example |
Applicative | Data.OpenUnion.Imports |
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 |
CutFalse | |
1 (Type/Class) | Control.Eff.Cut |
2 (Data Constructor) | Control.Eff.Cut |
cutfalse | Control.Eff.Cut |
decomp | Data.OpenUnion, Control.Eff |
die | Control.Eff.Exception |
Done | Control.Eff.Coroutine |
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 |
Free | Control.Monad.Free.Reflection, Control.Eff |
freeImpure | Control.Monad.Free.Reflection, Control.Eff |
freeMap | Control.Monad.Free.Reflection, Control.Eff |
freePure | Control.Monad.Free.Reflection, Control.Eff |
FreeView | Control.Monad.Free.Reflection, Control.Eff |
Fresh | |
1 (Type/Class) | Control.Eff.Fresh |
2 (Data Constructor) | Control.Eff.Fresh |
fresh | Control.Eff.Fresh |
fromView | Control.Monad.Free.Reflection, Control.Eff |
get | |
1 (Function) | Control.Eff.State.Lazy |
2 (Function) | Control.Eff.State.Strict |
handleRelay | Control.Eff |
ignoreFail | Control.Eff.Exception |
Impure | Control.Monad.Free.Reflection, Control.Eff |
inj | Data.OpenUnion, Control.Eff |
interpose | Control.Eff |
Jail | Control.Eff.Operational.Example |
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 |
local | |
1 (Function) | Control.Eff.Reader.Lazy |
2 (Function) | Control.Eff.Reader.Strict |
Member | Data.OpenUnion.Imports, Data.OpenUnion, Control.Eff |
MemberU | Data.OpenUnion.Imports |
modify | |
1 (Function) | Control.Eff.State.Lazy |
2 (Function) | Control.Eff.State.Strict |
mplus' | Control.Eff.Choose |
mzero' | Control.Eff.Choose |
onFail | Control.Eff.Exception |
Print | Control.Eff.Operational.Example |
prj | Data.OpenUnion, Control.Eff |
prjForce | Data.OpenUnion, Control.Eff |
prog | Control.Eff.Operational.Example |
Program | |
1 (Type/Class) | Control.Eff.Operational |
2 (Data Constructor) | Control.Eff.Operational |
Pure | Control.Monad.Free.Reflection, Control.Eff |
pure | Data.OpenUnion.Imports |
put | |
1 (Function) | Control.Eff.State.Lazy |
2 (Function) | Control.Eff.State.Strict |
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 |
runChoice | Control.Eff.Choose |
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 |
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 |
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, Control.Eff |
singleton | Control.Eff.Operational |
State | |
1 (Type/Class) | Control.Eff.State.Lazy |
2 (Data Constructor) | Control.Eff.State.Lazy |
3 (Type/Class) | Control.Eff.State.Strict |
4 (Data Constructor) | Control.Eff.State.Strict |
tell | |
1 (Function) | Control.Eff.Writer.Lazy |
2 (Function) | Control.Eff.Writer.Strict |
throwExc | Control.Eff.Exception |
toView | Control.Monad.Free.Reflection, Control.Eff |
Trace | |
1 (Type/Class) | Control.Eff.Trace |
2 (Data Constructor) | Control.Eff.Trace |
trace | Control.Eff.Trace |
Union | |
1 (Type/Class) | Data.OpenUnion.Imports, Data.OpenUnion, Control.Eff |
2 (Data Constructor) | Data.OpenUnion.Imports |
unsafeReUnion | Data.OpenUnion, Control.Eff |
weaken | Data.OpenUnion |
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 |