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

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

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

addS :: forall k v r. Member (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