Logo Mibo

AdaptiveInit<'Frame> Type

The result of building an adaptive program's graph.

Record fields

Record Field Description

Disposables

Full Usage: Disposables

Field type: IDisposable list

Disposables released when the runner is disposed.

Field type: IDisposable list

FrameBuilder

Full Usage: FrameBuilder

Field type: unit -> 'Frame

The frame builder: forces the frame's output projections (recomputing each exactly once if a dependency moved, and not at all otherwise) and packs them into 'Frame.

Field type: unit -> 'Frame

Subscriptions

Full Usage: Subscriptions

Field type: AdaptiveFrameContext -> amap<SubId, AdaptiveSub>

The subscription projection, built in Init alongside the frame builder — both capture the world from the same place. The runner calls it once per step and compares the returned map against its attached table to start, keep, and stop subscriptions. See AdaptiveInit.withSubscriptions for the stable-map requirement.

Field type: AdaptiveFrameContext -> amap<SubId, AdaptiveSub>

Type something to start searching.