CRDT.LWW

Documentation

data LWW a

Last write wins. Interesting, this type is both CmRDT and CvRDT.

Constructors

Write

Fields

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

Instances

Eq a => Eq (LWW a)

Methods

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

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

Ord a => 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

Ord a => Semigroup (LWW a)

Methods

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

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

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

Ord a => CvRDT (LWW a)

Ord a => CmRDT (LWW a)

Associated Types

type State (LWW a) :: Type

Methods

update :: LWW a -> State (LWW a) -> State (LWW a)

type State (LWW a)

type State (LWW a) = LWW a

type Timestamp = Natural