polysemy-0.1.1.0: Higher-order, low-boilerplate, zero-cost free monads.

Index

.@Polysemy.Internal, Polysemy
.@@Polysemy.Internal, Polysemy
absurdUPolysemy.Internal.Union
AmbiguousSendPolysemy.Internal.CustomErrors
AskPolysemy.Reader
askPolysemy.Reader
asksPolysemy.Reader
bindTPolysemy.Internal.Tactics, Polysemy
BracketPolysemy.Resource
bracketPolysemy.Resource
BreakPolysemy.Internal.CustomErrors
CatchPolysemy.Error
catchPolysemy.Error
CensorPolysemy.Writer
censorPolysemy.Writer
ChoosePolysemy.Internal.NonDet, Polysemy.NonDet
decompPolysemy.Internal.Union
decompCoercePolysemy.Internal.Union
defaultHoistPolysemy.Internal.Effect
DefiningModulePolysemy.Internal.CustomErrors
DefiningModuleForEffectPolysemy.Internal.CustomErrors
EffectPolysemy.Internal.Effect
EmptyPolysemy.Internal.NonDet, Polysemy.NonDet
ErrorPolysemy.Error
extractPolysemy.Internal.Union
FirstOrderPolysemy.Internal.CustomErrors
Fixpoint 
1 (Type/Class)Polysemy.Internal.Fixpoint, Polysemy.Fixpoint
2 (Data Constructor)Polysemy.Internal.Fixpoint, Polysemy.Fixpoint
GetPolysemy.State
getPolysemy.State
GetInitialStatePolysemy.Internal.Tactics
getInitialStateTPolysemy.Internal.Tactics, Polysemy
getsPolysemy.State
hoistPolysemy.Internal.Effect
HoistInterpretationPolysemy.Internal.Tactics
hoistSemanticPolysemy.Internal
injPolysemy.Internal.Union
inlineRecursiveCallsPolysemy.Internal.TH.Performance, Polysemy
Input 
1 (Type/Class)Polysemy.Input
2 (Data Constructor)Polysemy.Input
inputPolysemy.Input
interceptPolysemy.Internal.Combinators, Polysemy
interceptHPolysemy.Internal.Combinators, Polysemy
interpretPolysemy.Internal.Combinators, Polysemy
interpretHPolysemy.Internal.Combinators, Polysemy
lazilyStatefulPolysemy.Internal.Combinators
Lift 
1 (Type/Class)Polysemy.Internal.Lift, Polysemy.Internal, Polysemy
2 (Data Constructor)Polysemy.Internal.Lift, Polysemy.Internal, Polysemy
liftSemanticPolysemy.Internal
liftTPolysemy.Internal.Tactics
liftYoPolysemy.Internal.Union
ListenPolysemy.Writer
listenPolysemy.Writer
LocalPolysemy.Reader
localPolysemy.Reader
makeSemanticPolysemy.Internal.TH.Effect, Polysemy
makeSemantic_Polysemy.Internal.TH.Effect, Polysemy
MemberPolysemy.Internal.Union, Polysemy.Internal, Polysemy
modifyPolysemy.State
NatPolysemy.Internal.Union
NonDetPolysemy.Internal.NonDet, Polysemy.NonDet
Output 
1 (Type/Class)Polysemy.Output
2 (Data Constructor)Polysemy.Output
outputPolysemy.Output
prjPolysemy.Internal.Union
pureTPolysemy.Internal.Tactics, Polysemy
PutPolysemy.State
putPolysemy.State
raisePolysemy.Internal, Polysemy
Random 
1 (Type/Class)Polysemy.Random
2 (Data Constructor)Polysemy.Random
randomPolysemy.Random
RandomRPolysemy.Random
randomRPolysemy.Random
ReaderPolysemy.Reader
reinterpretPolysemy.Internal.Combinators, Polysemy
reinterpret2Polysemy.Internal.Combinators, Polysemy
reinterpret2HPolysemy.Internal.Combinators, Polysemy
reinterpret3Polysemy.Internal.Combinators, Polysemy
reinterpret3HPolysemy.Internal.Combinators, Polysemy
reinterpretHPolysemy.Internal.Combinators, Polysemy
ResourcePolysemy.Resource
runPolysemy.Internal, Polysemy
runConstInputPolysemy.Input
runErrorPolysemy.Error
runErrorInIOPolysemy.Error
runFixpointPolysemy.Fixpoint
runFixpointMPolysemy.Fixpoint
runFoldMapOutputPolysemy.Output
runIgnoringOutputPolysemy.Output
runIgnoringTracePolysemy.Trace
runInputAsReaderPolysemy.Reader
runIOPolysemy.IO
runLazyStatePolysemy.State
runListInputPolysemy.Input
runMPolysemy.Internal, Polysemy
runMonadicInputPolysemy.Input
runNonDetPolysemy.NonDet
runOutputAsWriterPolysemy.Writer
runRandomPolysemy.Random
runRandomIOPolysemy.Random
runReaderPolysemy.Reader
runResourcePolysemy.Resource
runSemanticPolysemy.Internal
runStatePolysemy.State
runTPolysemy.Internal.Tactics, Polysemy
runTacticsPolysemy.Internal.Tactics
runTraceAsOutputPolysemy.Trace
runTraceIOPolysemy.Trace
runWriterPolysemy.Writer
SPolysemy.Internal.Union
Semantic 
1 (Type/Class)Polysemy.Internal, Polysemy
2 (Data Constructor)Polysemy.Internal
sendPolysemy.Internal
sendMPolysemy.Internal, Polysemy
SNatPolysemy.Internal.Union
SSPolysemy.Internal.Union
StatePolysemy.State
statefulPolysemy.Internal.Combinators
SZPolysemy.Internal.Union
TacticalPolysemy.Internal.Tactics, Polysemy
TacticsPolysemy.Internal.Tactics
TellPolysemy.Writer
tellPolysemy.Writer
ThrowPolysemy.Error
throwPolysemy.Error
Trace 
1 (Type/Class)Polysemy.Trace
2 (Data Constructor)Polysemy.Trace
tracePolysemy.Trace
TypeablePolysemy
Typeable1Polysemy.Internal.Effect
UnhandledEffectPolysemy.Internal.CustomErrors
Union 
1 (Type/Class)Polysemy.Internal.Union
2 (Data Constructor)Polysemy.Internal.Union
unLiftPolysemy.Internal.Lift, Polysemy.Internal, Polysemy
usingSemanticPolysemy.Internal
weakenPolysemy.Internal.Union
weavePolysemy.Internal.Effect
WithTacticsPolysemy.Internal.Tactics, Polysemy
WriterPolysemy.Writer
Yo 
1 (Type/Class)Polysemy.Internal.Union
2 (Data Constructor)Polysemy.Internal.Union
ZPolysemy.Internal.Union