CRDT.Cm.GSet

Documentation

type GSet = Set

Grow-only set

newtype Add a

Constructors

Add a

Instances

Eq a => Eq (Add a)

Methods

(==) :: Add a -> Add a -> Bool

(/=) :: Add a -> Add a -> Bool

Show a => Show (Add a)

Methods

showsPrec :: Int -> Add a -> ShowS

show :: Add a -> String

showList :: [Add a] -> ShowS

Eq a => PartialOrd (Add a)

Methods

leq :: Add a -> Add a -> Bool

comparable :: Add a -> Add a -> Bool

Ord a => CmRDT (Set a) (Add a) (Add a)

Methods

updateAtSourcePre :: Add a -> Set a -> Bool

updateAtSource :: Clock m => Add a -> m (Add a)

updateDownstream :: Add a -> Set a -> Set a

initial :: GSet a

lookup :: Ord a => a -> GSet a -> Bool

query lookup

Orphan instances

Observe (GSet a)

Associated Types

type Observed (GSet a) :: Type

Methods

observe :: GSet a -> Observed (GSet a)