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

Index

.@Polysemy.Internal, Polysemy
.@@Polysemy.Internal, Polysemy
absurdUPolysemy.Internal.Union
AmbiguousSendPolysemy.Internal.CustomErrors
AnythingOfAnyKindPolysemy.Internal.CustomErrors.Redefined
AskPolysemy.Reader
askPolysemy.Reader
asksPolysemy.Reader
Async 
1 (Type/Class)Polysemy.Async
2 (Data Constructor)Polysemy.Async
asyncPolysemy.Async
AwaitPolysemy.Async
awaitPolysemy.Async
bindTPolysemy.Internal.Tactics, Polysemy
BracketPolysemy.Resource
bracketPolysemy.Resource
BracketOnErrorPolysemy.Resource
bracketOnErrorPolysemy.Resource
CatchPolysemy.Error
catchPolysemy.Error
censorPolysemy.Writer
checkExtensionsPolysemy.Internal.TH.Common
ChoosePolysemy.Internal.NonDet, Polysemy.NonDet
cliArgsPolysemy.Internal.TH.Common
cliConNamePolysemy.Internal.TH.Common
cliEffArgsPolysemy.Internal.TH.Common
cliEffNamePolysemy.Internal.TH.Common
cliFunCxtPolysemy.Internal.TH.Common
cliFunFixityPolysemy.Internal.TH.Common
cliFunNamePolysemy.Internal.TH.Common
CLInfoPolysemy.Internal.TH.Common
cliResTypePolysemy.Internal.TH.Common
cliUnionNamePolysemy.Internal.TH.Common
ConLiftInfoPolysemy.Internal.TH.Common
decompPolysemy.Internal.Union
decompCoercePolysemy.Internal.Union
decompLastPolysemy.Internal.Union
DefiningModulePolysemy.Internal.CustomErrors
DefiningModuleForEffectPolysemy.Internal.CustomErrors
EffectPolysemy.Internal.Kind, Polysemy
EffectRowPolysemy.Internal.Kind, Polysemy
EmptyPolysemy.Internal.NonDet, Polysemy.NonDet
ErrorPolysemy.Error
extractPolysemy.Internal.Union
finallyPolysemy.Resource
FirstOrderPolysemy.Internal.CustomErrors
Fixpoint 
1 (Type/Class)Polysemy.Internal.Fixpoint, Polysemy.Fixpoint
2 (Data Constructor)Polysemy.Internal.Fixpoint, Polysemy.Fixpoint
foldArrowsPolysemy.Internal.TH.Common
Forklift 
1 (Type/Class)Polysemy.Internal.Forklift
2 (Data Constructor)Polysemy.Internal.Forklift
fromEitherPolysemy.Error
fromEitherMPolysemy.Error
GetPolysemy.State
getPolysemy.State
getEffectMetadataPolysemy.Internal.TH.Common
GetInitialStatePolysemy.Internal.Tactics
getInitialStateTPolysemy.Internal.Tactics, Polysemy
GetInspectorPolysemy.Internal.Tactics
getInspectorTPolysemy.Internal.Tactics, Polysemy
getsPolysemy.State
hoistPolysemy.Internal.Union
HoistInterpretationPolysemy.Internal.Tactics
hoistSemPolysemy.Internal
hoistStateIntoStateTPolysemy.State
IfStuckPolysemy.Internal.CustomErrors.Redefined
injPolysemy.Internal.Union
Input 
1 (Type/Class)Polysemy.Input
2 (Data Constructor)Polysemy.Input
inputPolysemy.Input
inspectPolysemy.Internal.Tactics, Polysemy
Inspector 
1 (Type/Class)Polysemy.Internal.Tactics, Polysemy
2 (Data Constructor)Polysemy.Internal.Tactics, Polysemy
interceptPolysemy.Internal.Combinators, Polysemy
interceptHPolysemy.Internal.Combinators, Polysemy
interpretPolysemy.Internal.Combinators, Polysemy
interpretHPolysemy.Internal.Combinators, Polysemy
LastMemberPolysemy.Internal.Union, Polysemy
lazilyStatefulPolysemy.Internal.Combinators
Lift 
1 (Type/Class)Polysemy.Internal.Lift, Polysemy.Internal, Polysemy
2 (Data Constructor)Polysemy.Internal.Lift, Polysemy.Internal, Polysemy
liftSemPolysemy.Internal
liftTPolysemy.Internal.Tactics
ListenPolysemy.Writer
listenPolysemy.Writer
LocalPolysemy.Reader
localPolysemy.Reader
makeEffectTypePolysemy.Internal.TH.Common
makeInterpreterTypePolysemy.Internal.TH.Common
makeMemberConstraintPolysemy.Internal.TH.Common
makeMemberConstraint'Polysemy.Internal.TH.Common
makeSemPolysemy.Internal.TH.Effect, Polysemy
makeSemTypePolysemy.Internal.TH.Common
makeSem_Polysemy.Internal.TH.Effect, Polysemy
makeUnambiguousSendPolysemy.Internal.TH.Common
MemberPolysemy.Internal.Union, Polysemy.Internal, Polysemy
MembersPolysemy.Internal, Polysemy
MemberWithErrorPolysemy.Internal.Union
modifyPolysemy.State
NatPolysemy.Internal.Union
NonDetPolysemy.Internal.NonDet, Polysemy.NonDet
onExceptionPolysemy.Resource
Output 
1 (Type/Class)Polysemy.Output
2 (Data Constructor)Polysemy.Output
outputPolysemy.Output
PassPolysemy.Writer
passPolysemy.Writer
prjPolysemy.Internal.Union
pureTPolysemy.Internal.Tactics, Polysemy
PutPolysemy.State
putPolysemy.State
raisePolysemy.Internal, Polysemy
raiseUnderPolysemy.Internal
raiseUnder2Polysemy.Internal
raiseUnder3Polysemy.Internal
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
requestPolysemy.Internal.Forklift
ResourcePolysemy.Resource
responseMVarPolysemy.Internal.Forklift
runPolysemy.Internal, Polysemy
runAsyncPolysemy.Async
runAsyncInIOPolysemy.Async
runBatchOutputPolysemy.Output
runConstInputPolysemy.Input
runEmbeddedPolysemy.IO
runErrorPolysemy.Error
runErrorAsAnotherPolysemy.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
runOutputAsListPolysemy.Output
runOutputAsTracePolysemy.Trace
runOutputAsWriterPolysemy.Writer
runReaderPolysemy.Reader
runResourcePolysemy.Resource
runResourceBasePolysemy.Resource
runResourceInIOPolysemy.Resource
runSemPolysemy.Internal
runStatePolysemy.State
runStateInIORefPolysemy.State
runTPolysemy.Internal.Tactics, Polysemy
runTacticsPolysemy.Internal.Tactics
runTraceAsListPolysemy.Trace
runTraceAsOutputPolysemy.Trace
runTraceIOPolysemy.Trace
runViaForkliftPolysemy.Internal.Forklift
runWriterPolysemy.Writer
SPolysemy.Internal.Union
Sem 
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
UnhandledEffectPolysemy.Internal.CustomErrors
Union 
1 (Type/Class)Polysemy.Internal.Union
2 (Data Constructor)Polysemy.Internal.Union
UnlessStuckPolysemy.Internal.CustomErrors.Redefined
unLiftPolysemy.Internal.Lift, Polysemy.Internal, Polysemy
usingSemPolysemy.Internal
weakenPolysemy.Internal.Union
weavePolysemy.Internal.Union
weaveDistribPolysemy.Internal.Union
weaveEffectPolysemy.Internal.Union
weaveInspectPolysemy.Internal.Union
weaveResultPolysemy.Internal.Union
weaveStatePolysemy.Internal.Union
Weaving 
1 (Type/Class)Polysemy.Internal.Union
2 (Data Constructor)Polysemy.Internal.Union
WhenStuckPolysemy.Internal.CustomErrors.Redefined, Polysemy.Internal.CustomErrors
withLowerToIOPolysemy.Internal.Forklift, Polysemy
WithTacticsPolysemy.Internal.Tactics, Polysemy
WriterPolysemy.Writer
ZPolysemy.Internal.Union