Logo Mibo

SetReduceNode<'a, 'b, 's, 'v> Type

A delta-driven reduction over a set. Registers as a delta sink on the source; the journal is applied to the reduction state on read (drain), with a full recompute fallback when sub cannot invert a removal. Implements the scalar protocol: version and dependency snapshot.

Constructors

Constructor Description

SetReduceNode(source, mapping, reduction)

Full Usage: SetReduceNode(source, mapping, reduction)

Parameters:
Returns: SetReduceNode<'a, 'b, 's, 'v>
source : IAdaptiveSet<'a>
mapping : 'a -> 'b
reduction : AdaptiveReduction<'b, 's, 'v>
Returns: SetReduceNode<'a, 'b, 's, 'v>

Type something to start searching.