Contents
Index
polysemy-zoo-0.1.2.1: Experimental, user-contributed effects and interpreters for polysemy
Index
-@
Polysemy.Operators
-@>
Polysemy.Operators
.@!
Polysemy.IdempotentLowering
.@@!
Polysemy.IdempotentLowering
:-
Polysemy.MTL
:::
Polysemy.Several
>@
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
HList
Polysemy.Several
HNil
Polysemy.Several
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
runSeveral
Polysemy.Several
sampleDist
Polysemy.RandomFu
SampleRVar
Polysemy.RandomFu
sampleRVar
Polysemy.RandomFu
Sub
Polysemy.MTL
TypeConcat
Polysemy.Several
TypeMap
Polysemy.Several
UpdateKV
Polysemy.KVStore
updateKV
Polysemy.KVStore
writeKV
Polysemy.KVStore
~@
Polysemy.Operators
~@>
Polysemy.Operators