Mibo
AdaptiveSub Type
A subscription spec: a stable identifier plus an attach function. The
adaptive counterpart of Sub: the attach
function receives the SubPosting surface
instead of Dispatch<'Msg>, so subscription events never run
handlers directly — they post work, handled on the owner thread at the
next step's boundary, before Update, in order.
Record fields
| Record Field |
Description
|
|
Attaches the subscription and returns a disposable that detaches it. The
posting argument is the
SubPosting surface: its
SubPosting.Post queues work for the
pre-step drain, and the runner handles it on the owner thread at the
next step's boundary, before
|
Stable key the runtime uses to diff subscriptions across steps.
|