Logo Mibo

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

BindMapNode(value, mapping)

Full Usage: BindMapNode(value, mapping)

Parameters:
Returns: BindMapNode<'K, 'V, 'T>
value : IAdaptiveValue<'T>
mapping : 'T -> IAdaptiveMap<'K, 'V>
Returns: BindMapNode<'K, 'V, 'T>

Type something to start searching.