RON.Data.ORSet

Observed-Remove Set (OR-Set)

Documentation

newtype ORSet a

Type-directing wrapper for typed OR-Set

Constructors

ORSet [a]

Instances

Eq a => Eq (ORSet a)

Defined in RON.Data.ORSet

Methods

(==) :: ORSet a -> ORSet a -> Bool

(/=) :: ORSet a -> ORSet a -> Bool

Show a => Show (ORSet a)

Defined in RON.Data.ORSet

Methods

showsPrec :: Int -> ORSet a -> ShowS

show :: ORSet a -> String

showList :: [ORSet a] -> ShowS

Replicated a => ReplicatedAsObject (ORSet a)

Defined in RON.Data.ORSet

Methods

objectOpType :: UUID

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

getObject :: (MonadE m, MonadObjectState (ORSet a) m) => m (ORSet a)

Replicated a => Replicated (ORSet a)

Defined in RON.Data.ORSet

Methods

encoding :: Encoding (ORSet a)

newtype ORSetItem a

Reference to an item inside an ORSet.

Constructors

ORSetItem UUID

Instances

Show (ORSetItem a)

Defined in RON.Data.ORSet

Methods

showsPrec :: Int -> ORSetItem a -> ShowS

show :: ORSetItem a -> String

showList :: [ORSetItem a] -> ShowS

type ORSetMap k v = ORSet (k, v)

data ORSetRep

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

Instances

Eq ORSetRep

Defined in RON.Data.ORSet

Methods

(==) :: ORSetRep -> ORSetRep -> Bool

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

Show ORSetRep

Defined in RON.Data.ORSet

Methods

showsPrec :: Int -> ORSetRep -> ShowS

show :: ORSetRep -> String

showList :: [ORSetRep] -> ShowS

Semigroup ORSetRep

Defined in RON.Data.ORSet

Methods

(<>) :: ORSetRep -> ORSetRep -> ORSetRep

sconcat :: NonEmpty ORSetRep -> ORSetRep

stimes :: Integral b => b -> ORSetRep -> ORSetRep

Monoid ORSetRep

Defined in RON.Data.ORSet

Methods

mempty :: ORSetRep

mappend :: ORSetRep -> ORSetRep -> ORSetRep

mconcat :: [ORSetRep] -> ORSetRep

Reducible ORSetRep

Defined in RON.Data.ORSet

Methods

reducibleOpType :: UUID

stateFromChunk :: [Op] -> ORSetRep

stateToChunk :: ORSetRep -> StateChunk

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

reduceUnappliedPatches :: Unapplied -> Unapplied

addRef :: (ReplicaClock m, MonadE m, MonadObjectState (ORSet a) m) => Object a -> m ()

addValue :: (Replicated a, ReplicaClock m, MonadE m, MonadObjectState (ORSet a) m) => a -> m ()

Encode a value and add a it to the OR-Set

findAnyAlive :: (MonadE m, MonadObjectState (ORSet item) m) => m (Maybe (ORSetItem item))

Find any alive item. If no alive item found, return Nothing.

findAnyAlive' :: (MonadE m, MonadObjectState (ORSet item) m) => m (ORSetItem item)

Find any alive item. If no alive item found, report an error.

removeRef :: (MonadE m, ReplicaClock m, MonadObjectState (ORSet a) m) => Object a -> m ()

Remove an object reference from the OR-Set

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

Remove an atomic value from the OR-Set

zoom :: MonadE m => ORSetItem item -> ObjectStateT item m a -> ObjectStateT (ORSet item) m a

Go from modification of the whole set to the modification of an item object.