crdt-10.7: Conflict-free replicated data types
Safe HaskellNone
LanguageHaskell2010

CRDT.Cv.ORSet

Documentation

newtype ORSet a Source #

Constructors

ORSet (Map a (Map Tag Bool)) 

Instances

Instances details
Eq a => Eq (ORSet a) Source # 
Instance details

Defined in CRDT.Cv.ORSet

Methods

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

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

Show a => Show (ORSet a) Source # 
Instance details

Defined in CRDT.Cv.ORSet

Methods

showsPrec :: Int -> ORSet a -> ShowS #

show :: ORSet a -> String #

showList :: [ORSet a] -> ShowS #

Ord a => Semigroup (ORSet a) Source # 
Instance details

Defined in CRDT.Cv.ORSet

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) Source # 
Instance details

Defined in CRDT.Cv.ORSet

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

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

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