polysemy-zoo-0.7.0.1: Experimental, user-contributed effects and interpreters for polysemy

Safe HaskellNone
LanguageHaskell2010

Polysemy.SetStore

Documentation

data SetStore k v m a where Source #

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) Source # 
Instance details

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 Source #

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

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

runSetStoreAsKVStore :: (Member (KVStore k (Set v)) r, Ord v) => Sem (SetStore k v ': r) x -> Sem r x Source #