Polysemy.SetStore

Documentation

data SetStore k v m a where

Constructors

AddS :: k -> v -> SetStore k v m ()

DelS :: k -> v -> SetStore k v m ()

MemberS :: k -> v -> SetStore k v m Bool

Instances

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

Defined in Polysemy.SetStore

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

memberS :: forall k v r. MemberWithError (SetStore k v) r => k -> v -> Sem r Bool

delS :: forall k v r. MemberWithError (SetStore k v) r => k -> v -> Sem r ()

addS :: forall k v r. MemberWithError (SetStore k v) r => k -> v -> Sem r ()

runSetStoreAsKVStore :: (Member (KVStore k (Set v)) r, Ord v) => InterpreterOf (SetStore k v) r

runSetStoreInRedis :: (Member (Embed Redis) r, Member (Error Reply) r, Binary k, Binary v) => (k -> Path) -> InterpreterOf (SetStore k v) r