Logo Mibo

SetDelta<'T> Type

A set delta: elements added and removed since the previous delivery. The buffers are transient: valid only during the delivery that received the delta.

Record fields

Record Field Description

Adds

Full Usage: Adds

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

InDrain

Full Usage: InDrain

Field type: int[]
Modifiers: mutable
Field type: int[]

Rems

Full Usage: Rems

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

Instance members

Instance member Description

this.Add

Full Usage: this.Add

Parameters:
    item : 'T

Appends an add operation. For ASet.custom computes.

item : 'T

this.Added

Full Usage: this.Added

Returns: Memory<'T>

The elements added. Transient: valid during the callback only.

Returns: Memory<'T>

this.IsEmpty

Full Usage: this.IsEmpty

Returns: bool

Gets whether this delta contains no operations.

Returns: bool

this.Remove

Full Usage: this.Remove

Parameters:
    item : 'T

Appends a remove operation. For ASet.custom computes.

item : 'T

this.Removed

Full Usage: this.Removed

Returns: Memory<'T>

The elements removed. Transient: valid during the callback only.

Returns: Memory<'T>

Type something to start searching.