BindMapNode<'K, 'V, 'T> Type
An adaptive map bound to a scalar value (AMap.bind, PLAN.md Section
7.4): mapping value selects the inner map; when the value changes, the
whole inner map is swapped (old content removed, new content added) and the
old inner sink is unregistered eagerly (FDA BindReader semantics;
ANALYSIS-FDA.md Pitfall 1). The inner map's own changes flow through a
journal. Registration is lazy (first read); disposal unregisters everything.
Constructors
| Constructor |
Description
|
Full Usage:
BindMapNode(value, mapping)
Parameters:
IAdaptiveValue<'T>
mapping : 'T -> IAdaptiveMap<'K, 'V>
Returns: BindMapNode<'K, 'V, 'T>
|
|
Mibo