CRDT.Cv.RGA

Documentation

newtype RGA a

TODO(cblp, 2018-02-06) Vector.Unboxed

Constructors

RGA [(VertexId, a)]

Instances

Eq a => Eq (RGA a)

Defined in CRDT.Cv.RGA

Methods

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

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

Show a => Show (RGA a)

Defined in CRDT.Cv.RGA

Methods

showsPrec :: Int -> RGA a -> ShowS

show :: RGA a -> String

showList :: [RGA a] -> ShowS

(Eq a, AsEmpty a) => Semigroup (RGA a)

Defined in CRDT.Cv.RGA

Methods

(<>) :: RGA a -> RGA a -> RGA a

sconcat :: NonEmpty (RGA a) -> RGA a

stimes :: Integral b => b -> RGA a -> RGA a

(Eq a, AsEmpty a) => Monoid (RGA a)

Defined in CRDT.Cv.RGA

Methods

mempty :: RGA a

mappend :: RGA a -> RGA a -> RGA a

mconcat :: [RGA a] -> RGA a

(Eq a, AsEmpty a) => Semilattice (RGA a)

Defined in CRDT.Cv.RGA

fromList :: Clock m => [a] -> m (RGA a)

toList :: AsEmpty a => RGA a -> [a]

edit :: (Eq a, AsEmpty a, Clock m) => [a] -> RGA a -> m (RGA a)

Replace content with specified, applying changed found by the diff algorithm

type RgaString = RGA Char

fromString :: Clock m => String -> m RgaString

toString :: RgaString -> String

Packed representation

type RgaPacked a = [(VertexId, [a])]

Compact version of RGA. For each VertexId, the corresponding sequence of vetices has the same Pid and sequentially growing LocalTime, starting with the specified one.

pack :: RGA a -> RgaPacked a

unpack :: RgaPacked a -> RGA a