CRDT.PNCounter.Cv.Internal

Documentation

data PNCounter a

Positive-negative counter. Allows incrementing and decrementing. Nice example of combining of existing CvRDT (GCounter in this case) to create another CvRDT.

Constructors

PNCounter

Fields

• positive :: !(GCounter a)
• negative :: !(GCounter a)

Instances

Eq a => Eq (PNCounter a)

Methods

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

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

Show a => Show (PNCounter a)

Methods

showsPrec :: Int -> PNCounter a -> ShowS

show :: PNCounter a -> String

showList :: [PNCounter a] -> ShowS

Ord a => Semigroup (PNCounter a)

Methods

(<>) :: PNCounter a -> PNCounter a -> PNCounter a

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

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

Ord a => Semilattice (PNCounter a)