polysemy-1.8.0.0: Higher-order, low-boilerplate free monads.

Index

%Polysemy.Internal.CustomErrors
:->Polysemy.Internal.TH.Common
<>Polysemy.Internal.CustomErrors
absurdUPolysemy.Internal.Union
AnythingOfAnyKindPolysemy.Internal.CustomErrors.Redefined
AppendPolysemy.Internal.Kind, Polysemy.Internal
AskPolysemy.Reader
askPolysemy.Reader
asksPolysemy.Reader
Async 
1 (Type/Class)Polysemy.Async
2 (Data Constructor)Polysemy.Async
asyncPolysemy.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
bindTSimplePolysemy.Internal.Tactics, Polysemy
bombPolysemy.Internal.Fixpoint
BracketPolysemy.Resource
bracketPolysemy.Resource
BracketOnErrorPolysemy.Resource
bracketOnErrorPolysemy.Resource
bracket_Polysemy.Resource
Bundle 
1 (Type/Class)Polysemy.Bundle
2 (Data Constructor)Polysemy.Bundle
CancelPolysemy.Async
cancelPolysemy.Async
CatchPolysemy.Error
catchPolysemy.Error
catchJustPolysemy.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
EffectPolysemy.Internal.Kind, Polysemy
EffectRowPolysemy.Internal.Kind, Polysemy
ElemOfPolysemy.Internal.Union, Polysemy.Membership
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
evalAtomicStateViaStatePolysemy.AtomicState
evalLazyStatePolysemy.State
evalStatePolysemy.State
execAtomicStateViaStatePolysemy.AtomicState
execLazyStatePolysemy.State
execStatePolysemy.State
extendMembershipPolysemy.Internal.Bundle
extendMembershipLeftPolysemy.Internal.Union
extendMembershipRightPolysemy.Internal.Union
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
fromEitherPolysemy.Error
fromEitherMPolysemy.Error
fromExceptionPolysemy.Error
fromExceptionSemPolysemy.Error
fromExceptionSemViaPolysemy.Error
fromExceptionViaPolysemy.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
HerePolysemy.Internal.Union, Polysemy.Membership
hoistPolysemy.Internal.Union
HoistInterpretation 
1 (Data Constructor)Polysemy.Internal.Tactics
2 (Data Constructor)Polysemy.Internal.Strategy
HoistInterpretationHPolysemy.Internal.Tactics
hoistSemPolysemy.Internal
hoistStateIntoStateTPolysemy.State
IfStuckPolysemy.Internal.CustomErrors.Redefined
ignoreOutputPolysemy.Output
ignoreTracePolysemy.Trace
injPolysemy.Internal.Union
injBundlePolysemy.Bundle
injectMembershipPolysemy.Internal.Union
injUsingPolysemy.Internal.Union
injWeavingPolysemy.Internal.Union
Input 
1 (Type/Class)Polysemy.Input
2 (Data Constructor)Polysemy.Input
inputPolysemy.Input
inputsPolysemy.Input
inputToReaderPolysemy.Reader
InScopePolysemy.Internal.Scoped
insertAtPolysemy.Internal, Polysemy
InsertAtFailurePolysemy.Internal.Index
InsertAtIndexPolysemy.Internal.Index
insertAtIndexPolysemy.Internal.Index
InsertAtUnprovidedIndexPolysemy.Internal.Index
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
interceptUsingPolysemy.Internal.Combinators, Polysemy.Membership
interceptUsingHPolysemy.Internal.Combinators, Polysemy.Membership
interpretPolysemy.Internal.Combinators, Polysemy
InterpreterForPolysemy.Internal, Polysemy
InterpretersForPolysemy.Internal, Polysemy
interpretFinalPolysemy.Final
interpretHPolysemy.Internal.Combinators, Polysemy
interpretScopedPolysemy.Scoped
interpretScopedAsPolysemy.Scoped
interpretScopedHPolysemy.Scoped
interpretScopedH'Polysemy.Scoped
interpretScopedWithPolysemy.Scoped
interpretScopedWithHPolysemy.Scoped
interpretScopedWith_Polysemy.Scoped
interpretViaLazyWriterPolysemy.Internal.Writer
interpretWeavingPolysemy.Internal.Combinators
KnownListPolysemy.Internal.Sing
KnownRowPolysemy.Internal.Union, Polysemy.Membership
lazilyStatefulPolysemy.Internal.Combinators
liftSPolysemy.Internal.Strategy, Polysemy.Final
liftSemPolysemy.Internal
liftTPolysemy.Internal.Tactics
ListenPolysemy.Internal.Writer, Polysemy.Writer
listenPolysemy.Internal.Writer, Polysemy.Writer
ListOfLengthPolysemy.Internal.Sing
listOfLengthPolysemy.Internal.Sing
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
mapErrorPolysemy.Error
MemberPolysemy.Internal.Union, Polysemy.Internal, Polysemy
MembersPolysemy.Internal, Polysemy
membershipPolysemy.Internal.Union, Polysemy.Membership
modifyPolysemy.State
modify'Polysemy.State
NonDetPolysemy.Internal.NonDet, Polysemy.NonDet
nonDetToErrorPolysemy.NonDet
notePolysemy.Error
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
prjUsingPolysemy.Internal.Union
pureSPolysemy.Internal.Strategy, Polysemy.Final
pureTPolysemy.Internal.Tactics, Polysemy
PutPolysemy.State
putPolysemy.State
RaisePolysemy.Internal
raisePolysemy.Internal, Polysemy
raise2UnderPolysemy.Internal, Polysemy
raise3UnderPolysemy.Internal, Polysemy
raiseUnderPolysemy.Internal, Polysemy
raiseUnder2Polysemy.Internal, Polysemy
raiseUnder3Polysemy.Internal, Polysemy
raiseUnionPolysemy.Internal
raise_Polysemy.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
rescopePolysemy.Internal.Scoped, Polysemy.Scoped
ResourcePolysemy.Resource
resourceToIOFinalPolysemy.Resource
restackPolysemy.Internal
retagPolysemy.Tagged
rewritePolysemy.Internal.Combinators, Polysemy
RunPolysemy.Internal.Scoped
runPolysemy.Internal, Polysemy
runAtomicStateIORefPolysemy.AtomicState
runAtomicStateTVarPolysemy.AtomicState
runAtomicStateViaStatePolysemy.AtomicState
runBundlePolysemy.Bundle
runEmbeddedPolysemy.Embed
runErrorPolysemy.Error
runFailPolysemy.Fail
runFinalPolysemy.Final, Polysemy
runInputConstPolysemy.Input
runInputListPolysemy.Input
runInputSemPolysemy.Input
runLazyOutputListPolysemy.Output
runLazyOutputMonoidPolysemy.Output
runLazyOutputMonoidAssocRPolysemy.Output
runLazyStatePolysemy.State
runLazyWriterPolysemy.Writer
runLazyWriterAssocRPolysemy.Writer
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
runScopedPolysemy.Scoped
runScopedAsPolysemy.Scoped
runSemPolysemy.Internal
runStatePolysemy.State
runStateIORefPolysemy.State
runStateSTRefPolysemy.State
runStrategyPolysemy.Internal.Strategy
runTPolysemy.Internal.Tactics, Polysemy
runTacticsPolysemy.Internal.Tactics
runTraceListPolysemy.Trace
runTSimplePolysemy.Internal.Tactics, Polysemy
runWriterPolysemy.Writer
runWriterAssocRPolysemy.Writer
runWriterSTMActionPolysemy.Internal.Writer
runWriterTVarPolysemy.Writer
sameMemberPolysemy.Internal.Union, Polysemy.Membership
SConsPolysemy.Internal.Sing
ScopedPolysemy.Internal.Scoped, Polysemy.Scoped
scopedPolysemy.Internal.Scoped, Polysemy.Scoped
Scoped_Polysemy.Internal.Scoped
scoped_Polysemy.Internal.Scoped, Polysemy.Scoped
Sem 
1 (Type/Class)Polysemy.Internal, Polysemy
2 (Data Constructor)Polysemy.Internal
SEndPolysemy.Internal.Sing
sendPolysemy.Internal, Polysemy
sendBundlePolysemy.Bundle
sendUsingPolysemy.Internal
sequenceConcurrentlyPolysemy.Async
singListPolysemy.Internal.Sing
SListPolysemy.Internal.Sing
splitArrowTsPolysemy.Internal.TH.Common
StatePolysemy.State
statefulPolysemy.Internal.Combinators
stateToIOPolysemy.State
stateToSTPolysemy.State
StrategicPolysemy.Internal.Strategy, Polysemy.Final
StrategyPolysemy.Internal.Strategy
SubsumePolysemy.Internal
subsumePolysemy.Internal, Polysemy
subsumeBundlePolysemy.Bundle
subsumeMembershipPolysemy.Internal.Bundle
subsumeUnionPolysemy.Internal
subsumeUsingPolysemy.Internal, Polysemy.Membership
subsume_Polysemy.Internal, Polysemy
TacticalPolysemy.Internal.Tactics, Polysemy
TacticsPolysemy.Internal.Tactics
tagPolysemy.Tagged
Tagged 
1 (Type/Class)Polysemy.Tagged
2 (Data Constructor)Polysemy.Tagged
taggedPolysemy.Tagged
TellPolysemy.Internal.Writer, Polysemy.Writer
tellPolysemy.Internal.Writer, Polysemy.Writer
TherePolysemy.Internal.Union, Polysemy.Membership
ThroughWeavingToFinalPolysemy.Final
ThrowPolysemy.Error
throwPolysemy.Error
Trace 
1 (Type/Class)Polysemy.Trace
2 (Data Constructor)Polysemy.Trace
tracePolysemy.Trace
traceToHandlePolysemy.Trace
traceToIOPolysemy.Trace
traceToOutputPolysemy.Trace
traceToStderrPolysemy.Trace
traceToStdoutPolysemy.Trace
transformPolysemy.Internal.Combinators, Polysemy
tryPolysemy.Error
tryJustPolysemy.Error
tryMembershipPolysemy.Internal.Union, Polysemy.Membership
unEmbedPolysemy.Embed.Type, Polysemy.Internal, Polysemy, Polysemy.Embed
Union 
1 (Type/Class)Polysemy.Internal.Union
2 (Data Constructor)Polysemy.Internal.Union
UnlessStuckPolysemy.Internal.CustomErrors.Redefined
untagPolysemy.Tagged
usingSemPolysemy.Internal
weakenPolysemy.Internal.Union
weakenListPolysemy.Internal.Union
weakenMidPolysemy.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
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