CRDTree.Operation

Represents an CRDTree operation

= Add ReplicaId Int (List Int) a

| Delete ReplicaId (List Int)

| Batch (List (Operation a))

Represents an CRDTree operation

Properties

Timestamp of the operation

path : Operation a -> Maybe (List Int)

Operation path

Id of the replica originating the operation

since : Int -> List (Operation a) -> List (Operation a)

Return operations since a timestamp

List of operations

Merge two operations