ListDelta<'T> Type
A list delta: ordered operations since the previous delivery. The buffer is transient: valid only during the delivery that received the delta. Order is the semantics: apply the operations sequentially (docs/ALIST-DESIGN.md ยง3.2).
Record fields
| Record Field |
Description
|
|
|
Instance members
| Instance member |
Description
|
Full Usage:
this.Insert
Parameters:
int
value : 'T
|
Appends an insert operation. For AList.custom computes.
|
Full Usage:
this.IsEmpty
Returns: bool
|
Gets whether this delta contains no operations.
|
|
|
Full Usage:
this.Remove
Parameters:
int
|
Appends a remove operation. For AList.custom computes.
|
Full Usage:
this.Update
Parameters:
int
value : 'T
|
Appends an update operation. For AList.custom computes.
|
Mibo