& | Control.Effect |
:< | Control.Effect.Internal, Control.Effect.Base, Control.Effect |
:<# | Control.Effect.Internal |
:<< | Control.Effect.Internal, Control.Effect.Base, Control.Effect |
<|> | Control.Effect.NonDet, Control.Effect |
>>> | Control.Effect |
abort | Control.Effect.Internal, Control.Effect.Base, Control.Effect |
Alternative | Control.Effect.NonDet, Control.Effect |
Any | Control.Effect.Internal |
anyCo | Control.Effect.Internal |
Ask | Control.Effect.Reader, Control.Effect |
ask | Control.Effect.Reader, Control.Effect |
assertM | Control.Effect.Internal.Debug |
axiom | Control.Effect.Internal |
BoxRegisters | Control.Effect.Internal |
BoxTargets | Control.Effect.Internal |
Capture | |
1 (Type/Class) | Control.Effect.Internal |
2 (Data Constructor) | Control.Effect.Internal |
CaptureMode | Control.Effect.Internal |
captureVM | Control.Effect.Internal |
Catch | Control.Effect.Error, Control.Effect |
catch | Control.Effect.Error, Control.Effect |
Censor | Control.Effect.Writer, Control.Effect.Writer.Strict, Control.Effect |
censor | Control.Effect.Writer, Control.Effect.Writer.Strict, Control.Effect |
Choose | Control.Effect.Internal, Control.Effect.NonDet, Control.Effect |
cloneSmallArray | Control.Effect.Internal.SmallArray |
cloneSmallMutableArray | Control.Effect.Internal.SmallArray |
control | Control.Effect.Internal, Control.Effect.Base, Control.Effect |
control0 | Control.Effect.Internal, Control.Effect.Base, Control.Effect |
controlVM | Control.Effect.Internal |
copySmallArray | Control.Effect.Internal.SmallArray |
copySmallMutableArray | Control.Effect.Internal.SmallArray |
Coroutine | Control.Effect.Coroutine, Control.Effect |
DebugCallStack | Control.Effect.Internal.Debug |
debugEnabled | Control.Effect.Internal.Debug |
Dict | |
1 (Type/Class) | Control.Effect.Internal |
2 (Data Constructor) | Control.Effect.Internal |
DictRep | Control.Effect.Internal |
Done | Control.Effect.Coroutine, Control.Effect |
dropTargets | Control.Effect.Internal |
Eff | |
1 (Type/Class) | Control.Effect.Internal, Control.Effect.Base, Control.Effect |
2 (Data Constructor) | Control.Effect.Internal |
Eff# | Control.Effect.Internal |
Effect | Control.Effect.Internal, Control.Effect.Base, Control.Effect |
Empty | Control.Effect.Internal, Control.Effect.NonDet, Control.Effect |
empty | Control.Effect.NonDet, Control.Effect |
Error | Control.Effect.Error, Control.Effect |
evalState | Control.Effect.Internal, Control.Effect.State.Strict, Control.Effect |
evalWriter | Control.Effect.Writer.Strict, Control.Effect |
EVM | |
1 (Type/Class) | Control.Effect.Internal |
2 (Data Constructor) | Control.Effect.Internal |
EVM# | Control.Effect.Internal |
ExcludePrompt | Control.Effect.Internal |
execState | Control.Effect.State.Strict, Control.Effect |
execWriter | Control.Effect.Writer.Strict, Control.Effect |
Get | Control.Effect.Internal, Control.Effect.State, Control.Effect.State.Strict, Control.Effect |
get | Control.Effect.State, Control.Effect.State.Strict, Control.Effect |
Handle | |
1 (Type/Class) | Control.Effect.Internal, Control.Effect.Base, Control.Effect |
2 (Data Constructor) | Control.Effect.Internal |
handle | Control.Effect.Internal, Control.Effect.Base, Control.Effect |
Handle# | Control.Effect.Internal |
Handler | |
1 (Type/Class) | Control.Effect.Internal |
2 (Data Constructor) | Control.Effect.Internal |
Handler# | Control.Effect.Internal |
handleVM | Control.Effect.Internal |
IncludePrompt | Control.Effect.Internal |
IndexDict# | Control.Effect.Internal |
indexSmallArray | Control.Effect.Internal.SmallArray |
initialRegisters | Control.Effect.Internal |
interpret | Control.Effect.Base, Control.Effect |
IOE | Control.Effect.Internal, Control.Effect.Base, Control.Effect |
Lift | Control.Effect.Internal |
lift | Control.Effect.Internal, Control.Effect.Base, Control.Effect |
lift1 | Control.Effect.Internal, Control.Effect.Base, Control.Effect |
liftH | Control.Effect.Internal, Control.Effect.Base, Control.Effect |
LiftIO | Control.Effect.Internal, Control.Effect.Base, Control.Effect |
liftIO | Control.Effect.Base, Control.Effect |
liftTargets | Control.Effect.Internal |
Listen | Control.Effect.Writer, Control.Effect.Writer.Strict, Control.Effect |
listen | Control.Effect.Writer, Control.Effect.Writer.Strict, Control.Effect |
Local | Control.Effect.Reader, Control.Effect |
local | Control.Effect.Reader, Control.Effect |
locally | Control.Effect.Internal, Control.Effect.Base, Control.Effect |
lookupTarget | Control.Effect.Internal |
many | Control.Effect.NonDet, Control.Effect |
modify | Control.Effect.State, Control.Effect.State.Strict, Control.Effect |
MonadIO | Control.Effect.Base, Control.Effect |
newSmallArray | Control.Effect.Internal.SmallArray |
NonDet | Control.Effect.Internal, Control.Effect.NonDet, Control.Effect |
noTargets | Control.Effect.Internal |
null# | Control.Effect.Internal |
packIOResult | Control.Effect.Internal |
parameterizeVM | Control.Effect.Internal |
PromptId | |
1 (Type/Class) | Control.Effect.Internal |
2 (Data Constructor) | Control.Effect.Internal |
PromptId# | Control.Effect.Internal |
promptVM | Control.Effect.Internal |
promptVM_ | Control.Effect.Internal |
pushTarget | Control.Effect.Internal |
Put | Control.Effect.Internal, Control.Effect.State, Control.Effect.State.Strict, Control.Effect |
put | Control.Effect.State, Control.Effect.State.Strict, Control.Effect |
Reader | Control.Effect.Reader, Control.Effect |
readSmallArray | Control.Effect.Internal.SmallArray |
reflectDict | Control.Effect.Internal |
ReflectIndex# | Control.Effect.Internal |
Registers | |
1 (Type/Class) | Control.Effect.Internal |
2 (Data Constructor) | Control.Effect.Internal |
Registers# | |
1 (Type/Class) | Control.Effect.Internal |
2 (Data Constructor) | Control.Effect.Internal |
reifyIndex | Control.Effect.Internal |
reifyIndex# | Control.Effect.Internal |
reifySubIndex | Control.Effect.Internal |
Result | |
1 (Type/Class) | Control.Effect.Internal |
2 (Data Constructor) | Control.Effect.Internal |
run | Control.Effect.Internal, Control.Effect.Base, Control.Effect |
runCoroutine | Control.Effect.Coroutine, Control.Effect |
runError | Control.Effect.Error, Control.Effect |
runHandle | Control.Effect.Internal |
runHandle# | Control.Effect.Internal |
runHandler | Control.Effect.Internal |
runHandler# | Control.Effect.Internal |
runIO | Control.Effect.Internal, Control.Effect.Base, Control.Effect |
runNonDetAll | Control.Effect.NonDet, Control.Effect |
runReader | Control.Effect.Reader, Control.Effect |
runSmallArray | Control.Effect.Internal.SmallArray |
runState | Control.Effect.State.Strict, Control.Effect |
runWriter | Control.Effect.Writer.Strict, Control.Effect |
send | Control.Effect.Internal, Control.Effect.Base, Control.Effect |
sizeofSmallArray | Control.Effect.Internal.SmallArray |
sizeofSmallMutableArray | Control.Effect.Internal.SmallArray |
SmallArray | |
1 (Data Constructor) | Control.Effect.Internal.SmallArray |
2 (Type/Class) | Control.Effect.Internal.SmallArray |
SmallMutableArray | |
1 (Data Constructor) | Control.Effect.Internal.SmallArray |
2 (Type/Class) | Control.Effect.Internal.SmallArray |
some | Control.Effect.NonDet, Control.Effect |
State | Control.Effect.Internal, Control.Effect.State, Control.Effect.State.Strict, Control.Effect |
Status | Control.Effect.Coroutine, Control.Effect |
Targets | |
1 (Type/Class) | Control.Effect.Internal |
2 (Data Constructor) | Control.Effect.Internal |
Targets# | |
1 (Type/Class) | Control.Effect.Internal |
2 (Data Constructor) | Control.Effect.Internal |
Tell | Control.Effect.Writer, Control.Effect.Writer.Strict, Control.Effect |
tell | Control.Effect.Writer, Control.Effect.Writer.Strict, Control.Effect |
Throw | Control.Effect.Error, Control.Effect |
throw | Control.Effect.Error, Control.Effect |
unboxRegisters | Control.Effect.Internal |
unEff | Control.Effect.Internal |
unEff# | Control.Effect.Internal |
unEVM | Control.Effect.Internal |
unEVM# | Control.Effect.Internal |
unIO | Control.Effect.Internal |
unPromptId | Control.Effect.Internal |
unsafeFreezeSmallArray | Control.Effect.Internal.SmallArray |
unsafeIOToEff | Control.Effect.Internal |
unsafeThawSmallArray | Control.Effect.Internal.SmallArray |
Unwind | Control.Effect.Internal |
UnwindAbort | Control.Effect.Internal |
UnwindControl | Control.Effect.Internal |
unWithDict | Control.Effect.Internal |
WithDict | |
1 (Type/Class) | Control.Effect.Internal |
2 (Data Constructor) | Control.Effect.Internal |
WrapHandler | Control.Effect.Internal |
WrappedHandler | Control.Effect.Internal |
Writer | Control.Effect.Writer, Control.Effect.Writer.Strict, Control.Effect |
writeSmallArray | Control.Effect.Internal.SmallArray |
Yield | Control.Effect.Coroutine, Control.Effect |
yield | Control.Effect.Coroutine, Control.Effect |
Yielded | Control.Effect.Coroutine, Control.Effect |