Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.xfc4e5982026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · fc4e598 · 2026-10-11

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 :: k2 -> v -> SetStore k1 v m ()
DelS :: k2 -> v -> SetStore k1 v m ()
MemberS :: k2 -> 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