polysemy-zoo-0.8.1.0: Experimental, user-contributed effects and interpreters for polysemy

Index

-@Polysemy.Operators
-@>Polysemy.Operators
:-Polysemy.ConstraintAbsorber
:::Polysemy.Several
>@Polysemy.Operators
>@>Polysemy.Operators
@-Polysemy.Operators
@>Polysemy.Operators
@~Polysemy.Operators
AbortPolysemy.Shift.Internal, Polysemy.Shift
abortPolysemy.Shift.Internal, Polysemy.Shift
absorbContPolysemy.ConstraintAbsorber.MonadCont
absorbErrorPolysemy.ConstraintAbsorber.MonadError
absorbMonadCatchPolysemy.ConstraintAbsorber.MonadCatch
absorbMonadThrowPolysemy.ConstraintAbsorber.MonadCatch
absorbReaderPolysemy.ConstraintAbsorber.MonadReader
absorbStatePolysemy.ConstraintAbsorber.MonadState
absorbWithSemPolysemy.ConstraintAbsorber
absorbWriterPolysemy.ConstraintAbsorber.MonadWriter
AddSPolysemy.SetStore
addSPolysemy.SetStore
AskPolysemy.Reader.More
askPolysemy.Reader.More
asksPolysemy.Reader.More
asyncToIOFinalGlobalPolysemy.Final.IO
bindSPolysemy.Final.MTL
bombPolysemy.Final.IO.Internal
callCCPolysemy.Cont, Polysemy.Shift
CapturePolysemy.Capture
capturePolysemy.Capture
ChoosePolysemy.Final.NonDet
ContPolysemy.Cont.Internal, Polysemy.Cont, Polysemy.Shift
ContFreshStatePolysemy.Cont.Internal
contToFinalPolysemy.Cont, Polysemy.Shift
deleteKVPolysemy.KVStore
DelimitPolysemy.Capture
delimitPolysemy.Capture
Delimit'Polysemy.Capture
delimit'Polysemy.Capture
DelSPolysemy.SetStore
delSPolysemy.SetStore
Dict 
1 (Data Constructor)Polysemy.ConstraintAbsorber
2 (Type/Class)Polysemy.ConstraintAbsorber
displayExceptionPolysemy.ConstraintAbsorber.MonadCatch
embedFinalPolysemy.Final.MTL
embedSemPolysemy.Cont.Internal
embedToFinalPolysemy.Final.MTL
EmptyPolysemy.Final.NonDet
EndStatePolysemy.EndState
enterExitPolysemy.Cont.Internal, Polysemy.Cont, Polysemy.Shift
errorToFinalPolysemy.Final.MTL
ExceptionPolysemy.ConstraintAbsorber.MonadCatch
exhaustPolysemy.Input.Streaming
existsKVPolysemy.KVStore
ExitRef 
1 (Type/Class)Polysemy.Cont.Internal, Polysemy.Cont, Polysemy.Shift
2 (Data Constructor)Polysemy.Cont.Internal, Polysemy.Cont, Polysemy.Shift
FinalPolysemy.Final.MTL
finalToFinalPolysemy.Final.MTL
FloodgatePolysemy.Floodgate
Fresh 
1 (Type/Class)Polysemy.Fresh
2 (Data Constructor)Polysemy.Fresh
freshPolysemy.Fresh
freshToIOPolysemy.Fresh
fromExceptionPolysemy.ConstraintAbsorber.MonadCatch
getBacktrackExceptionPolysemy.Cont.Internal
GetEndStatePolysemy.EndState
getEndStatePolysemy.EndState
getHandlerPolysemy.Cont.Internal
getInitialStateSPolysemy.Final.MTL
getInspectorSPolysemy.Final.MTL
getResultPolysemy.Cont.Internal
HListPolysemy.Several
HNilPolysemy.Several
HoldPolysemy.Floodgate
holdPolysemy.Floodgate
Input 
1 (Data Constructor)Polysemy.Input.Streaming
2 (Type/Class)Polysemy.Input.Streaming
inputPolysemy.Input.Streaming
inputsPolysemy.Input.Streaming
inputToReaderPolysemy.Reader.More
inspectSemPolysemy.Cont.Internal
interpretFinalPolysemy.Final.MTL
interpretFinalGlobalPolysemy.Final.IO.Internal, Polysemy.Final.IO
InvokePolysemy.Shift.Internal, Polysemy.Shift
invokePolysemy.Shift.Internal, Polysemy.Shift
JumpPolysemy.Cont.Internal, Polysemy.Cont, Polysemy.Shift
jumpPolysemy.Cont.Internal, Polysemy.Cont, Polysemy.Shift
KVStorePolysemy.KVStore
liftSPolysemy.Final.MTL
LocalPolysemy.Reader.More
localPolysemy.Reader.More
LookupKVPolysemy.KVStore
lookupKVPolysemy.KVStore
lookupOrThrowKVPolysemy.KVStore
lowerFinalPolysemy.Final.More
MemberSPolysemy.SetStore
memberSPolysemy.SetStore
modifyKVPolysemy.KVStore
NonDetPolysemy.Final.NonDet
nonDetToErrorPolysemy.Final.NonDet
nonDetToFinalPolysemy.Final.NonDet
Proxy 
1 (Data Constructor)Polysemy.ConstraintAbsorber
2 (Type/Class)Polysemy.ConstraintAbsorber
pureSPolysemy.Final.MTL
Random 
1 (Type/Class)Polysemy.Random
2 (Data Constructor)Polysemy.Random
randomPolysemy.Random
RandomRPolysemy.Random
randomRPolysemy.Random
ReaderPolysemy.Reader.More
readerToFinalPolysemy.Final.MTL
Ref 
1 (Type/Class)Polysemy.Cont.Internal, Polysemy.Capture, Polysemy.Cont, Polysemy.Shift
2 (Data Constructor)Polysemy.Cont.Internal, Polysemy.Capture, Polysemy.Cont, Polysemy.Shift
ReflectPolysemy.Capture
reflect 
1 (Function)Polysemy.ConstraintAbsorber
2 (Function)Polysemy.Capture
ReifiesPolysemy.ConstraintAbsorber
ReifyPolysemy.Capture
reifyPolysemy.Capture
ReleasePolysemy.Floodgate
releasePolysemy.Floodgate
ResAndHandlerPolysemy.Cont.Internal
ResetPolysemy.Shift.Internal, Polysemy.Shift
resetPolysemy.Shift.Internal, Polysemy.Shift
Reset'Polysemy.Shift.Internal, Polysemy.Shift
reset'Polysemy.Shift.Internal, Polysemy.Shift
resourceToIOFinalGlobalPolysemy.Final.IO
revGetPolysemy.RevState
revModifyPolysemy.RevState
revPutPolysemy.RevState
RevState 
1 (Type/Class)Polysemy.RevState
2 (Data Constructor)Polysemy.RevState
revStatePolysemy.RevState
runCapturePolysemy.Capture
runCaptureWithCPolysemy.Capture
runContMPolysemy.Cont, Polysemy.Shift
runContPurePolysemy.Cont, Polysemy.Shift
runContShiftMPolysemy.Shift
runContShiftPurePolysemy.Shift
runContShiftUnsafePolysemy.Shift
runContShiftWithCMPolysemy.Shift
runContShiftWithCPurePolysemy.Shift
runContShiftWithCUnsafePolysemy.Shift
runContUnsafePolysemy.Cont, Polysemy.Shift
runContViaFreshPolysemy.Cont, Polysemy.Shift
runContViaFreshInCPolysemy.Cont.Internal
runContViaFreshInCWeavePolysemy.Cont.Internal
runContWeavingPolysemy.Cont.Internal
runContWithCUnsafePolysemy.Cont.Internal
runEndAtomicStatePolysemy.EndState
runEndStatePolysemy.EndState
runFinalPolysemy.Final.MTL
runFinalSemPolysemy.Final.More
runFloodgatePolysemy.Floodgate
runFloodgateDryPolysemy.Floodgate
runFreshEnumUnsafePolysemy.Fresh
runFreshUnsafePerformIOPolysemy.Fresh
runInputConstPolysemy.Input.Streaming
runInputListPolysemy.Input.Streaming
runInputSemPolysemy.Input.Streaming
runInputViaInfiniteStreamPolysemy.Input.Streaming
runInputViaStreamPolysemy.Input.Streaming
runKVStoreAsStatePolysemy.KVStore
runKVStorePurelyPolysemy.KVStore
runLazyRevStatePolysemy.RevState
runMonadCatchPolysemy.ConstraintAbsorber.MonadCatch
runMonadCatchAsTextPolysemy.ConstraintAbsorber.MonadCatch
runNonDetPolysemy.Final.NonDet
runNonDetMaybePolysemy.Final.NonDet
runRandomPolysemy.Random
runRandomIOPolysemy.Random
runReaderPolysemy.Reader.More
runReaderFixSemPolysemy.Reader.More
runReaderWithCompactedPolysemy.Reader.Compact
runReaderWithExistingCompactedPolysemy.Reader.Compact
runRefPolysemy.Cont.Internal, Polysemy.Capture, Polysemy.Cont, Polysemy.Shift
runRevStatePolysemy.RevState
runSPolysemy.Final.MTL
runSetStoreAsKVStorePolysemy.SetStore
runSeveralPolysemy.Several
runShiftMPolysemy.Shift
runShiftPurePolysemy.Shift
runShiftUnsafePolysemy.Shift
runShiftWeavingPolysemy.Shift.Internal
runShiftWithCMPolysemy.Shift
runShiftWithCPurePolysemy.Shift
runShiftWithCUnsafePolysemy.Shift
runViaFinalGlobalPolysemy.Final.IO.Internal
SetStorePolysemy.SetStore
ShiftPolysemy.Shift.Internal, Polysemy.Shift
shiftPolysemy.Shift
shiftToFinalPolysemy.Shift
SomeExceptionPolysemy.ConstraintAbsorber.MonadCatch
stateToEmbedPolysemy.Final.MTL
StrategicPolysemy.Final.MTL
SubPolysemy.ConstraintAbsorber
SubstPolysemy.Cont.Internal, Polysemy.Cont, Polysemy.Shift
substPolysemy.Cont.Internal, Polysemy.Cont, Polysemy.Shift
ThroughWeavingToFinalPolysemy.Final.MTL
toExceptionPolysemy.ConstraintAbsorber.MonadCatch
TrapPolysemy.Shift.Internal, Polysemy.Shift
trapPolysemy.Shift.Internal, Polysemy.Shift
TypeConcatPolysemy.Several
TypeMapPolysemy.Several
UpdateKVPolysemy.KVStore
updateKVPolysemy.KVStore
ViaFreshRef 
1 (Type/Class)Polysemy.Cont.Internal, Polysemy.Cont, Polysemy.Shift
2 (Data Constructor)Polysemy.Cont.Internal
withStrategicToFinalPolysemy.Final.MTL
WithStrategyPolysemy.Final.MTL
WithWeavingToFinalPolysemy.Final.MTL
withWeavingToFinalPolysemy.Final.MTL
writeKVPolysemy.KVStore
writerToFinalPolysemy.Final.MTL
yieldInputPolysemy.Input.Streaming
yieldRacePolysemy.Input.Streaming
~@Polysemy.Operators
~@>Polysemy.Operators