@telorun/editor-protocol 0.2.0 → 0.3.0

package/README.md

@@ -170,7 +170,7 @@ for that owner, like the owner's documents.
 
 | Method | Params | Result |
 | --- | --- | --- |
-| `telo/viewModel` | `{ owner }` | the owner's [view model](#the-view-model), or `null` when the engine is not analysing `owner`. |
+| `telo/viewModel` | `{ owner, configuration? }` | the owner's [view model](#the-view-model), or `null` when the engine is not analysing `owner`. |
 | `telo/celCompletion` | `{ owner, resource: { kind, name }, path, tag, text, offset }` | LSP `CompletionItem[]` for a CEL value typed into a structured form field, which is not document text yet; `[]` when the engine is not analysing `owner`. |
 
 `telo/celCompletion` answers what completion inside that value would offer were
@@ -188,7 +188,18 @@ engine's diagnostics come from, at the module's own telo version, and is plain
 JSON. JSON Schemas in it are plain JSON objects.
 
 - `owner`, `revision` — as in `telo/viewModelChanged`.
-- `moduleGraph` — the owner module drawn as a graph (below), or `null`.
+- `moduleGraph` — the owner module drawn as a graph (below), or `null`. When
+  the module writes `!if` / `!switch` choices it is drawn in one configuration:
+  the request's `configuration` (an assignment `{ "<dimension path>": value }`;
+  a dimension it leaves out, or gives a value outside the dimension's domain,
+  takes its default), else every dimension's default.
+- `configurations?` — present when the module writes a choice:
+  `dimensions` (`{ key, values, default }` per dimension a choice reads — a
+  variable or secret declared `enum` / `const` / boolean, a member a value
+  type's argument binds, a `default: null` input's presence, a need's presence,
+  and for a library its `resources.<input>` presence; `default` is the declared
+  `default:`, a presence dimension's `absent`, else the first value) and
+  `selected`, the complete assignment `moduleGraph` is drawn in.
 - `moduleRootSchema` — the schema of the owner's module document kind
   (`Telo.Application` / `Telo.Library`), or `null`.
 - `kindSpellings` — every `kind:` spelling in the owner's import closure
@@ -243,17 +254,30 @@ A **module graph** is `{ root?, nodes, edges, regions, kinds }`:
   `imported`, `injected`, `enclosing`, `forwarded`), `owner?` / `ownerSite?`
   (the node and site declaring an owned declaration), `module?`, `external?`,
   `alias?`, `ports`, `rows`, `rowArrays` (`{ field, kind }` per array the kind
-  can hold rows in), `throws?` (`{ codes, unbounded }`) and `root?`;
+  can hold rows in), `throws?` (`{ codes, unbounded }`), `root?`, `choice?`,
+  `choices?` and `family?`. A declaration-position `!if` / `!switch` is ONE node
+  identified by its name: `choice` is `{ path: "", tag, alternatives, selected }`
+  (an alternative is `{ key, kind? }` — `then`, `else`, `default` or a case key,
+  `absent` for an `!if` with no `else:`; `selected` the key the drawn
+  configuration takes), and only the node's `kind` follows the configuration,
+  never its `id`. `choices` lists the choices written in the node's fields (the
+  same shape, `path` the written field path). `family` (`{ source, as }`) marks
+  a `!for-each` at a declaration position of a template body: one node under
+  the family's name, with no node per element;
 - a **port** is a reference slot the kind declares, filled or not: `slot` (its
   field-map path), `refs` (accepted constraints, canonical), `capabilities`,
   `array`, `class`, `slots` (`{ path, target?, targetNode?, inline? }` per
   occupancy), `addPath?` and `rowOwned?`;
 - a **row** is an ordered entry of a node: `id`, `kind` (`step`, `entry`,
-  `target`, `inline`, `reference`, `export`), `name?`, `path`, `array`,
+  `target`, `repeat`, `inline`, `reference`, `export`), `name?`, `path`, `array`,
   `index`, `depth`, `parent?`, `target?`, `targetNode?`, `inputs?`, `match?`,
   `variant?`, `variantLabel?`, `predicate?`, `catches?`, `dispatch?`
   (`{ path, refs, inline?, alternatives? }`, where the call is written and
-  what may fill it), `declares?` and `unknownKind?`;
+  what may fill it), `declares?`, `unknownKind?`, `repeat?` and `emitted?`. A
+  `repeat` row is a `!for-each` in a list (`{ source, as }`), identified by its
+  source and its ordinal among the list's repeats of that source; `emitted` is
+  the identity text of a step a repeat emitted, which carries it in place of a
+  `name`;
 - an **edge** is a reference site, classed: `id`, `from`, `to?`, `toName`,
   `class` (`flow`, `holds`, `shape`, `data`), `use` (the slot's declared uses:
   `schema`, `dependency`, `call`, `detached`, `trigger.inbound`,
@@ -273,7 +297,8 @@ Every diagnostic the engine publishes may carry:
 ```ts
 { fix?: { replacement: string; tag?: "ref" | "cel" | "module-path" },
   resource?: { kind: string; name: string },
-  path?: string }
+  path?: string,
+  configurations?: Array<Record<string, unknown>> }
 ```
 
 `fix` is a mechanically applicable repair — the whole corrected value at the
@@ -282,7 +307,18 @@ returns the diagnostic unchanged in a `textDocument/codeAction` request's
 context, and the engine answers with the quick fix that applies it. `resource`
 and `path` locate the offending value inside a manifest (a host may use them to
 place a diagnostic on a form field). `Diagnostic.tags` carries LSP's
-`Deprecated` / `Unnecessary`.
+`Deprecated` / `Unnecessary`. `configurations` is present only on a diagnostic
+that holds in some configurations of the application and not all (a diagnostic
+in every configuration carries none): a list of **partial assignments**, each
+`{ "<dimension path>": <JSON value> }` — an enum, const or boolean as itself,
+a presence dimension as `"present"` / `"absent"`, an absent dimension input as
+`null`. An entry names only the dimensions it narrows, each to one value; a
+dimension it leaves out holds every value, so the diagnostic holds in a
+configuration when **some entry agrees with it on every key the entry names**
+(an entry naming none holds everywhere). A block spanning several values of a
+dimension is one entry per value. The list is empty when the diagnostic holds
+in no configuration (a branch nothing takes). The configuration label lives in
+`message` only.
 
 ## Commands
 
@@ -296,7 +332,11 @@ The engine's code lenses over an `imports:` block name the first two.
 
 ## Generations
 
-`TELO_EDITOR_PROTOCOL` is the generation this package describes (`1`).
+`TELO_EDITOR_PROTOCOL` is the generation this package describes (`2`).
+Generation 2 made `Diagnostic.data.configurations` a list of partial
+assignments; generation 1 listed complete ones, so a host reading entries as
+complete would misread every diagnostic. A complete assignment reads correctly
+as a partial one, so a host of generation 2 also speaks generation 1.
 **Additions within a generation are negotiated by capability**: a new request, a
 new optional field or a new command is advertised by the side that has it and
 used only when advertised, so an older host and a newer engine (or the reverse)

package/dist/index.d.ts

@@ -1,6 +1,6 @@
 /** The protocol generation this package describes. Additions within a
  *  generation are negotiated by capability; an incompatible change bumps it. */
-export declare const TELO_EDITOR_PROTOCOL = 1;
+export declare const TELO_EDITOR_PROTOCOL = 2;
 /** What an engine advertises under `ServerCapabilities.experimental`. */
 export interface TeloExperimentalCapabilities {
     telo: TeloProtocolCapability;
@@ -141,6 +141,9 @@ export interface ViewModelChangedParams {
 /** `telo/viewModel`: the structured-view model of one owner module. */
 export interface ViewModelParams {
     owner: string;
+    /** The assignment to draw the module graph in, keyed by dimension; a
+     *  dimension left out takes its default. */
+    configuration?: Record<string, unknown>;
 }
 /** `null` when the engine is not analysing `owner`. */
 export type ViewModelResult = ViewModel | null;
@@ -214,6 +217,9 @@ export interface ViewModel {
     revision: number;
     /** The owner module drawn as a graph. */
     moduleGraph: ModuleGraphData | null;
+    /** The configurations `moduleGraph` can be drawn in. Absent when the module
+     *  writes no `!if` / `!switch` choice. */
+    configurations?: ViewModelConfigurations;
     /** The schema of the owner's module document kind. */
     moduleRootSchema: JsonSchema | null;
     /** Each `kind:` spelling in the closure, and each constraint in
@@ -240,6 +246,40 @@ export interface ViewModel {
      *  not computed from. */
     documents: Record<string, number>;
 }
+/** One axis of the configuration picker: the path it is read at, its domain
+ *  and the value a picker starts at (a presence dimension: `absent`). */
+export interface GraphDimension {
+    key: string;
+    values: unknown[];
+    default: unknown;
+}
+export interface ViewModelConfigurations {
+    dimensions: GraphDimension[];
+    /** The assignment `moduleGraph` is drawn in, every dimension present. */
+    selected: Record<string, unknown>;
+}
+/** One alternative of a choice: `then`, `else`, `default`, a case key, or
+ *  `absent` (an `!if` with no `else:` whose condition is false). At a
+ *  declaration position it carries the kind the branch declares. */
+export interface GraphAlternative {
+    key: string;
+    kind?: string;
+}
+/** A `!if` / `!switch` drawn at a box. At a declaration position (`path` is
+ *  `""`) the box is the choice, identified by its name — only its kind follows
+ *  the selected configuration. */
+export interface GraphChoice {
+    path: string;
+    tag: "if" | "switch";
+    alternatives: GraphAlternative[];
+    selected: string | null;
+}
+/** A `!for-each` drawn as one box (a family) or one row (a repeat in a list),
+ *  never one per element. */
+export interface GraphRepeat {
+    source: string;
+    as: string;
+}
 export interface RefConstraint {
     accepted: string[];
     userFacing: string[];
@@ -297,7 +337,7 @@ export interface ModuleGraphData {
 export type NodeOwnership = string;
 /** `flow` | `holds` | `shape` | `data`. */
 export type EdgeClass = string;
-/** `step` | `entry` | `target` | `inline` | `reference` | `export`. */
+/** `step` | `entry` | `target` | `repeat` | `inline` | `reference` | `export`. */
 export type RowKind = string;
 export interface GraphNodeData {
     id: string;
@@ -323,6 +363,9 @@ export interface GraphNodeData {
         unbounded: boolean;
     };
     root?: boolean;
+    choice?: GraphChoice;
+    choices?: GraphChoice[];
+    family?: GraphRepeat;
 }
 export interface GraphPortData {
     slot: string;
@@ -367,6 +410,10 @@ export interface GraphRowData {
     };
     declares?: string;
     unknownKind?: boolean;
+    /** `repeat` rows: the loop the list item is. */
+    repeat?: GraphRepeat;
+    /** A step a template repeat emitted: its identity text, in place of `name`. */
+    emitted?: string;
 }
 export interface GraphEdgeData {
     id: string;
@@ -433,6 +480,13 @@ export interface TeloDiagnosticData {
     };
     /** Dotted path of the offending value within that resource. */
     path?: string;
+    /** Present only on a diagnostic that holds in some configurations of the
+     *  application but not all: partial assignments covering where it holds, each
+     *  `{ "<dimension path>": <JSON value> }` naming only the dimensions it
+     *  narrows (one it leaves out holds every value; the diagnostic holds where
+     *  some entry agrees on every key it names). Empty when it holds in none. The
+     *  label is in `message` only. */
+    configurations?: Array<Record<string, unknown>>;
 }
 /** `workspace/executeCommand` commands an engine serves. The two upgrade
  *  commands take `[{ uri, aliases }]` and apply through `workspace/applyEdit`;

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAKA;gFACgF;AAChF,eAAO,MAAM,oBAAoB,IAAI,CAAC;AAEtC,yEAAyE;AACzE,MAAM,WAAW,4BAA4B;IAC3C,IAAI,EAAE,sBAAsB,CAAC;CAC9B;AAED,MAAM,WAAW,sBAAsB;IACrC,wCAAwC;IACxC,QAAQ,EAAE,MAAM,CAAC;IACjB;mCAC+B;IAC/B,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB;AAED;gCACgC;AAChC,eAAO,MAAM,oBAAoB,cAAc,CAAC;AAEhD;;;eAGe;AACf,eAAO,MAAM,gBAAgB,SAAS,CAAC;AAEvC;;qCAEqC;AACrC,eAAO,MAAM,UAAU;;;;;;;;;;CAUb,CAAC;AACX,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,OAAO,UAAU,CAAC,CAAC;AAItE;;0CAE0C;AAC1C,MAAM,WAAW,UAAU;IACzB,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;;0CAG0C;AAC1C,MAAM,MAAM,UAAU,GAAG;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAAC;AAE9D;sDACsD;AACtD,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;CAClB;AACD,MAAM,MAAM,YAAY,GAAG,OAAO,CAAC;AAEnC,mEAAmE;AACnE,MAAM,WAAW,mBAAmB;IAClC,GAAG,EAAE,MAAM,CAAC;CACb;AACD;;kBAEkB;AAClB,MAAM,MAAM,kBAAkB,GAAG,MAAM,GAAG,WAAW,GAAG,SAAS,GAAG,OAAO,CAAC;AAC5E,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,kBAAkB,CAAC;CAC1B;AACD,uDAAuD;AACvD,MAAM,MAAM,mBAAmB,GAAG,cAAc,EAAE,GAAG,IAAI,CAAC;AAE1D;uDACuD;AACvD,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,MAAM,CAAC;CACf;AACD,MAAM,WAAW,MAAM;IACrB,GAAG,EAAE,MAAM,CAAC;IACZ,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AACD,MAAM,MAAM,gBAAgB,GAAG,MAAM,EAAE,CAAC;AAExC;;sEAEsE;AACtE,MAAM,WAAW,kBAAkB;IACjC,GAAG,EAAE,MAAM,CAAC;CACb;AACD,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,0CAA0C;IAC1C,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AACD,MAAM,MAAM,kBAAkB,GAAG,aAAa,EAAE,CAAC;AAEjD,iEAAiE;AACjE,MAAM,WAAW,gBAAgB;IAC/B,WAAW,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IACtC,aAAa,EAAE,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;IAC5C,oBAAoB,EAAE,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,CAAC;IACjE,qBAAqB,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,CAAC;IAC5D,uBAAuB,EAAE,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,CAAC;CACnE;AAID,sCAAsC;AACtC,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,8EAA8E;AAC9E,MAAM,WAAW,eAAe;IAC9B,GAAG,CAAC,EAAE,YAAY,CAAC;IACnB,GAAG,CAAC,EAAE,YAAY,CAAC;CACpB;AAED,MAAM,WAAW,iBAAiB;IAChC,sDAAsD;IACtD,MAAM,EAAE,MAAM,CAAC;IACf,4BAA4B;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,eAAe,CAAC;CAC3B;AAED,wEAAwE;AACxE,MAAM,WAAW,kBAAkB;IACjC,sEAAsE;IACtE,KAAK,EAAE,MAAM,CAAC;IACd;oFACgF;IAChF,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB;+EAC2E;IAC3E,MAAM,EAAE,iBAAiB,EAAE,CAAC;CAC7B;AAED;;oDAEoD;AACpD,MAAM,WAAW,sBAAsB;IACrC,4DAA4D;IAC5D,KAAK,EAAE,MAAM,CAAC;IACd,0EAA0E;IAC1E,QAAQ,EAAE,MAAM,CAAC;CAClB;AAID,uEAAuE;AACvE,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,MAAM,CAAC;CACf;AACD,uDAAuD;AACvD,MAAM,MAAM,eAAe,GAAG,SAAS,GAAG,IAAI,CAAC;AAE/C;kDACkD;AAClD,MAAM,WAAW,mBAAmB;IAClC,KAAK,EAAE,MAAM,CAAC;IACd,yCAAyC;IACzC,QAAQ,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACzC,qFAAqF;IACrF,IAAI,EAAE,MAAM,CAAC;IACb,kFAAkF;IAClF,GAAG,EAAE,MAAM,CAAC;IACZ,yCAAyC;IACzC,IAAI,EAAE,MAAM,CAAC;IACb,iCAAiC;IACjC,MAAM,EAAE,MAAM,CAAC;CAChB;AACD;8DAC8D;AAC9D,MAAM,MAAM,mBAAmB,GAAG,cAAc,EAAE,CAAC;AAEnD,6DAA6D;AAC7D,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,gCAAgC;IAChC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,8CAA8C;IAC9C,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,EAAE;QAAE,KAAK,EAAE,SAAS,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IACjD,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;CAC9C;AAED,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3C,GAAG,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC;CAC1C;AAED,mEAAmE;AACnE,MAAM,WAAW,kBAAkB;IACjC,gBAAgB,EAAE,CAAC,eAAe,EAAE,eAAe,CAAC,CAAC;IACrD,oBAAoB,EAAE,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,CAAC;CAClE;AAID,oCAAoC;AACpC,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAEjD;;;;GAIG;AACH,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,yCAAyC;IACzC,WAAW,EAAE,eAAe,GAAG,IAAI,CAAC;IACpC,sDAAsD;IACtD,gBAAgB,EAAE,UAAU,GAAG,IAAI,CAAC;IACpC;;8CAE0C;IAC1C,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC;;gCAE4B;IAC5B,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC9C,2EAA2E;IAC3E,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACxC;;iBAEa;IACb,cAAc,EAAE,cAAc,EAAE,CAAC;IACjC,0EAA0E;IAC1E,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAC7C;oBACgB;IAChB,cAAc,EAAE,aAAa,EAAE,CAAC;IAChC;;6BAEyB;IACzB,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACnC;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,MAAM,WAAW,YAAY;IAC3B,SAAS,CAAC,EAAE,UAAU,CAAC;IACvB,UAAU,CAAC,EAAE,UAAU,CAAC;CACzB;AAED,MAAM,WAAW,cAAc;IAC7B,6CAA6C;IAC7C,IAAI,EAAE,MAAM,CAAC;IACb,gFAAgF;IAChF,OAAO,EAAE,MAAM,CAAC;IAChB;;kCAE8B;IAC9B,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;CACpC;AAED,MAAM,WAAW,iBAAiB;IAChC,mCAAmC;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,wDAAwD;IACxD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,gFAAgF;IAChF,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACpC,KAAK,EAAE,eAAe,CAAC;IACvB;oEACgE;IAChE,cAAc,EAAE,cAAc,EAAE,CAAC;CAClC;AAED,MAAM,WAAW,aAAa;IAC5B,yEAAyE;IACzE,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACvC,sDAAsD;IACtD,IAAI,EAAE,MAAM,CAAC;IACb,gFAAgF;IAChF,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;4BAC4B;AAC5B,MAAM,WAAW,eAAe;IAC9B,IAAI,CAAC,EAAE,aAAa,CAAC;IACrB,KAAK,EAAE,aAAa,EAAE,CAAC;IACvB,KAAK,EAAE,aAAa,EAAE,CAAC;IACvB,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,KAAK,EAAE,aAAa,EAAE,CAAC;CACxB;AAED;iCACiC;AACjC,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC;AACnC,2CAA2C;AAC3C,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC;AAC/B,uEAAuE;AACvE,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC;AAE7B,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,SAAS,EAAE,aAAa,CAAC;IACzB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,aAAa,EAAE,CAAC;IACvB,IAAI,EAAE,YAAY,EAAE,CAAC;IACrB,SAAS,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC;IAC9C,MAAM,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAAC,SAAS,EAAE,OAAO,CAAA;KAAE,CAAC;IACjD,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,KAAK,EAAE,OAAO,CAAC;IACf,KAAK,EAAE,SAAS,CAAC;IACjB,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC;IAClF,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,QAAQ,CAAC,EAAE;QACT,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,EAAE,CAAC;QACf,MAAM,CAAC,EAAE,OAAO,CAAC;QACjB,YAAY,CAAC,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,MAAM,EAAE,CAAA;SAAE,EAAE,CAAC;KACnD,CAAC;IACF,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB;AAED,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,SAAS,CAAC;IACjB;8BAC0B;IAC1B,GAAG,EAAE,MAAM,EAAE,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,mCAAmC;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpC,UAAU,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;KAAE,EAAE,CAAC;CACrE;AAED,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;IAClB,GAAG,EAAE,OAAO,CAAC;IACb,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAID;4BAC4B;AAC5B,MAAM,MAAM,gBAAgB,GAAG,KAAK,GAAG,KAAK,GAAG,aAAa,CAAC;AAE7D;oEACoE;AACpE,MAAM,WAAW,aAAa;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,GAAG,CAAC,EAAE,gBAAgB,CAAC;CACxB;AAED;2EAC2E;AAC3E,MAAM,WAAW,kBAAkB;IACjC,GAAG,CAAC,EAAE,aAAa,CAAC;IACpB,gDAAgD;IAChD,QAAQ,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1C,+DAA+D;IAC/D,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAID;;iCAEiC;AACjC,eAAO,MAAM,WAAW;;;;CAId,CAAC;AACX,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,WAAW,CAAC,CAAC,MAAM,OAAO,WAAW,CAAC,CAAC;AAEzE,MAAM,WAAW,uBAAuB;IACtC,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAKA;gFACgF;AAChF,eAAO,MAAM,oBAAoB,IAAI,CAAC;AAEtC,yEAAyE;AACzE,MAAM,WAAW,4BAA4B;IAC3C,IAAI,EAAE,sBAAsB,CAAC;CAC9B;AAED,MAAM,WAAW,sBAAsB;IACrC,wCAAwC;IACxC,QAAQ,EAAE,MAAM,CAAC;IACjB;mCAC+B;IAC/B,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB;AAED;gCACgC;AAChC,eAAO,MAAM,oBAAoB,cAAc,CAAC;AAEhD;;;eAGe;AACf,eAAO,MAAM,gBAAgB,SAAS,CAAC;AAEvC;;qCAEqC;AACrC,eAAO,MAAM,UAAU;;;;;;;;;;CAUb,CAAC;AACX,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,OAAO,UAAU,CAAC,CAAC;AAItE;;0CAE0C;AAC1C,MAAM,WAAW,UAAU;IACzB,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;;0CAG0C;AAC1C,MAAM,MAAM,UAAU,GAAG;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAAC;AAE9D;sDACsD;AACtD,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;CAClB;AACD,MAAM,MAAM,YAAY,GAAG,OAAO,CAAC;AAEnC,mEAAmE;AACnE,MAAM,WAAW,mBAAmB;IAClC,GAAG,EAAE,MAAM,CAAC;CACb;AACD;;kBAEkB;AAClB,MAAM,MAAM,kBAAkB,GAAG,MAAM,GAAG,WAAW,GAAG,SAAS,GAAG,OAAO,CAAC;AAC5E,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,kBAAkB,CAAC;CAC1B;AACD,uDAAuD;AACvD,MAAM,MAAM,mBAAmB,GAAG,cAAc,EAAE,GAAG,IAAI,CAAC;AAE1D;uDACuD;AACvD,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,MAAM,CAAC;CACf;AACD,MAAM,WAAW,MAAM;IACrB,GAAG,EAAE,MAAM,CAAC;IACZ,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AACD,MAAM,MAAM,gBAAgB,GAAG,MAAM,EAAE,CAAC;AAExC;;sEAEsE;AACtE,MAAM,WAAW,kBAAkB;IACjC,GAAG,EAAE,MAAM,CAAC;CACb;AACD,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,0CAA0C;IAC1C,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AACD,MAAM,MAAM,kBAAkB,GAAG,aAAa,EAAE,CAAC;AAEjD,iEAAiE;AACjE,MAAM,WAAW,gBAAgB;IAC/B,WAAW,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IACtC,aAAa,EAAE,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;IAC5C,oBAAoB,EAAE,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,CAAC;IACjE,qBAAqB,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,CAAC;IAC5D,uBAAuB,EAAE,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,CAAC;CACnE;AAID,sCAAsC;AACtC,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,8EAA8E;AAC9E,MAAM,WAAW,eAAe;IAC9B,GAAG,CAAC,EAAE,YAAY,CAAC;IACnB,GAAG,CAAC,EAAE,YAAY,CAAC;CACpB;AAED,MAAM,WAAW,iBAAiB;IAChC,sDAAsD;IACtD,MAAM,EAAE,MAAM,CAAC;IACf,4BAA4B;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,eAAe,CAAC;CAC3B;AAED,wEAAwE;AACxE,MAAM,WAAW,kBAAkB;IACjC,sEAAsE;IACtE,KAAK,EAAE,MAAM,CAAC;IACd;oFACgF;IAChF,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB;+EAC2E;IAC3E,MAAM,EAAE,iBAAiB,EAAE,CAAC;CAC7B;AAED;;oDAEoD;AACpD,MAAM,WAAW,sBAAsB;IACrC,4DAA4D;IAC5D,KAAK,EAAE,MAAM,CAAC;IACd,0EAA0E;IAC1E,QAAQ,EAAE,MAAM,CAAC;CAClB;AAID,uEAAuE;AACvE,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd;gDAC4C;IAC5C,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACzC;AACD,uDAAuD;AACvD,MAAM,MAAM,eAAe,GAAG,SAAS,GAAG,IAAI,CAAC;AAE/C;kDACkD;AAClD,MAAM,WAAW,mBAAmB;IAClC,KAAK,EAAE,MAAM,CAAC;IACd,yCAAyC;IACzC,QAAQ,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACzC,qFAAqF;IACrF,IAAI,EAAE,MAAM,CAAC;IACb,kFAAkF;IAClF,GAAG,EAAE,MAAM,CAAC;IACZ,yCAAyC;IACzC,IAAI,EAAE,MAAM,CAAC;IACb,iCAAiC;IACjC,MAAM,EAAE,MAAM,CAAC;CAChB;AACD;8DAC8D;AAC9D,MAAM,MAAM,mBAAmB,GAAG,cAAc,EAAE,CAAC;AAEnD,6DAA6D;AAC7D,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,gCAAgC;IAChC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,8CAA8C;IAC9C,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,EAAE;QAAE,KAAK,EAAE,SAAS,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IACjD,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;CAC9C;AAED,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3C,GAAG,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC;CAC1C;AAED,mEAAmE;AACnE,MAAM,WAAW,kBAAkB;IACjC,gBAAgB,EAAE,CAAC,eAAe,EAAE,eAAe,CAAC,CAAC;IACrD,oBAAoB,EAAE,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,CAAC;CAClE;AAID,oCAAoC;AACpC,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAEjD;;;;GAIG;AACH,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,yCAAyC;IACzC,WAAW,EAAE,eAAe,GAAG,IAAI,CAAC;IACpC;8CAC0C;IAC1C,cAAc,CAAC,EAAE,uBAAuB,CAAC;IACzC,sDAAsD;IACtD,gBAAgB,EAAE,UAAU,GAAG,IAAI,CAAC;IACpC;;8CAE0C;IAC1C,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC;;gCAE4B;IAC5B,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC9C,2EAA2E;IAC3E,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACxC;;iBAEa;IACb,cAAc,EAAE,cAAc,EAAE,CAAC;IACjC,0EAA0E;IAC1E,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAC7C;oBACgB;IAChB,cAAc,EAAE,aAAa,EAAE,CAAC;IAChC;;6BAEyB;IACzB,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACnC;AAED;yEACyE;AACzE,MAAM,WAAW,cAAc;IAC7B,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,uBAAuB;IACtC,UAAU,EAAE,cAAc,EAAE,CAAC;IAC7B,yEAAyE;IACzE,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACnC;AAED;;oEAEoE;AACpE,MAAM,WAAW,gBAAgB;IAC/B,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;kCAEkC;AAClC,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,IAAI,GAAG,QAAQ,CAAC;IACrB,YAAY,EAAE,gBAAgB,EAAE,CAAC;IACjC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;CACzB;AAED;6BAC6B;AAC7B,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,MAAM,WAAW,YAAY;IAC3B,SAAS,CAAC,EAAE,UAAU,CAAC;IACvB,UAAU,CAAC,EAAE,UAAU,CAAC;CACzB;AAED,MAAM,WAAW,cAAc;IAC7B,6CAA6C;IAC7C,IAAI,EAAE,MAAM,CAAC;IACb,gFAAgF;IAChF,OAAO,EAAE,MAAM,CAAC;IAChB;;kCAE8B;IAC9B,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;CACpC;AAED,MAAM,WAAW,iBAAiB;IAChC,mCAAmC;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,wDAAwD;IACxD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,gFAAgF;IAChF,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACpC,KAAK,EAAE,eAAe,CAAC;IACvB;oEACgE;IAChE,cAAc,EAAE,cAAc,EAAE,CAAC;CAClC;AAED,MAAM,WAAW,aAAa;IAC5B,yEAAyE;IACzE,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACvC,sDAAsD;IACtD,IAAI,EAAE,MAAM,CAAC;IACb,gFAAgF;IAChF,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;4BAC4B;AAC5B,MAAM,WAAW,eAAe;IAC9B,IAAI,CAAC,EAAE,aAAa,CAAC;IACrB,KAAK,EAAE,aAAa,EAAE,CAAC;IACvB,KAAK,EAAE,aAAa,EAAE,CAAC;IACvB,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,KAAK,EAAE,aAAa,EAAE,CAAC;CACxB;AAED;iCACiC;AACjC,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC;AACnC,2CAA2C;AAC3C,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC;AAC/B,kFAAkF;AAClF,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC;AAE7B,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,SAAS,EAAE,aAAa,CAAC;IACzB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,aAAa,EAAE,CAAC;IACvB,IAAI,EAAE,YAAY,EAAE,CAAC;IACrB,SAAS,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC;IAC9C,MAAM,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAAC,SAAS,EAAE,OAAO,CAAA;KAAE,CAAC;IACjD,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,OAAO,CAAC,EAAE,WAAW,EAAE,CAAC;IACxB,MAAM,CAAC,EAAE,WAAW,CAAC;CACtB;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,KAAK,EAAE,OAAO,CAAC;IACf,KAAK,EAAE,SAAS,CAAC;IACjB,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC;IAClF,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,QAAQ,CAAC,EAAE;QACT,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,EAAE,CAAC;QACf,MAAM,CAAC,EAAE,OAAO,CAAC;QACjB,YAAY,CAAC,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,MAAM,EAAE,CAAA;SAAE,EAAE,CAAC;KACnD,CAAC;IACF,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,gDAAgD;IAChD,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,+EAA+E;IAC/E,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,SAAS,CAAC;IACjB;8BAC0B;IAC1B,GAAG,EAAE,MAAM,EAAE,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,mCAAmC;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpC,UAAU,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;KAAE,EAAE,CAAC;CACrE;AAED,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;IAClB,GAAG,EAAE,OAAO,CAAC;IACb,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAID;4BAC4B;AAC5B,MAAM,MAAM,gBAAgB,GAAG,KAAK,GAAG,KAAK,GAAG,aAAa,CAAC;AAE7D;oEACoE;AACpE,MAAM,WAAW,aAAa;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,GAAG,CAAC,EAAE,gBAAgB,CAAC;CACxB;AAED;2EAC2E;AAC3E,MAAM,WAAW,kBAAkB;IACjC,GAAG,CAAC,EAAE,aAAa,CAAC;IACpB,gDAAgD;IAChD,QAAQ,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1C,+DAA+D;IAC/D,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;;;sCAKkC;IAClC,cAAc,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACjD;AAID;;iCAEiC;AACjC,eAAO,MAAM,WAAW;;;;CAId,CAAC;AACX,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,WAAW,CAAC,CAAC,MAAM,OAAO,WAAW,CAAC,CAAC;AAEzE,MAAM,WAAW,uBAAuB;IACtC,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB"}

package/dist/index.js

@@ -4,7 +4,7 @@
 // through `editor-protocol-schema.json` — can speak it. `README.md` is the spec.
 /** The protocol generation this package describes. Additions within a
  *  generation are negotiated by capability; an incompatible change bumps it. */
-export const TELO_EDITOR_PROTOCOL = 1;
+export const TELO_EDITOR_PROTOCOL = 2;
 /** The file a module directory is read as: `telo/read` of a directory answers
  *  with this file inside it. */
 export const TELO_MODULE_FILENAME = "telo.yaml";

package/editor-protocol-schema.json

@@ -1,7 +1,7 @@
 {
   "$schema": "http://json-schema.org/draft-07/schema#",
   "$id": "https://telo.run/schemas/editor-protocol.json",
-  "title": "Telo editor protocol, generation 1",
+  "title": "Telo editor protocol, generation 2",
   "description": "The messages an editor host and a telo language-server engine exchange beyond LSP itself. Each request — host-served (engine to host) or engine-served (host to engine) — has a `<Name>Params` and a `<Name>Result` definition; `RequirementsParams` and `ViewModelChangedParams` are the engine-to-host `telo/requirements` and `telo/viewModelChanged` notifications; `TeloDiagnosticData` is what an engine puts in `Diagnostic.data`; `ExperimentalCapabilities` is what an engine advertises under `ServerCapabilities.experimental`. `x-telo-methods` maps each method name to its definitions. Objects are open and enumerations list the values known to this generation: a receiver ignores a member it does not know and reads an unknown enumeration value as its least-capable value (README.md, Generations). See README.md for the handshake and the generation rule.",
   "x-telo-methods": {
     "telo/read": {
@@ -340,6 +340,10 @@
       "properties": {
         "owner": {
           "type": "string"
+        },
+        "configuration": {
+          "description": "The assignment to draw the module graph in; a dimension left out takes its default.",
+          "type": "object"
         }
       }
     },
@@ -605,6 +609,9 @@
           "additionalProperties": {
             "type": "integer"
           }
+        },
+        "configurations": {
+          "$ref": "#/$defs/ViewModelConfigurations"
         }
       }
     },
@@ -916,6 +923,18 @@
         },
         "root": {
           "type": "boolean"
+        },
+        "choice": {
+          "$ref": "#/$defs/GraphChoice"
+        },
+        "choices": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/GraphChoice"
+          }
+        },
+        "family": {
+          "$ref": "#/$defs/GraphRepeat"
         }
       }
     },
@@ -1016,6 +1035,7 @@
                 "step",
                 "entry",
                 "target",
+                "repeat",
                 "inline",
                 "reference",
                 "export"
@@ -1115,6 +1135,12 @@
         },
         "unknownKind": {
           "type": "boolean"
+        },
+        "repeat": {
+          "$ref": "#/$defs/GraphRepeat"
+        },
+        "emitted": {
+          "type": "string"
         }
       }
     },
@@ -1374,6 +1400,12 @@
         },
         "path": {
           "type": "string"
+        },
+        "configurations": {
+          "type": "array",
+          "items": {
+            "type": "object"
+          }
         }
       }
     },
@@ -1394,6 +1426,111 @@
           }
         }
       }
+    },
+    "GraphAlternative": {
+      "type": "object",
+      "required": [
+        "key"
+      ],
+      "properties": {
+        "key": {
+          "description": "then, else, default, a case key, or absent (an if with no else whose condition is false).",
+          "type": "string"
+        },
+        "kind": {
+          "description": "At a declaration position, the kind the branch declares.",
+          "type": "string"
+        }
+      }
+    },
+    "GraphChoice": {
+      "type": "object",
+      "required": [
+        "path",
+        "tag",
+        "alternatives",
+        "selected"
+      ],
+      "properties": {
+        "path": {
+          "description": "\"\" for the declaration itself, else the written path of the field.",
+          "type": "string"
+        },
+        "tag": {
+          "enum": [
+            "if",
+            "switch"
+          ]
+        },
+        "alternatives": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/GraphAlternative"
+          }
+        },
+        "selected": {
+          "description": "The alternative key the selected configuration takes; null when it takes none.",
+          "oneOf": [
+            {
+              "type": "string"
+            },
+            {
+              "type": "null"
+            }
+          ]
+        }
+      }
+    },
+    "GraphRepeat": {
+      "type": "object",
+      "required": [
+        "source",
+        "as"
+      ],
+      "properties": {
+        "source": {
+          "type": "string"
+        },
+        "as": {
+          "type": "string"
+        }
+      }
+    },
+    "GraphDimension": {
+      "type": "object",
+      "required": [
+        "key",
+        "values",
+        "default"
+      ],
+      "properties": {
+        "key": {
+          "type": "string"
+        },
+        "values": {
+          "type": "array"
+        },
+        "default": {}
+      }
+    },
+    "ViewModelConfigurations": {
+      "description": "The configurations the owner's module graph can be drawn in: its dimensions and the assignment the graph is drawn in.",
+      "type": "object",
+      "required": [
+        "dimensions",
+        "selected"
+      ],
+      "properties": {
+        "dimensions": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/GraphDimension"
+          }
+        },
+        "selected": {
+          "type": "object"
+        }
+      }
     }
   }
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@telorun/editor-protocol",
-  "version": "0.2.0",
+  "version": "0.3.0",
   "description": "The Telo editor protocol: the contract between an editor host and a telo language-server engine — the telo/* requests, the telo/requirements notification and the protocol generation.",
   "keywords": [
     "telo",

package/src/index.ts

@@ -5,7 +5,7 @@
 
 /** The protocol generation this package describes. Additions within a
  *  generation are negotiated by capability; an incompatible change bumps it. */
-export const TELO_EDITOR_PROTOCOL = 1;
+export const TELO_EDITOR_PROTOCOL = 2;
 
 /** What an engine advertises under `ServerCapabilities.experimental`. */
 export interface TeloExperimentalCapabilities {
@@ -167,6 +167,9 @@ export interface ViewModelChangedParams {
 /** `telo/viewModel`: the structured-view model of one owner module. */
 export interface ViewModelParams {
   owner: string;
+  /** The assignment to draw the module graph in, keyed by dimension; a
+   *  dimension left out takes its default. */
+  configuration?: Record<string, unknown>;
 }
 /** `null` when the engine is not analysing `owner`. */
 export type ViewModelResult = ViewModel | null;
@@ -233,6 +236,9 @@ export interface ViewModel {
   revision: number;
   /** The owner module drawn as a graph. */
   moduleGraph: ModuleGraphData | null;
+  /** The configurations `moduleGraph` can be drawn in. Absent when the module
+   *  writes no `!if` / `!switch` choice. */
+  configurations?: ViewModelConfigurations;
   /** The schema of the owner's module document kind. */
   moduleRootSchema: JsonSchema | null;
   /** Each `kind:` spelling in the closure, and each constraint in
@@ -260,6 +266,45 @@ export interface ViewModel {
   documents: Record<string, number>;
 }
 
+/** One axis of the configuration picker: the path it is read at, its domain
+ *  and the value a picker starts at (a presence dimension: `absent`). */
+export interface GraphDimension {
+  key: string;
+  values: unknown[];
+  default: unknown;
+}
+
+export interface ViewModelConfigurations {
+  dimensions: GraphDimension[];
+  /** The assignment `moduleGraph` is drawn in, every dimension present. */
+  selected: Record<string, unknown>;
+}
+
+/** One alternative of a choice: `then`, `else`, `default`, a case key, or
+ *  `absent` (an `!if` with no `else:` whose condition is false). At a
+ *  declaration position it carries the kind the branch declares. */
+export interface GraphAlternative {
+  key: string;
+  kind?: string;
+}
+
+/** A `!if` / `!switch` drawn at a box. At a declaration position (`path` is
+ *  `""`) the box is the choice, identified by its name — only its kind follows
+ *  the selected configuration. */
+export interface GraphChoice {
+  path: string;
+  tag: "if" | "switch";
+  alternatives: GraphAlternative[];
+  selected: string | null;
+}
+
+/** A `!for-each` drawn as one box (a family) or one row (a repeat in a list),
+ *  never one per element. */
+export interface GraphRepeat {
+  source: string;
+  as: string;
+}
+
 export interface RefConstraint {
   accepted: string[];
   userFacing: string[];
@@ -320,7 +365,7 @@ export interface ModuleGraphData {
 export type NodeOwnership = string;
 /** `flow` | `holds` | `shape` | `data`. */
 export type EdgeClass = string;
-/** `step` | `entry` | `target` | `inline` | `reference` | `export`. */
+/** `step` | `entry` | `target` | `repeat` | `inline` | `reference` | `export`. */
 export type RowKind = string;
 
 export interface GraphNodeData {
@@ -341,6 +386,9 @@ export interface GraphNodeData {
   rowArrays: { field: string; kind: RowKind }[];
   throws?: { codes: string[]; unbounded: boolean };
   root?: boolean;
+  choice?: GraphChoice;
+  choices?: GraphChoice[];
+  family?: GraphRepeat;
 }
 
 export interface GraphPortData {
@@ -379,6 +427,10 @@ export interface GraphRowData {
   };
   declares?: string;
   unknownKind?: boolean;
+  /** `repeat` rows: the loop the list item is. */
+  repeat?: GraphRepeat;
+  /** A step a template repeat emitted: its identity text, in place of `name`. */
+  emitted?: string;
 }
 
 export interface GraphEdgeData {
@@ -446,6 +498,13 @@ export interface TeloDiagnosticData {
   resource?: { kind: string; name: string };
   /** Dotted path of the offending value within that resource. */
   path?: string;
+  /** Present only on a diagnostic that holds in some configurations of the
+   *  application but not all: partial assignments covering where it holds, each
+   *  `{ "<dimension path>": <JSON value> }` naming only the dimensions it
+   *  narrows (one it leaves out holds every value; the diagnostic holds where
+   *  some entry agrees on every key it names). Empty when it holds in none. The
+   *  label is in `message` only. */
+  configurations?: Array<Record<string, unknown>>;
 }
 
 // --- Commands --------------------------------------------------------------