CRDT.Cm

Documentation

class CmRDT op where

Operation-based, or commutative (Cm) replicated data type.

Commutativity law

update op1 . update op2 == update op2 . update op1

Minimal complete definition

update

Associated Types

type State op :: Type

The type of the target value

Methods

update :: op -> State op -> State op

Apply operation to a value

Instances

Num a => CmRDT (GCounter a)

Associated Types

type State (GCounter a) :: Type

Methods

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

Ord a => CmRDT (LWW a)

Associated Types

type State (LWW a) :: Type

Methods

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

Num a => CmRDT (PNCounter a)

Associated Types

type State (PNCounter a) :: Type

Methods

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

query :: (Foldable f, CmRDT op) => f op -> State op -> State op

Build state from a series of operations.