CRDT.Cv.TwoPSet

Documentation

newtype TwoPSet a

Constructors

TwoPSet (Map a Bool)

Instances

Eq a => Eq (TwoPSet a)

Defined in CRDT.Cv.TwoPSet

Methods

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

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

Show a => Show (TwoPSet a)

Defined in CRDT.Cv.TwoPSet

Methods

showsPrec :: Int -> TwoPSet a -> ShowS

show :: TwoPSet a -> String

showList :: [TwoPSet a] -> ShowS

Ord a => Semigroup (TwoPSet a)

Defined in CRDT.Cv.TwoPSet

Methods

(<>) :: TwoPSet a -> TwoPSet a -> TwoPSet a

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

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

Ord a => Semilattice (TwoPSet a)

Defined in CRDT.Cv.TwoPSet

add :: Ord a => a -> TwoPSet a -> TwoPSet a

initial :: TwoPSet a

member :: Ord a => a -> TwoPSet a -> Bool

remove :: Ord a => a -> TwoPSet a -> TwoPSet a

singleton :: Ord a => a -> TwoPSet a

isKnown :: Ord a => a -> TwoPSet a -> Bool

XXX Internal