RON.Data.LWW

LWW-per-field RDT

Documentation

newtype LwwPerField

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

Constructors

LwwPerField (Map UUID Op)

Instances

Eq LwwPerField

Defined in RON.Data.LWW

Methods

(==) :: LwwPerField -> LwwPerField -> Bool

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

Show LwwPerField

Defined in RON.Data.LWW

Methods

showsPrec :: Int -> LwwPerField -> ShowS

show :: LwwPerField -> String

showList :: [LwwPerField] -> ShowS

Semigroup LwwPerField

Defined in RON.Data.LWW

Methods

(<>) :: LwwPerField -> LwwPerField -> LwwPerField

sconcat :: NonEmpty LwwPerField -> LwwPerField

stimes :: Integral b => b -> LwwPerField -> LwwPerField

Monoid LwwPerField

Defined in RON.Data.LWW

Methods

mempty :: LwwPerField

mappend :: LwwPerField -> LwwPerField -> LwwPerField

mconcat :: [LwwPerField] -> LwwPerField

Reducible LwwPerField

Defined in RON.Data.LWW

Methods

reducibleOpType :: UUID

stateFromChunk :: [Op] -> LwwPerField

stateToChunk :: LwwPerField -> StateChunk

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

reduceUnappliedPatches :: Unapplied -> Unapplied

assignField

Arguments

:: (Replicated b, ReplicaClock m, MonadE m, MonadState (Object a) m)

=> UUID

Field name

-> b

Value (from untyped world)

-> m ()

Assign a value to a field

lwwType :: UUID

Name-UUID to use as LWW type marker.

newObject :: ReplicaClock m => [(UUID, Instance Replicated)] -> m (Object a)

Create LWW object from a list of named fields.

readField

Arguments

:: (MonadE m, MonadState (Object a) m, Replicated b)

=> UUID

Field name

-> m b

Decode field value

viewField

Arguments

:: (Replicated a, MonadE m)

=> UUID

Field name

-> StateChunk

LWW object chunk

-> StateFrame

-> m a

Decode field value

zoomField

Arguments

:: MonadE m

=> UUID

Field name

-> StateT (Object inner) m a

Nested object modifier

-> StateT (Object outer) m a

Anti-lens to an object inside a specified field