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

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 => CvRDT (PNCounter a)