Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data SetStore k v m a where Source #
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 # | |
Defined in Polysemy.SetStore |
runSetStoreAsKVStore :: (Member (KVStore k (Set v)) r, Ord v) => InterpreterOf (SetStore k v) r Source #