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) => Sem (SetStore k v ': r) x -> Sem r x