Polysemy.KVStore

Effect

data KVStore k v m a where

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

Constructors

LookupKV :: k -> KVStore k v m (Maybe v)

UpdateKV :: k -> Maybe v -> KVStore k v m ()

Instances

type DefiningModule (KVStore :: Type -> Type -> k -> Type -> Type)

Defined in Polysemy.KVStore

type DefiningModule (KVStore :: Type -> Type -> k -> Type -> Type) = "Polysemy.KVStore"

Actions

lookupKV :: forall k v. forall r. Member (KVStore k v) r => k -> Sem r (Maybe v)

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

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

updateKV :: forall k v. forall r. Member (KVStore k v) r => k -> Maybe v -> Sem r ()

Interpretations

runKVStoreAsState :: Ord k => Sem (KVStore k v ': r) a -> Sem (State (Map k v) ': r) a

runKVStorePurely :: Ord k => Map k v -> Sem (KVStore k v ': r) a -> Sem r (Map k v, a)