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

Reducible LwwRep

Defined in RON.Data.LWW

Methods

reducibleOpType :: UUID

stateFromChunk :: [Op] -> LwwRep

stateToChunk :: LwwRep -> StateChunk

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

reduceUnappliedPatches :: Unapplied -> Unapplied

assignField

Arguments

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

=> UUID

Field name

-> field

Value

-> m ()

Assign a value to a field

lwwType :: UUID

Name-UUID to use as LWW type marker.

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

Create LWW object from a list of named fields.

readField

Arguments

:: (MonadE m, MonadObjectState struct m, Replicated field)

=> UUID

Field name

-> m field

Decode field value

viewField

Arguments

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

=> UUID

Field name

-> StateChunk

LWW object chunk

-> m a

Decode field value

zoomField

Arguments

:: MonadE m

=> UUID

Field name

-> ObjectStateT field m a

Inner object modifier

-> ObjectStateT struct m a

Pseudo-lens to an object inside a specified field