Modulepolysemy-zoo-0.8.2.0Haskell2010

Polysemy.KVStore

Effect

1 declaration

datadata KVStore k1 v (m :: k) a where

Models things like Redis, HTTP GET/POST, etc. Things that are keyed, have a value, and may or may not be there.

7 declarations

valuelookupKV :: Member (KVStore k v) r => k -> Sem r (Maybe v)

valuelookupOrThrowKV

valueexistsKV :: Member (KVStore k v) r => k -> Sem r Bool

valuewriteKV :: Member (KVStore k v) r => k -> v -> Sem r ()

valuedeleteKV :: Member (KVStore k v) r => k -> Sem r ()

valueupdateKV :: Member (KVStore k v) r => k -> Maybe v -> Sem r ()

valuemodifyKV

2 declarations

valuerunKVStoreAsState

valuerunKVStorePurely