ExternalSetNode<'T> (Mibo)

ExternalSetNode<'T> Type

Namespace: Mibo.Adaptive
Assembly: Mibo.Adaptive.dll
Base Type: obj
All Interfaces: ISetSinkRegistry , IAdaptiveSet<'T> , IDisposable , IAdaptiveObject , IPostSource

An adaptive set whose content is supplied by an external snapshot function, re-read only when invalidated via the handle returned by ASet.ofExternal (FDA ASet.ofExternal parity, MAPA-DESIGN §1.1). The snapshot is materialized into a reused scratch set (the diff helpers require the concrete HashSet<'T> so their struct enumerators stay allocation-free); the scratch is refilled only on invalidated polls.

Constructors

Constructor	Description
`ExternalSetNode(snapshot)` Full Usage: `ExternalSetNode(snapshot)` Parameters: snapshot : `unit -> IReadOnlySet<'T>` Returns: `ExternalSetNode<'T>`	snapshot : `unit -> IReadOnlySet<'T>` Returns: `ExternalSetNode<'T>`

Instance members

Instance member	Description
`this.Invalidate` Full Usage: `this.Invalidate`