Skip to main content

Module dispatch

Module dispatch 

Source
Expand description

Shape-based lens dispatch.

Choosing a lens for a value is overload selection, which is exactly what the kernel Shape matcher already does. The dispatcher reuses that matcher and the documented resolution order; it is implemented once here and never reimplemented per domain. Resolution order (WEBUI_4 “Dispatch”):

  1. explicit operator choice;
  2. saved workspace preference;
  3. best Shape match (most specific wins; ties by quality then cost);
  4. class match fallback;
  5. the universal default (always matches, lowest quality).

Every candidate must pass capability filtering; a denied lens is skipped and resolution falls through, ending at the read-only universal default.

Structs§

DispatchContext
The context a dispatch runs in: operator choice, saved preference, active mode, the value’s class, and the capability predicate.
DispatchOutcome
The outcome of a successful dispatch.
LensRegistry
A registry of lenses with a single shared dispatcher.

Enums§

DispatchReason
Why the dispatcher chose a lens.