Resolution Lenses¶
A dx.Lens family resolves QVR TypeExpr and SpaceExpr ASTs to
runtime SetObject and ContinuousSpace values, and back again. Each
lens carries its resolution environment, which contains the available
objects and spaces.
Compiler mixin: unified type resolution.
A single _resolve_any_space walks any ObjectExpr to either a
SetObject (discrete) or a ContinuousSpace (continuous). The
_resolve_type and _resolve_space forwarders are
type-narrowing wrappers so callers that already know they want a
discrete object can demand one without re-encoding the constraint
in every call site.
Bases: Model
The calling convention of one surface continuous constructor.
| ATTRIBUTE | DESCRIPTION |
|---|---|
size_fields |
Names of the size arguments, in surface order. Their count is the constructor's positional arity and their names appear verbatim in the arity diagnostic.
TYPE:
|
option_fields |
Names the brace-block keyword arguments may take.
TYPE:
|
fuses_sizes |
Whether extra size arguments fuse into the single size slot
by multiplication (
TYPE:
|