fused-effects-1.0.2.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.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
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
2 (Data Constructor)Control.Effect.Catch, Control.Effect.Error, Control.Carrier.Error.Either
catchErrorControl.Effect.Catch, Control.Effect.Error, Control.Carrier.Error.Either
CensorControl.Effect.Writer, Control.Carrier.Writer.Strict
censorControl.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
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
EffectControl.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.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.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
ErrorControl.Effect.Error, Control.Carrier.Error.Either
ErrorC 
1 (Type/Class)Control.Carrier.Error.Either
2 (Data Constructor)Control.Carrier.Error.Either
evalFreshControl.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
execWriterControl.Carrier.Writer.Strict
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
2 (Data Constructor)Control.Effect.Fresh, Control.Carrier.Fresh.Strict
freshControl.Effect.Fresh, Control.Carrier.Fresh.Strict
FreshC 
1 (Type/Class)Control.Carrier.Fresh.Strict
2 (Data Constructor)Control.Carrier.Fresh.Strict
GEffectControl.Effect.Class, Control.Algebra, Control.Effect.Labelled
GetControl.Effect.State, Control.Carrier.State.Strict, Control.Carrier.State.Lazy
get 
1 (Function)Control.Effect.State, Control.Carrier.State.Strict, Control.Carrier.State.Lazy
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
2 (Function)Control.Effect.State.Labelled
GHFunctorControl.Effect.Class, Control.Algebra, Control.Effect.Labelled
ghmapControl.Effect.Class, Control.Algebra, Control.Effect.Labelled
gthreadControl.Effect.Class, Control.Algebra, Control.Effect.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
handleCoercibleControl.Effect.Class, Control.Algebra, Control.Effect.Labelled
HandlerControl.Carrier.Interpret
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.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
HasLabelledControl.Effect.Labelled
HFunctorControl.Effect.Class, Control.Algebra, Control.Effect.Labelled
hmapControl.Effect.Class, Control.Algebra, Control.Effect.Labelled
injControl.Effect.Sum
injLabelledControl.Effect.Labelled
InterpretC 
1 (Type/Class)Control.Carrier.Interpret
2 (Data Constructor)Control.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
LiftWithControl.Effect.Lift, Control.Carrier.Lift
liftWithControl.Effect.Lift, Control.Carrier.Lift
ListenControl.Effect.Writer, Control.Carrier.Writer.Strict
listenControl.Effect.Writer, Control.Carrier.Writer.Strict
listensControl.Effect.Writer, Control.Carrier.Writer.Strict
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
2 (Function)Control.Effect.State.Labelled
modifyLazy 
1 (Function)Control.Effect.State, Control.Carrier.State.Strict, Control.Carrier.State.Lazy
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
put 
1 (Function)Control.Effect.State, Control.Carrier.State.Strict, Control.Carrier.State.Lazy
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.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
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
runEmptyControl.Carrier.Empty.Maybe
runErrorControl.Carrier.Error.Either
runFailControl.Carrier.Fail.Either
runFreshControl.Carrier.Fresh.Strict
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
runStateCControl.Carrier.State.Lazy
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
runWriterControl.Carrier.Writer.Strict
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
state 
1 (Function)Control.Effect.State, Control.Carrier.State.Strict, Control.Carrier.State.Lazy
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
TellControl.Effect.Writer, Control.Carrier.Writer.Strict
tellControl.Effect.Writer, Control.Carrier.Writer.Strict
threadControl.Effect.Class, Control.Algebra, Control.Effect.Labelled
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
throwErrorControl.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
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
traceContControl.Effect.Trace, Control.Carrier.Trace.Printing, Control.Carrier.Trace.Ignoring, 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
WriterC 
1 (Type/Class)Control.Carrier.Writer.Strict
2 (Data Constructor)Control.Carrier.Writer.Strict