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
|
Full Usage:
SetReduceNode(source, mapping, reduction)
Parameters:
IAdaptiveSet<'a>
mapping : 'a -> 'b
reduction : AdaptiveReduction<'b, 's, 'v>
Returns: SetReduceNode<'a, 'b, 's, 'v>
|
|
Mibo