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

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
algControl.Algebra
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.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
askControl.Effect.Reader, Control.Carrier.Reader
asksControl.Effect.Reader, Control.Carrier.Reader
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.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
GetControl.Effect.State, Control.Carrier.State.Strict, Control.Carrier.State.Lazy
getControl.Effect.State, Control.Carrier.State.Strict, Control.Carrier.State.Lazy
getChoosingControl.Effect.Choose, Control.Carrier.Choose.Church
getsControl.Effect.State, Control.Carrier.State.Strict, Control.Carrier.State.Lazy
GHFunctorControl.Effect.Class, Control.Algebra
ghmapControl.Effect.Class, Control.Algebra
gthreadControl.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
handleCoercibleControl.Effect.Class, Control.Algebra
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.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
HFunctorControl.Effect.Class, Control.Algebra
hmapControl.Effect.Class, Control.Algebra
injControl.Effect.Sum
InterpretC 
1 (Type/Class)Control.Carrier.Interpret
2 (Data Constructor)Control.Carrier.Interpret
LControl.Effect.Sum, Control.Algebra
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
localControl.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
MemberControl.Effect.Sum
MembersControl.Effect.Sum
modifyControl.Effect.State, Control.Carrier.State.Strict, Control.Carrier.State.Lazy
modifyLazyControl.Effect.State, Control.Carrier.State.Strict, Control.Carrier.State.Lazy
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
putControl.Effect.State, Control.Carrier.State.Strict, Control.Carrier.State.Lazy
RControl.Effect.Sum, Control.Algebra
ReaderControl.Effect.Reader, Control.Carrier.Reader
ReaderC 
1 (Type/Class)Control.Carrier.Reader
2 (Data Constructor)Control.Carrier.Reader
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.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
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
runWriterControl.Carrier.Writer.Strict
sendControl.Algebra
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.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
TellControl.Effect.Writer, Control.Carrier.Writer.Strict
tellControl.Effect.Writer, Control.Carrier.Writer.Strict
threadControl.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
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
WriterControl.Effect.Writer, Control.Carrier.Writer.Strict
WriterC 
1 (Type/Class)Control.Carrier.Writer.Strict
2 (Data Constructor)Control.Carrier.Writer.Strict