Index
| :+: | Control.Effect.Sum, Control.Algebra |
| <|> | |
| 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 |
| 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.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.Reader, Control.Carrier.NonDet.Church, Control.Carrier.Lift, Control.Carrier.Interpret, Control.Carrier.Fresh.Strict, Control.Carrier.Error.Either, Control.Carrier.Throw.Either, Control.Carrier.Fail.Either, Control.Carrier.Empty.Maybe, 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 | Control.Effect.Reader, Control.Carrier.Reader |
| asks | Control.Effect.Reader, Control.Carrier.Reader |
| 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 |
| 2 (Data Constructor) | Control.Effect.Catch, Control.Effect.Error, Control.Carrier.Error.Either |
| catchError | Control.Effect.Catch, Control.Effect.Error, Control.Carrier.Error.Either |
| Censor | Control.Effect.Writer, Control.Carrier.Writer.Strict |
| censor | Control.Effect.Writer, Control.Carrier.Writer.Strict |
| 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 |
| Effect | Control.Effect.Class, 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.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.Reader, Control.Carrier.NonDet.Church, Control.Carrier.Lift, Control.Carrier.Fresh.Strict, Control.Carrier.Error.Either, Control.Carrier.Throw.Either, Control.Carrier.Fail.Either, Control.Carrier.Empty.Maybe, Control.Carrier.Cut.Church, Control.Carrier.Cull.Church, Control.Carrier.Choose.Church |
| Empty | |
| 1 (Type/Class) | Control.Effect.Empty, Control.Effect.NonDet, Control.Carrier.NonDet.Church, Control.Carrier.Empty.Maybe, 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.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 |
| EmptyC | |
| 1 (Type/Class) | Control.Carrier.Empty.Maybe |
| 2 (Data Constructor) | Control.Carrier.Empty.Maybe |
| Error | Control.Effect.Error, Control.Carrier.Error.Either |
| ErrorC | |
| 1 (Type/Class) | Control.Carrier.Error.Either |
| 2 (Data Constructor) | Control.Carrier.Error.Either |
| evalFresh | Control.Carrier.Fresh.Strict |
| evalState | |
| 1 (Function) | Control.Carrier.State.Strict |
| 2 (Function) | Control.Carrier.State.Lazy |
| execState | |
| 1 (Function) | Control.Carrier.State.Strict |
| 2 (Function) | Control.Carrier.State.Lazy |
| execWriter | Control.Carrier.Writer.Strict |
| 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 |
| 2 (Data Constructor) | Control.Effect.Fresh, Control.Carrier.Fresh.Strict |
| fresh | Control.Effect.Fresh, Control.Carrier.Fresh.Strict |
| FreshC | |
| 1 (Type/Class) | Control.Carrier.Fresh.Strict |
| 2 (Data Constructor) | Control.Carrier.Fresh.Strict |
| GEffect | Control.Effect.Class, Control.Algebra |
| Get | Control.Effect.State, Control.Carrier.State.Strict, Control.Carrier.State.Lazy |
| get | Control.Effect.State, Control.Carrier.State.Strict, Control.Carrier.State.Lazy |
| getChoosing | Control.Effect.Choose, Control.Carrier.Choose.Church |
| gets | Control.Effect.State, Control.Carrier.State.Strict, Control.Carrier.State.Lazy |
| GHFunctor | Control.Effect.Class, Control.Algebra |
| ghmap | Control.Effect.Class, Control.Algebra |
| gthread | Control.Effect.Class, Control.Algebra |
| 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 |
| handleCoercible | Control.Effect.Class, Control.Algebra |
| Handler | Control.Carrier.Interpret |
| 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.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.Reader, Control.Carrier.NonDet.Church, Control.Carrier.Lift, Control.Carrier.Interpret, Control.Carrier.Fresh.Strict, Control.Carrier.Error.Either, Control.Carrier.Throw.Either, Control.Carrier.Fail.Either, Control.Carrier.Empty.Maybe, Control.Carrier.Cut.Church, Control.Carrier.Cull.Church, Control.Carrier.Choose.Church |
| HFunctor | Control.Effect.Class, Control.Algebra |
| hmap | Control.Effect.Class, Control.Algebra |
| inj | Control.Effect.Sum |
| InterpretC | |
| 1 (Type/Class) | Control.Carrier.Interpret |
| 2 (Data Constructor) | Control.Carrier.Interpret |
| L | Control.Effect.Sum, Control.Algebra |
| 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 |
| listen | Control.Effect.Writer, Control.Carrier.Writer.Strict |
| listens | Control.Effect.Writer, Control.Carrier.Writer.Strict |
| Local | Control.Effect.Reader, Control.Carrier.Reader |
| local | Control.Effect.Reader, Control.Carrier.Reader |
| 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 | Control.Effect.State, Control.Carrier.State.Strict, Control.Carrier.State.Lazy |
| modifyLazy | Control.Effect.State, Control.Carrier.State.Strict, Control.Carrier.State.Lazy |
| 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 |
| put | Control.Effect.State, Control.Carrier.State.Strict, Control.Carrier.State.Lazy |
| R | Control.Effect.Sum, Control.Algebra |
| Reader | Control.Effect.Reader, Control.Carrier.Reader |
| ReaderC | |
| 1 (Type/Class) | Control.Carrier.Reader |
| 2 (Data Constructor) | Control.Carrier.Reader |
| 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.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.Reader, Control.Carrier.NonDet.Church, Control.Carrier.Lift, Control.Carrier.Interpret, Control.Carrier.Fresh.Strict, Control.Carrier.Error.Either, Control.Carrier.Throw.Either, Control.Carrier.Fail.Either, Control.Carrier.Empty.Maybe, 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 | Control.Carrier.Empty.Maybe |
| runError | Control.Carrier.Error.Either |
| runFail | Control.Carrier.Fail.Either |
| runFresh | Control.Carrier.Fresh.Strict |
| runInterpret | Control.Carrier.Interpret |
| runInterpretState | Control.Carrier.Interpret |
| 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 |
| runStateC | Control.Carrier.State.Lazy |
| runThrow | Control.Carrier.Throw.Either |
| runTrace | |
| 1 (Function) | Control.Carrier.Trace.Printing |
| 2 (Function) | Control.Carrier.Trace.Ignoring |
| 3 (Function) | Control.Carrier.Trace.Returning |
| runWriter | Control.Carrier.Writer.Strict |
| send | Control.Algebra |
| 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.Carrier.State.Strict, Control.Carrier.State.Lazy |
| 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 |
| Tell | Control.Effect.Writer, Control.Carrier.Writer.Strict |
| tell | Control.Effect.Writer, Control.Carrier.Writer.Strict |
| thread | Control.Effect.Class, Control.Algebra |
| Throw | |
| 1 (Type/Class) | Control.Effect.Throw, Control.Effect.Error, Control.Carrier.Error.Either, Control.Carrier.Throw.Either |
| 2 (Data Constructor) | Control.Effect.Throw, Control.Effect.Error, Control.Carrier.Error.Either, Control.Carrier.Throw.Either |
| 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 |
| 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 |
| traceCont | Control.Effect.Trace, Control.Carrier.Trace.Printing, Control.Carrier.Trace.Ignoring, Control.Carrier.Trace.Returning |
| traceMessage | Control.Effect.Trace, Control.Carrier.Trace.Printing, Control.Carrier.Trace.Ignoring, Control.Carrier.Trace.Returning |
| Writer | Control.Effect.Writer, Control.Carrier.Writer.Strict |
| WriterC | |
| 1 (Type/Class) | Control.Carrier.Writer.Strict |
| 2 (Data Constructor) | Control.Carrier.Writer.Strict |