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
|
Full Usage:
ExternalListNode(snapshot)
Parameters:
unit -> IReadOnlyList<'T>
Returns: ExternalListNode<'T>
|
|
Instance members
| Instance member |
Description
|
Full Usage:
this.Invalidate
|
|
Mibo