R | Control.Effect.Sum |
Random | |
1 (Type/Class) | Control.Effect.Random.Internal, Control.Effect.Random, Control.Effect |
2 (Data Constructor) | Control.Effect.Random.Internal, Control.Effect.Random |
RandomC | |
1 (Type/Class) | Control.Effect.Random, Control.Effect |
2 (Data Constructor) | Control.Effect.Random |
RandomR | Control.Effect.Random.Internal, Control.Effect.Random |
Reader | Control.Effect.Reader, Control.Effect |
ReaderC | |
1 (Type/Class) | Control.Effect.Reader, Control.Effect |
2 (Data Constructor) | Control.Effect.Reader |
Reset | Control.Effect.Fresh |
resetFresh | Control.Effect.Fresh |
Resource | |
1 (Type/Class) | Control.Effect.Resource, Control.Effect |
2 (Data Constructor) | Control.Effect.Resource |
ResourceC | |
1 (Type/Class) | Control.Effect.Resource, Control.Effect |
2 (Data Constructor) | Control.Effect.Resource |
Resumable | |
1 (Type/Class) | Control.Effect.Resumable, Control.Effect |
2 (Data Constructor) | Control.Effect.Resumable |
ResumableC | |
1 (Type/Class) | Control.Effect.Resumable, Control.Effect |
2 (Data Constructor) | Control.Effect.Resumable |
ResumableWithC | |
1 (Type/Class) | Control.Effect.Resumable, Control.Effect |
2 (Data Constructor) | Control.Effect.Resumable |
ret | Control.Effect.Carrier |
run | Control.Effect.Void, Control.Effect |
runAltC | Control.Effect.NonDet |
runBranch | Control.Effect.NonDet.Internal, Control.Effect.NonDet |
runCull | Control.Effect.Cull |
runCullC | Control.Effect.Cull |
runCut | Control.Effect.Cut |
runCutC | Control.Effect.Cut |
runEff | Control.Effect.Internal |
runError | Control.Effect.Error |
runErrorC | Control.Effect.Error |
runFail | Control.Effect.Fail |
runFailC | Control.Effect.Fail |
runFresh | Control.Effect.Fresh |
runFreshC | Control.Effect.Fresh |
runLiftC | Control.Effect.Lift |
runM | Control.Effect.Lift, Control.Effect |
runNonDet | Control.Effect.NonDet |
runNonDetOnce | Control.Effect.NonDet |
runOnceC | Control.Effect.NonDet |
runRandom | Control.Effect.Random |
runRandomC | Control.Effect.Random |
runReader | Control.Effect.Reader |
runReaderC | Control.Effect.Reader |
runResource | Control.Effect.Resource |
runResumable | Control.Effect.Resumable |
runResumableC | Control.Effect.Resumable |
runResumableWith | Control.Effect.Resumable |
runState | Control.Effect.State |
runStateC | Control.Effect.State |
runTraceByIgnoring | Control.Effect.Trace |
runTraceByIgnoringC | Control.Effect.Trace |
runTraceByPrinting | Control.Effect.Trace |
runTraceByPrintingC | Control.Effect.Trace |
runTraceByReturning | Control.Effect.Trace |
runTraceByReturningC | Control.Effect.Trace |
runVoidC | Control.Effect.Void |
runWriter | Control.Effect.Writer |
runWriterC | Control.Effect.Writer |