CRDT.Cv.LWW

Documentation

data LWW a

Last write wins. Assuming timestamp is unique.

Constructors

LWW

Fields

• timestamp :: !Timestamp
• value :: !a

Instances

Eq (LWW a)

Methods

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

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

Ord (LWW a)

Methods

compare :: LWW a -> LWW a -> Ordering

(<) :: LWW a -> LWW a -> Bool

(<=) :: LWW a -> LWW a -> Bool

(>) :: LWW a -> LWW a -> Bool

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

max :: LWW a -> LWW a -> LWW a

min :: LWW a -> LWW a -> LWW a

Show a => Show (LWW a)

Methods

showsPrec :: Int -> LWW a -> ShowS

show :: LWW a -> String

showList :: [LWW a] -> ShowS

Semigroup (LWW a)

Merge by choosing more recent timestamp.

Methods

(<>) :: LWW a -> LWW a -> LWW a

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

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

Semilattice (LWW a)

type Observed (LWW a)

type Observed (LWW a) = a

initial :: Clock f => a -> f (LWW a)

Initialize state

assign :: Clock f => a -> LWW a -> f (LWW a)

Change state

query :: LWW a -> a

Query state