Interface JsonCodecPatch

Represents a JSON CRDT Patch object.

interface JsonCodecPatch {
    id: [sessionId: number, time: number];
    meta?: unknown;
    ops: JsonCodecOperation[];
}

Properties

id meta? ops

Properties

id

id: [sessionId: number, time: number]

ID of the first operation in the patch. IDs of subsequent operations are derived from this ID.

Optional meta

meta?: unknown

Custom metadata.

ops

ops: JsonCodecOperation[]

List of operations comprising this patch. Patches are atomic, so all operations are applied at once. "time" part of the IDs of all operations is incremented by size of each operation in the patch.

Settings

Member Visibility

Theme

On This Page

idmetaops