Contents
Index
polysemy-zoo-0.1.2.0: Experimental, user-contributed effects and interpreters for polysemy
Index
-@
Polysemy.Operators
-@>
Polysemy.Operators
.@!
Polysemy.IdempotentLowering
.@@!
Polysemy.IdempotentLowering
:-
Polysemy.MTL
>@
Polysemy.Operators
>@>
Polysemy.Operators
@-
Polysemy.Operators
@>
Polysemy.Operators
@~
Polysemy.Operators
absorb
Polysemy.MTL
absorbError
Polysemy.MTL
absorbMonadRandom
Polysemy.RandomFu
absorbReader
Polysemy.MTL
absorbState
Polysemy.MTL
absorbWriter
Polysemy.MTL
action
Polysemy.MTL
canonicalDictionary
Polysemy.MTL
CanonicalEffect
Polysemy.MTL
ConstrainedAction
1 (Type/Class)
Polysemy.MTL
2 (Data Constructor)
Polysemy.MTL
deleteKV
Polysemy.KVStore
Dict
1 (Data Constructor)
Polysemy.MTL
2 (Type/Class)
Polysemy.MTL
Dict1
Polysemy.MTL
fixedNat
Polysemy.IdempotentLowering
fixedNat'
Polysemy.IdempotentLowering
GetRandomPrim
Polysemy.RandomFu
getRandomPrim
Polysemy.RandomFu
IsCanonicalEffect
Polysemy.MTL
KVStore
Polysemy.KVStore
liftNat
Polysemy.IdempotentLowering
liftNat'
Polysemy.IdempotentLowering
LookupKV
Polysemy.KVStore
lookupKV
Polysemy.KVStore
nat
Polysemy.IdempotentLowering
nat'
Polysemy.IdempotentLowering
Proxy
1 (Data Constructor)
Polysemy.MTL
2 (Type/Class)
Polysemy.MTL
Random
1 (Type/Class)
Polysemy.Random
2 (Data Constructor)
Polysemy.Random
random
Polysemy.Random
RandomFu
Polysemy.RandomFu
RandomR
Polysemy.Random
randomR
Polysemy.Random
reflect
Polysemy.MTL
ReifiableConstraint1
Polysemy.MTL
reifiedInstance
Polysemy.MTL
Reifies
Polysemy.MTL
runKVStoreAsState
Polysemy.KVStore
runKVStorePurely
Polysemy.KVStore
runRandom
Polysemy.Random
runRandomIO
1 (Function)
Polysemy.Random
2 (Function)
Polysemy.RandomFu
runRandomIOPureMT
Polysemy.RandomFu
runRandomSource
Polysemy.RandomFu
sampleDist
Polysemy.RandomFu
SampleRVar
Polysemy.RandomFu
sampleRVar
Polysemy.RandomFu
Sub
Polysemy.MTL
UpdateKV
Polysemy.KVStore
updateKV
Polysemy.KVStore
writeKV
Polysemy.KVStore
~@
Polysemy.Operators
~@>
Polysemy.Operators