CRDT.Cv.LwwElementSet

Documentation

newtype LwwElementSet a

Constructors

LES (Map a (LWW Bool))

Instances

Eq a => Eq (LwwElementSet a)

Defined in CRDT.Cv.LwwElementSet

Methods

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

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

Show a => Show (LwwElementSet a)

Defined in CRDT.Cv.LwwElementSet

Methods

showsPrec :: Int -> LwwElementSet a -> ShowS

show :: LwwElementSet a -> String

showList :: [LwwElementSet a] -> ShowS

Ord a => Semigroup (LwwElementSet a)

Defined in CRDT.Cv.LwwElementSet

Methods

(<>) :: LwwElementSet a -> LwwElementSet a -> LwwElementSet a

sconcat :: NonEmpty (LwwElementSet a) -> LwwElementSet a

stimes :: Integral b => b -> LwwElementSet a -> LwwElementSet a

Ord a => Semilattice (LwwElementSet a)

Defined in CRDT.Cv.LwwElementSet

add :: (Ord a, Clock m) => a -> LwwElementSet a -> m (LwwElementSet a)

initial :: LwwElementSet a

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

remove :: (Ord a, Clock m) => a -> LwwElementSet a -> m (LwwElementSet a)