Logo Mibo

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

Ops

Full Usage: Ops

Field type: DeltaBuffer<ListOp<'T>>
Modifiers: mutable
Field type: DeltaBuffer<ListOp<'T>>

Instance members

Instance member Description

this.Insert

Full Usage: this.Insert

Parameters:
    position : int
    value : 'T

Appends an insert operation. For AList.custom computes.

position : int
value : 'T

this.IsEmpty

Full Usage: this.IsEmpty

Returns: bool

Gets whether this delta contains no operations.

Returns: bool

this.Operations

Full Usage: this.Operations

Returns: Memory<ListOp<'T>>

The operations, in application order. Transient: valid during the callback only.

Returns: Memory<ListOp<'T>>

this.Remove

Full Usage: this.Remove

Parameters:
    position : int

Appends a remove operation. For AList.custom computes.

position : int

this.Update

Full Usage: this.Update

Parameters:
    position : int
    value : 'T

Appends an update operation. For AList.custom computes.

position : int
value : 'T

Type something to start searching.