CRDTree.Operation

Represents an CRDTree operation

= Add Int (List Int) a

| Delete (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

Operation to List of Operations

List of Operations to Batch

Merge two operations