RON.Data.ORSet

Observed-Remove Set (OR-Set)

Documentation

newtype ORSet a

Type-directing wrapper for typed OR-Set of atomic values

Constructors

ORSet [a]

Instances

ReplicatedAsPayload a => ReplicatedAsObject (ORSet a)

Defined in RON.Data.ORSet

Methods

objectOpType :: UUID

newObject :: ReplicaClock m => ORSet a -> m (Object (ORSet a))

getObject :: MonadE m => Object (ORSet a) -> m (ORSet a)

ReplicatedAsPayload a => Replicated (ORSet a)

Defined in RON.Data.ORSet

Methods

encoding :: Encoding (ORSet a)

newtype ObjectORSet a

Type-directing wrapper for typed OR-Set of objects

Constructors

ObjectORSet [a]

Instances

ReplicatedAsObject a => ReplicatedAsObject (ObjectORSet a)

Defined in RON.Data.ORSet

Methods

objectOpType :: UUID

newObject :: ReplicaClock m => ObjectORSet a -> m (Object (ObjectORSet a))

getObject :: MonadE m => Object (ObjectORSet a) -> m (ObjectORSet a)

ReplicatedAsObject a => Replicated (ObjectORSet a)

Defined in RON.Data.ORSet

Methods

encoding :: Encoding (ObjectORSet a)

data ORSetRaw

Untyped OR-Set. Implementation: a map from the last change (creation or deletion) to the original op.

Instances

Eq ORSetRaw

Defined in RON.Data.ORSet

Methods

(==) :: ORSetRaw -> ORSetRaw -> Bool

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

Show ORSetRaw

Defined in RON.Data.ORSet

Methods

showsPrec :: Int -> ORSetRaw -> ShowS

show :: ORSetRaw -> String

showList :: [ORSetRaw] -> ShowS

Semigroup ORSetRaw

Defined in RON.Data.ORSet

Methods

(<>) :: ORSetRaw -> ORSetRaw -> ORSetRaw

sconcat :: NonEmpty ORSetRaw -> ORSetRaw

stimes :: Integral b => b -> ORSetRaw -> ORSetRaw

Monoid ORSetRaw

Defined in RON.Data.ORSet

Methods

mempty :: ORSetRaw

mappend :: ORSetRaw -> ORSetRaw -> ORSetRaw

mconcat :: [ORSetRaw] -> ORSetRaw

Reducible ORSetRaw

Defined in RON.Data.ORSet

Methods

reducibleOpType :: UUID

stateFromChunk :: [Op] -> ORSetRaw

stateToChunk :: ORSetRaw -> StateChunk

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

reduceUnappliedPatches :: Unapplied -> Unapplied

addNewRef :: forall a m. (ReplicatedAsObject a, ReplicaClock m, MonadE m) => a -> StateT (Object (ObjectORSet a)) m (Object a)

Encode an object and add a reference to it to the OR-Set

addRef :: (ReplicaClock m, MonadE m) => Object a -> StateT (Object (ObjectORSet a)) m ()

Add a reference to the object to the OR-Set

addValue :: (ReplicatedAsPayload a, ReplicaClock m, MonadE m) => a -> StateT (Object (ORSet a)) m ()

Add atomic value to the OR-Set

removeRef :: (MonadE m, ReplicaClock m) => Object a -> StateT (Object (ObjectORSet a)) m ()

Remove an object reference from the OR-Set

removeValue :: (ReplicatedAsPayload a, MonadE m, ReplicaClock m) => a -> StateT (Object (ORSet a)) m ()

Remove an atomic value from the OR-Set