polysemy-1.2.3.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
asyncToIOFinalPolysemy.Async
AtomicGetPolysemy.AtomicState
atomicGetPolysemy.AtomicState
atomicGetsPolysemy.AtomicState
atomicModifyPolysemy.AtomicState
atomicModify'Polysemy.AtomicState
atomicPutPolysemy.AtomicState
AtomicState 
1 (Type/Class)Polysemy.AtomicState
2 (Data Constructor)Polysemy.AtomicState
atomicStatePolysemy.AtomicState
atomicState'Polysemy.AtomicState
atomicStateToIOPolysemy.AtomicState
atomicStateToStatePolysemy.AtomicState
AwaitPolysemy.Async
awaitPolysemy.Async
bindSPolysemy.Internal.Strategy, Polysemy.Final
bindTPolysemy.Internal.Tactics, Polysemy
bombPolysemy.Internal.Fixpoint
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
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
embedFinalPolysemy.Final, Polysemy
embedToFinalPolysemy.Final, Polysemy
embedToMonadIOPolysemy.IO
EmptyPolysemy.Internal.NonDet, Polysemy.NonDet
ErrorPolysemy.Error
errorToIOFinalPolysemy.Error
evalLazyStatePolysemy.State
evalStatePolysemy.State
extractPolysemy.Internal.Union
Fail 
1 (Type/Class)Polysemy.Fail.Type, Polysemy.Fail
2 (Data Constructor)Polysemy.Fail.Type, Polysemy.Fail
failToEmbedPolysemy.Fail
failToErrorPolysemy.Fail
failToNonDetPolysemy.Fail
FinalPolysemy.Final, Polysemy
finallyPolysemy.Resource
finalToFinalPolysemy.Final
FirstOrderPolysemy.Internal.CustomErrors
Fixpoint 
1 (Type/Class)Polysemy.Internal.Fixpoint, Polysemy.Fixpoint
2 (Data Constructor)Polysemy.Internal.Fixpoint, Polysemy.Fixpoint
fixpointToFinalPolysemy.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
GetInitialState 
1 (Data Constructor)Polysemy.Internal.Tactics
2 (Data Constructor)Polysemy.Internal.Strategy
getInitialStateSPolysemy.Internal.Strategy, Polysemy.Final
getInitialStateTPolysemy.Internal.Tactics, Polysemy
GetInspector 
1 (Data Constructor)Polysemy.Internal.Tactics
2 (Data Constructor)Polysemy.Internal.Strategy
getInspectorSPolysemy.Internal.Strategy, Polysemy.Final
getInspectorTPolysemy.Internal.Tactics, Polysemy
getsPolysemy.State
hoistPolysemy.Internal.Union
HoistInterpretation 
1 (Data Constructor)Polysemy.Internal.Tactics
2 (Data Constructor)Polysemy.Internal.Strategy
hoistSemPolysemy.Internal
hoistStateIntoStateTPolysemy.State
IfStuckPolysemy.Internal.CustomErrors.Redefined
ignoreOutputPolysemy.Output
ignoreTracePolysemy.Trace
injPolysemy.Internal.Union
injWeavingPolysemy.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
InterpreterForPolysemy.Internal, Polysemy
interpretFinalPolysemy.Final
interpretHPolysemy.Internal.Combinators, Polysemy
lazilyStatefulPolysemy.Internal.Combinators
liftSPolysemy.Internal.Strategy, Polysemy.Final
liftSemPolysemy.Internal
liftTPolysemy.Internal.Tactics
ListenPolysemy.Internal.Writer, Polysemy.Writer
listenPolysemy.Internal.Writer, Polysemy.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, Polysemy.Internal, Polysemy
modifyPolysemy.State
modify'Polysemy.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
outputToIOMonoidPolysemy.Output
outputToIOMonoidAssocRPolysemy.Output
outputToTracePolysemy.Trace
outputToWriterPolysemy.Writer
PassPolysemy.Internal.Writer, Polysemy.Writer
passPolysemy.Internal.Writer, Polysemy.Writer
prjPolysemy.Internal.Union
pureSPolysemy.Internal.Strategy, Polysemy.Final
pureTPolysemy.Internal.Tactics, Polysemy
PutPolysemy.State
putPolysemy.State
raisePolysemy.Internal, Polysemy
raiseUnderPolysemy.Internal, Polysemy
raiseUnder2Polysemy.Internal, Polysemy
raiseUnder3Polysemy.Internal, Polysemy
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
resourceToIOFinalPolysemy.Resource
responseMVarPolysemy.Internal.Forklift
rewritePolysemy.Internal.Combinators, Polysemy
runPolysemy.Internal, Polysemy
runAtomicStateIORefPolysemy.AtomicState
runAtomicStateTVarPolysemy.AtomicState
runEmbeddedPolysemy.Embed
runErrorPolysemy.Error
runFailPolysemy.Fail
runFinalPolysemy.Final, Polysemy
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
runOutputMonoidAssocRPolysemy.Output
runOutputMonoidIORefPolysemy.Output
runOutputMonoidTVarPolysemy.Output
runOutputSemPolysemy.Output
runReaderPolysemy.Reader
runResourcePolysemy.Resource
runSPolysemy.Internal.Strategy, Polysemy.Final
runSemPolysemy.Internal
runStatePolysemy.State
runStateIORefPolysemy.State
runStrategyPolysemy.Internal.Strategy
runTPolysemy.Internal.Tactics, Polysemy
runTacticsPolysemy.Internal.Tactics
runTraceListPolysemy.Trace
runViaForkliftPolysemy.Internal.Forklift
runWriterPolysemy.Writer
runWriterAssocRPolysemy.Writer
runWriterSTMActionPolysemy.Internal.Writer
runWriterTVarPolysemy.Writer
SPolysemy.Internal.Union
Sem 
1 (Type/Class)Polysemy.Internal, Polysemy
2 (Data Constructor)Polysemy.Internal
sendPolysemy.Internal
sequenceConcurrentlyPolysemy.Async
SNatPolysemy.Internal.Union
splitArrowTsPolysemy.Internal.TH.Common
SSPolysemy.Internal.Union
StatePolysemy.State
statefulPolysemy.Internal.Combinators
stateToIOPolysemy.State
StrategicPolysemy.Internal.Strategy, Polysemy.Final
StrategyPolysemy.Internal.Strategy
subsumePolysemy.Internal, Polysemy
SZPolysemy.Internal.Union
TacticalPolysemy.Internal.Tactics, Polysemy
TacticsPolysemy.Internal.Tactics
TellPolysemy.Internal.Writer, Polysemy.Writer
tellPolysemy.Internal.Writer, Polysemy.Writer
ThroughWeavingToFinalPolysemy.Final
ThrowPolysemy.Error
throwPolysemy.Error
Trace 
1 (Type/Class)Polysemy.Trace
2 (Data Constructor)Polysemy.Trace
tracePolysemy.Trace
traceToIOPolysemy.Trace
traceToOutputPolysemy.Trace
transformPolysemy.Internal.Combinators, Polysemy
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
withStrategicToFinalPolysemy.Final
WithStrategyPolysemy.Internal.Strategy, Polysemy.Final
WithTacticsPolysemy.Internal.Tactics, Polysemy
WithWeavingToFinalPolysemy.Final
withWeavingToFinalPolysemy.Final
WriterPolysemy.Internal.Writer, Polysemy.Writer
writerToEndoWriterPolysemy.Internal.Writer, Polysemy.Writer
writerToIOAssocRFinalPolysemy.Writer
writerToIOFinalPolysemy.Writer
ZPolysemy.Internal.Union