Preparing search index...
The search index is not available
json-joy
json-joy
json-crdt-patch/codec/compact
CompactCodecInsStrOperation
Type alias CompactCodecInsStrOperation
Compact
Codec
Ins
Str
Operation
:
[
op
:
JsonCrdtPatchOpcode.ins_str
,
obj
:
CompactCodecTimestamp
,
after
:
CompactCodecTimestamp
,
value
:
string
]
Operation which inserts a substring into a "str" RGA-string data type.
Settings
Member Visibility
Protected
Private
Inherited
External
Theme
OS
Light
Dark
json-joy
Loading...
Operation which inserts a substring into a "str" RGA-string data type.