-@ | Polysemy.Operators |
-@> | Polysemy.Operators |
.@! | Polysemy.IdempotentLowering |
.@@! | Polysemy.IdempotentLowering |
>@ | Polysemy.Operators |
>@> | Polysemy.Operators |
@- | Polysemy.Operators |
@> | Polysemy.Operators |
@~ | Polysemy.Operators |
deleteKV | Polysemy.KVStore |
KVStore | Polysemy.KVStore |
liftNat | Polysemy.IdempotentLowering |
liftNat' | Polysemy.IdempotentLowering |
LookupKV | Polysemy.KVStore |
lookupKV | Polysemy.KVStore |
nat | Polysemy.IdempotentLowering |
nat' | Polysemy.IdempotentLowering |
runKVStoreAsState | Polysemy.KVStore |
runKVStorePurely | Polysemy.KVStore |
UpdateKV | Polysemy.KVStore |
updateKV | Polysemy.KVStore |
writeKV | Polysemy.KVStore |
~@ | Polysemy.Operators |
~@> | Polysemy.Operators |