CRDT.Cm.RGA

Replicated Growable Array (RGA)

Documentation

data RGA a

Constructors

OpAddAfter (Maybe VertexId) a VertexId

• id of previous vertex, Nothing means the beginning
• atom
• id of this vertex

OpRemove VertexId

Instances

Eq a => Eq (RGA a)

Defined in CRDT.Cm.RGA

Methods

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

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

Show a => Show (RGA a)

Defined in CRDT.Cm.RGA

Methods

showsPrec :: Int -> RGA a -> ShowS

show :: RGA a -> String

showList :: [RGA a] -> ShowS

(AsEmpty a, Ord a) => CmRDT (RGA a)

Defined in CRDT.Cm.RGA

Associated Types

type Intent (RGA a) :: *

type Payload (RGA a) :: *

Methods

initial :: Payload (RGA a)

makeOp :: Clock m => Intent (RGA a) -> Payload (RGA a) -> Maybe (m (RGA a))

apply :: RGA a -> Payload (RGA a) -> Payload (RGA a)

CausalOrd (RGA a)

Defined in CRDT.Cm.RGA

Methods

precedes :: RGA a -> RGA a -> Bool

type Intent (RGA a)

Defined in CRDT.Cm.RGA

type Intent (RGA a) = RgaIntent a

type Payload (RGA a)

Defined in CRDT.Cm.RGA

type Payload (RGA a) = RgaPayload a

data RgaIntent a

Constructors

AddAfter (Maybe VertexId) a

Nothing means the beginning

Remove VertexId

Instances

Show a => Show (RgaIntent a)

Defined in CRDT.Cm.RGA

Methods

showsPrec :: Int -> RgaIntent a -> ShowS

show :: RgaIntent a -> String

showList :: [RgaIntent a] -> ShowS

data RgaPayload a

Constructors

RgaPayload

Fields

• vertices :: Vector (VertexId, a)
• vertexIxs :: Map VertexId Int

  indices in vertices vector

Instances

Eq a => Eq (RgaPayload a)

Defined in CRDT.Cm.RGA

Methods

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

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

Show a => Show (RgaPayload a)

Defined in CRDT.Cm.RGA

Methods

showsPrec :: Int -> RgaPayload a -> ShowS

show :: RgaPayload a -> String

showList :: [RgaPayload a] -> ShowS

fromString :: (Clock m, MonadFail m, MonadState (RgaPayload Char) m) => String -> m [RGA Char]

load :: Vector (VertexId, a) -> RgaPayload a

toString :: RgaPayload Char -> String

toVector :: RgaPayload a -> Vector a