fused-effects-1.1.0.0: A fast, flexible, fused effect system.

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
algControl.Algebra, Control.Effect.Labelled
AlgebraControl.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
AlternativeControl.Effect.NonDet, Control.Carrier.NonDet.Church, Control.Carrier.Cut.Church, Control.Carrier.Cull.Church
AskControl.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
CallControl.Effect.Cut, Control.Carrier.Cut.Church
callControl.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
catchErrorControl.Effect.Catch, Control.Effect.Error, Control.Carrier.Error.Either, Control.Carrier.Error.Church
CensorControl.Effect.Writer, Control.Carrier.Writer.Strict, Control.Carrier.Writer.Church
censorControl.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
cullControl.Effect.Cull, Control.Carrier.Cull.Church
CullC 
1 (Type/Class)Control.Carrier.Cull.Church
2 (Data Constructor)Control.Carrier.Cull.Church
CutControl.Effect.Cut, Control.Carrier.Cut.Church
cutControl.Effect.Cut, Control.Carrier.Cut.Church
CutC 
1 (Type/Class)Control.Carrier.Cut.Church
2 (Data Constructor)Control.Carrier.Cut.Church
CutfailControl.Effect.Cut, Control.Carrier.Cut.Church
cutfailControl.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
ErrorControl.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
failControl.Effect.Fail, Control.Carrier.Fail.Either
FailC 
1 (Type/Class)Control.Carrier.Fail.Either
2 (Data Constructor)Control.Carrier.Fail.Either
foldMapAControl.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
freshControl.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
GetControl.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
getChoosingControl.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
HandlerControl.Algebra.Handler, Control.Algebra, Control.Effect.Labelled
HasControl.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
HasLabelledControl.Effect.Labelled, Control.Effect.State.Labelled, Control.Effect.Reader.Labelled
injControl.Effect.Sum
injLabelledControl.Effect.Labelled
InterpretC 
1 (Type/Class)Control.Carrier.Interpret
2 (Data Constructor)Control.Carrier.Interpret
InterpreterControl.Carrier.Interpret
LControl.Effect.Sum, Control.Algebra, Control.Effect.Labelled
Labelled 
1 (Type/Class)Control.Effect.Labelled
2 (Data Constructor)Control.Effect.Labelled
LabelledMemberControl.Effect.Labelled
LiftControl.Effect.Lift, Control.Carrier.Lift
LiftC 
1 (Type/Class)Control.Carrier.Lift
2 (Data Constructor)Control.Carrier.Lift
liftEitherControl.Effect.Throw, Control.Effect.Error, Control.Carrier.Error.Either, Control.Carrier.Throw.Either, Control.Carrier.Error.Church
LiftWithControl.Effect.Lift, Control.Carrier.Lift
liftWithControl.Effect.Lift, Control.Carrier.Lift
ListenControl.Effect.Writer, Control.Carrier.Writer.Strict, Control.Carrier.Writer.Church
listenControl.Effect.Writer, Control.Carrier.Writer.Strict, Control.Carrier.Writer.Church
listensControl.Effect.Writer, Control.Carrier.Writer.Strict, Control.Carrier.Writer.Church
LocalControl.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
MemberControl.Effect.Sum
MembersControl.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
MonadFailControl.Effect.Fail, Control.Carrier.Fail.Either
MonadPlusControl.Effect.NonDet, Control.Carrier.NonDet.Church, Control.Carrier.Cut.Church, Control.Carrier.Cull.Church
mplusControl.Effect.NonDet, Control.Carrier.NonDet.Church, Control.Carrier.Cut.Church, Control.Carrier.Cull.Church
mzeroControl.Effect.NonDet, Control.Carrier.NonDet.Church, Control.Carrier.Cut.Church, Control.Carrier.Cull.Church
NonDetControl.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
oneOfControl.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
PutControl.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
RControl.Effect.Sum, Control.Algebra, Control.Effect.Labelled
ReaderControl.Effect.Reader, Control.Effect.Reader.Labelled, Control.Carrier.Reader
ReaderC 
1 (Type/Class)Control.Carrier.Reader
2 (Data Constructor)Control.Carrier.Reader
reassociateSumLControl.Effect.Sum
ReifiesControl.Carrier.Interpret
runControl.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
runChooseControl.Carrier.Choose.Church
runChooseSControl.Carrier.Choose.Church
runCullControl.Carrier.Cull.Church
runCullAControl.Carrier.Cull.Church
runCullMControl.Carrier.Cull.Church
runCutControl.Carrier.Cut.Church
runCutAControl.Carrier.Cut.Church
runCutMControl.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
runErrorCControl.Carrier.Error.Church
runFailControl.Carrier.Fail.Either
runFresh 
1 (Function)Control.Carrier.Fresh.Strict
2 (Function)Control.Carrier.Fresh.Church
runInterpretControl.Carrier.Interpret
runInterpretStateControl.Carrier.Interpret
runLabelledControl.Effect.Labelled
runMControl.Carrier.Lift
runNonDetControl.Carrier.NonDet.Church
runNonDetAControl.Carrier.NonDet.Church
runNonDetMControl.Carrier.NonDet.Church
runReaderControl.Carrier.Reader
runState 
1 (Function)Control.Carrier.State.Strict
2 (Function)Control.Carrier.State.Lazy
3 (Function)Control.Carrier.State.Church
runThrowControl.Carrier.Throw.Either
runTrace 
1 (Function)Control.Carrier.Trace.Printing
2 (Function)Control.Carrier.Trace.Ignoring
3 (Function)Control.Carrier.Trace.Returning
runUnderLabelControl.Effect.Labelled
runWriter 
1 (Function)Control.Carrier.Writer.Strict
2 (Function)Control.Carrier.Writer.Church
sendControl.Algebra, Control.Effect.Labelled
sendIOControl.Effect.Lift, Control.Carrier.Lift
sendLabelledControl.Effect.Labelled
sendMControl.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
some1Control.Effect.Choose, Control.Carrier.Choose.Church
StateControl.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
TellControl.Effect.Writer, Control.Carrier.Writer.Strict, Control.Carrier.Writer.Church
tellControl.Effect.Writer, Control.Carrier.Writer.Strict, Control.Carrier.Writer.Church
threadControl.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
throwErrorControl.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
traceControl.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
traceMessageControl.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
WriterControl.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