ElementListNode<'T, 'U> (Mibo)

ElementListNode<'T, 'U> Type

Namespace: Mibo.Adaptive
Assembly: Mibo.Adaptive.dll
Base Type: obj
All Interfaces: IListSinkRegistry , IAdaptiveList<'U> , IDisposable , IAdaptiveObject , IListDeltaSink<'T>

Maps every element of a list to an adaptive value (or chooses/filters, when the aval's value is ValueNone to drop the element).

The mapping receives the input position (FDA parity: the i variants; the plain variants ignore it). An update on a non-surviving element that now passes the mapping inserts it into the output; an update on a surviving element that now fails removes it (FDA choose semantics, docs/ALIST-DESIGN.md §3.4).

Constructors

Constructor	Description
`ElementListNode(source, mapping)` Full Usage: `ElementListNode(source, mapping)` Parameters: source : `IAdaptiveList<'T>` mapping : `int -> 'T -> aval<'U voption>` Returns: `ElementListNode<'T, 'U>`	source : `IAdaptiveList<'T>` mapping : `int -> 'T -> aval<'U voption>` Returns: `ElementListNode<'T, 'U>`