Safe Haskell | None |
---|---|
Language | Haskell2010 |
Replicated Growable Array (RGA)
Synopsis
- newtype RGA a = RGA [a]
- data RgaRaw
- type RgaString = RGA Char
- edit :: (Replicated a, ReplicatedAsPayload a, ReplicaClock m, MonadError String m, MonadState (Object (RGA a)) m) => [a] -> m ()
- editText :: (ReplicaClock m, MonadError String m, MonadState (Object RgaString) m) => Text -> m ()
- getList :: Replicated a => Object (RGA a) -> Either String [a]
- getText :: Object RgaString -> Either String Text
- newFromList :: (Replicated a, ReplicaClock m) => [a] -> m (Object (RGA a))
- newFromText :: ReplicaClock m => Text -> m (Object RgaString)
- rgaType :: UUID
Documentation
Typed RGA
RGA [a] |
Instances
Eq a => Eq (RGA a) Source # | |
Replicated a => ReplicatedAsObject (RGA a) Source # | |
Replicated a => Replicated (RGA a) Source # | |
Defined in RON.Data.RGA |
Untyped RGA
Instances
Eq RgaRaw Source # | |
Show RgaRaw Source # | |
Semigroup RgaRaw Source # | |
Monoid RgaRaw Source # | |
Reducible RgaRaw Source # | |
Defined in RON.Data.RGA reducibleOpType :: UUID Source # stateFromChunk :: [Op] -> RgaRaw Source # stateToChunk :: RgaRaw -> StateChunk Source # applyPatches :: RgaRaw -> Unapplied -> (RgaRaw, Unapplied) Source # reduceUnappliedPatches :: Unapplied -> Unapplied Source # |
edit :: (Replicated a, ReplicatedAsPayload a, ReplicaClock m, MonadError String m, MonadState (Object (RGA a)) m) => [a] -> m () Source #
Replace content of the RGA throug introducing changes detected by
getGroupedDiffBy
.
editText :: (ReplicaClock m, MonadError String m, MonadState (Object RgaString) m) => Text -> m () Source #
Speciaization of edit
for ErrorMessage
newFromList :: (Replicated a, ReplicaClock m) => [a] -> m (Object (RGA a)) Source #
Create an RGA from a list
newFromText :: ReplicaClock m => Text -> m (Object RgaString) Source #
Create an RgaString
from a text