Logo Mibo

PollListSourceNode<'T, 'U> Type

A poll node that rebuilds its output from the source and emits the positional diff (the gap-sheet poll-node strategy for rev, sort, pairwise). The source is re-read on every read. Rebuild-on-every-read is deliberate: the build function may read additional adaptive inputs (the subA/takeA/skipA bounds do), so a source-version gate would be unsound — a change to an external input would be missed. Nodes whose output is a pure function of the source only (e.g. the dedicated SubListNode) use the gated pattern instead, holding invariant 5 on clean reads.

Constructors

Constructor Description

PollListSourceNode(source, build)

Full Usage: PollListSourceNode(source, build)

Parameters:
Returns: PollListSourceNode<'T, 'U>
source : IAdaptiveList<'T>
build : IReadOnlyList<'T> -> ResizeArray<'U>
Returns: PollListSourceNode<'T, 'U>

Type something to start searching.