Skip to content

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

GHC 9.14.1 · lts/ghc-9.14.x · 45dd537 · 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 :: 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