Data.Effect.KVStore

This module provides the KVStore effect, comes from Polysemy.KVStore in the polysemy-kvstore package.

Documentation

data KVStore k v a where

Constructors

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

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

type LKVStore k v = LiftIns (KVStore k v)

pattern LUpdateKV :: () => (a ~ (), ()) => k -> Maybe v -> LiftIns (KVStore k v) f a

pattern LLookupKV :: () => (a ~ Maybe v, ()) => k -> LiftIns (KVStore k v) f a

updateKV'' :: forall key (k :: Type) (v :: Type) f. SendInsBy key (KVStore k v) f => k -> Maybe v -> f ()

updateKV' :: forall tag (k :: Type) (v :: Type) f. SendIns (Tag (KVStore k v) tag) f => k -> Maybe v -> f ()

updateKV :: forall (k :: Type) (v :: Type) f. SendIns (KVStore k v) f => k -> Maybe v -> f ()

lookupKV'' :: forall key (k :: Type) (v :: Type) f. SendInsBy key (KVStore k v) f => k -> f (Maybe v)

lookupKV' :: forall tag (k :: Type) (v :: Type) f. SendIns (Tag (KVStore k v) tag) f => k -> f (Maybe v)

lookupKV :: forall (k :: Type) (v :: Type) f. SendIns (KVStore k v) f => k -> f (Maybe v)

lookupOrThrowKV :: (KVStore k v <: m, Throw e <: m, Monad m) => (k -> e) -> k -> m v

existsKV :: forall v k f. (KVStore k v <: f, Functor f) => k -> f Bool

writeKV :: KVStore k v <: f => k -> v -> f ()

deleteKV :: forall v k f. KVStore k v <: f => k -> f ()

modifyKV :: (KVStore k v <: m, Monad m) => v -> (v -> v) -> k -> m ()