json-joy
    Preparing search index...

    Interface JsonCodecUpdArrOperation

    Operation which updates an existing "arr" RGA array element in-place.

    interface JsonCodecUpdArrOperation {
        obj: JsonCodecTimestamp;
        op: "upd_arr";
        ref: JsonCodecTimestamp;
        value: JsonCodecTimestamp;
    }

    Hierarchy (View Summary)

    Index

    Properties

    Properties

    Object on which to perform the operation.

    For "val" CRDT object, if omitted, or set to falsy value, or equal to origin [0, 0], the "set" operation is applied to the root object, which is LWW Register of a pointer to another CRDT data type.

    op: "upd_arr"

    Mnemonic.

    Specifies the ID of element to update.

    The new value to set for the element.