JoinMapNode<'K1, 'V1, 'K2, 'V2, 'U> (Mibo)

JoinMapNode<'K1, 'V1, 'K2, 'V2, 'U> Type

Namespace: Mibo.Adaptive
Assembly: Mibo.Adaptive.dll
Base Type: obj
All Interfaces: IMapSinkRegistry , IAdaptiveMap<'K1, 'U> , IDisposable , IAdaptiveObject , IMapDeltaSink<'K1, 'V1>

Per-key equi-join over two adaptive maps (the node behind AMap.joinOn). Every left entry maps to an output entry keyed by the left key; the join key is computed from the left entry and looked up in the right map. The mapping receives the left key, the left value as an adaptive value, and the right-side value (or ValueNone), and returns the output aval; a ValueNone output drops the entry (choose semantics). The per-key subgraph is built once and updated in place: left updates re-apply the value cell (no rebuild), join-key changes re-run the mapping against the new lookup.

Constructors

Constructor	Description
`JoinMapNode(left, right, keyOfLeft, mapping)` Full Usage: `JoinMapNode(left, right, keyOfLeft, mapping)` Parameters: left : `IAdaptiveMap<'K1, 'V1>` right : `IAdaptiveMap<'K2, 'V2>` keyOfLeft : `'K1 -> 'V1 -> 'K2` mapping : `'K1 -> aval<'V1> -> aval<'V2 voption> -> aval<'U voption>` Returns: `JoinMapNode<'K1, 'V1, 'K2, 'V2, 'U>`	left : `IAdaptiveMap<'K1, 'V1>` right : `IAdaptiveMap<'K2, 'V2>` keyOfLeft : `'K1 -> 'V1 -> 'K2` mapping : `'K1 -> aval<'V1> -> aval<'V2 voption> -> aval<'U voption>` Returns: `JoinMapNode<'K1, 'V1, 'K2, 'V2, 'U>`