| :+: | Control.Effect.Sum, Control.Effect.Carrier, Control.Effect |
| <|> | Control.Effect.NonDet |
| Alternative | Control.Effect.NonDet |
| Ask | Control.Effect.Reader |
| ask | Control.Effect.Reader |
| asks | Control.Effect.Reader |
| bracket | Control.Effect.Resource |
| bracketOnError | Control.Effect.Resource |
| Call | Control.Effect.Cut |
| call | Control.Effect.Cut |
| Carrier | Control.Effect.Carrier, Control.Effect.State.Strict, Control.Effect.State, Control.Effect.State.Lazy, Control.Effect.Reader, Control.Effect.Random, Control.Effect.NonDet, Control.Effect.Lift, Control.Effect.Fresh, Control.Effect.Error, Control.Effect.Resumable, Control.Effect.Fail, Control.Effect.Cut, Control.Effect.Cull, Control.Effect.Trace, Control.Effect.Writer, Control.Effect |
| Catch | Control.Effect.Error |
| catchError | Control.Effect.Error |
| Censor | Control.Effect.Writer |
| censor | Control.Effect.Writer |
| Choose | Control.Effect.NonDet |
| Cull | |
| 1 (Type/Class) | Control.Effect.Cull, Control.Effect |
| 2 (Data Constructor) | Control.Effect.Cull |
| cull | Control.Effect.Cull |
| CullC | |
| 1 (Type/Class) | Control.Effect.Cull, Control.Effect |
| 2 (Data Constructor) | Control.Effect.Cull |
| Cut | Control.Effect.Cut, Control.Effect |
| cut | Control.Effect.Cut |
| CutC | |
| 1 (Type/Class) | Control.Effect.Cut, Control.Effect |
| 2 (Data Constructor) | Control.Effect.Cut |
| Cutfail | Control.Effect.Cut |
| cutfail | Control.Effect.Cut |
| eff | Control.Effect.Carrier |
| Effect | Control.Effect.Carrier, Control.Effect |
| Empty | Control.Effect.NonDet |
| empty | Control.Effect.NonDet |
| Error | Control.Effect.Error, Control.Effect |
| ErrorC | |
| 1 (Type/Class) | Control.Effect.Error, Control.Effect |
| 2 (Data Constructor) | Control.Effect.Error |
| evalRandom | Control.Effect.Random |
| evalRandomIO | Control.Effect.Random |
| evalState | |
| 1 (Function) | Control.Effect.State.Strict, Control.Effect.State |
| 2 (Function) | Control.Effect.State.Lazy |
| execRandom | Control.Effect.Random |
| execState | |
| 1 (Function) | Control.Effect.State.Strict, Control.Effect.State |
| 2 (Function) | Control.Effect.State.Lazy |
| execWriter | Control.Effect.Writer |
| Fail | |
| 1 (Type/Class) | Control.Effect.Fail, Control.Effect |
| 2 (Data Constructor) | Control.Effect.Fail |
| fail | Control.Effect.Fail |
| FailC | |
| 1 (Type/Class) | Control.Effect.Fail, Control.Effect |
| 2 (Data Constructor) | Control.Effect.Fail |
| finally | Control.Effect.Resource |
| fmap' | Control.Effect.Carrier |
| Fresh | |
| 1 (Type/Class) | Control.Effect.Fresh, Control.Effect |
| 2 (Data Constructor) | Control.Effect.Fresh |
| fresh | Control.Effect.Fresh |
| FreshC | |
| 1 (Type/Class) | Control.Effect.Fresh, Control.Effect |
| 2 (Data Constructor) | Control.Effect.Fresh |
| GEffect | Control.Effect.Carrier |
| Get | Control.Effect.State.Internal, Control.Effect.State.Strict, Control.Effect.State, Control.Effect.State.Lazy |
| get | Control.Effect.State.Internal, Control.Effect.State.Strict, Control.Effect.State, Control.Effect.State.Lazy |
| getRandom | Control.Effect.Random |
| getRandomR | Control.Effect.Random |
| getRandomRs | Control.Effect.Random |
| getRandoms | Control.Effect.Random |
| gets | Control.Effect.State.Internal, Control.Effect.State.Strict, Control.Effect.State, Control.Effect.State.Lazy |
| ghandle | Control.Effect.Carrier |
| GHFunctor | Control.Effect.Carrier |
| ghmap | Control.Effect.Carrier |
| handle | Control.Effect.Carrier |
| handleCoercible | Control.Effect.Carrier |
| handlePure | Control.Effect.Carrier |
| HFunctor | Control.Effect.Carrier |
| hmap | Control.Effect.Carrier |
| inj | Control.Effect.Sum, Control.Effect.Carrier |
| Interleave | Control.Effect.Random |
| interleave | Control.Effect.Random |
| InterposeC | |
| 1 (Type/Class) | Control.Effect.Interpose |
| 2 (Data Constructor) | Control.Effect.Interpose |
| InterpretC | |
| 1 (Type/Class) | Control.Effect.Interpret |
| 2 (Data Constructor) | Control.Effect.Interpret |
| InterpretStateC | |
| 1 (Type/Class) | Control.Effect.Interpret |
| 2 (Data Constructor) | Control.Effect.Interpret |
| L | Control.Effect.Sum, Control.Effect.Carrier |
| Lift | |
| 1 (Type/Class) | Control.Effect.Lift, Control.Effect |
| 2 (Data Constructor) | Control.Effect.Lift |
| LiftC | |
| 1 (Type/Class) | Control.Effect.Lift, Control.Effect |
| 2 (Data Constructor) | Control.Effect.Lift |
| Listen | Control.Effect.Writer |
| listen | Control.Effect.Writer |
| listens | Control.Effect.Writer |
| Local | Control.Effect.Reader |
| local | Control.Effect.Reader |
| many | Control.Effect.NonDet |
| Member | Control.Effect.Sum, Control.Effect.Carrier, Control.Effect.State.Internal, Control.Effect.State.Strict, Control.Effect.State, Control.Effect.State.Lazy, Control.Effect.Reader, Control.Effect.Random, Control.Effect.NonDet, Control.Effect.Lift, Control.Effect.Fresh, Control.Effect.Error, Control.Effect.Resumable, Control.Effect.Fail, Control.Effect.Cut, Control.Effect.Cull, Control.Effect.Trace, Control.Effect.Writer, Control.Effect |
| modify | Control.Effect.State.Internal, Control.Effect.State.Strict, Control.Effect.State, Control.Effect.State.Lazy |
| modifyLazy | Control.Effect.State.Internal, Control.Effect.State.Strict, Control.Effect.State, Control.Effect.State.Lazy |
| MonadFail | Control.Effect.Fail |
| MonadInterleave | Control.Effect.Random |
| MonadRandom | Control.Effect.Random |
| NonDet | Control.Effect.NonDet, Control.Effect |
| NonDetC | |
| 1 (Type/Class) | Control.Effect.NonDet, Control.Effect |
| 2 (Data Constructor) | Control.Effect.NonDet |
| OnceC | |
| 1 (Type/Class) | Control.Effect.Cull, Control.Effect |
| 2 (Data Constructor) | Control.Effect.Cull |
| OnError | Control.Effect.Resource |
| onException | Control.Effect.Resource |
| prj | Control.Effect.Sum, Control.Effect.Carrier |
| Pure | Control.Effect.Pure, Control.Effect |
| PureC | |
| 1 (Type/Class) | Control.Effect.Pure, Control.Effect |
| 2 (Data Constructor) | Control.Effect.Pure |
| Put | Control.Effect.State.Internal, Control.Effect.State.Strict, Control.Effect.State, Control.Effect.State.Lazy |
| put | Control.Effect.State.Internal, Control.Effect.State.Strict, Control.Effect.State, Control.Effect.State.Lazy |
| R | Control.Effect.Sum, Control.Effect.Carrier |
| Random | |
| 1 (Type/Class) | Control.Effect.Random, Control.Effect |
| 2 (Data Constructor) | Control.Effect.Random |
| RandomC | |
| 1 (Type/Class) | Control.Effect.Random, Control.Effect |
| 2 (Data Constructor) | Control.Effect.Random |
| RandomR | 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 |
| run | Control.Effect.Pure, Control.Effect.Carrier, Control.Effect.State.Strict, Control.Effect.State, Control.Effect.State.Lazy, Control.Effect.Reader, Control.Effect.Random, Control.Effect.NonDet, Control.Effect.Lift, Control.Effect.Fresh, Control.Effect.Error, Control.Effect.Resumable, Control.Effect.Fail, Control.Effect.Cut, Control.Effect.Cull, Control.Effect.Trace, Control.Effect.Writer, Control.Effect |
| runCull | Control.Effect.Cull |
| runCullC | Control.Effect.Cull |
| runCut | Control.Effect.Cut |
| runCutAll | Control.Effect.Cut |
| runCutC | Control.Effect.Cut |
| runError | Control.Effect.Error |
| runErrorC | Control.Effect.Error |
| runFail | Control.Effect.Fail |
| runFailC | Control.Effect.Fail |
| runFresh | Control.Effect.Fresh |
| runFreshC | Control.Effect.Fresh |
| runInterpose | Control.Effect.Interpose |
| runInterposeC | Control.Effect.Interpose |
| runInterpret | Control.Effect.Interpret |
| runInterpretC | Control.Effect.Interpret |
| runInterpretState | Control.Effect.Interpret |
| runInterpretStateC | Control.Effect.Interpret |
| runLiftC | Control.Effect.Lift |
| runM | Control.Effect.Lift, Control.Effect |
| runNonDet | Control.Effect.NonDet |
| runNonDetC | Control.Effect.NonDet |
| runNonDetOnce | Control.Effect.Cull |
| runOnceC | Control.Effect.Cull |
| runPureC | Control.Effect.Pure |
| runRandom | Control.Effect.Random |
| runRandomC | Control.Effect.Random |
| runReader | Control.Effect.Reader |
| runReaderC | Control.Effect.Reader |
| runResource | Control.Effect.Resource |
| runResourceC | Control.Effect.Resource |
| runResumable | Control.Effect.Resumable |
| runResumableC | Control.Effect.Resumable |
| runResumableWith | Control.Effect.Resumable |
| runResumableWithC | Control.Effect.Resumable |
| runState | |
| 1 (Function) | Control.Effect.State.Strict, Control.Effect.State |
| 2 (Function) | Control.Effect.State.Lazy |
| runStateC | |
| 1 (Function) | Control.Effect.State.Strict, Control.Effect.State |
| 2 (Function) | Control.Effect.State.Lazy |
| runTraceByIgnoring | Control.Effect.Trace |
| runTraceByIgnoringC | Control.Effect.Trace |
| runTraceByPrinting | Control.Effect.Trace |
| runTraceByPrintingC | Control.Effect.Trace |
| runTraceByReturning | Control.Effect.Trace |
| runTraceByReturningC | Control.Effect.Trace |
| runWriter | Control.Effect.Writer |
| runWriterC | Control.Effect.Writer |
| send | Control.Effect.Carrier |
| sendM | Control.Effect.Lift |
| some | Control.Effect.NonDet |
| SomeError | |
| 1 (Type/Class) | Control.Effect.Resumable |
| 2 (Data Constructor) | Control.Effect.Resumable |
| State | Control.Effect.State.Internal, Control.Effect.State.Strict, Control.Effect.State, Control.Effect.State.Lazy, Control.Effect |
| StateC | |
| 1 (Type/Class) | Control.Effect.State.Strict, Control.Effect.State, Control.Effect |
| 2 (Data Constructor) | Control.Effect.State.Strict, Control.Effect.State |
| 3 (Type/Class) | Control.Effect.State.Lazy |
| 4 (Data Constructor) | Control.Effect.State.Lazy |
| Tell | Control.Effect.Writer |
| tell | Control.Effect.Writer |
| Throw | Control.Effect.Error |
| throwError | Control.Effect.Error |
| throwResumable | Control.Effect.Resumable |
| Trace | |
| 1 (Type/Class) | Control.Effect.Trace, Control.Effect |
| 2 (Data Constructor) | Control.Effect.Trace |
| trace | Control.Effect.Trace |
| TraceByIgnoringC | |
| 1 (Type/Class) | Control.Effect.Trace, Control.Effect |
| 2 (Data Constructor) | Control.Effect.Trace |
| TraceByPrintingC | |
| 1 (Type/Class) | Control.Effect.Trace, Control.Effect |
| 2 (Data Constructor) | Control.Effect.Trace |
| TraceByReturningC | |
| 1 (Type/Class) | Control.Effect.Trace, Control.Effect |
| 2 (Data Constructor) | Control.Effect.Trace |
| traceCont | Control.Effect.Trace |
| traceMessage | Control.Effect.Trace |
| unLift | Control.Effect.Lift |
| Writer | Control.Effect.Writer, Control.Effect |
| WriterC | |
| 1 (Type/Class) | Control.Effect.Writer, Control.Effect |
| 2 (Data Constructor) | Control.Effect.Writer |