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

Replicated a => ReplicatedAsObject (RGA a)

Defined in RON.Data.RGA

Methods

objectOpType :: UUID

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

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

Replicated a => Replicated (RGA a)

Defined in RON.Data.RGA

Methods

encoding :: Encoding (RGA a)

data RgaRaw

Untyped RGA

Instances

Eq RgaRaw

Defined in RON.Data.RGA

Methods

(==) :: RgaRaw -> RgaRaw -> Bool

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

Show RgaRaw

Defined in RON.Data.RGA

Methods

showsPrec :: Int -> RgaRaw -> ShowS

show :: RgaRaw -> String

showList :: [RgaRaw] -> ShowS

Semigroup RgaRaw

Defined in RON.Data.RGA

Methods

(<>) :: RgaRaw -> RgaRaw -> RgaRaw

sconcat :: NonEmpty RgaRaw -> RgaRaw

stimes :: Integral b => b -> RgaRaw -> RgaRaw

Monoid RgaRaw

Defined in RON.Data.RGA

Methods

mempty :: RgaRaw

mappend :: RgaRaw -> RgaRaw -> RgaRaw

mconcat :: [RgaRaw] -> RgaRaw

Reducible RgaRaw

Defined in RON.Data.RGA

Methods

reducibleOpType :: UUID

stateFromChunk :: [Op] -> RgaRaw

stateToChunk :: RgaRaw -> StateChunk

applyPatches :: RgaRaw -> Unapplied -> (RgaRaw, 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, MonadState (Object (RGA a)) m) => [a] -> m ()

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

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

Speciaization of edit for Text

getAliveIndices :: MonadE m => Object (RGA a) -> m [UUID]

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

Read elements from RGA

getText :: MonadE m => Object RgaString -> m Text

Read characters from RgaString

insert

Arguments

:: (Replicated a, MonadE m, MonadState (Object (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, MonadState (Object (RGA a)) m, ReplicaClock m)

=> [a]

-> UUID

position

-> m ()

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

insertText

Arguments

:: (ReplicaClock m, MonadE m, MonadState (Object 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, MonadState (Object RgaString) m)

=> Text

-> UUID

position

-> m ()

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

newFromList :: (Replicated a, ReplicaClock m) => [a] -> m (Object (RGA a))

Create an RGA from a list

newFromText :: ReplicaClock m => Text -> m (Object RgaString)

Create an RgaString from a text

remove

Arguments

:: (MonadE m, MonadState (Object (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.