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

Index

.@Polysemy.Internal, Polysemy
.@@Polysemy.Internal, Polysemy
:->Polysemy.Internal.TH.Common
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
asyncToIOPolysemy.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
cliConNamePolysemy.Internal.TH.Common
cliEffArgsPolysemy.Internal.TH.Common
cliEffNamePolysemy.Internal.TH.Common
cliEffResPolysemy.Internal.TH.Common
cliFunArgsPolysemy.Internal.TH.Common
cliFunCxtPolysemy.Internal.TH.Common
cliFunFixityPolysemy.Internal.TH.Common
cliFunNamePolysemy.Internal.TH.Common
CLInfoPolysemy.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
Embed 
1 (Type/Class)Polysemy.Embed.Type, Polysemy.Internal, Polysemy, Polysemy.Embed
2 (Data Constructor)Polysemy.Embed.Type, Polysemy.Internal, Polysemy, Polysemy.Embed
embedPolysemy.Internal, Polysemy, Polysemy.Embed
embedToMonadIOPolysemy.IO
EmptyPolysemy.Internal.NonDet, Polysemy.NonDet
ErrorPolysemy.Error
evalLazyStatePolysemy.State
evalStatePolysemy.State
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
foldArrowTsPolysemy.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
ignoreOutputPolysemy.Output
ignoreTracePolysemy.Trace
injPolysemy.Internal.Union
Input 
1 (Type/Class)Polysemy.Input
2 (Data Constructor)Polysemy.Input
inputPolysemy.Input
inputToReaderPolysemy.Reader
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
liftSemPolysemy.Internal
liftTPolysemy.Internal.Tactics
ListenPolysemy.Writer
listenPolysemy.Writer
LocalPolysemy.Reader
localPolysemy.Reader
lowerAsyncPolysemy.Async
lowerEmbeddedPolysemy.IO
lowerErrorPolysemy.Error
lowerResourcePolysemy.Resource
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
mapErrorPolysemy.Error
MemberPolysemy.Internal.Union, Polysemy.Internal, Polysemy
MembersPolysemy.Internal, Polysemy
MemberWithErrorPolysemy.Internal.Union
modifyPolysemy.State
NatPolysemy.Internal.Union
NonDetPolysemy.Internal.NonDet, Polysemy.NonDet
nonDetToErrorPolysemy.NonDet
onExceptionPolysemy.Resource
Output 
1 (Type/Class)Polysemy.Output
2 (Data Constructor)Polysemy.Output
outputPolysemy.Output
outputToTracePolysemy.Trace
outputToWriterPolysemy.Writer
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
resourceToIOPolysemy.Resource
responseMVarPolysemy.Internal.Forklift
runPolysemy.Internal, Polysemy
runEmbeddedPolysemy.Embed
runErrorPolysemy.Error
runFixpointPolysemy.Fixpoint
runFixpointMPolysemy.Fixpoint
runInputConstPolysemy.Input
runInputListPolysemy.Input
runInputSemPolysemy.Input
runLazyStatePolysemy.State
runMPolysemy.Internal, Polysemy
runNonDetPolysemy.NonDet
runNonDetMaybePolysemy.NonDet
runOutputBatchedPolysemy.Output
runOutputListPolysemy.Output
runOutputMonoidPolysemy.Output
runReaderPolysemy.Reader
runResourcePolysemy.Resource
runSemPolysemy.Internal
runStatePolysemy.State
runStateIORefPolysemy.State
runTPolysemy.Internal.Tactics, Polysemy
runTacticsPolysemy.Internal.Tactics
runTraceListPolysemy.Trace
runViaForkliftPolysemy.Internal.Forklift
runWriterPolysemy.Writer
SPolysemy.Internal.Union
Sem 
1 (Type/Class)Polysemy.Internal, Polysemy
2 (Data Constructor)Polysemy.Internal
sendPolysemy.Internal
SNatPolysemy.Internal.Union
splitArrowTsPolysemy.Internal.TH.Common
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
traceToIOPolysemy.Trace
traceToOutputPolysemy.Trace
unEmbedPolysemy.Embed.Type, Polysemy.Internal, Polysemy, Polysemy.Embed
UnhandledEffectPolysemy.Internal.CustomErrors
Union 
1 (Type/Class)Polysemy.Internal.Union
2 (Data Constructor)Polysemy.Internal.Union
UnlessStuckPolysemy.Internal.CustomErrors.Redefined
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