CRDT.LWW

Documentation

data LWW a

Last write wins. Assuming timestamp is unique. This type is both CmRDT and CvRDT.

Constructors

LWW

Fields

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

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)

See CvRDT

Eq a => CmRDT (LWW a)

Associated Types

type Op (LWW a) :: *

type Payload (LWW a) :: *

type View (LWW a) :: *

Methods

updateAtSourcePre :: Op (LWW a) -> Payload (LWW a) -> Bool

updateAtSource :: Clock m => Op (LWW a) -> m (LWW a)

updateDownstream :: LWW a -> Payload (LWW a) -> Payload (LWW a)

view :: Payload (LWW a) -> View (LWW a)

CausalOrd (LWW a)

Methods

before :: LWW a -> LWW a -> Bool

type Op (LWW a)

type Op (LWW a) = Assign a

type Payload (LWW a)

type Payload (LWW a) = LWW a

type View (LWW a)

type View (LWW a) = a

CvRDT

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

Initialize state

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

Change state as CvRDT operation. Current value is ignored, because new timestamp is always greater.

query :: LWW a -> a

Query state

CmRDT

newtype Assign a

Change state as CmRDT operation

Constructors

Assign a

Instances

Eq a => Eq (Assign a)

Methods

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

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

Show a => Show (Assign a)

Methods

showsPrec :: Int -> Assign a -> ShowS

show :: Assign a -> String

showList :: [Assign a] -> ShowS