Contents
Index
polysemy-zoo-0.2.0.0: 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
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
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
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
Polysemy.Random
runSeveral
Polysemy.Several
Sub
Polysemy.MTL
TypeConcat
Polysemy.Several
TypeMap
Polysemy.Several
UpdateKV
Polysemy.KVStore
updateKV
Polysemy.KVStore
writeKV
Polysemy.KVStore
~@
Polysemy.Operators
~@>
Polysemy.Operators