Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Modulepolysemy-zoo-0.8.2.0Haskell2010

Polysemy.SetStore

1 type
4 values

Packagepolysemy-zoo-0.8.2.0
Exports5
LanguageHaskell2010
LicenceBSD-3-Clause

datadata SetStore k1 v (m :: k) a where

Constructors

AddS :: k1 -> v -> SetStore k1 v m ()
DelS :: k1 -> v -> SetStore k1 v m ()
MemberS :: k1 -> v -> SetStore k1 v m Bool

valueaddS :: Member (SetStore k v) r => k -> v -> Sem r ()

valuedelS :: Member (SetStore k v) r => k -> v -> Sem r ()

valuememberS :: Member (SetStore k v) r => k -> v -> Sem r Bool

valuerunSetStoreAsKVStore

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