RON.Data.LWW

LWW-per-field RDT

Documentation

newtype LwwRep

Untyped LWW. Implementation: a map from opRef to the original op.

Constructors

LwwRep (Map UUID Op)

Instances

Eq LwwRep

Defined in RON.Data.LWW

Methods

(==) :: LwwRep -> LwwRep -> Bool

(/=) :: LwwRep -> LwwRep -> Bool

Show LwwRep

Defined in RON.Data.LWW

Methods

showsPrec :: Int -> LwwRep -> ShowS

show :: LwwRep -> String

showList :: [LwwRep] -> ShowS

Semigroup LwwRep

Defined in RON.Data.LWW

Methods

(<>) :: LwwRep -> LwwRep -> LwwRep

sconcat :: NonEmpty LwwRep -> LwwRep

stimes :: Integral b => b -> LwwRep -> LwwRep

Monoid LwwRep

Defined in RON.Data.LWW

Methods

mempty :: LwwRep

mappend :: LwwRep -> LwwRep -> LwwRep

mconcat :: [LwwRep] -> LwwRep

Semilattice LwwRep

Laws: 1. Idempotent because unionWith is idempotent. 2. Commutative because lww is commutative.

Defined in RON.Data.LWW

Reducible LwwRep

Defined in RON.Data.LWW

Methods

reducibleOpType :: UUID

stateFromChunk :: [Op] -> LwwRep

stateToChunk :: LwwRep -> [Op]

applyPatches :: LwwRep -> Unapplied -> (LwwRep, Unapplied)

reduceUnappliedPatches :: Unapplied -> Unapplied

assignField

Arguments

:: (Replicated a, ReplicaClock m, MonadE m, MonadObjectState struct m)

=> UUID

Field name

-> Maybe a

Value

-> m ()

Assign a value to a field

lwwType :: UUID

Name-UUID to use as LWW type marker.

newStruct :: (MonadState StateFrame m, ReplicaClock m) => [(UUID, Maybe (Instance Replicated))] -> m UUID

Create an LWW object from a list of named fields.

readField

Arguments

:: (MonadE m, MonadObjectState struct m, Rep struct ~ LwwRep, Replicated field)

=> UUID

Field name

-> m (Maybe field)

Read field value

viewField

Arguments

:: (Replicated a, MonadE m, MonadState StateFrame m)

=> UUID

Field name

-> StateChunk LwwRep

LWW object chunk

-> m (Maybe a)

Decode field value

zoomField

Arguments

:: (MonadE m, ReplicatedAsObject struct)

=> UUID

Field name

-> ObjectStateT field m a

Inner object modifier

-> ObjectStateT struct m a

Pseudo-lens to an object inside a specified field