Logo Mibo

ExternalListNode<'T> Type

An adaptive list whose content is supplied by an external snapshot function, re-read only when invalidated via the handle returned by AList.ofExternal (FDA AList.ofExternal parity, MAPA-DESIGN §1.1). The re-read is diffed against the previous snapshot positionally (prefix/suffix, the ChangeableList.ApplyDiff algorithm); the diff is delivered as a ListDelta<'T> through the normal delta machinery.

Constructors

Constructor Description

ExternalListNode(snapshot)

Full Usage: ExternalListNode(snapshot)

Parameters:
Returns: ExternalListNode<'T>
snapshot : unit -> IReadOnlyList<'T>
Returns: ExternalListNode<'T>

Instance members

Instance member Description

this.Invalidate

Full Usage: this.Invalidate

Type something to start searching.