Logo Mibo

CollectSetNode<'T, 'U> Type

An adaptive set that unions one inner adaptive set per source element (ASet.collect, PLAN.md Section 7.4). The output is the refcounted union of all contributions (the CountingHashSet role): an output element disappears only when the last contributing inner set drops it. A removed source element unregisters its inner sink eagerly (ANALYSIS-FDA.md Pitfall 1). Registration is lazy (first read); disposal unregisters everything.

Constructors

Constructor Description

CollectSetNode(source, mapping)

Full Usage: CollectSetNode(source, mapping)

Parameters:
Returns: CollectSetNode<'T, 'U>
source : IAdaptiveSet<'T>
mapping : 'T -> IAdaptiveSet<'U>
Returns: CollectSetNode<'T, 'U>

Type something to start searching.