crdt-2.0: Conflict-free replicated data types

Safe HaskellSafe
LanguageHaskell2010

CRDT.Cv.GSet

Contents

Synopsis

Documentation

type GSet = Set Source #

Grow-only set

add :: Ord a => a -> GSet a -> GSet a Source #

update

initial :: GSet a Source #

initialization

query :: Ord a => a -> GSet a -> Bool Source #

Orphan instances

Ord a => Semilattice (Set a) Source #