CRDT.Cv.ORSet

Documentation

newtype ORSet a

Constructors

ORSet (Map a (Map Tag Bool))

Instances

Eq a => Eq (ORSet a)

Methods

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

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

Show a => Show (ORSet a)

Methods

showsPrec :: Int -> ORSet a -> ShowS

show :: ORSet a -> String

showList :: [ORSet a] -> ShowS

Ord a => Semigroup (ORSet a)

Methods

(<>) :: ORSet a -> ORSet a -> ORSet a

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

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

Ord a => Semilattice (ORSet a)

add :: (Ord a, Process m) => a -> ORSet a -> m (ORSet a)

initial :: ORSet a

remove :: Ord a => a -> ORSet a -> ORSet a

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