Index
| :+: | Control.Effect.Sum, Control.Algebra, Control.Effect.Labelled |
| <|> | |
| 1 (Function) | Control.Effect.NonDet, Control.Carrier.NonDet.Church, Control.Carrier.Cut.Church, Control.Carrier.Cull.Church |
| 2 (Function) | Control.Effect.Choose, Control.Carrier.Choose.Church |
| alg | Control.Algebra, Control.Effect.Labelled |
| Algebra | Control.Algebra, Control.Effect.Writer, Control.Effect.Trace, Control.Effect.Throw, Control.Effect.Fail, Control.Effect.State, Control.Effect.Reader, Control.Effect.Lift, Control.Effect.Labelled, Control.Effect.State.Labelled, Control.Effect.Reader.Labelled, Control.Effect.Fresh, Control.Effect.Empty, Control.Effect.Cut, Control.Effect.Cull, Control.Effect.Choose, Control.Effect.NonDet, Control.Effect.Catch, Control.Effect.Error, Control.Carrier.Trace.Printing, Control.Carrier.Trace.Ignoring, Control.Carrier.State.Strict, Control.Carrier.Writer.Strict, Control.Carrier.Trace.Returning, Control.Carrier.State.Lazy, Control.Carrier.State.Church, Control.Carrier.Writer.Church, Control.Carrier.Reader, Control.Carrier.NonDet.Church, Control.Carrier.Lift, Control.Carrier.Interpret, Control.Carrier.Fresh.Strict, Control.Carrier.Fresh.Church, Control.Carrier.Error.Either, Control.Carrier.Throw.Either, Control.Carrier.Fail.Either, Control.Carrier.Error.Church, Control.Carrier.Empty.Maybe, Control.Carrier.Empty.Church, Control.Carrier.Cut.Church, Control.Carrier.Cull.Church, Control.Carrier.Choose.Church |
| Alternative | Control.Effect.NonDet, Control.Carrier.NonDet.Church, Control.Carrier.Cut.Church, Control.Carrier.Cull.Church |
| Ask | Control.Effect.Reader, Control.Carrier.Reader |
| ask | |
| 1 (Function) | Control.Effect.Reader, Control.Carrier.Reader |
| 2 (Function) | Control.Effect.Reader.Labelled |
| asks | |
| 1 (Function) | Control.Effect.Reader, Control.Carrier.Reader |
| 2 (Function) | Control.Effect.Reader.Labelled |
| Call | Control.Effect.Cut, Control.Carrier.Cut.Church |
| call | Control.Effect.Cut, Control.Carrier.Cut.Church |
| Catch | |
| 1 (Type/Class) | Control.Effect.Catch, Control.Effect.Error, Control.Carrier.Error.Either, Control.Carrier.Error.Church |
| 2 (Data Constructor) | Control.Effect.Catch, Control.Effect.Error, Control.Carrier.Error.Either, Control.Carrier.Error.Church |
| catchError | Control.Effect.Catch, Control.Effect.Error, Control.Carrier.Error.Either, Control.Carrier.Error.Church |
| Censor | Control.Effect.Writer, Control.Carrier.Writer.Strict, Control.Carrier.Writer.Church |
| censor | Control.Effect.Writer, Control.Carrier.Writer.Strict, Control.Carrier.Writer.Church |
| Choose | |
| 1 (Type/Class) | Control.Effect.Choose, Control.Effect.NonDet, Control.Carrier.NonDet.Church, Control.Carrier.Cut.Church, Control.Carrier.Cull.Church, Control.Carrier.Choose.Church |
| 2 (Data Constructor) | Control.Effect.Choose, Control.Effect.NonDet, Control.Carrier.NonDet.Church, Control.Carrier.Cut.Church, Control.Carrier.Cull.Church, Control.Carrier.Choose.Church |
| ChooseC | |
| 1 (Type/Class) | Control.Carrier.Choose.Church |
| 2 (Data Constructor) | Control.Carrier.Choose.Church |
| Choosing | |
| 1 (Type/Class) | Control.Effect.Choose, Control.Carrier.Choose.Church |
| 2 (Data Constructor) | Control.Effect.Choose, Control.Carrier.Choose.Church |
| Cull | |
| 1 (Type/Class) | Control.Effect.Cull, Control.Carrier.Cull.Church |
| 2 (Data Constructor) | Control.Effect.Cull, Control.Carrier.Cull.Church |
| cull | Control.Effect.Cull, Control.Carrier.Cull.Church |
| CullC | |
| 1 (Type/Class) | Control.Carrier.Cull.Church |
| 2 (Data Constructor) | Control.Carrier.Cull.Church |
| Cut | Control.Effect.Cut, Control.Carrier.Cut.Church |
| cut | Control.Effect.Cut, Control.Carrier.Cut.Church |
| CutC | |
| 1 (Type/Class) | Control.Carrier.Cut.Church |
| 2 (Data Constructor) | Control.Carrier.Cut.Church |
| Cutfail | Control.Effect.Cut, Control.Carrier.Cut.Church |
| cutfail | Control.Effect.Cut, Control.Carrier.Cut.Church |
| Empty | |
| 1 (Type/Class) | Control.Effect.Empty, Control.Effect.NonDet, Control.Carrier.NonDet.Church, Control.Carrier.Empty.Maybe, Control.Carrier.Empty.Church, Control.Carrier.Cut.Church, Control.Carrier.Cull.Church |
| 2 (Data Constructor) | Control.Effect.Empty, Control.Effect.NonDet, Control.Carrier.NonDet.Church, Control.Carrier.Empty.Maybe, Control.Carrier.Empty.Church, Control.Carrier.Cut.Church, Control.Carrier.Cull.Church |
| empty | |
| 1 (Function) | Control.Effect.NonDet, Control.Carrier.NonDet.Church, Control.Carrier.Cut.Church, Control.Carrier.Cull.Church |
| 2 (Function) | Control.Effect.Empty, Control.Carrier.Empty.Maybe, Control.Carrier.Empty.Church |
| EmptyC | |
| 1 (Type/Class) | Control.Carrier.Empty.Maybe |
| 2 (Data Constructor) | Control.Carrier.Empty.Maybe |
| 3 (Type/Class) | Control.Carrier.Empty.Church |
| 4 (Data Constructor) | Control.Carrier.Empty.Church |
| Error | Control.Effect.Error, Control.Carrier.Error.Either, Control.Carrier.Error.Church |
| ErrorC | |
| 1 (Type/Class) | Control.Carrier.Error.Either |
| 2 (Data Constructor) | Control.Carrier.Error.Either |
| 3 (Type/Class) | Control.Carrier.Error.Church |
| 4 (Data Constructor) | Control.Carrier.Error.Church |
| evalEmpty | |
| 1 (Function) | Control.Carrier.Empty.Maybe |
| 2 (Function) | Control.Carrier.Empty.Church |
| evalFresh | |
| 1 (Function) | Control.Carrier.Fresh.Strict |
| 2 (Function) | Control.Carrier.Fresh.Church |
| evalState | |
| 1 (Function) | Control.Carrier.State.Strict |
| 2 (Function) | Control.Carrier.State.Lazy |
| 3 (Function) | Control.Carrier.State.Church |
| execEmpty | |
| 1 (Function) | Control.Carrier.Empty.Maybe |
| 2 (Function) | Control.Carrier.Empty.Church |
| execState | |
| 1 (Function) | Control.Carrier.State.Strict |
| 2 (Function) | Control.Carrier.State.Lazy |
| 3 (Function) | Control.Carrier.State.Church |
| execWriter | |
| 1 (Function) | Control.Carrier.Writer.Strict |
| 2 (Function) | Control.Carrier.Writer.Church |
| Fail | |
| 1 (Type/Class) | Control.Effect.Fail, Control.Carrier.Fail.Either |
| 2 (Data Constructor) | Control.Effect.Fail, Control.Carrier.Fail.Either |
| fail | Control.Effect.Fail, Control.Carrier.Fail.Either |
| FailC | |
| 1 (Type/Class) | Control.Carrier.Fail.Either |
| 2 (Data Constructor) | Control.Carrier.Fail.Either |
| foldMapA | Control.Effect.NonDet, Control.Carrier.NonDet.Church, Control.Carrier.Cut.Church, Control.Carrier.Cull.Church |
| Fresh | |
| 1 (Type/Class) | Control.Effect.Fresh, Control.Carrier.Fresh.Strict, Control.Carrier.Fresh.Church |
| 2 (Data Constructor) | Control.Effect.Fresh, Control.Carrier.Fresh.Strict, Control.Carrier.Fresh.Church |
| fresh | Control.Effect.Fresh, Control.Carrier.Fresh.Strict, Control.Carrier.Fresh.Church |
| FreshC | |
| 1 (Type/Class) | Control.Carrier.Fresh.Strict |
| 2 (Data Constructor) | Control.Carrier.Fresh.Strict |
| 3 (Type/Class) | Control.Carrier.Fresh.Church |
| 4 (Data Constructor) | Control.Carrier.Fresh.Church |
| Get | Control.Effect.State, Control.Carrier.State.Strict, Control.Carrier.State.Lazy, Control.Carrier.State.Church |
| get | |
| 1 (Function) | Control.Effect.State, Control.Carrier.State.Strict, Control.Carrier.State.Lazy, Control.Carrier.State.Church |
| 2 (Function) | Control.Effect.State.Labelled |
| getChoosing | Control.Effect.Choose, Control.Carrier.Choose.Church |
| gets | |
| 1 (Function) | Control.Effect.State, Control.Carrier.State.Strict, Control.Carrier.State.Lazy, Control.Carrier.State.Church |
| 2 (Function) | Control.Effect.State.Labelled |
| guard | |
| 1 (Function) | Control.Effect.NonDet, Control.Carrier.NonDet.Church, Control.Carrier.Cut.Church, Control.Carrier.Cull.Church |
| 2 (Function) | Control.Effect.Empty, Control.Carrier.Empty.Maybe, Control.Carrier.Empty.Church |
| Handler | Control.Algebra.Handler, Control.Algebra, Control.Effect.Labelled |
| Has | Control.Algebra, Control.Effect.Writer, Control.Effect.Trace, Control.Effect.Throw, Control.Effect.Fail, Control.Effect.State, Control.Effect.Reader, Control.Effect.Lift, Control.Effect.Labelled, Control.Effect.State.Labelled, Control.Effect.Reader.Labelled, Control.Effect.Fresh, Control.Effect.Empty, Control.Effect.Cut, Control.Effect.Cull, Control.Effect.Choose, Control.Effect.NonDet, Control.Effect.Catch, Control.Effect.Error, Control.Carrier.Trace.Printing, Control.Carrier.Trace.Ignoring, Control.Carrier.State.Strict, Control.Carrier.Writer.Strict, Control.Carrier.Trace.Returning, Control.Carrier.State.Lazy, Control.Carrier.State.Church, Control.Carrier.Writer.Church, Control.Carrier.Reader, Control.Carrier.NonDet.Church, Control.Carrier.Lift, Control.Carrier.Interpret, Control.Carrier.Fresh.Strict, Control.Carrier.Fresh.Church, Control.Carrier.Error.Either, Control.Carrier.Throw.Either, Control.Carrier.Fail.Either, Control.Carrier.Error.Church, Control.Carrier.Empty.Maybe, Control.Carrier.Empty.Church, Control.Carrier.Cut.Church, Control.Carrier.Cull.Church, Control.Carrier.Choose.Church |
| HasLabelled | Control.Effect.Labelled, Control.Effect.State.Labelled, Control.Effect.Reader.Labelled |
| inj | Control.Effect.Sum |
| injLabelled | Control.Effect.Labelled |
| InterpretC | |
| 1 (Type/Class) | Control.Carrier.Interpret |
| 2 (Data Constructor) | Control.Carrier.Interpret |
| Interpreter | Control.Carrier.Interpret |
| L | Control.Effect.Sum, Control.Algebra, Control.Effect.Labelled |
| Labelled | |
| 1 (Type/Class) | Control.Effect.Labelled |
| 2 (Data Constructor) | Control.Effect.Labelled |
| LabelledMember | Control.Effect.Labelled |
| Lift | Control.Effect.Lift, Control.Carrier.Lift |
| LiftC | |
| 1 (Type/Class) | Control.Carrier.Lift |
| 2 (Data Constructor) | Control.Carrier.Lift |
| LiftWith | Control.Effect.Lift, Control.Carrier.Lift |
| liftWith | Control.Effect.Lift, Control.Carrier.Lift |
| Listen | Control.Effect.Writer, Control.Carrier.Writer.Strict, Control.Carrier.Writer.Church |
| listen | Control.Effect.Writer, Control.Carrier.Writer.Strict, Control.Carrier.Writer.Church |
| listens | Control.Effect.Writer, Control.Carrier.Writer.Strict, Control.Carrier.Writer.Church |
| Local | Control.Effect.Reader, Control.Carrier.Reader |
| local | |
| 1 (Function) | Control.Effect.Reader, Control.Carrier.Reader |
| 2 (Function) | Control.Effect.Reader.Labelled |
| many | |
| 1 (Function) | Control.Effect.NonDet, Control.Carrier.NonDet.Church, Control.Carrier.Cut.Church, Control.Carrier.Cull.Church |
| 2 (Function) | Control.Effect.Choose, Control.Carrier.Choose.Church |
| Member | Control.Effect.Sum |
| Members | Control.Effect.Sum |
| modify | |
| 1 (Function) | Control.Effect.State, Control.Carrier.State.Strict, Control.Carrier.State.Lazy, Control.Carrier.State.Church |
| 2 (Function) | Control.Effect.State.Labelled |
| modifyLazy | |
| 1 (Function) | Control.Effect.State, Control.Carrier.State.Strict, Control.Carrier.State.Lazy, Control.Carrier.State.Church |
| 2 (Function) | Control.Effect.State.Labelled |
| MonadFail | Control.Effect.Fail, Control.Carrier.Fail.Either |
| MonadPlus | Control.Effect.NonDet, Control.Carrier.NonDet.Church, Control.Carrier.Cut.Church, Control.Carrier.Cull.Church |
| mplus | Control.Effect.NonDet, Control.Carrier.NonDet.Church, Control.Carrier.Cut.Church, Control.Carrier.Cull.Church |
| mzero | Control.Effect.NonDet, Control.Carrier.NonDet.Church, Control.Carrier.Cut.Church, Control.Carrier.Cull.Church |
| NonDet | Control.Effect.NonDet, Control.Carrier.NonDet.Church, Control.Carrier.Cut.Church, Control.Carrier.Cull.Church |
| NonDetC | |
| 1 (Type/Class) | Control.Carrier.NonDet.Church |
| 2 (Data Constructor) | Control.Carrier.NonDet.Church |
| oneOf | Control.Effect.NonDet, Control.Carrier.NonDet.Church, Control.Carrier.Cut.Church, Control.Carrier.Cull.Church |
| optional | |
| 1 (Function) | Control.Effect.NonDet, Control.Carrier.NonDet.Church, Control.Carrier.Cut.Church, Control.Carrier.Cull.Church |
| 2 (Function) | Control.Effect.Choose, Control.Carrier.Choose.Church |
| Put | Control.Effect.State, Control.Carrier.State.Strict, Control.Carrier.State.Lazy, Control.Carrier.State.Church |
| put | |
| 1 (Function) | Control.Effect.State, Control.Carrier.State.Strict, Control.Carrier.State.Lazy, Control.Carrier.State.Church |
| 2 (Function) | Control.Effect.State.Labelled |
| R | Control.Effect.Sum, Control.Algebra, Control.Effect.Labelled |
| Reader | Control.Effect.Reader, Control.Effect.Reader.Labelled, Control.Carrier.Reader |
| ReaderC | |
| 1 (Type/Class) | Control.Carrier.Reader |
| 2 (Data Constructor) | Control.Carrier.Reader |
| reassociateSumL | Control.Effect.Sum |
| Reifies | Control.Carrier.Interpret |
| run | Control.Algebra, Control.Effect.Writer, Control.Effect.Trace, Control.Effect.Throw, Control.Effect.Fail, Control.Effect.State, Control.Effect.Reader, Control.Effect.Lift, Control.Effect.Labelled, Control.Effect.State.Labelled, Control.Effect.Reader.Labelled, Control.Effect.Fresh, Control.Effect.Empty, Control.Effect.Cut, Control.Effect.Cull, Control.Effect.Choose, Control.Effect.NonDet, Control.Effect.Catch, Control.Effect.Error, Control.Carrier.Trace.Printing, Control.Carrier.Trace.Ignoring, Control.Carrier.State.Strict, Control.Carrier.Writer.Strict, Control.Carrier.Trace.Returning, Control.Carrier.State.Lazy, Control.Carrier.State.Church, Control.Carrier.Writer.Church, Control.Carrier.Reader, Control.Carrier.NonDet.Church, Control.Carrier.Lift, Control.Carrier.Interpret, Control.Carrier.Fresh.Strict, Control.Carrier.Fresh.Church, Control.Carrier.Error.Either, Control.Carrier.Throw.Either, Control.Carrier.Fail.Either, Control.Carrier.Error.Church, Control.Carrier.Empty.Maybe, Control.Carrier.Empty.Church, Control.Carrier.Cut.Church, Control.Carrier.Cull.Church, Control.Carrier.Choose.Church |
| runChoose | Control.Carrier.Choose.Church |
| runChooseS | Control.Carrier.Choose.Church |
| runCull | Control.Carrier.Cull.Church |
| runCullA | Control.Carrier.Cull.Church |
| runCullM | Control.Carrier.Cull.Church |
| runCut | Control.Carrier.Cut.Church |
| runCutA | Control.Carrier.Cut.Church |
| runCutM | Control.Carrier.Cut.Church |
| runEmpty | |
| 1 (Function) | Control.Carrier.Empty.Maybe |
| 2 (Function) | Control.Carrier.Empty.Church |
| runError | |
| 1 (Function) | Control.Carrier.Error.Either |
| 2 (Function) | Control.Carrier.Error.Church |
| runErrorC | Control.Carrier.Error.Church |
| runFail | Control.Carrier.Fail.Either |
| runFresh | |
| 1 (Function) | Control.Carrier.Fresh.Strict |
| 2 (Function) | Control.Carrier.Fresh.Church |
| runInterpret | Control.Carrier.Interpret |
| runInterpretState | Control.Carrier.Interpret |
| runLabelled | Control.Effect.Labelled |
| runM | Control.Carrier.Lift |
| runNonDet | Control.Carrier.NonDet.Church |
| runNonDetA | Control.Carrier.NonDet.Church |
| runNonDetM | Control.Carrier.NonDet.Church |
| runReader | Control.Carrier.Reader |
| runState | |
| 1 (Function) | Control.Carrier.State.Strict |
| 2 (Function) | Control.Carrier.State.Lazy |
| 3 (Function) | Control.Carrier.State.Church |
| runThrow | Control.Carrier.Throw.Either |
| runTrace | |
| 1 (Function) | Control.Carrier.Trace.Printing |
| 2 (Function) | Control.Carrier.Trace.Ignoring |
| 3 (Function) | Control.Carrier.Trace.Returning |
| runUnderLabel | Control.Effect.Labelled |
| runWriter | |
| 1 (Function) | Control.Carrier.Writer.Strict |
| 2 (Function) | Control.Carrier.Writer.Church |
| send | Control.Algebra, Control.Effect.Labelled |
| sendIO | Control.Effect.Lift, Control.Carrier.Lift |
| sendLabelled | Control.Effect.Labelled |
| sendM | Control.Effect.Lift, Control.Carrier.Lift |
| some | |
| 1 (Function) | Control.Effect.NonDet, Control.Carrier.NonDet.Church, Control.Carrier.Cut.Church, Control.Carrier.Cull.Church |
| 2 (Function) | Control.Effect.Choose, Control.Carrier.Choose.Church |
| some1 | Control.Effect.Choose, Control.Carrier.Choose.Church |
| State | Control.Effect.State, Control.Effect.State.Labelled, Control.Carrier.State.Strict, Control.Carrier.State.Lazy, Control.Carrier.State.Church |
| state | |
| 1 (Function) | Control.Effect.State, Control.Carrier.State.Strict, Control.Carrier.State.Lazy, Control.Carrier.State.Church |
| 2 (Function) | Control.Effect.State.Labelled |
| StateC | |
| 1 (Type/Class) | Control.Carrier.State.Strict |
| 2 (Data Constructor) | Control.Carrier.State.Strict |
| 3 (Type/Class) | Control.Carrier.State.Lazy |
| 4 (Data Constructor) | Control.Carrier.State.Lazy |
| 5 (Type/Class) | Control.Carrier.State.Church |
| 6 (Data Constructor) | Control.Carrier.State.Church |
| Tell | Control.Effect.Writer, Control.Carrier.Writer.Strict, Control.Carrier.Writer.Church |
| tell | Control.Effect.Writer, Control.Carrier.Writer.Strict, Control.Carrier.Writer.Church |
| thread | Control.Algebra, Control.Effect.Labelled |
| Throw | |
| 1 (Type/Class) | Control.Effect.Throw, Control.Effect.Error, Control.Carrier.Error.Either, Control.Carrier.Throw.Either, Control.Carrier.Error.Church |
| 2 (Data Constructor) | Control.Effect.Throw, Control.Effect.Error, Control.Carrier.Error.Either, Control.Carrier.Throw.Either, Control.Carrier.Error.Church |
| ThrowC | |
| 1 (Type/Class) | Control.Carrier.Throw.Either |
| 2 (Data Constructor) | Control.Carrier.Throw.Either |
| throwError | Control.Effect.Throw, Control.Effect.Error, Control.Carrier.Error.Either, Control.Carrier.Throw.Either, Control.Carrier.Error.Church |
| Trace | |
| 1 (Type/Class) | Control.Effect.Trace, Control.Carrier.Trace.Printing, Control.Carrier.Trace.Ignoring, Control.Carrier.Trace.Returning |
| 2 (Data Constructor) | Control.Effect.Trace, Control.Carrier.Trace.Printing, Control.Carrier.Trace.Ignoring, Control.Carrier.Trace.Returning |
| trace | Control.Effect.Trace, Control.Carrier.Trace.Printing, Control.Carrier.Trace.Ignoring, Control.Carrier.Trace.Returning |
| TraceC | |
| 1 (Type/Class) | Control.Carrier.Trace.Printing |
| 2 (Data Constructor) | Control.Carrier.Trace.Printing |
| 3 (Type/Class) | Control.Carrier.Trace.Ignoring |
| 4 (Data Constructor) | Control.Carrier.Trace.Ignoring |
| 5 (Type/Class) | Control.Carrier.Trace.Returning |
| 6 (Data Constructor) | Control.Carrier.Trace.Returning |
| traceMessage | Control.Effect.Trace, Control.Carrier.Trace.Printing, Control.Carrier.Trace.Ignoring, Control.Carrier.Trace.Returning |
| UnderLabel | |
| 1 (Type/Class) | Control.Effect.Labelled |
| 2 (Data Constructor) | Control.Effect.Labelled |
| Writer | Control.Effect.Writer, Control.Carrier.Writer.Strict, Control.Carrier.Writer.Church |
| WriterC | |
| 1 (Type/Class) | Control.Carrier.Writer.Strict |
| 2 (Data Constructor) | Control.Carrier.Writer.Strict |
| 3 (Type/Class) | Control.Carrier.Writer.Church |
| 4 (Data Constructor) | Control.Carrier.Writer.Church |
| ~<~ | Control.Algebra.Handler, Control.Algebra, Control.Effect.Labelled |