RON.Data.RGA

Replicated Growable Array (RGA)

Documentation

newtype RGA a

Typed RGA

Constructors

RGA [a]

Instances

Eq a => Eq (RGA a)

Defined in RON.Data.RGA

Methods

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

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

Show a => Show (RGA a)

Defined in RON.Data.RGA

Methods

showsPrec :: Int -> RGA a -> ShowS

show :: RGA a -> String

showList :: [RGA a] -> ShowS

Replicated a => ReplicatedAsObject (RGA a)

Defined in RON.Data.RGA

Associated Types

type Rep (RGA a) :: Type

Methods

newObject :: (ReplicaClock m, MonadState StateFrame m) => RGA a -> m (ObjectRef (RGA a))

readObject :: (MonadE m, MonadObjectState (RGA a) m) => m (RGA a)

Replicated a => Replicated (RGA a)

Defined in RON.Data.RGA

Methods

encoding :: Encoding (RGA a)

type Rep (RGA a)

Defined in RON.Data.RGA

type Rep (RGA a) = RgaRep

data RgaRep

Untyped RGA

Instances

Eq RgaRep

Defined in RON.Data.RGA

Methods

(==) :: RgaRep -> RgaRep -> Bool

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

Show RgaRep

Defined in RON.Data.RGA

Methods

showsPrec :: Int -> RgaRep -> ShowS

show :: RgaRep -> String

showList :: [RgaRep] -> ShowS

Semigroup RgaRep

Defined in RON.Data.RGA

Methods

(<>) :: RgaRep -> RgaRep -> RgaRep

sconcat :: NonEmpty RgaRep -> RgaRep

stimes :: Integral b => b -> RgaRep -> RgaRep

Monoid RgaRep

Defined in RON.Data.RGA

Methods

mempty :: RgaRep

mappend :: RgaRep -> RgaRep -> RgaRep

mconcat :: [RgaRep] -> RgaRep

Semilattice RgaRep

Defined in RON.Data.RGA

Reducible RgaRep

Defined in RON.Data.RGA

Methods

reducibleOpType :: UUID

stateFromChunk :: [Op] -> RgaRep

stateToChunk :: RgaRep -> [Op]

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

reduceUnappliedPatches :: Unapplied -> Unapplied

type RgaString = RGA Char

Speciaization of RGA to Char. This is the recommended way to store a string.

edit :: (ReplicatedAsPayload a, ReplicaClock m, MonadE m, MonadObjectState (RGA a) m) => [a] -> m ()

Replace content of the RGA throug introducing changes detected by getGroupedDiffBy.

editText :: (ReplicaClock m, MonadE m, MonadObjectState RgaString m) => Text -> m ()

Speciaization of edit for Text

getAliveIndices :: (MonadE m, MonadObjectState (RGA a) m) => m [UUID]

getList :: (Replicated a, MonadE m, MonadObjectState (RGA a) m) => m [a]

Read elements from RGA

getText :: (MonadE m, MonadObjectState RgaString m) => m Text

Read characters from RgaString

insert

Arguments

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

=> [a]

-> Maybe UUID

position

-> m ()

Insert a sequence of elements after the specified position. Position is identified by UUID. Nothing means the beginning.

insertAfter

Arguments

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

=> [a]

-> UUID

position

-> m ()

insertAtBegin :: (Replicated a, MonadE m, MonadObjectState (RGA a) m, ReplicaClock m) => [a] -> m ()

insertText

Arguments

:: (ReplicaClock m, MonadE m, MonadObjectState RgaString m)

=> Text

-> Maybe UUID

position

-> m ()

Insert a text after the specified position. Position is identified by UUID. Nothing means the beginning.

insertTextAfter

Arguments

:: (ReplicaClock m, MonadE m, MonadObjectState RgaString m)

=> Text

-> UUID

position

-> m ()

insertTextAtBegin :: (ReplicaClock m, MonadE m, MonadObjectState RgaString m) => Text -> m ()

newFromList :: (Replicated a, MonadState StateFrame m, ReplicaClock m) => [a] -> m (ObjectRef (RGA a))

Create an RGA from a list

newFromText :: (MonadState StateFrame m, ReplicaClock m) => Text -> m (ObjectRef RgaString)

Create an RgaString from a text

remove

Arguments

:: (MonadE m, MonadObjectState (RGA a) m, ReplicaClock m)

=> UUID

position

-> m ()

Record a removal of a specific item

rgaType :: UUID

Name-UUID to use as RGA type marker.

toList :: RGA a -> [a]

toText :: RgaString -> Text