CRDT.Cv.RGA

Documentation

newtype RGA a

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

Constructors

RGA [(VertexId, Maybe a)]

Instances

Eq a => Eq (RGA a)

Methods

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

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

Show a => Show (RGA a)

Methods

showsPrec :: Int -> RGA a -> ShowS

show :: RGA a -> String

showList :: [RGA a] -> ShowS

Eq a => Semigroup (RGA a)

Methods

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

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

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

Eq a => Monoid (RGA a)

Methods

mempty :: RGA a

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

mconcat :: [RGA a] -> RGA a

Eq a => Semilattice (RGA a)

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

toList :: RGA a -> [a]

edit :: (Eq 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, [Maybe 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