@mark1russell7/coeval 0.29.0 → 0.30.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +1 -1
- package/build/index.d.ts +17 -3
- package/build/index.d.ts.map +1 -1
- package/build/index.js +85 -15
- package/build/index.js.map +1 -1
- package/package.json +2 -2
- package/src/index.ts +1 -1
- package/src/stepper.ts +90 -18
package/README.md
CHANGED
|
@@ -43,7 +43,7 @@ A plan evaluates many times without a trace. `evaluate(machine, doc)` gives the
|
|
|
43
43
|
| The formula kit | `formulaMachine`, `FormulaProfile`, `formulaKnown`, `formulaFacts` | The shared constructs `lit`, `ref`, `record`, `list`, `let`, `fn`, `call`, `if`, `and`, `or`, and the namespaces `ops` and `ext`. A profile gives the rules of a language, for example how the errors of two parts combine. A language extends the kit through the merge. An address gives a thing, not its value |
|
|
44
44
|
| The codec of values | `encodeValue`, `decodeValue`, `decodeDomain`, `DomainCodec`, `STD_EXT` | A host value as one term document. JSON stays as it is. `ext.number`, `ext.undefined` and `ext.domain` hold the other values. A domain gives its codec (D40) |
|
|
45
45
|
| The syntax kit | `parse`, `print`, `syntaxFormat`, `checkSyntax`, `SyntaxProfile`, `SyntaxOperator`, `SyntaxIssue`, `SyntaxFinding`, `MAX_SYNTAX_ISSUES`, `STD_SYNTAX`, `WORLD_SYNTAX` | One parser and one printer for the text of a language. A profile gives the operators, the literals, the references and the calls. `parse` gives a document, or each issue of the text with its span (D138), and `print` gives text that `parse` reads back (D41). `WORLD_SYNTAX` is the profile of `STD_WORLD` (D64) |
|
|
46
|
-
| Stepper | `stepper`, `stepperStart`, `stepperNext`, `Configuration`, `Frame`, `StepperOptions` | A third tier: an evaluation with an explicit stack
|
|
46
|
+
| Stepper | `stepper`, `stepperStart`, `stepperNext`, `encodeConfiguration`, `decodeConfiguration`, `Configuration`, `Frame`, `StepperOptions` | A third tier: an evaluation with an explicit stack. It reads the lookup, the split and the paths itself. One step is a pure function. The codec gives the JSON form of a configuration. |
|
|
47
47
|
| One meaning | `agree`, `reference`, `formulaDefinitions`, `STD_DEFINITIONS`, `generate`, `TierInput` | A reference interpreter that compiles nothing, and `agree`, which compares a plan with it and with the second tier of a language. Each tier gets the mock `perform` and the `verb` of `agree`. `generate` builds random documents from the kind contracts. `agreeRun` compares runs, and the free reads of the plan and of the reference run. The option `reads` of `reference` and `referenceRun` records the reads of the reference (D67) |
|
|
48
48
|
| Conformance | `conforms`, `ConformOptions`, `Finding`, `Obligation`, `ConformProbe` | The obligations of host code, examined for one evaluator, runner, walker or `deref` with probe parts and a probe runtime. Each finding names the obligation, the reason and a probe that shows it (D36) |
|
|
49
49
|
| The laws of a codec | `codecLaws`, `CodecLawsOptions`, `CodecFinding`, `CodecLaw`, `CodecProbe` | The laws of the codec of one domain, examined for sample members and edge values: `encode` gives JSON and one document, and `decode` gives the member again (D130) |
|
package/build/index.d.ts
CHANGED
|
@@ -4324,7 +4324,7 @@ interface Shared {
|
|
|
4324
4324
|
readonly stack: readonly Frame[];
|
|
4325
4325
|
/** The count of the active applications of functions (FORMULA.CALL-DEPTH). */
|
|
4326
4326
|
readonly applying: number;
|
|
4327
|
-
/** `true` after a closure
|
|
4327
|
+
/** `true` after a closure goes in a value. Only then does a value need a change for the host. */
|
|
4328
4328
|
readonly marked: boolean;
|
|
4329
4329
|
/** The work of the evaluation after the last call of `stepperNext` (WORK.LIMIT). A configuration without it has done no work. */
|
|
4330
4330
|
readonly work?: number;
|
|
@@ -4334,8 +4334,9 @@ interface Shared {
|
|
|
4334
4334
|
readonly effected?: number;
|
|
4335
4335
|
}
|
|
4336
4336
|
/**
|
|
4337
|
-
* One configuration of the stepper.
|
|
4338
|
-
*
|
|
4337
|
+
* One configuration of the stepper. A closure and a held error in it are values that only the stepper makes
|
|
4338
|
+
* (STEPPER.FORGE). Thus a configuration goes through JSON with `encodeConfiguration` and `decodeConfiguration`
|
|
4339
|
+
* (STEPPER.DATA).
|
|
4339
4340
|
*
|
|
4340
4341
|
* - `evaluate`: the document `value` starts, with a new evaluation at its depth.
|
|
4341
4342
|
* - `resume`: a document gave `result`, and the top frame takes it.
|
|
@@ -4391,6 +4392,19 @@ export declare function stepperStart(machine: Machine, doc: unknown, context?: C
|
|
|
4391
4392
|
* @returns The next configuration, or the same configuration at `done`.
|
|
4392
4393
|
*/
|
|
4393
4394
|
export declare function stepperNext(machine: Machine, configuration: Configuration, options?: StepperOptions): Configuration;
|
|
4395
|
+
/**
|
|
4396
|
+
* This function gives the JSON form of a configuration (STEPPER.DATA). A closure becomes a record with the key
|
|
4397
|
+
* `coeval.closure`, and a held error a record with the key `coeval.held`. A record of data with one of the keys of the
|
|
4398
|
+
* form goes in a record with the key `coeval.data`. Thus `decodeConfiguration` tells data from a closure. A value that is
|
|
4399
|
+
* not plain JSON stays as it is. A shared object stays shared, and `JSON.stringify` copies it.
|
|
4400
|
+
*/
|
|
4401
|
+
export declare function encodeConfiguration(configuration: Configuration): Json;
|
|
4402
|
+
/**
|
|
4403
|
+
* This function gives the configuration of a JSON form from `encodeConfiguration` (STEPPER.DATA). Only a record with the
|
|
4404
|
+
* one key `coeval.closure` or `coeval.held` becomes a closure or a held error. The record in a record with the one key
|
|
4405
|
+
* `coeval.data` is data, also with these keys. The host gives the form, thus the stepper trusts it as it trusts a context.
|
|
4406
|
+
*/
|
|
4407
|
+
export declare function decodeConfiguration(data: Json): Configuration;
|
|
4394
4408
|
/**
|
|
4395
4409
|
* This function evaluates a document with an explicit stack (K95, D158). It gives the result of `reference` for each
|
|
4396
4410
|
* document of the kernel and the formula kit (AGREE.STEPPER). The nesting of a document does not use the stack of the
|
package/build/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","names":["Part","Shape"],"sources":["../src/doc.ts","../src/errors.ts","../src/types.ts","../src/deref.ts","../src/world.ts","../src/ladder.ts","../src/static.ts","../src/typing.ts","../src/facts.ts","../src/evaluate.ts","../src/merge.ts","../src/language.ts","../src/steps.ts","../src/classify.ts","../src/parts.ts","../src/syntax.ts","../src/stdlib.ts","../src/order.ts","../src/context.ts","../src/effects.ts","../src/formula.ts","../src/codec.ts","../src/codec-laws.ts","../src/reference.ts","../src/stepper.ts","../src/agree.ts","../src/conform.ts","../src/same.ts","../src/reads.ts","../src/durable.ts","../src/graph.ts","../src/schedule.ts","../src/generate.ts","../src/meaning.ts","../src/instances.ts","../src/replay.ts","../src/providers.ts"],"mappings":";KACY,mDAAmD;YAAmC,cAAA;;;KAGtF;YAAuC,cAAA;;;KAGvC;;;;;;;;;;;KAYA,4BAA4B;WAAmB;WAAsB,gBAAgB;;;;;;KAMrF;;WAED,MAAM;;WAEN,OAAO;;WAEP;;WAEA,MAAM,SAAS;;;qBAIb;;;;;;;;wBASG,SAAS,iBAAiB,SAAS;;;;;;;;wBAanC,MAAM,QAAQ,YAAY,cAAc;;;;;;;wBAUxC,MAAM,iBAAiB,SAAS;;;;;;;;wBAWhC,UAAU,iBAAiB,SAAS;;;;;;;wBAcpC,SAAS,MAAM,mBAAmB;;;;;;;wBAalC,SAAS,MAAM;;;;;;;;;wBAqBf,WAAW,iBAAiB,SAAS,aAAa;;UAUjD;WACN,UAAU;;WAEV,QAAQ,SAAS,eAAe;;;;;;;;;;wBAW3B,OAAO,gBAAgB,4BAA4B;;;;;;;;;wBAqBnD,MAAM,MAAM,SAAS,OAAO,MAAM;WAAmB;WAAwB,MAAM;IAAgC;;;;;;;wBAUnH,OAAO,eAAe,SAAS;;;;;;;wBAU/B,OAAO,KAAK,WAAW;;;;;;;wBAevB,SAAS,iBAAiB;;;;;;;;;;;;;;;;;;wBA+B1B,UAAU,YAAY;;KC5O1B;;KAqBA,YAAY;;;;;;;UAQP;WACN,MAAM;WACN;WACA,iBAAiB;WACjB;;;KAIC,OAAO;WAA0B;WAAmB,OAAO;;WAAiB;WAAoB,OAAO;;;KAGvG;WAAoB;WAAoB,OAAO;;;;;;;;wBAQ3C,GAAG,GAAG,OAAO,IAAI,OAAO;;;;;;;;;wBAYxB,KAAK,MAAM,WAAW,gBAAgB;WAAiB,iBAAiB;WAAgB;IAAyB;;;;;;;;;wBAejH,OAAO,GAAG,QAAQ,OAAO,IAAI,gBAAgB,QAAQ,OAAO;;;;;qBAS/D,gBAAgB;WAClB,OAAO;;;;;;EAOhB,YAAY,OAAO;;;;;;;;wBAaL,gBAAgB;;;;;;;;;wBAgChB,OAAO,gBAAgB,cAAc;;;;;;;wBAmBrC,SAAS;;;;;;;;;;;;;;;KCzIb;WAEG,MAAM;;WACN,QAAQ,SAAS,eAAe;WAAsB;WAAuC;;WAC7F,aAAa;WAAsB,IAAI;;WACvC,gBAAgB;;WAChB,cAAc;;;;;;;;;;UAUZ;;;;;;;WAON,KAAK;;WAEL;;WAEA;;;;;;WAMA,QAAQ,SAAS,eAAe;;;;;WAKhC,QAAQ;;;;;;;WAOR;;;;;;WAMA;;;;;;;;;;WAUA;;;;;;;;UASM;;;;;;;WAON,SAAS,mBAAmB;;;;;;;WAO5B,SAAS,MAAM;;;UAIT;WACN,aAAa;WACb;;;;;;qBAOE,aAAa,SAAS,eAAe;;;;;;;;;;;;;;;;;wBAkLlC,OAAO,gBAAgB,MAAM,WAAW,UAAU,SAAS,eAAe;;;;;;KAgb9E;WACG;WAAkC;WAA6B,MAAM;;WACrE;WAAkC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAkLjC,KAAK,OAAO,WAAW,UAAU,WAAW,UAAU,SAAS,eAAe;;;;;;;;;;;;;;;;;;;;;;wBAgH9E,KAAK,GAAG,WAAW,GAAG,WAAW,UAAU,SAAS,eAAe,WAAW;;;;;;;;;;;;;;;wBAkE9E,SAAS,MAAM;;;;;;;;;;wBAiNf,WAAW,eAAe,UAAU,SAAS,eAAe,oBAAoB;;;;;qBCtwCnF;;;;;UAMI;YACL;;WAED;;;;;;;;EAQT,MAAM,KAAK,MAAM;;;;;;;;;EASjB,KAAK,KAAK;;;;;;EAMV;;;;;;;;EAQA,SAAS,eAAe;aAAmB,OAAO;;;;;;;;;;EASlD,OAAO,KAAK;aAAiB,OAAO;;;;;;;;;;EASpC,SAAS,GAAG,YAAY,IAAI;;;KAIlB;;;;;;;wBAQI,YAAY,iBAAiB,SAAS;;qBAKzC;;KAGD,eAAe;;;;;KAMf,wBAAwB;;;;;;;;;;UAWnB;WACN,MAAM;WACN,OAAO,SAAS;WAChB,OAAO;WACP,OAAO;WACP,eAAe;;;;;;;UAQT;;;;;;;;GAQd,KAAK,UAAU,KAAK,MAAM;;;;;;;;;;WAUlB,OAAO,KAAK,UAAU,KAAK;;;;;;KAO1B;WAAwB;WAAmB,OAAO;;WAAqB;WAAoB;WAAyB,OAAO;;;UAGtH;;WAEN,MAAM;;WAEN,MAAM;WACN,SAAS;;;;;;;;;EASlB,MAAM,OAAO,OAAO,KAAK,MAAM;;;;;;;;;;EAU/B,KAAK,OAAO,OAAO,KAAK;;;;;;;;WAQf,SAAS,KAAK,KAAK,OAAO;;;UAIpB;;WAEN,MAAM;;WAEN,MAAM;;;;;;;;;UAUA;;;;;;;GAOd,OAAO,YAAY;;;;;;;WAOX,QAAQ,OAAO,kBAAkB;;;;;;;;;;;UAY3B;WACN,OAAO;WACP,SAAS,SAAS,eAAe;WACjC,UAAU,SAAS,eAAe;WAClC;WACA,iBAAiB;WACjB,SAAS,mBAAmB;;;KAI3B;;UAGK;WACN,MAAM;WACN,OAAO;WACP,IAAI;;;KAIH;;KAGA;WACG;WAAmB,OAAO;WAAgB,eAAe;;WACzD;WAAoB,MAAM,cAAc;WAAoB;WAAyB,eAAe;;;UAGlG;;WAEN;;;;;;;;;;;;;;wBAiIK,UAAU,KAAK,WAAW,OAAO,OAAO,KAAK;WAAiB,OAAO;WAAgB,IAAI;;;;;;;;wBA8BzF,MAAM,iBAAiB,SAAS;WAAsB,gBAAgB;;;;;;;;;;wBAoBtE,WAAW,OAAO,QAAQ;;;;;;;wBAe1B,QAAQ,QAAO,QAAQ,WAAgB;;;;;;;UA0FtC;;WAEN;;WAEA,KAAK;;;;;;;;EAQd,QAAQ,KAAK,UAAU;;;;;;;;;;;;;;;;;;;wBAgET,YAAY,KAAK,WAAW,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;wBA0DvD,QAAQ,KAAK,WAAW,KAAK,SAAS,0BAA0B,UAAS,iBAAsB;;;;;;;wBA4I/F,aAAa,OAAO;;KCryBxB;;;;;;;;;;;;;;;;;;;;;KAsBA;WACG;;WACA;WAAwB;WAAsB;WAA4B,2BAA2B;WAAmB,SAAS;;WACjI;WAAwB;WAAsB,OAAO;WAAgB;WAA6B,SAAS;;WAC3G;WAAuB;WAAsB,OAAO;WAAgB,SAAS;;WAE7E;WACA,4BAA4B,SAAS,eAAe;WACpD;WACA;WACA,OAAO;WACP;WACA,SAAS;;WAET;WAAwB;WAAsB,SAAS;;WACvD;;WACA;WAA0B;WAA0B;WAAuB;;WAC3E;WAAuB,iBAAiB;;;KAG3C,YAAY;;;;;;;;;;KAWZ;WACG;;WACA,iBAAiB;;WACjB,iBAAiB;;WACjB,iBAAiB;WAAgB;;WACjC;;;;;;UAME;WACN,OAAO;;WAEP,uBAAuB;;WAEvB;;;;;;;;;;;;;KAcC;WACG;WAAuB,wBAAwB;;WAC/C;WAAuB,wBAAwB;;WAC/C;WAAuB,eAAe;WAAgB,wBAAwB;;WAM9E;WAAwB,eAAe;WAAgB,wBAAwB;;;;;;;;;;UAU7E;WACN,wBAAwB;WACxB;;;;;;;;;;;;;;;;;;;;;UAsBM;WACN;WACA;WACA,gBAAgB;WAChB,iBAAiB;WACjB;WACA,kBAAkB;;;;;;;;;;;;;;;;;;;UAoBZ;WACN;WACA;aAAkB,MAAM;aAAe,SAAS;;WAChD,UAAU;WACV,WAAW;WACX,UAAU;WACV,SAAS;;;;;;;;;;;;KAaR;WAAgC,MAAM;WAAe,SAAS;;;KAG9D;WACG;WAAmB;;WACnB;WAAmB;WAAuB,MAAM;WAAe,SAAS;;WACxE;WAAoB;;;;;;;;;;UAalB;WACN,OAAO;WACP;;;qBAIE;;qBAGA;;KAGD;WAA0B;WAAmB,OAAO;WAAe;;WAA6B;WAAoB;;;;;;;;;wBA4BhH,WAAW,oBAAoB;;;;;;;;wBAkB/B,UAAU,oBAAoB;;;;;;;;;;;;;;;;;UAwB7B;WACN,YAAY,SAAS,eAAe;WACpC,OAAO,SAAS,eAAe;WAC/B,aAAa,SAAS,eAAe;WACrC,cAAc,SAAS,eAAe;WACtC,KAAK,SAAS,eAAe;WAC7B;;;;;;UAOM;;WAEN;WACA,UAAU;;;KAIT;WAAoB;WAAmB;WAAoC,UAAU;;WAAoB;WAAoB;;;;;;;;;wBASzH,SAAS,oBAAoB;;KAUjC;WAAoB;WAAmB,OAAO,SAAS,eAAe;WAAiB;;WAA2B;WAAoB;;;;;;;;;;wBAUlI,SAAS,2BAA2B,gBAAgB;;;;;;;;wBAqBpD,QAAQ;;;;;;;;;wBAYR,YAAY;;;;;;;;wBA2BZ,aAAa,MAAM;;;;;;;UAWlB,aAAa;;;;;WAKnB,OAAO,SAAS;;WAEhB,QAAQ;;WAER,iBAAiB;;;;;;;WAOjB,gBAAgB;;WAEhB,OAAO;;;;;;;WAOP;;;;;;;WAOA,cAAc;;;;;WAKd,SAAS;;;;;WAKT,OAAO;;WAEP;;;;;;KAOC,cAAc,SAAS;WAAyD;;;;;;;;;;;;wBAY5E,cAAc,MAAM,MAAM;;UAOzB;WACN,OAAO,SAAS,eAAe;WAC/B,WAAW;;;KAIV;WAAmB;WAAsB,gBAAgB;;;KAGzD,aAAa,OAAO,YAAY;;;;;UAM3B;WACN,OAAO,SAAS,eAAe;;;;;WAK/B,UAAU,SAAS;WACnB,WAAW;;;;;;;;;;;KAYV;WACG;WAAmB,MAAM;WAAe,eAAe;WAAgB;;WACvE;WAAoB;WAA+E,eAAe;;;;;;;;wBAkBjH,OAAO,OAAO,yBAAyB,SAAS;;;;;;;wBAUhD,QAAQ,OAAO,yBAAyB,SAAS;;;;;;;wBAUjD,YAAY,OAAO,yBAAyB,SAAS;;;;;;;;;;;;wBAqErD,WAAW,OAAO,OAAO,MAAM,UAAU;;;;;;;;wBAqDzC,cAAc,SAAS,SAAS,eAAe,eAAe;;;;;;;;wBA8B9D,aAAa,cAAc,MAAM,OAAO;;;;;;;wBAaxC,cAAc;;qBC5rBjB;;KAGD,eAAe;;KAGf;;;;;;;;;KAUA;;UAGK;WACN,MAAM;WACN,SAAS;;WAET;;WAEA;;WAEA,SAAS;;;UAIH;WACN;;WAEA;;WAEA,OAAO;;WAEP;WACA,gBAAgB;;;;;;UAOV;WACN,OAAO;WACP,MAAM,SAAS;;;UAIT;;WAEN;;;;;;;;;;wBAeK,OAAO,OAAO,OAAO,MAAM,UAAU;;;;;;;;wBAYrC,UAAU,OAAO,OAAO,MAAM,UAAU;;;;;;;;;;;;;;;wBAwDxC,IAAI,OAAO,OAAO,KAAK,QAAQ,cAAc,UAAS,aAAkB;;UClIvE;;WAEN,gBAAgB;;WAEhB,aAAa;;WAEb,SAAS;;WAET,eAAe;;WAEf,KAAK;;WAEL;;WAEA,OAAO;;WAEP,oBAAoB;;WAEpB;;WAEA,OAAO;;WAEP,OAAO;;WAEP;;;;;WAKA,gBAAgB;;WAEhB,mBAAmB;;;UAIb;;WAEN,gBAAgB;;WAEhB,aAAa;WACb;WACA;;;UAIM;;WAEN;;WAEA;;WAEA,gBAAgB;;;;;;WAMhB,WAAW,SAAS;;;;;;;;;;;;;;wBAyHf,KAAK,OAAO,OAAO,cAAc,QAAQ,OAAO,4BAA4B,UAAS;;UAwGpF;;WAEN,OAAO;;WAEP,gBAAgB;;WAEhB,aAAa;;WAEb,eAAe;WACf;;WAEA;;WAEA;;;;;;;;;;;;wBAaK,OAAO,OAAO,OAAO,cAAc,UAAS,uBAA4B;;;;;;;;;;;wBAmDxE,QAAQ,OAAO,OAAO,cAAc,SAAS,KAAK,oBAAoB,UAAS;;;;;;;;;;KAmBnF;WAA4C;WAAsB;;;;;;;;;;;;;;wBAc9D,QAAQ,OAAO,OAAO,cAAc,SAAS,OAAO,aAAa,WAAW,UAAS;;UAiBpF;WACN,MAAM;;WAEN,gBAAgB;WAChB;;WAEA,cAAc;;WAEd,WAAW;;WAEX,QAAQ;;;UAIF;;WAEN;;WAEA;;;;;WAKA,gBAAgB;;;;;;;;;WAShB;;;;;;WAMA;;WAEA,SAAS;;;;;;;;WAQT;;;;;WAKA,YAAY;;;UAIN;;WAEN,MAAM;;WAEN,iBAAiB;;WAEjB,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAqIZ,MAAM,SAAS,SAAS,cAAc,UAAS,wBAA6B;;;;;;;;;;;;;;;;;;;wBAsB5E,UAAU,SAAS,SAAS,cAAc,UAAS,eAAoB;;;;;;;;UAetE;;;;;WAKN;;;;;WAKA,eAAe;;WAEf;;WAEA;;WAEA;;WAEA;;;;;WAKA,cAAc;WACd;;;UAIM;;;;;WAKN;;;;;;;;;;;;;;;;;;;;wBA0BK,WAAW,SAAS,SAAS,0BAA0B,UAAS,wBAA6B;;UC7rB5F;;WAEN,mBAAmB;;WAEnB,KAAK;;WAEL,UAAU;;WAEV,0BAA0B;;WAE1B;WACA,SAAS;;;;;;;;EAQlB,OAAO,eAAe,QAAQ;;;;;;;;EAQ9B,SAAS,eAAe;;;;;;;;;;EAUxB,SAAS,eAAe;;;;;;;;;EASxB,SAAS,eAAe,eAAe;;;;;;;EAOvC,OAAO,eAAe;;;;;;;;EAQtB,SAAS,eAAe,QAAQ;;;UAIjB;WACN,cAAc;WACd,aAAa;;;UAIP;;WAEN,SAAS;;WAET;;WAEA,QAAQ,SAAS,eAAe;;;;;WAKhC,QAAQ,KAAK;;WAEb,kBAAkB;;WAElB;;;;;;;;;;;UAYM;;WAEN,QAAQ,SAAS,eAAe;;WAEhC,OAAO;;WAEP,QAAQ;;WAER,QAAQ;;;;;;qBAON,WAAW;;UAGP;;WAEN,gBAAgB;WAChB;WACA,WAAW;WACX,QAAQ;;;;;;;UAQF;;WAEN;;;;;;;;;WASA,QAAQ,OAAO,WAAW,eAAe,UAAU;;;;;;;;;WASnD,QAAQ,OAAO,WAAW,SAAS,SAAS,yBAAyB;;;;;;;;WAQrE,0BAA0B;;WAE1B;;WAEA;;;;;;;WAOA,SAAS,OAAO;;;;;;;WAOhB,UAAU,OAAO,cAAc;;;;;;KAO9B;;WAGG,aAAa;;WAEb;;WAEA;;;WAIA,aAAa;;WAEb;;;UAIE;;WAEN,gBAAgB;;WAEhB,aAAa;;WAEb,MAAM;;WAEN,WAAW;;WAEX;;;UAIM;;WAEN,gBAAgB;;WAEhB,MAAM;;;;;;;;;;wBAWD,aAAa;WAAmB,iBAAiB;GAAW,UAAU,SAAS,eAAe,oBAAoB;;;;;;UCpOjH;;WAEN,MAAM;;WAEN,eAAe;;;;;WAKf;;WAEA;;WAEA;;WAEA,eAAe;;;;;WAKf,gBAAgB;;WAEhB,aAAa;;;UAIP;;;;;WAKN,gBAAgB;;WAEhB,MAAM;;;;;WAKN;;;;;WAKA;;WAEA;;WAEA;;;UAIM;;WAEN;;;;;;;WAOA;;;;;;;;WAQA,YAAY,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAsIb,QAAQ,SAAS,SAAS,cAAc,UAAS,eAAoB;;;;;;;;;;wBC/KrE,YAAY,QAAO,SAAS,0BAA+B,gBAAe,OAAY,OAAM,QAAe;;;;;;;wBAU3G,QAAQ,MAAM;;;;;;;;;;wBAad,QAAQ,eAAe,OAAO,MAAM;;;;;;;;;;wBAiBpC,OAAO,QAAQ,SAAS,MAAM,UAAU;;;;;;;;;wBAoBxC,cAAc,YAAY,OAAO,YAAY,iBAAiB;;;;;;;;;;wBAkC9D,SAAS,gBAAgB,wBAAwB,eAAe,OAAO,eAAe,iBAAiB;;;;;;;;;;wBA2BvG,WAAW,gBAAgB,wBAAwB,eAAe,OAAO,0BAA0B;;;;;UAclG;;WAEN,IAAI;;;;;;;EAOb,OAAO,mBAAmB;;;;;;;KAoKhB,QAAQ,UAAU,kBAAkB;;UAG/B;;WAEN;;WAEA;;WAEA,eAAe;WACf;;WAEA;;WAEA;;WAEA,gBAAgB;;WAEhB,SAAS;;;;;;;WAOT;;;;;WAKA,UAAU;;;;;;;UAQJ;;WAEN;;;;;WAKA,SAAS;;;;;;WAMT;;;;;WAKA;;WAEA,gBAAgB;;;;;;;KA4Df,WAAW,QAAQ;;qBAGlB;;;;;UAMI;;;;;;;WAON,WAAW,aAAa;;;;;;;;;;WAUxB,QAAQ,aAAa,4BAA4B;;;;;;qBAuD/C;;;;;UAmBI;WACN,SAAS;;WAET;;WAEA;;;;;;;EAOT,OAAO;;;;;;;;;EASP,QAAQ,KAAK,SAAS,0BAA0B,UAAU,iBAAiB;;;;;;;;;;;EAW3E,OAAO,KAAK,SAAS,MAAM,KAAK,kBAAkB,gBAAgB,QAAQ;;;;;;;;;;;EAW1E,UAAU,KAAK,SAAS,MAAM,KAAK,kBAAkB,gBAAgB,QAAQ;;;;;;;;EAQ7E,IAAI,sBAAsB,UAAU,UAAU,aAAa,UAAU,2BAA2B;;;;;;;;;;EAUhG,cAAc,UAAU,SAAS,uBAAuB;;;;;;;;;UAUzC;WACN;WACA;;;;;;;KAQC,QAAQ,KAAK,SAAS,IAAI,YAAY;;;;;KAMtC,WAAW,KAAK,SAAS,IAAI,YAAY;;UAGpC;;WAEN;;WAEA,eAAe;;WAEf;;WAEA,MAAM;;WAEN,KAAK;;;UAIC;;WAEN;;WAEA,mBAAmB;WACnB,KAAK;;WAEL;;WAEA,MAAM;;WAEN,gBAAgB;;WAEhB,gBAAgB;WAChB,SAAS;;;;;;;;EAQlB,KAAK;;WAEI;;;;;;UAOMA;;WAEN;;WAEA,eAAe;;WAEf;;;;;;;EAOT,SAAS,UAAU,UAAU;;;UAId;;WAEN;;WAEA,mBAAmB;WACnB,KAAK;;WAEL;;WAEA,MAAM;;WAEN,gBAAgBA;;WAEhB,SAAS;;WAET,gBAAgB;;WAEhB,UAAU;;WAEV;;;;;;;;EAQT,QAAQ,0BAA0B,UAAU,iBAAiB;;;;;;;;;EAS7D,OAAO,MAAM,KAAK,mBAAmB;;;;;;;;EAQrC,KAAK;;;UAIU;;WAEN;;WAEA,eAAe;;WAEf;;;;;;;EAOT,SAAS,UAAU,UAAU;;;;;;;;EAQ7B,SAAS,kBAAkB,WAAW;;;UAIvB;WACN;WACA,mBAAmB;WACnB,KAAK;;WAEL;WACA,MAAM;WACN,gBAAgB;WAChB,SAAS;WACT,gBAAgB;;WAEhB,UAAU;EACnB,QAAQ,0BAA0B,UAAU,iBAAiB;;;;;;;;;EAS7D,OAAO,MAAM,KAAK,mBAAmB;;;;;;;;;EASrC,IAAI,gBAAgB,WAAW,UAAU,aAAa,UAAU,2BAA2B;;;;;;;;EAQ3F,KAAK;;;KAIK,UAAU,OAAO,cAAc;;UAG1B;;;;;;;WAON,UAAU,OAAO,iBAAiB;;;;;WAKlC,OAAO;;;;;WAKP;;;KAIC,YAAY,SAAS;;KAGrB,SAAS,OAAO,aAAa;;UAGxB;;;;;;;WAON,aAAa,OAAO,iBAAiB;;;;;;KAOpC,SAAS,QAAQ;;;;;;;;;;;;UAaZ,gBAAgB;WACtB,YAAY,SAAS,eAAe;;WAEpC,UAAU,SAAS,eAAe;WAClC;WACA;WACA,WAAW,eAAe,OAAO,eAAe,OAAO,SAAS;;;;;;;;;;WAUhE,SAAS,eAAe,OAAO;;;;;;WAM/B,UAAU,SAAS,eAAe;;;;;;;;;;WAUlC,SAAS,eAAe,OAAO,iBAAiB;;;UAI1C;WACN;;WAEA;;WAEA,KAAK;;WAEL;;WAEA,QAAQ;WACR,MAAM;;WAEN;;WAEA,OAAO,SAAS;;WAEhB,eAAe;;WAEf;;WAEA;;WAEA;WACA,QAAQ;WACR,mBAAmB;;WAEnB;;;UAIM;WACN,QAAQ;WACR,OAAO;WACP,kBAAkB;;WAElB;;;UA2CM;WACN;WACA;EACT,iBAAiB,eAAe,sBAAsB;aAAqB;;;;;;;UAO5D;;WAEN,UAAU;;WAEV,SAAS;;;;;WAKT,QAAQ;;;UAIF,mBAAmB;;WAEzB;;WAEA,kBAAkB;;WAElB;;;UAIM;;WAEN,UAAU;;;;;WAKV,UAAU;;;;;WAKV,QAAQ;;;UAIF;;WAEN;;WAEA;;WAEA,UAAU;;WAEV,QAAQ;;WAER,kBAAkB;;;;;;;;;;;;;wBA6kBb,gBAAgB,IAAI,SAAS,KAAK,SAAS,UAAU,eAAe;;UAyGnE;;WAEN;;WAEA;;;;;WAKA;;;;;WAKA;;;;;;;;;WASA;aAAmB,QAAQ,SAAS;;;;;;WAKpC,kBAAkB;;;UAIZ;WACN,SAAS;;WAET;;WAEA,MAAM;;;;;;;;;EASf,SAAS,UAAU,SAAS,UAAU,cAAc;;;;;;;;EAQpD,IAAI,UAAU,SAAS,UAAU,iBAAiB,QAAQ;;;;;;;;;;;;;;;wBAg0B5C,QAAQ,SAAS,SAAS,cAAc,UAAS,iBAAsB;;;;;;;;;wBA+FvE,QAAQ,SAAS,SAAS,UAAS,kBAAuB,iBAAiB;;;;;;;;;;;;;;;;;wBA8C3E,SAAS,SAAS,SAAS,cAAc,UAAS,SAAyB,mBAAmB,kBAAkB;;;;;;;;;;;;wBAyB1G,IAAI,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,aAAkB,QAAQ;;;;;;;;wBAqB/G,OAAO,OAAO,WAAW,eAAe,QAAQ;;;;;;;wBAqBhD,QAAQ,OAAO,qBAAqB;;;;;;;;wBAkBpC,SAAS,OAAO,qBAAqB;;KC9yFzC,qBAAqB;;UAGhB;;;;;WAKN,MAAM;;WAEN,OAAO,SAAS;;;;;;;UAQV;WACN,QAAQ,SAAS,eAAe;WAChC,WAAW,SAAS;WACpB,WAAW;;WAEX;;WAEA,mBAAmB;WACnB,oBAAoB;;;;;;UAOd,oBAAoB,KAAK,QAAQ;WACvC,QAAQ;WACR,oBAAoB;;;;;;UAOd;WACN,MAAM;WACN;WACA;;;qBAIE,mBAAmB;WACrB,oBAAoB;;;;;;EAO7B,YAAY,oBAAoB;;;UAiEjB;;WAEN;;WAEA,QAAQ,SAAS,eAAe;;;;;WAKhC;;;;;;;;;;;;;;;;;;;;wBAqBK,aAAa,cAAc,MAAM,mBAAmB,MAAM,YAAY;;;;;;;;;;;;;;;;;;;wBA0RtE,eAAe,iBAAiB,cAAc,MAAM,UAAU,gBAAgB;;;;;;;;;;;;;;;;;;;;;wBAwJ9E,iBAAiB,iBAAiB,gBAAgB,MAAM,YAAY,kBAAkB;;;;;;;;;;;;;;wBA0EtF,cAAc,OAAO,OAAO,gBAAgB,cAAc;;;;;;;;;;;;;;;;wBAgC1D,gBAAgB,SAAS,SAAS,gBAAgB,cAAc;;KCrrBpE,eAAe,KAAK;;UAGf;;WAEN;;WAEA;;WAEA,QAAQ;;WAER,WAAW,SAAS;;WAEpB,OAAO,iBAAiB,MAAM,YAAY;;;UAIpC;WACN;WACA;WACA,OAAO;WACP,UAAU,SAAS;WACnB,OAAO,iBAAiB,MAAM,YAAY;;;;;WAK1C;;;;;;;;;;;;;wBAwDK,eAAe,YAAY,qBAAqB;;;;;;;;;;;;wBA2BhD,WAAW,oBAAoB,aAAa;;;;;;;;;;;;;wBA6C5C,SAAS,UAAU,SAAS,eAAe,YAAY;;;;;;;;;;KCvJ3D;;UAGK,WAAW;;WAEjB,gBAAgB;;WAEhB,YAAY,SAAS,eAAe;;;UAI9B,SAAS;;WAEf,YAAY,MAAM;;WAElB,WAAW,MAAM,MAAM,mBAAmB,SAAS;;;UAI7C,WAAW,GAAG;;WAEpB;;WAEA,MAAM;;WAEN,eAAe;WACf,MAAM;;;UAIA,SAAS,GAAG;WAClB,MAAM;;WAEN,SAAS,WAAW,GAAG;;;UAIjB,YAAY,GAAG;;WAErB,QAAQ;;WAER,SAAS;;WAET,SAAS,WAAW,GAAG;;WAEvB;;;;;;;;;;;wBAYK,iBAAiB,kBAAkB,gBAAgB,KAAK,YAAY,SAAS,eAAe,QAAQ,OAAO,WAAW;;;;;;;;wBAqBtH,OAAO,kBAAkB,QAAQ,WAAW,IAAI,iBAAiB,SAAS;;;;;;;;;wBAY1E,SAAS,kBAAkB,QAAQ,WAAW,IAAI,MAAM;;;;;;;;;;;;wBA8BxD,OAAO,GAAG,kBAAkB,QAAQ,WAAW,IAAI,MAAM,SAAS,IAAI,MAAM,IAAI,SAAS,GAAG;;;;;;;;;;;;wBAyC5F,UAAU,GAAG,kBAAkB,QAAQ,WAAW,IAAI,MAAM,SAAS,GAAG,IAAI,SAAS,IAAI,YAAY,GAAG;;UCxKvGC;WACN;WACA;WACA;;;UAIM;;WAEN;;WAEA;;WAEA;;;;;;;;;;;;wBAiBK,SAAS,iBAAiBA,WAAS,OAAO,OAAO;;;;;;;;wBAkBjD,IAAI,OAAO,MAAM,eAAe;;UC9C/B;;WAEN,eAAe;;WAEf;WACA,MAAM;WACN;;WAEA;;WAEA,SAAS;;;KAUR;WAEG;;WAEA,gBAAgB;;WAEhB,MAAM;;;;;;;EAOf,KAAK,GAAG,kBAAkB;;WAEjB;WAAoB;WAAyB,aAAa;;;;;;;;;;wBA+DzD,WAAW,OAAO,mBAAmB,OAAO,OAAO;;;;;;KA8GvD;WAEG;;WAEA,KAAK;;WAEL;;WAEA,MAAM;;WAEN,mBAAmB;;;;;WAKnB,OAAO;;WAEP;WAAoB;WAAyB;;;;;;;;;;;;wBAY5C,QAAQ,OAAO,OAAO,gBAAgB,wBAAwB;;;;;;;;;wBAuB9D,YAAY,eAAe,OAAO,kBAAkB;;KClQxD;;;;;KAMA;;UAGK;;WAEN;;WAEA,QAAQ;;WAER;;WAEA,QAAQ;;WAER;;;UAIM;;WAEN;;WAEA;;WAEA;aAA6B;aAA4B;;;WAEzD,QAAQ,SAAS;;;;;;;WAOjB,YAAY;;;UAIN;;WAEN;;WAEA;;WAEA;;;UAIM;;WAEN,SAAS;;WAET,OAAO,0BAA0B;;WAEjC,QAAQ;;;UAIF;;WAEN;;WAEA;;WAEA;;WAEA,oBAAoB;;;UAId;;;;;WAKN;;WAEA;;;;;WAKA;;WAEA;;;;;;;;;WASA,OAAO;;;;;;WAMP;;;;;;WAMA;;;;;;WAMA;;;KAIC;;UAGK;;WAEN;;WAEA,iBAAiB;;WAEjB;;;UAIM;;;;;;WAMN;;;;;;;UAQM;;WAEN;;WAEA;;WAEA;;WAEA;;;;;;;UAQM;;WAEN,qBAAqB;;WAErB,WAAW;;WAEX,OAAO;;WAEP,QAAQ;;WAER,SAAS;;WAET,aAAa;;WAEb;;;UAIM;;WAEN;;WAEA;;WAEA;;;;;;qBAOE;;KAGD;WAAyB;WAAmB,KAAK;;WAAoB;WAAoB,iBAAiB;;;;;;;;;qBASzG,YAAY;;;;;;;;;;;wBAo/BT,MAAM,SAAS,eAAe,eAAe;;;;;;;;;;wBAkX7C,MAAM,SAAS,eAAe,eAAe;;;;;;;;;wBAkB7C,aAAa,SAAS,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;KAyC1C;;UAGK;;WAEN,MAAM;;WAEN,gBAAgB;;WAEhB;;;;;;;;;;;;;wBA8IK,YAAY,SAAS,yBAAyB;;;;;qBChuDjD,WAAW;;;;;;;;;;;;;;;qBA+JX,cAAc;;qBA0Ed,gBAAgB,SAAS,eAAe;;KA2DzC;;qBAGC,0BAA0B;;UAGtB;WACN;;WAEA,gBAAgB;;WAEhB,KAAK;;;UAiDC;;WAEN,QAAQ;;WAER,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KA8BH,iBAAiB,gBAAgB,OAAO,mBAAmB,eAAe,oBAAoB;;UAGzF;;;;;WAKN,OAAO;;;;;;;;;wBAUF,kBAAkB,UAAS,cAAmB;;;;;;;;;wBAu7B9C,eAAe,MAAM,OAAO,oBAAoB;;;;;;;;;wBAYhD,QAAQ,OAAO,iBAAiB;;UAsC/B;;;;;;;;WAQN,WAAW,MAAM,OAAO,QAAQ;;WAEhC;;;;;WAKA;;;;;;;;;;wBAeK,cAAc,UAAS,iBAAsB;;qBA+DhD,aAAa,SAAS,eAAe;;;;;;;;;wBAiClC,SAAS,QAAQ,yCAAyC;;;;;qBAiB7D,aAAa,SAAS,eAAe;;qBAmErC,aAAa;;qBAGb;;UC7nDI;WACN;WACA;WACA;;;KAIC,iBAAiB,gBAAgB;;UAG5B;WACN;WACA;;WAEA;;;;;;;;wBASK,WAAW,gBAAgB,sBAAsB;;;;;;;wBAkBjD,UAAU,gBAAgB,sBAAsB;;;;;;;;wBAkBhD,YAAY,gBAAgB,sBAAsB;;;;;;;;;wBAmBlD,eAAe,gBAAgB,YAAY;;;;;;;;wBAiB3C,OAAO,gBAAgB;;qBC5F1B;;KAGD,eAAe;;UAGV;WACN,MAAM;WACN;;WAEA;;WAEA;;;qBAIE,oBAAoB;;;;;;;;;;;KA4CrB;;UAGK;WACN;WACA,OAAO;WACP;;;UAIM;WACN;WACA;WACA,MAAM;WACN;WACA,SAAS;WACT,MAAM,SAAS,OAAO,MAAM;;;qBAM1B,qBAAqB;;UCvEjB;;WAEN;;;;;;WAMA,gBAAgB;;;;;;;;;;;;;;;;;;;;;;wBAqDX,UAAU,SAAS,SAAS,cAAc,UAAS;;;;;;;;;;;;;;;wBA0BnD,YAAY,SAAS,SAAS,mBAAmB,OAAO,eAAe,UAAS,KAAK,mCAAwC;;KCzFjI,WAAW;;;;;KAMX,UAAU,sBAAsB,cAAc;;;;;KAM9C,SAAS,MAAM,MAAM,SAAS,SAAS,UAAU,SAAS,eAAe,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAuCjF;WACN,MAAM,SAAS,eAAe,WAAW,iBAAiB;WAC1D,OAAO,SAAS,eAAe;WAC/B,MAAM,SAAS,eAAe;WAC9B,WAAW,SAAS,eAAe;WACnC,UAAU;WACV,YAAY;WACZ;WACA;WACA,QAAQ,OAAO;WACf,WAAW;WACX,SAAS,gBAAgB,eAAe;WACxC,WAAW,iBAAiB,gBAAgB;WAC5C;WACA;WACA,WAAW,SAAS,wBAAwB;WAC5C;WACA,OAAO,SAAS,eAAe,qBAAqB,kBAAkB,iBAAiB,qBAAqB;;;;;;UAOtG;;WAEN,iBAAiB;;WAEjB,OAAO;;WAEP,IAAI;;;;;WAKJ,SAAS;;WAET;;;qBAaE;WACF,OAAO;EAEhB,YAAY,OAAO;;cAKf;;KAGM,eAAe;YAAoD;aAAqB;;;;;;;;;wBAQpF,UAAU,iBAAiB,SAAS;;;;;qBAcvC,SAAS,SAAS,eAAe;;wBAa9B,SAAS;;;;;;;wBA4CT,gBAAgB,SAAS,eAAe;;;;;;;;;;;wBA6exC,kBAAkB,UAAS,iBAAsB,SAAS,eAAe;;;;;;;;;;;;;wBAyhBzE,aAAa,UAAS,kBAAuB,eAAe,OAAO;;;;;;;;;;;;;;;wBAqDnE,aAAa,UAAS,kBAAuB,eAAe,OAAO,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;wBAkDpF,eAAe,UAAS,gBAAqB,OAAM,cAAmB;;KC7yCjF,UAAU,SAAS,eAAe;;;;;;;;;;wBAmBvB,aAAa,MAAM,MAAM,SAAS,UAAU;;;;;;;;;;;;;;;;wBAmI5C,YAAY,SAAS,KAAK,qBAAqB,iBAAiB;;;;;;;;;wBAwChE,YAAY,SAAS,SAAS,eAAe;;;;;;;;;;;;;KClLjD;;UAGK;;WAEN;;WAEA;;WAEA;;;UAIM;WACN,YAAY;;WAEZ;WACA,OAAO;;;UAID;;WAEN;;;;;;;;;WASA,SAAS,YAAY;;;;;;;;;;;;;;;;;wBAgEhB,UAAU,SAAS,KAAK,qBAAqB,cAAc,UAAS,4BAAiC;;;;;UC5DpG;WACN,aAAa,SAAS,eAAe;WACrC,UAAU,SAAS,eAAe;;;UAI5B;;WAEN;;WAEA,cAAc;;WAEd,UAAU;;WAEV,UAAU;;;;;WAKV;;;;;;WAMA,QAAQ;;;UAIF,4BAA4B;;;;;WAKlC,UAAU;;WAEV,SAAS;;;;;;;;;;;;;;;;wBAomBJ,UAAU,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,mBAAwB;;;;;;;;;;;;;;;;wBA+C7G,aAAa,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,sBAA2B,QAAQ;;;;;;qBA6oB9H,iBAAiB;;;;;;;;;wBA2Bd,mBAAmB,UAAS,iBAAsB;;;;;;;;;;;UCr4CxD;WACC,eAAe;WACf;WACA,MAAM;WACN;WACA;;;UAID;;WAEC;WACA;WACA,KAAK;WACL,iBAAiB;;;UAIlB;EACR,aAAa;WACJ,MAAM;;;KAIZ;UAEK,oBAAoB;WACnB;WACA,MAAM;WACN,gBAAgB;WAChB;EACT;EACA;EACA,QAAQ;;EAER;WACS,MAAM;WACN;WACA;WACA;;UAGD,iBAAiB;WAChB;WACA,gBAAgB;WAChB,MAAM;EACf;EACA,OAAO;;UAGC,kBAAkB;WACjB;WACA,eAAe;;UAGhB,gBAAgB;WACf;WACA,KAAK;WACL,KAAK;;UAGN,mBAAmB;WAClB;WACA;WACA;WACA,gBAAgB;EACzB;;;;;;;;;KAUU,QACR,cACA,WACA,YACA,UACA;WACW;EAAW,aAAa;;WACxB;WAAsB,gBAAgB;;WACtC;WAAoB,gBAAgB;;UAEzC;WACC,gBAAgB;;WAEhB;;WAEA;;WAEA;;WAEA,SAAS,SAAS;;WAElB;;;;;;;;;;KAWC,iBACP;WACU;WACA;WACA;WACA;WACA;WACA,KAAK;MAEf;WAAoB;WAAyB,QAAQ;MACrD;WAAoB;WAAuB,QAAQ;;;UAMvC;;WAEN;;WAEA;;WAEA,UAAU;;WAEV,cAAc;;WAEd,UAAU;;WAEV,UAAU;;;;;;;;;;;wBA68BL,aAAa,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,iBAAsB;;;;;;;;;;;wBAe9G,YAAY,SAAS,SAAS,eAAe,eAAe,UAAS,iBAAsB;;;;;;;;;;;;;wBAqC3F,QAAQ,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,iBAAsB;;;;;;;;;;;;;KCvoC7G;;UAGK;WACN,QAAQ;WACR,mBAAmB;;;UAIb;;WAEN,UAAU;;WAEV;;;UAIM;;WAEN;;;;;;WAMA;;WAEA,cAAc;;;;;WAKd,iBAAiB,QAAQ;;WAEzB,UAAU;;;;;;;;;WASV,SAAS,cAAc,SAAS,SAAS,OAAO,cAAc,SAAS;;;;;WAKvE,UAAU;;;;;;;;WAQV,SAAS,YAAY;;WAErB;;;;;;;;;WASA;;;KAOC;WAEG;WACA,QAAQ;WACR,kBAAkB;;;;;WAKlB,iBAAiB;;WAGjB;WACA,MAAM;;WAEN,MAAM;;WAEN,OAAO;;WAEP;;;;;;;;;;;;;;;;;;;;wBAqBC,UAAU,YAAY,YAAY,SAAS,YAAY;;;;;;;;;;;;;wBAiIvD,MAAM,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,eAAoB;;UAsEpG,wBAAwB,KAAK;;;;;WAKnC,UAAU;;;;;;;;;;;;;;;;;;;;;;;wBAwJC,SAAS,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,kBAAuB,QAAQ;;KAgE7H;WAEG;;WAEA;;WAEA;;WAGA;;WAEA;;WAEA;WACA;;;UAIE,0BAA0B;;WAEhC;;;;;;;;;;;;;;;;;wBA0BK,WAAW,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,oBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;KCngBnH;;UAGK;;WAEN;;WAEA,KAAK;;WAEL,SAAS,SAAS,eAAe;;WAEjC;;WAEA,eAAe;;WAEf;;WAEA;;WAEA,MAAM;;;UAIA;WACN,YAAY;;WAEZ;WACA,OAAO;;;UAID;;;;;;;;;WASN;;;;;WAKA,iBAAiB;;;;;WAKjB,SAAS,SAAS,wBAAwB;;;;;WAK1C,mBAAmB;;;;;WAKnB,cAAc;;;;;WAKd;;WAEA,gBAAgB;;WAEhB,QAAQ,SAAS;;WAEjB;;WAEA;;WAEA,UAAU;;;;;;;;WAQV,SAAS,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAy/ChB,SAAS,SAAS,SAAS,cAAc,UAAS,0BAA+B;;;;;;;;;;;;;;;;;;;;;wBC7oDjF,WAAW,GAAG,iBAAiB,GAAG,iBAAiB,SAAS,YAAY;;KCV5E;WACG;;WAEA;;WAEA;;WAEA,MAAM;;WAEN,KAAK;;;;;WAKL;;;UAIE;;;;;WAKN;;;;;;;;WAQA,SAAS;;;;;;UAOH;;WAEN;;WAEA,SAAS;;;UAIH;;;;;;;;;WASN,SAAS,YAAY;;;;;;WAMrB,SAAS;;;;;;;;;;;;;;;;;;;wBAiIJ,WAAW,gBAAgB,QAAQ,UAAS,eAAoB;;;;;;;;;;;;;;;;;;;;;;;;;wBA6DhE,YAAY,QAAQ,UAAU,MAAM,gBAAgB,QAAQ,SAAS,SAAS,UAAS,gBAAqB;;UC5P3G;;WAEN;;WAEA;;;UAIM;;WAEN;;WAEA;;WAEA;;WAEA;;WAEA;;;UAIM;;WAEN;;WAEA;;WAEA,WAAW;;WAEX,QAAQ;;;;;WAKR,iBAAiB;;;;;;UAOX;;WAEN,SAAS;;WAET,QAAQ;;WAER,QAAQ;;;;;;;;EAQjB,KAAK,eAAe;;;;;;;EAOpB,MAAM,eAAe;;;;;;;;;;;;;;EAcrB,SAAS,cAAc,cAAc,SAAS,UAAU;;EAExD;;;;;;;EAOA,gBAAgB,UAAU;;;;;;EAM1B,OAAO;;;;;;;;;;;;;;;;;;;;;;wBAmEO,QAAQ,SAAS,SAAS,UAAS,iBAAsB;;UCjKxD,UAAU;;WAEhB,IAAI;;WAEJ;;;UAIM,UAAU;;WAEhB,gBAAgB,UAAU;;WAE1B,OAAO;;;;;;;KAQN,UAAU,MAAM,YAAY,IAAI,UAAU;;UAGrC;;;;;WAKN;;;UAIM,WAAW;;WAEjB,gBAAgB;;;;;WAKhB;;;;;;;;;;;;;;wBAqHK,WAAW,IAAI,OAAO,UAAU,KAAK,UAAS,kCAAuC;;;;;;;;;;;;;;wBAuBrF,QAAQ,IAAI,OAAO,UAAU,KAAK,UAAS,eAAoB,YAAY;;;;;;;;;;wBAkB3E,WAAW,IAAI,OAAO,UAAU,KAAK,UAAS,kCAAuC;;;;;;;;;;;wBAmBrF,UAAU,IAAI,OAAO,UAAU,KAAK,UAAU,SAAS,KAAK,UAAS,eAAoB,YAAY;;;;;;;;;;;;;wBAwCrG,OAAO,IAAI,OAAO,UAAU,eAAe,WAAW;;UCxPrD;;;;;WAKN;;WAEA,gBAAgB;;WAEhB;;WAEA,MAAM;;;UAIA;;WAEN;;WAEA;;WAEA,OAAO;;WAEP,MAAM;;WAEN,gBAAgB;;;UAIV,wBAAwB;;WAE9B,UAAU;;;;;;;;;;;WAWV,UAAU,YAAY,MAAM,YAAY;;;UAIlC,uBAAuB;;;;;WAK7B;;;UAIM;;WAEN,QAAQ;;WAER,UAAU;;WAEV,SAAS;;;;;;UAOH;;WAEN,QAAQ;;WAER,QAAQ;;WAER,SAAS;;;;;;;EAOlB,SAAS,oBAAoB;;;;;;;;;;;;;EAa7B,KAAK,aAAa;;;;;;;;EAQlB,IAAI,YAAY;;;;;;;EAOhB,OAAO;;;;;;;;EAQP,WAAW,UAAU;;;;;;EAMrB,cAAc,SAAS;;;;;;;;;;EAUvB,IAAI,YAAY,UAAU,iBAAiB,QAAQ;;;;;;;;;;;;;wBAcrC,QAAQ,OAAO,oBAAoB;;;;;;UAgDlC,mBAAmB;WACzB;;WAEA;;;;;;;;;;;;;;;wBAgBK,YAAY;EAAU,SAAS;aAA+B;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAsC9D,SAAS,SAAS,SAAS,UAAS,kBAAuB;;UCxQ1D;;EAEf;;EAEA,IAAI;;EAEJ,OAAO;;EAEP,KAAK,GAAG,gBAAgB,MAAM;;;;;;;;;wBAUhB,OAAO,eAAe;;UAOrB;;WAEN;;WAEA,2BAA2B;;WAE3B;;WAEA;;WAEA;;WAEA;;WAEA;;;;;;;;WAQA,QAAQ,eAAe,OAAO,QAAQ,WAAW;;;;;;;;WAQjD,SAAS,eAAe,OAAO,eAAe,6BAA6B;;WAE3E;;WAEA,gBAAgB;;WAEhB,iBAAiB;;WAEjB;;;;;;;;;wBAUK,QAAQ,OAAO,2BAA2B;;;;;;;;;;;;wBAsD1C,SAAS,OAAO,OAAO,SAAS;;;;;UC/G/B;;;;;;;;EAQf,IAAI,YAAY;;;;;;EAMhB,OAAO;;;;;;;EAOP,WAAW,SAAS;;;;;;EAMpB,eAAe,SAAS;;;;;;;EAOxB,KAAK,aAAa;;;UAIH;;WAEN,SAAS;;WAET;;WAEA,UAAU,YAAY,MAAM;;;;;;KAO3B,yBAAyB,SAAS,SAAS,OAAO,wBAAwB;;;;;UAMrE;;WAEN,oBAAoB;;WAEpB;;WAEA,WAAW,KAAK;;;;;;;WAOhB,SAAS,KAAK;;;;;;;;WAQd,QAAQ,KAAK,QAAQ,YAAY;;WAEjC;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA,oBAAoB;;;;;;WAMpB;;WAEA;;WAEA;;WAEA;;;;;;;;;WASA,SAAS,YAAY;;;UAIf;;WAEN;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;;KAIC;WACG;WAAmB,QAAQ;;WAE3B;;WAEA;;WAEA;;WAEA;;WAEA,QAAQ;;WAER,SAAS;;WAET,MAAM;;WAEN,SAAS;;WAET,SAAS;;WAET;;WAEA,QAAQ;;;;;;;;;;;;;;;;;;;;wBA+KP,cAAc,QAAQ,uBAAuB,UAAS,uBAA4B;;UChVjF;;WAEN;;WAEA,gBAAgB;WAChB;;WAEA;;WAEA;;WAEA,OAAO,SAAS,eAAe;;;UAIzB;;WAEN;;WAEA;;WAEA;;WAEA,gBAAgB;;;UAIV;;WAEN;;WAEA;;;;;WAKA;;;UAIM;;WAEN,UAAU,oBAAoB;;WAE9B,gBAAgB;;WAEhB,OAAO;;WAEP,kBAAkB;;WAElB,iBAAiB;;;UAIX;;WAEN;;;;;;;;;;wBAWK,kBAAkB,gBAAgB,OAAO;;;;;;;;;;;;;;;;;;wBAwjBzC,eAAe,SAAS,SAAS,cAAc,UAAS,wBAA6B;;UC5oBpF;;WAEN;;WAEA;WACA;;WAEA,UAAU;;WAEV;;;UAIM;;WAEN;;WAEA;;;UAIM;WACN,kBAAkB;WAClB,kBAAkB;;;UAIZ;;WAEN,SAAS;;;;;;EAMlB,OAAO;;;UAIQ;;;;;WAKN;;;;;;WAMA,SAAS,YAAY;;;;;;;;;;;;;wBAchB,SAAS,UAAU,UAAU;;;;;;;;;;;;;;wBA0C7B,SAAS,KAAK,WAAW,UAAS,gBAAqB;;UA4EtD;;WAEN;WACA,kBAAkB;WAClB,kBAAkB;;;UAIZ;WACN;WACA;;WAEA,SAAS;;WAET,UAAU;WACV;;;KAIC;WAA8B;WAAmB,OAAO;;WAAoB;WAAoB,OAAO;;;UAGlG;WACN,MAAM;WACN;WACA,iBAAiB;;WAEjB,QAAQ;;WAER,YAAY;;;;;;;WAOZ,aAAa;;WAEb;;;;;;KAOC,gCAAgC;WAA+B,QAAQ,SAAS,eAAe;;WAAiC;;;;;;;UAO3H;WACN;WACA;;;;;WAKA,SAAS,SAAS,eAAe;;;;;;;;;WASjC,QAAQ,SAAS,eAAe;;;;;;WAMhC;;;;;WAKA,SAAS,SAAS,eAAe;;WAEjC,QAAQ;;WAER,YAAY;;WAEZ;;;;;;WAMA,aAAa;;;;;;;;;;;KAYZ;WACG,OAAO;;WACP,WAAW;;WACX;;WACA,QAAQ,SAAS,eAAe;;WAChC;;WACA;;;;;;KAMH,kBAAkB,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAihBxC,UAAU,SAAS,KAAK,qBAAqB,KAAK,YAAY;;;;;;;;;;;;wBAuU9D,UAAU,SAAS,KAAK,qBAAqB,gBAAgB,OAAO;;UCzoCnE;WACN,MAAM;WACN,iBAAiB;;;;;;;;;;;;;;;;;;;;;;wBA2XZ,eAAe,kBAAkB;;UAYhC;;WAEN;;;;;;;;;;;;;;;;;;;wBA+DK,gBAAgB,4BAA4B,UAAS,gBAAqB"}
|
|
1
|
+
{"version":3,"file":"index.d.ts","names":["Part","Shape"],"sources":["../src/doc.ts","../src/errors.ts","../src/types.ts","../src/deref.ts","../src/world.ts","../src/ladder.ts","../src/static.ts","../src/typing.ts","../src/facts.ts","../src/evaluate.ts","../src/merge.ts","../src/language.ts","../src/steps.ts","../src/classify.ts","../src/parts.ts","../src/syntax.ts","../src/stdlib.ts","../src/order.ts","../src/context.ts","../src/effects.ts","../src/formula.ts","../src/codec.ts","../src/codec-laws.ts","../src/reference.ts","../src/stepper.ts","../src/agree.ts","../src/conform.ts","../src/same.ts","../src/reads.ts","../src/durable.ts","../src/graph.ts","../src/schedule.ts","../src/generate.ts","../src/meaning.ts","../src/instances.ts","../src/replay.ts","../src/providers.ts"],"mappings":";KACY,mDAAmD;YAAmC,cAAA;;;KAGtF;YAAuC,cAAA;;;KAGvC;;;;;;;;;;;KAYA,4BAA4B;WAAmB;WAAsB,gBAAgB;;;;;;KAMrF;;WAED,MAAM;;WAEN,OAAO;;WAEP;;WAEA,MAAM,SAAS;;;qBAIb;;;;;;;;wBASG,SAAS,iBAAiB,SAAS;;;;;;;;wBAanC,MAAM,QAAQ,YAAY,cAAc;;;;;;;wBAUxC,MAAM,iBAAiB,SAAS;;;;;;;;wBAWhC,UAAU,iBAAiB,SAAS;;;;;;;wBAcpC,SAAS,MAAM,mBAAmB;;;;;;;wBAalC,SAAS,MAAM;;;;;;;;;wBAqBf,WAAW,iBAAiB,SAAS,aAAa;;UAUjD;WACN,UAAU;;WAEV,QAAQ,SAAS,eAAe;;;;;;;;;;wBAW3B,OAAO,gBAAgB,4BAA4B;;;;;;;;;wBAqBnD,MAAM,MAAM,SAAS,OAAO,MAAM;WAAmB;WAAwB,MAAM;IAAgC;;;;;;;wBAUnH,OAAO,eAAe,SAAS;;;;;;;wBAU/B,OAAO,KAAK,WAAW;;;;;;;wBAevB,SAAS,iBAAiB;;;;;;;;;;;;;;;;;;wBA+B1B,UAAU,YAAY;;KC5O1B;;KAqBA,YAAY;;;;;;;UAQP;WACN,MAAM;WACN;WACA,iBAAiB;WACjB;;;KAIC,OAAO;WAA0B;WAAmB,OAAO;;WAAiB;WAAoB,OAAO;;;KAGvG;WAAoB;WAAoB,OAAO;;;;;;;;wBAQ3C,GAAG,GAAG,OAAO,IAAI,OAAO;;;;;;;;;wBAYxB,KAAK,MAAM,WAAW,gBAAgB;WAAiB,iBAAiB;WAAgB;IAAyB;;;;;;;;;wBAejH,OAAO,GAAG,QAAQ,OAAO,IAAI,gBAAgB,QAAQ,OAAO;;;;;qBAS/D,gBAAgB;WAClB,OAAO;;;;;;EAOhB,YAAY,OAAO;;;;;;;;wBAaL,gBAAgB;;;;;;;;;wBAgChB,OAAO,gBAAgB,cAAc;;;;;;;wBAmBrC,SAAS;;;;;;;;;;;;;;;KCzIb;WAEG,MAAM;;WACN,QAAQ,SAAS,eAAe;WAAsB;WAAuC;;WAC7F,aAAa;WAAsB,IAAI;;WACvC,gBAAgB;;WAChB,cAAc;;;;;;;;;;UAUZ;;;;;;;WAON,KAAK;;WAEL;;WAEA;;;;;;WAMA,QAAQ,SAAS,eAAe;;;;;WAKhC,QAAQ;;;;;;;WAOR;;;;;;WAMA;;;;;;;;;;WAUA;;;;;;;;UASM;;;;;;;WAON,SAAS,mBAAmB;;;;;;;WAO5B,SAAS,MAAM;;;UAIT;WACN,aAAa;WACb;;;;;;qBAOE,aAAa,SAAS,eAAe;;;;;;;;;;;;;;;;;wBAkLlC,OAAO,gBAAgB,MAAM,WAAW,UAAU,SAAS,eAAe;;;;;;KAgb9E;WACG;WAAkC;WAA6B,MAAM;;WACrE;WAAkC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAkLjC,KAAK,OAAO,WAAW,UAAU,WAAW,UAAU,SAAS,eAAe;;;;;;;;;;;;;;;;;;;;;;wBAgH9E,KAAK,GAAG,WAAW,GAAG,WAAW,UAAU,SAAS,eAAe,WAAW;;;;;;;;;;;;;;;wBAkE9E,SAAS,MAAM;;;;;;;;;;wBAiNf,WAAW,eAAe,UAAU,SAAS,eAAe,oBAAoB;;;;;qBCtwCnF;;;;;UAMI;YACL;;WAED;;;;;;;;EAQT,MAAM,KAAK,MAAM;;;;;;;;;EASjB,KAAK,KAAK;;;;;;EAMV;;;;;;;;EAQA,SAAS,eAAe;aAAmB,OAAO;;;;;;;;;;EASlD,OAAO,KAAK;aAAiB,OAAO;;;;;;;;;;EASpC,SAAS,GAAG,YAAY,IAAI;;;KAIlB;;;;;;;wBAQI,YAAY,iBAAiB,SAAS;;qBAKzC;;KAGD,eAAe;;;;;KAMf,wBAAwB;;;;;;;;;;UAWnB;WACN,MAAM;WACN,OAAO,SAAS;WAChB,OAAO;WACP,OAAO;WACP,eAAe;;;;;;;UAQT;;;;;;;;GAQd,KAAK,UAAU,KAAK,MAAM;;;;;;;;;;WAUlB,OAAO,KAAK,UAAU,KAAK;;;;;;KAO1B;WAAwB;WAAmB,OAAO;;WAAqB;WAAoB;WAAyB,OAAO;;;UAGtH;;WAEN,MAAM;;WAEN,MAAM;WACN,SAAS;;;;;;;;;EASlB,MAAM,OAAO,OAAO,KAAK,MAAM;;;;;;;;;;EAU/B,KAAK,OAAO,OAAO,KAAK;;;;;;;;WAQf,SAAS,KAAK,KAAK,OAAO;;;UAIpB;;WAEN,MAAM;;WAEN,MAAM;;;;;;;;;UAUA;;;;;;;GAOd,OAAO,YAAY;;;;;;;WAOX,QAAQ,OAAO,kBAAkB;;;;;;;;;;;UAY3B;WACN,OAAO;WACP,SAAS,SAAS,eAAe;WACjC,UAAU,SAAS,eAAe;WAClC;WACA,iBAAiB;WACjB,SAAS,mBAAmB;;;KAI3B;;UAGK;WACN,MAAM;WACN,OAAO;WACP,IAAI;;;KAIH;;KAGA;WACG;WAAmB,OAAO;WAAgB,eAAe;;WACzD;WAAoB,MAAM,cAAc;WAAoB;WAAyB,eAAe;;;UAGlG;;WAEN;;;;;;;;;;;;;;wBAiIK,UAAU,KAAK,WAAW,OAAO,OAAO,KAAK;WAAiB,OAAO;WAAgB,IAAI;;;;;;;;wBA8BzF,MAAM,iBAAiB,SAAS;WAAsB,gBAAgB;;;;;;;;;;wBAoBtE,WAAW,OAAO,QAAQ;;;;;;;wBAe1B,QAAQ,QAAO,QAAQ,WAAgB;;;;;;;UA0FtC;;WAEN;;WAEA,KAAK;;;;;;;;EAQd,QAAQ,KAAK,UAAU;;;;;;;;;;;;;;;;;;;wBAgET,YAAY,KAAK,WAAW,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;wBA0DvD,QAAQ,KAAK,WAAW,KAAK,SAAS,0BAA0B,UAAS,iBAAsB;;;;;;;wBA4I/F,aAAa,OAAO;;KCryBxB;;;;;;;;;;;;;;;;;;;;;KAsBA;WACG;;WACA;WAAwB;WAAsB;WAA4B,2BAA2B;WAAmB,SAAS;;WACjI;WAAwB;WAAsB,OAAO;WAAgB;WAA6B,SAAS;;WAC3G;WAAuB;WAAsB,OAAO;WAAgB,SAAS;;WAE7E;WACA,4BAA4B,SAAS,eAAe;WACpD;WACA;WACA,OAAO;WACP;WACA,SAAS;;WAET;WAAwB;WAAsB,SAAS;;WACvD;;WACA;WAA0B;WAA0B;WAAuB;;WAC3E;WAAuB,iBAAiB;;;KAG3C,YAAY;;;;;;;;;;KAWZ;WACG;;WACA,iBAAiB;;WACjB,iBAAiB;;WACjB,iBAAiB;WAAgB;;WACjC;;;;;;UAME;WACN,OAAO;;WAEP,uBAAuB;;WAEvB;;;;;;;;;;;;;KAcC;WACG;WAAuB,wBAAwB;;WAC/C;WAAuB,wBAAwB;;WAC/C;WAAuB,eAAe;WAAgB,wBAAwB;;WAM9E;WAAwB,eAAe;WAAgB,wBAAwB;;;;;;;;;;UAU7E;WACN,wBAAwB;WACxB;;;;;;;;;;;;;;;;;;;;;UAsBM;WACN;WACA;WACA,gBAAgB;WAChB,iBAAiB;WACjB;WACA,kBAAkB;;;;;;;;;;;;;;;;;;;UAoBZ;WACN;WACA;aAAkB,MAAM;aAAe,SAAS;;WAChD,UAAU;WACV,WAAW;WACX,UAAU;WACV,SAAS;;;;;;;;;;;;KAaR;WAAgC,MAAM;WAAe,SAAS;;;KAG9D;WACG;WAAmB;;WACnB;WAAmB;WAAuB,MAAM;WAAe,SAAS;;WACxE;WAAoB;;;;;;;;;;UAalB;WACN,OAAO;WACP;;;qBAIE;;qBAGA;;KAGD;WAA0B;WAAmB,OAAO;WAAe;;WAA6B;WAAoB;;;;;;;;;wBA4BhH,WAAW,oBAAoB;;;;;;;;wBAkB/B,UAAU,oBAAoB;;;;;;;;;;;;;;;;;UAwB7B;WACN,YAAY,SAAS,eAAe;WACpC,OAAO,SAAS,eAAe;WAC/B,aAAa,SAAS,eAAe;WACrC,cAAc,SAAS,eAAe;WACtC,KAAK,SAAS,eAAe;WAC7B;;;;;;UAOM;;WAEN;WACA,UAAU;;;KAIT;WAAoB;WAAmB;WAAoC,UAAU;;WAAoB;WAAoB;;;;;;;;;wBASzH,SAAS,oBAAoB;;KAUjC;WAAoB;WAAmB,OAAO,SAAS,eAAe;WAAiB;;WAA2B;WAAoB;;;;;;;;;;wBAUlI,SAAS,2BAA2B,gBAAgB;;;;;;;;wBAqBpD,QAAQ;;;;;;;;;wBAYR,YAAY;;;;;;;;wBA2BZ,aAAa,MAAM;;;;;;;UAWlB,aAAa;;;;;WAKnB,OAAO,SAAS;;WAEhB,QAAQ;;WAER,iBAAiB;;;;;;;WAOjB,gBAAgB;;WAEhB,OAAO;;;;;;;WAOP;;;;;;;WAOA,cAAc;;;;;WAKd,SAAS;;;;;WAKT,OAAO;;WAEP;;;;;;KAOC,cAAc,SAAS;WAAyD;;;;;;;;;;;;wBAY5E,cAAc,MAAM,MAAM;;UAOzB;WACN,OAAO,SAAS,eAAe;WAC/B,WAAW;;;KAIV;WAAmB;WAAsB,gBAAgB;;;KAGzD,aAAa,OAAO,YAAY;;;;;UAM3B;WACN,OAAO,SAAS,eAAe;;;;;WAK/B,UAAU,SAAS;WACnB,WAAW;;;;;;;;;;;KAYV;WACG;WAAmB,MAAM;WAAe,eAAe;WAAgB;;WACvE;WAAoB;WAA+E,eAAe;;;;;;;;wBAkBjH,OAAO,OAAO,yBAAyB,SAAS;;;;;;;wBAUhD,QAAQ,OAAO,yBAAyB,SAAS;;;;;;;wBAUjD,YAAY,OAAO,yBAAyB,SAAS;;;;;;;;;;;;wBAqErD,WAAW,OAAO,OAAO,MAAM,UAAU;;;;;;;;wBAqDzC,cAAc,SAAS,SAAS,eAAe,eAAe;;;;;;;;wBA8B9D,aAAa,cAAc,MAAM,OAAO;;;;;;;wBAaxC,cAAc;;qBC5rBjB;;KAGD,eAAe;;KAGf;;;;;;;;;KAUA;;UAGK;WACN,MAAM;WACN,SAAS;;WAET;;WAEA;;WAEA,SAAS;;;UAIH;WACN;;WAEA;;WAEA,OAAO;;WAEP;WACA,gBAAgB;;;;;;UAOV;WACN,OAAO;WACP,MAAM,SAAS;;;UAIT;;WAEN;;;;;;;;;;wBAeK,OAAO,OAAO,OAAO,MAAM,UAAU;;;;;;;;wBAYrC,UAAU,OAAO,OAAO,MAAM,UAAU;;;;;;;;;;;;;;;wBAwDxC,IAAI,OAAO,OAAO,KAAK,QAAQ,cAAc,UAAS,aAAkB;;UClIvE;;WAEN,gBAAgB;;WAEhB,aAAa;;WAEb,SAAS;;WAET,eAAe;;WAEf,KAAK;;WAEL;;WAEA,OAAO;;WAEP,oBAAoB;;WAEpB;;WAEA,OAAO;;WAEP,OAAO;;WAEP;;;;;WAKA,gBAAgB;;WAEhB,mBAAmB;;;UAIb;;WAEN,gBAAgB;;WAEhB,aAAa;WACb;WACA;;;UAIM;;WAEN;;WAEA;;WAEA,gBAAgB;;;;;;WAMhB,WAAW,SAAS;;;;;;;;;;;;;;wBAyHf,KAAK,OAAO,OAAO,cAAc,QAAQ,OAAO,4BAA4B,UAAS;;UAwGpF;;WAEN,OAAO;;WAEP,gBAAgB;;WAEhB,aAAa;;WAEb,eAAe;WACf;;WAEA;;WAEA;;;;;;;;;;;;wBAaK,OAAO,OAAO,OAAO,cAAc,UAAS,uBAA4B;;;;;;;;;;;wBAmDxE,QAAQ,OAAO,OAAO,cAAc,SAAS,KAAK,oBAAoB,UAAS;;;;;;;;;;KAmBnF;WAA4C;WAAsB;;;;;;;;;;;;;;wBAc9D,QAAQ,OAAO,OAAO,cAAc,SAAS,OAAO,aAAa,WAAW,UAAS;;UAiBpF;WACN,MAAM;;WAEN,gBAAgB;WAChB;;WAEA,cAAc;;WAEd,WAAW;;WAEX,QAAQ;;;UAIF;;WAEN;;WAEA;;;;;WAKA,gBAAgB;;;;;;;;;WAShB;;;;;;WAMA;;WAEA,SAAS;;;;;;;;WAQT;;;;;WAKA,YAAY;;;UAIN;;WAEN,MAAM;;WAEN,iBAAiB;;WAEjB,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAqIZ,MAAM,SAAS,SAAS,cAAc,UAAS,wBAA6B;;;;;;;;;;;;;;;;;;;wBAsB5E,UAAU,SAAS,SAAS,cAAc,UAAS,eAAoB;;;;;;;;UAetE;;;;;WAKN;;;;;WAKA,eAAe;;WAEf;;WAEA;;WAEA;;WAEA;;;;;WAKA,cAAc;WACd;;;UAIM;;;;;WAKN;;;;;;;;;;;;;;;;;;;;wBA0BK,WAAW,SAAS,SAAS,0BAA0B,UAAS,wBAA6B;;UC7rB5F;;WAEN,mBAAmB;;WAEnB,KAAK;;WAEL,UAAU;;WAEV,0BAA0B;;WAE1B;WACA,SAAS;;;;;;;;EAQlB,OAAO,eAAe,QAAQ;;;;;;;;EAQ9B,SAAS,eAAe;;;;;;;;;;EAUxB,SAAS,eAAe;;;;;;;;;EASxB,SAAS,eAAe,eAAe;;;;;;;EAOvC,OAAO,eAAe;;;;;;;;EAQtB,SAAS,eAAe,QAAQ;;;UAIjB;WACN,cAAc;WACd,aAAa;;;UAIP;;WAEN,SAAS;;WAET;;WAEA,QAAQ,SAAS,eAAe;;;;;WAKhC,QAAQ,KAAK;;WAEb,kBAAkB;;WAElB;;;;;;;;;;;UAYM;;WAEN,QAAQ,SAAS,eAAe;;WAEhC,OAAO;;WAEP,QAAQ;;WAER,QAAQ;;;;;;qBAON,WAAW;;UAGP;;WAEN,gBAAgB;WAChB;WACA,WAAW;WACX,QAAQ;;;;;;;UAQF;;WAEN;;;;;;;;;WASA,QAAQ,OAAO,WAAW,eAAe,UAAU;;;;;;;;;WASnD,QAAQ,OAAO,WAAW,SAAS,SAAS,yBAAyB;;;;;;;;WAQrE,0BAA0B;;WAE1B;;WAEA;;;;;;;WAOA,SAAS,OAAO;;;;;;;WAOhB,UAAU,OAAO,cAAc;;;;;;KAO9B;;WAGG,aAAa;;WAEb;;WAEA;;;WAIA,aAAa;;WAEb;;;UAIE;;WAEN,gBAAgB;;WAEhB,aAAa;;WAEb,MAAM;;WAEN,WAAW;;WAEX;;;UAIM;;WAEN,gBAAgB;;WAEhB,MAAM;;;;;;;;;;wBAWD,aAAa;WAAmB,iBAAiB;GAAW,UAAU,SAAS,eAAe,oBAAoB;;;;;;UCpOjH;;WAEN,MAAM;;WAEN,eAAe;;;;;WAKf;;WAEA;;WAEA;;WAEA,eAAe;;;;;WAKf,gBAAgB;;WAEhB,aAAa;;;UAIP;;;;;WAKN,gBAAgB;;WAEhB,MAAM;;;;;WAKN;;;;;WAKA;;WAEA;;WAEA;;;UAIM;;WAEN;;;;;;;WAOA;;;;;;;;WAQA,YAAY,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAsIb,QAAQ,SAAS,SAAS,cAAc,UAAS,eAAoB;;;;;;;;;;wBC/KrE,YAAY,QAAO,SAAS,0BAA+B,gBAAe,OAAY,OAAM,QAAe;;;;;;;wBAU3G,QAAQ,MAAM;;;;;;;;;;wBAad,QAAQ,eAAe,OAAO,MAAM;;;;;;;;;;wBAiBpC,OAAO,QAAQ,SAAS,MAAM,UAAU;;;;;;;;;wBAoBxC,cAAc,YAAY,OAAO,YAAY,iBAAiB;;;;;;;;;;wBAkC9D,SAAS,gBAAgB,wBAAwB,eAAe,OAAO,eAAe,iBAAiB;;;;;;;;;;wBA2BvG,WAAW,gBAAgB,wBAAwB,eAAe,OAAO,0BAA0B;;;;;UAclG;;WAEN,IAAI;;;;;;;EAOb,OAAO,mBAAmB;;;;;;;KAoKhB,QAAQ,UAAU,kBAAkB;;UAG/B;;WAEN;;WAEA;;WAEA,eAAe;WACf;;WAEA;;WAEA;;WAEA,gBAAgB;;WAEhB,SAAS;;;;;;;WAOT;;;;;WAKA,UAAU;;;;;;;UAQJ;;WAEN;;;;;WAKA,SAAS;;;;;;WAMT;;;;;WAKA;;WAEA,gBAAgB;;;;;;;KA4Df,WAAW,QAAQ;;qBAGlB;;;;;UAMI;;;;;;;WAON,WAAW,aAAa;;;;;;;;;;WAUxB,QAAQ,aAAa,4BAA4B;;;;;;qBAuD/C;;;;;UAmBI;WACN,SAAS;;WAET;;WAEA;;;;;;;EAOT,OAAO;;;;;;;;;EASP,QAAQ,KAAK,SAAS,0BAA0B,UAAU,iBAAiB;;;;;;;;;;;EAW3E,OAAO,KAAK,SAAS,MAAM,KAAK,kBAAkB,gBAAgB,QAAQ;;;;;;;;;;;EAW1E,UAAU,KAAK,SAAS,MAAM,KAAK,kBAAkB,gBAAgB,QAAQ;;;;;;;;EAQ7E,IAAI,sBAAsB,UAAU,UAAU,aAAa,UAAU,2BAA2B;;;;;;;;;;EAUhG,cAAc,UAAU,SAAS,uBAAuB;;;;;;;;;UAUzC;WACN;WACA;;;;;;;KAQC,QAAQ,KAAK,SAAS,IAAI,YAAY;;;;;KAMtC,WAAW,KAAK,SAAS,IAAI,YAAY;;UAGpC;;WAEN;;WAEA,eAAe;;WAEf;;WAEA,MAAM;;WAEN,KAAK;;;UAIC;;WAEN;;WAEA,mBAAmB;WACnB,KAAK;;WAEL;;WAEA,MAAM;;WAEN,gBAAgB;;WAEhB,gBAAgB;WAChB,SAAS;;;;;;;;EAQlB,KAAK;;WAEI;;;;;;UAOMA;;WAEN;;WAEA,eAAe;;WAEf;;;;;;;EAOT,SAAS,UAAU,UAAU;;;UAId;;WAEN;;WAEA,mBAAmB;WACnB,KAAK;;WAEL;;WAEA,MAAM;;WAEN,gBAAgBA;;WAEhB,SAAS;;WAET,gBAAgB;;WAEhB,UAAU;;WAEV;;;;;;;;EAQT,QAAQ,0BAA0B,UAAU,iBAAiB;;;;;;;;;EAS7D,OAAO,MAAM,KAAK,mBAAmB;;;;;;;;EAQrC,KAAK;;;UAIU;;WAEN;;WAEA,eAAe;;WAEf;;;;;;;EAOT,SAAS,UAAU,UAAU;;;;;;;;EAQ7B,SAAS,kBAAkB,WAAW;;;UAIvB;WACN;WACA,mBAAmB;WACnB,KAAK;;WAEL;WACA,MAAM;WACN,gBAAgB;WAChB,SAAS;WACT,gBAAgB;;WAEhB,UAAU;EACnB,QAAQ,0BAA0B,UAAU,iBAAiB;;;;;;;;;EAS7D,OAAO,MAAM,KAAK,mBAAmB;;;;;;;;;EASrC,IAAI,gBAAgB,WAAW,UAAU,aAAa,UAAU,2BAA2B;;;;;;;;EAQ3F,KAAK;;;KAIK,UAAU,OAAO,cAAc;;UAG1B;;;;;;;WAON,UAAU,OAAO,iBAAiB;;;;;WAKlC,OAAO;;;;;WAKP;;;KAIC,YAAY,SAAS;;KAGrB,SAAS,OAAO,aAAa;;UAGxB;;;;;;;WAON,aAAa,OAAO,iBAAiB;;;;;;KAOpC,SAAS,QAAQ;;;;;;;;;;;;UAaZ,gBAAgB;WACtB,YAAY,SAAS,eAAe;;WAEpC,UAAU,SAAS,eAAe;WAClC;WACA;WACA,WAAW,eAAe,OAAO,eAAe,OAAO,SAAS;;;;;;;;;;WAUhE,SAAS,eAAe,OAAO;;;;;;WAM/B,UAAU,SAAS,eAAe;;;;;;;;;;WAUlC,SAAS,eAAe,OAAO,iBAAiB;;;UAI1C;WACN;;WAEA;;WAEA,KAAK;;WAEL;;WAEA,QAAQ;WACR,MAAM;;WAEN;;WAEA,OAAO,SAAS;;WAEhB,eAAe;;WAEf;;WAEA;;WAEA;WACA,QAAQ;WACR,mBAAmB;;WAEnB;;;UAIM;WACN,QAAQ;WACR,OAAO;WACP,kBAAkB;;WAElB;;;UA2CM;WACN;WACA;EACT,iBAAiB,eAAe,sBAAsB;aAAqB;;;;;;;UAO5D;;WAEN,UAAU;;WAEV,SAAS;;;;;WAKT,QAAQ;;;UAIF,mBAAmB;;WAEzB;;WAEA,kBAAkB;;WAElB;;;UAIM;;WAEN,UAAU;;;;;WAKV,UAAU;;;;;WAKV,QAAQ;;;UAIF;;WAEN;;WAEA;;WAEA,UAAU;;WAEV,QAAQ;;WAER,kBAAkB;;;;;;;;;;;;;wBA6kBb,gBAAgB,IAAI,SAAS,KAAK,SAAS,UAAU,eAAe;;UAyGnE;;WAEN;;WAEA;;;;;WAKA;;;;;WAKA;;;;;;;;;WASA;aAAmB,QAAQ,SAAS;;;;;;WAKpC,kBAAkB;;;UAIZ;WACN,SAAS;;WAET;;WAEA,MAAM;;;;;;;;;EASf,SAAS,UAAU,SAAS,UAAU,cAAc;;;;;;;;EAQpD,IAAI,UAAU,SAAS,UAAU,iBAAiB,QAAQ;;;;;;;;;;;;;;;wBAg0B5C,QAAQ,SAAS,SAAS,cAAc,UAAS,iBAAsB;;;;;;;;;wBA+FvE,QAAQ,SAAS,SAAS,UAAS,kBAAuB,iBAAiB;;;;;;;;;;;;;;;;;wBA8C3E,SAAS,SAAS,SAAS,cAAc,UAAS,SAAyB,mBAAmB,kBAAkB;;;;;;;;;;;;wBAyB1G,IAAI,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,aAAkB,QAAQ;;;;;;;;wBAqB/G,OAAO,OAAO,WAAW,eAAe,QAAQ;;;;;;;wBAqBhD,QAAQ,OAAO,qBAAqB;;;;;;;;wBAkBpC,SAAS,OAAO,qBAAqB;;KC9yFzC,qBAAqB;;UAGhB;;;;;WAKN,MAAM;;WAEN,OAAO,SAAS;;;;;;;UAQV;WACN,QAAQ,SAAS,eAAe;WAChC,WAAW,SAAS;WACpB,WAAW;;WAEX;;WAEA,mBAAmB;WACnB,oBAAoB;;;;;;UAOd,oBAAoB,KAAK,QAAQ;WACvC,QAAQ;WACR,oBAAoB;;;;;;UAOd;WACN,MAAM;WACN;WACA;;;qBAIE,mBAAmB;WACrB,oBAAoB;;;;;;EAO7B,YAAY,oBAAoB;;;UAiEjB;;WAEN;;WAEA,QAAQ,SAAS,eAAe;;;;;WAKhC;;;;;;;;;;;;;;;;;;;;wBAqBK,aAAa,cAAc,MAAM,mBAAmB,MAAM,YAAY;;;;;;;;;;;;;;;;;;;wBA0RtE,eAAe,iBAAiB,cAAc,MAAM,UAAU,gBAAgB;;;;;;;;;;;;;;;;;;;;;wBAwJ9E,iBAAiB,iBAAiB,gBAAgB,MAAM,YAAY,kBAAkB;;;;;;;;;;;;;;wBA0EtF,cAAc,OAAO,OAAO,gBAAgB,cAAc;;;;;;;;;;;;;;;;wBAgC1D,gBAAgB,SAAS,SAAS,gBAAgB,cAAc;;KCrrBpE,eAAe,KAAK;;UAGf;;WAEN;;WAEA;;WAEA,QAAQ;;WAER,WAAW,SAAS;;WAEpB,OAAO,iBAAiB,MAAM,YAAY;;;UAIpC;WACN;WACA;WACA,OAAO;WACP,UAAU,SAAS;WACnB,OAAO,iBAAiB,MAAM,YAAY;;;;;WAK1C;;;;;;;;;;;;;wBAwDK,eAAe,YAAY,qBAAqB;;;;;;;;;;;;wBA2BhD,WAAW,oBAAoB,aAAa;;;;;;;;;;;;;wBA6C5C,SAAS,UAAU,SAAS,eAAe,YAAY;;;;;;;;;;KCvJ3D;;UAGK,WAAW;;WAEjB,gBAAgB;;WAEhB,YAAY,SAAS,eAAe;;;UAI9B,SAAS;;WAEf,YAAY,MAAM;;WAElB,WAAW,MAAM,MAAM,mBAAmB,SAAS;;;UAI7C,WAAW,GAAG;;WAEpB;;WAEA,MAAM;;WAEN,eAAe;WACf,MAAM;;;UAIA,SAAS,GAAG;WAClB,MAAM;;WAEN,SAAS,WAAW,GAAG;;;UAIjB,YAAY,GAAG;;WAErB,QAAQ;;WAER,SAAS;;WAET,SAAS,WAAW,GAAG;;WAEvB;;;;;;;;;;;wBAYK,iBAAiB,kBAAkB,gBAAgB,KAAK,YAAY,SAAS,eAAe,QAAQ,OAAO,WAAW;;;;;;;;wBAqBtH,OAAO,kBAAkB,QAAQ,WAAW,IAAI,iBAAiB,SAAS;;;;;;;;;wBAY1E,SAAS,kBAAkB,QAAQ,WAAW,IAAI,MAAM;;;;;;;;;;;;wBA8BxD,OAAO,GAAG,kBAAkB,QAAQ,WAAW,IAAI,MAAM,SAAS,IAAI,MAAM,IAAI,SAAS,GAAG;;;;;;;;;;;;wBAyC5F,UAAU,GAAG,kBAAkB,QAAQ,WAAW,IAAI,MAAM,SAAS,GAAG,IAAI,SAAS,IAAI,YAAY,GAAG;;UCxKvGC;WACN;WACA;WACA;;;UAIM;;WAEN;;WAEA;;WAEA;;;;;;;;;;;;wBAiBK,SAAS,iBAAiBA,WAAS,OAAO,OAAO;;;;;;;;wBAkBjD,IAAI,OAAO,MAAM,eAAe;;UC9C/B;;WAEN,eAAe;;WAEf;WACA,MAAM;WACN;;WAEA;;WAEA,SAAS;;;KAUR;WAEG;;WAEA,gBAAgB;;WAEhB,MAAM;;;;;;;EAOf,KAAK,GAAG,kBAAkB;;WAEjB;WAAoB;WAAyB,aAAa;;;;;;;;;;wBA+DzD,WAAW,OAAO,mBAAmB,OAAO,OAAO;;;;;;KA8GvD;WAEG;;WAEA,KAAK;;WAEL;;WAEA,MAAM;;WAEN,mBAAmB;;;;;WAKnB,OAAO;;WAEP;WAAoB;WAAyB;;;;;;;;;;;;wBAY5C,QAAQ,OAAO,OAAO,gBAAgB,wBAAwB;;;;;;;;;wBAuB9D,YAAY,eAAe,OAAO,kBAAkB;;KClQxD;;;;;KAMA;;UAGK;;WAEN;;WAEA,QAAQ;;WAER;;WAEA,QAAQ;;WAER;;;UAIM;;WAEN;;WAEA;;WAEA;aAA6B;aAA4B;;;WAEzD,QAAQ,SAAS;;;;;;;WAOjB,YAAY;;;UAIN;;WAEN;;WAEA;;WAEA;;;UAIM;;WAEN,SAAS;;WAET,OAAO,0BAA0B;;WAEjC,QAAQ;;;UAIF;;WAEN;;WAEA;;WAEA;;WAEA,oBAAoB;;;UAId;;;;;WAKN;;WAEA;;;;;WAKA;;WAEA;;;;;;;;;WASA,OAAO;;;;;;WAMP;;;;;;WAMA;;;;;;WAMA;;;KAIC;;UAGK;;WAEN;;WAEA,iBAAiB;;WAEjB;;;UAIM;;;;;;WAMN;;;;;;;UAQM;;WAEN;;WAEA;;WAEA;;WAEA;;;;;;;UAQM;;WAEN,qBAAqB;;WAErB,WAAW;;WAEX,OAAO;;WAEP,QAAQ;;WAER,SAAS;;WAET,aAAa;;WAEb;;;UAIM;;WAEN;;WAEA;;WAEA;;;;;;qBAOE;;KAGD;WAAyB;WAAmB,KAAK;;WAAoB;WAAoB,iBAAiB;;;;;;;;;qBASzG,YAAY;;;;;;;;;;;wBAo/BT,MAAM,SAAS,eAAe,eAAe;;;;;;;;;;wBAkX7C,MAAM,SAAS,eAAe,eAAe;;;;;;;;;wBAkB7C,aAAa,SAAS,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;KAyC1C;;UAGK;;WAEN,MAAM;;WAEN,gBAAgB;;WAEhB;;;;;;;;;;;;;wBA8IK,YAAY,SAAS,yBAAyB;;;;;qBChuDjD,WAAW;;;;;;;;;;;;;;;qBA+JX,cAAc;;qBA0Ed,gBAAgB,SAAS,eAAe;;KA2DzC;;qBAGC,0BAA0B;;UAGtB;WACN;;WAEA,gBAAgB;;WAEhB,KAAK;;;UAiDC;;WAEN,QAAQ;;WAER,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KA8BH,iBAAiB,gBAAgB,OAAO,mBAAmB,eAAe,oBAAoB;;UAGzF;;;;;WAKN,OAAO;;;;;;;;;wBAUF,kBAAkB,UAAS,cAAmB;;;;;;;;;wBAu7B9C,eAAe,MAAM,OAAO,oBAAoB;;;;;;;;;wBAYhD,QAAQ,OAAO,iBAAiB;;UAsC/B;;;;;;;;WAQN,WAAW,MAAM,OAAO,QAAQ;;WAEhC;;;;;WAKA;;;;;;;;;;wBAeK,cAAc,UAAS,iBAAsB;;qBA+DhD,aAAa,SAAS,eAAe;;;;;;;;;wBAiClC,SAAS,QAAQ,yCAAyC;;;;;qBAiB7D,aAAa,SAAS,eAAe;;qBAmErC,aAAa;;qBAGb;;UC7nDI;WACN;WACA;WACA;;;KAIC,iBAAiB,gBAAgB;;UAG5B;WACN;WACA;;WAEA;;;;;;;;wBASK,WAAW,gBAAgB,sBAAsB;;;;;;;wBAkBjD,UAAU,gBAAgB,sBAAsB;;;;;;;;wBAkBhD,YAAY,gBAAgB,sBAAsB;;;;;;;;;wBAmBlD,eAAe,gBAAgB,YAAY;;;;;;;;wBAiB3C,OAAO,gBAAgB;;qBC5F1B;;KAGD,eAAe;;UAGV;WACN,MAAM;WACN;;WAEA;;WAEA;;;qBAIE,oBAAoB;;;;;;;;;;;KA4CrB;;UAGK;WACN;WACA,OAAO;WACP;;;UAIM;WACN;WACA;WACA,MAAM;WACN;WACA,SAAS;WACT,MAAM,SAAS,OAAO,MAAM;;;qBAM1B,qBAAqB;;UCvEjB;;WAEN;;;;;;WAMA,gBAAgB;;;;;;;;;;;;;;;;;;;;;;wBAqDX,UAAU,SAAS,SAAS,cAAc,UAAS;;;;;;;;;;;;;;;wBA0BnD,YAAY,SAAS,SAAS,mBAAmB,OAAO,eAAe,UAAS,KAAK,mCAAwC;;KCzFjI,WAAW;;;;;KAMX,UAAU,sBAAsB,cAAc;;;;;KAM9C,SAAS,MAAM,MAAM,SAAS,SAAS,UAAU,SAAS,eAAe,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAuCjF;WACN,MAAM,SAAS,eAAe,WAAW,iBAAiB;WAC1D,OAAO,SAAS,eAAe;WAC/B,MAAM,SAAS,eAAe;WAC9B,WAAW,SAAS,eAAe;WACnC,UAAU;WACV,YAAY;WACZ;WACA;WACA,QAAQ,OAAO;WACf,WAAW;WACX,SAAS,gBAAgB,eAAe;WACxC,WAAW,iBAAiB,gBAAgB;WAC5C;WACA;WACA,WAAW,SAAS,wBAAwB;WAC5C;WACA,OAAO,SAAS,eAAe,qBAAqB,kBAAkB,iBAAiB,qBAAqB;;;;;;UAOtG;;WAEN,iBAAiB;;WAEjB,OAAO;;WAEP,IAAI;;;;;WAKJ,SAAS;;WAET;;;qBAaE;WACF,OAAO;EAEhB,YAAY,OAAO;;cAKf;;KAGM,eAAe;YAAoD;aAAqB;;;;;;;;;wBAQpF,UAAU,iBAAiB,SAAS;;;;;qBAcvC,SAAS,SAAS,eAAe;;wBAa9B,SAAS;;;;;;;wBA4CT,gBAAgB,SAAS,eAAe;;;;;;;;;;;wBA6exC,kBAAkB,UAAS,iBAAsB,SAAS,eAAe;;;;;;;;;;;;;wBAyhBzE,aAAa,UAAS,kBAAuB,eAAe,OAAO;;;;;;;;;;;;;;;wBAqDnE,aAAa,UAAS,kBAAuB,eAAe,OAAO,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;wBAkDpF,eAAe,UAAS,gBAAqB,OAAM,cAAmB;;KC7yCjF,UAAU,SAAS,eAAe;;;;;;;;;;wBAmBvB,aAAa,MAAM,MAAM,SAAS,UAAU;;;;;;;;;;;;;;;;wBAmI5C,YAAY,SAAS,KAAK,qBAAqB,iBAAiB;;;;;;;;;wBAwChE,YAAY,SAAS,SAAS,eAAe;;;;;;;;;;;;;KClLjD;;UAGK;;WAEN;;WAEA;;WAEA;;;UAIM;WACN,YAAY;;WAEZ;WACA,OAAO;;;UAID;;WAEN;;;;;;;;;WASA,SAAS,YAAY;;;;;;;;;;;;;;;;;wBAgEhB,UAAU,SAAS,KAAK,qBAAqB,cAAc,UAAS,4BAAiC;;;;;UC5DpG;WACN,aAAa,SAAS,eAAe;WACrC,UAAU,SAAS,eAAe;;;UAI5B;;WAEN;;WAEA,cAAc;;WAEd,UAAU;;WAEV,UAAU;;;;;WAKV;;;;;;WAMA,QAAQ;;;UAIF,4BAA4B;;;;;WAKlC,UAAU;;WAEV,SAAS;;;;;;;;;;;;;;;;wBAomBJ,UAAU,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,mBAAwB;;;;;;;;;;;;;;;;wBA+C7G,aAAa,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,sBAA2B,QAAQ;;;;;;qBA6oB9H,iBAAiB;;;;;;;;;wBA2Bd,mBAAmB,UAAS,iBAAsB;;;;;;;;;;;UCr4CxD;WACC,eAAe;WACf;WACA,MAAM;WACN;WACA;;;UAID;;WAEC;WACA;WACA,KAAK;WACL,iBAAiB;;;UAIlB;EACR,aAAa;WACJ,MAAM;;;KAIZ;UAEK,oBAAoB;WACnB;WACA,MAAM;WACN,gBAAgB;WAChB;EACT;EACA;EACA,QAAQ;;EAER;WACS,MAAM;WACN;WACA;WACA;;UAGD,iBAAiB;WAChB;WACA,gBAAgB;WAChB,MAAM;EACf;EACA,OAAO;;UAGC,kBAAkB;WACjB;WACA,eAAe;;UAGhB,gBAAgB;WACf;WACA,KAAK;WACL,KAAK;;UAGN,mBAAmB;WAClB;WACA;WACA;WACA,gBAAgB;EACzB;;;;;;;;;KAUU,QACR,cACA,WACA,YACA,UACA;WACW;EAAW,aAAa;;WACxB;WAAsB,gBAAgB;;WACtC;WAAoB,gBAAgB;;UAEzC;WACC,gBAAgB;;WAEhB;;WAEA;;WAEA;;WAEA,SAAS,SAAS;;WAElB;;;;;;;;;;;KAYC,iBACP;WACU;WACA;WACA;WACA;WACA;WACA,KAAK;MAEf;WAAoB;WAAyB,QAAQ;MACrD;WAAoB;WAAuB,QAAQ;;;UAMvC;;WAEN;;WAEA;;WAEA,UAAU;;WAEV,cAAc;;WAEd,UAAU;;WAEV,UAAU;;;;;;;;;;;wBAy9BL,aAAa,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,iBAAsB;;;;;;;;;;;wBAe9G,YAAY,SAAS,SAAS,eAAe,eAAe,UAAS,iBAAsB;;;;;;;wBAgC3F,oBAAoB,eAAe,gBAAgB;;;;;;wBA0BnD,oBAAoB,MAAM,OAAO;;;;;;;;;;;;;wBAsCjC,QAAQ,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,iBAAsB;;;;;;;;;;;;;KC/sC7G;;UAGK;WACN,QAAQ;WACR,mBAAmB;;;UAIb;;WAEN,UAAU;;WAEV;;;UAIM;;WAEN;;;;;;WAMA;;WAEA,cAAc;;;;;WAKd,iBAAiB,QAAQ;;WAEzB,UAAU;;;;;;;;;WASV,SAAS,cAAc,SAAS,SAAS,OAAO,cAAc,SAAS;;;;;WAKvE,UAAU;;;;;;;;WAQV,SAAS,YAAY;;WAErB;;;;;;;;;WASA;;;KAOC;WAEG;WACA,QAAQ;WACR,kBAAkB;;;;;WAKlB,iBAAiB;;WAGjB;WACA,MAAM;;WAEN,MAAM;;WAEN,OAAO;;WAEP;;;;;;;;;;;;;;;;;;;;wBAqBC,UAAU,YAAY,YAAY,SAAS,YAAY;;;;;;;;;;;;;wBAiIvD,MAAM,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,eAAoB;;UAsEpG,wBAAwB,KAAK;;;;;WAKnC,UAAU;;;;;;;;;;;;;;;;;;;;;;;wBAwJC,SAAS,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,kBAAuB,QAAQ;;KAgE7H;WAEG;;WAEA;;WAEA;;WAGA;;WAEA;;WAEA;WACA;;;UAIE,0BAA0B;;WAEhC;;;;;;;;;;;;;;;;;wBA0BK,WAAW,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,oBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;KCngBnH;;UAGK;;WAEN;;WAEA,KAAK;;WAEL,SAAS,SAAS,eAAe;;WAEjC;;WAEA,eAAe;;WAEf;;WAEA;;WAEA,MAAM;;;UAIA;WACN,YAAY;;WAEZ;WACA,OAAO;;;UAID;;;;;;;;;WASN;;;;;WAKA,iBAAiB;;;;;WAKjB,SAAS,SAAS,wBAAwB;;;;;WAK1C,mBAAmB;;;;;WAKnB,cAAc;;;;;WAKd;;WAEA,gBAAgB;;WAEhB,QAAQ,SAAS;;WAEjB;;WAEA;;WAEA,UAAU;;;;;;;;WAQV,SAAS,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAy/ChB,SAAS,SAAS,SAAS,cAAc,UAAS,0BAA+B;;;;;;;;;;;;;;;;;;;;;wBC7oDjF,WAAW,GAAG,iBAAiB,GAAG,iBAAiB,SAAS,YAAY;;KCV5E;WACG;;WAEA;;WAEA;;WAEA,MAAM;;WAEN,KAAK;;;;;WAKL;;;UAIE;;;;;WAKN;;;;;;;;WAQA,SAAS;;;;;;UAOH;;WAEN;;WAEA,SAAS;;;UAIH;;;;;;;;;WASN,SAAS,YAAY;;;;;;WAMrB,SAAS;;;;;;;;;;;;;;;;;;;wBAiIJ,WAAW,gBAAgB,QAAQ,UAAS,eAAoB;;;;;;;;;;;;;;;;;;;;;;;;;wBA6DhE,YAAY,QAAQ,UAAU,MAAM,gBAAgB,QAAQ,SAAS,SAAS,UAAS,gBAAqB;;UC5P3G;;WAEN;;WAEA;;;UAIM;;WAEN;;WAEA;;WAEA;;WAEA;;WAEA;;;UAIM;;WAEN;;WAEA;;WAEA,WAAW;;WAEX,QAAQ;;;;;WAKR,iBAAiB;;;;;;UAOX;;WAEN,SAAS;;WAET,QAAQ;;WAER,QAAQ;;;;;;;;EAQjB,KAAK,eAAe;;;;;;;EAOpB,MAAM,eAAe;;;;;;;;;;;;;;EAcrB,SAAS,cAAc,cAAc,SAAS,UAAU;;EAExD;;;;;;;EAOA,gBAAgB,UAAU;;;;;;EAM1B,OAAO;;;;;;;;;;;;;;;;;;;;;;wBAmEO,QAAQ,SAAS,SAAS,UAAS,iBAAsB;;UCjKxD,UAAU;;WAEhB,IAAI;;WAEJ;;;UAIM,UAAU;;WAEhB,gBAAgB,UAAU;;WAE1B,OAAO;;;;;;;KAQN,UAAU,MAAM,YAAY,IAAI,UAAU;;UAGrC;;;;;WAKN;;;UAIM,WAAW;;WAEjB,gBAAgB;;;;;WAKhB;;;;;;;;;;;;;;wBAqHK,WAAW,IAAI,OAAO,UAAU,KAAK,UAAS,kCAAuC;;;;;;;;;;;;;;wBAuBrF,QAAQ,IAAI,OAAO,UAAU,KAAK,UAAS,eAAoB,YAAY;;;;;;;;;;wBAkB3E,WAAW,IAAI,OAAO,UAAU,KAAK,UAAS,kCAAuC;;;;;;;;;;;wBAmBrF,UAAU,IAAI,OAAO,UAAU,KAAK,UAAU,SAAS,KAAK,UAAS,eAAoB,YAAY;;;;;;;;;;;;;wBAwCrG,OAAO,IAAI,OAAO,UAAU,eAAe,WAAW;;UCxPrD;;;;;WAKN;;WAEA,gBAAgB;;WAEhB;;WAEA,MAAM;;;UAIA;;WAEN;;WAEA;;WAEA,OAAO;;WAEP,MAAM;;WAEN,gBAAgB;;;UAIV,wBAAwB;;WAE9B,UAAU;;;;;;;;;;;WAWV,UAAU,YAAY,MAAM,YAAY;;;UAIlC,uBAAuB;;;;;WAK7B;;;UAIM;;WAEN,QAAQ;;WAER,UAAU;;WAEV,SAAS;;;;;;UAOH;;WAEN,QAAQ;;WAER,QAAQ;;WAER,SAAS;;;;;;;EAOlB,SAAS,oBAAoB;;;;;;;;;;;;;EAa7B,KAAK,aAAa;;;;;;;;EAQlB,IAAI,YAAY;;;;;;;EAOhB,OAAO;;;;;;;;EAQP,WAAW,UAAU;;;;;;EAMrB,cAAc,SAAS;;;;;;;;;;EAUvB,IAAI,YAAY,UAAU,iBAAiB,QAAQ;;;;;;;;;;;;;wBAcrC,QAAQ,OAAO,oBAAoB;;;;;;UAgDlC,mBAAmB;WACzB;;WAEA;;;;;;;;;;;;;;;wBAgBK,YAAY;EAAU,SAAS;aAA+B;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAsC9D,SAAS,SAAS,SAAS,UAAS,kBAAuB;;UCxQ1D;;EAEf;;EAEA,IAAI;;EAEJ,OAAO;;EAEP,KAAK,GAAG,gBAAgB,MAAM;;;;;;;;;wBAUhB,OAAO,eAAe;;UAOrB;;WAEN;;WAEA,2BAA2B;;WAE3B;;WAEA;;WAEA;;WAEA;;WAEA;;;;;;;;WAQA,QAAQ,eAAe,OAAO,QAAQ,WAAW;;;;;;;;WAQjD,SAAS,eAAe,OAAO,eAAe,6BAA6B;;WAE3E;;WAEA,gBAAgB;;WAEhB,iBAAiB;;WAEjB;;;;;;;;;wBAUK,QAAQ,OAAO,2BAA2B;;;;;;;;;;;;wBAsD1C,SAAS,OAAO,OAAO,SAAS;;;;;UC/G/B;;;;;;;;EAQf,IAAI,YAAY;;;;;;EAMhB,OAAO;;;;;;;EAOP,WAAW,SAAS;;;;;;EAMpB,eAAe,SAAS;;;;;;;EAOxB,KAAK,aAAa;;;UAIH;;WAEN,SAAS;;WAET;;WAEA,UAAU,YAAY,MAAM;;;;;;KAO3B,yBAAyB,SAAS,SAAS,OAAO,wBAAwB;;;;;UAMrE;;WAEN,oBAAoB;;WAEpB;;WAEA,WAAW,KAAK;;;;;;;WAOhB,SAAS,KAAK;;;;;;;;WAQd,QAAQ,KAAK,QAAQ,YAAY;;WAEjC;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA,oBAAoB;;;;;;WAMpB;;WAEA;;WAEA;;WAEA;;;;;;;;;WASA,SAAS,YAAY;;;UAIf;;WAEN;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;;KAIC;WACG;WAAmB,QAAQ;;WAE3B;;WAEA;;WAEA;;WAEA;;WAEA,QAAQ;;WAER,SAAS;;WAET,MAAM;;WAEN,SAAS;;WAET,SAAS;;WAET;;WAEA,QAAQ;;;;;;;;;;;;;;;;;;;;wBA+KP,cAAc,QAAQ,uBAAuB,UAAS,uBAA4B;;UChVjF;;WAEN;;WAEA,gBAAgB;WAChB;;WAEA;;WAEA;;WAEA,OAAO,SAAS,eAAe;;;UAIzB;;WAEN;;WAEA;;WAEA;;WAEA,gBAAgB;;;UAIV;;WAEN;;WAEA;;;;;WAKA;;;UAIM;;WAEN,UAAU,oBAAoB;;WAE9B,gBAAgB;;WAEhB,OAAO;;WAEP,kBAAkB;;WAElB,iBAAiB;;;UAIX;;WAEN;;;;;;;;;;wBAWK,kBAAkB,gBAAgB,OAAO;;;;;;;;;;;;;;;;;;wBAwjBzC,eAAe,SAAS,SAAS,cAAc,UAAS,wBAA6B;;UC5oBpF;;WAEN;;WAEA;WACA;;WAEA,UAAU;;WAEV;;;UAIM;;WAEN;;WAEA;;;UAIM;WACN,kBAAkB;WAClB,kBAAkB;;;UAIZ;;WAEN,SAAS;;;;;;EAMlB,OAAO;;;UAIQ;;;;;WAKN;;;;;;WAMA,SAAS,YAAY;;;;;;;;;;;;;wBAchB,SAAS,UAAU,UAAU;;;;;;;;;;;;;;wBA0C7B,SAAS,KAAK,WAAW,UAAS,gBAAqB;;UA4EtD;;WAEN;WACA,kBAAkB;WAClB,kBAAkB;;;UAIZ;WACN;WACA;;WAEA,SAAS;;WAET,UAAU;WACV;;;KAIC;WAA8B;WAAmB,OAAO;;WAAoB;WAAoB,OAAO;;;UAGlG;WACN,MAAM;WACN;WACA,iBAAiB;;WAEjB,QAAQ;;WAER,YAAY;;;;;;;WAOZ,aAAa;;WAEb;;;;;;KAOC,gCAAgC;WAA+B,QAAQ,SAAS,eAAe;;WAAiC;;;;;;;UAO3H;WACN;WACA;;;;;WAKA,SAAS,SAAS,eAAe;;;;;;;;;WASjC,QAAQ,SAAS,eAAe;;;;;;WAMhC;;;;;WAKA,SAAS,SAAS,eAAe;;WAEjC,QAAQ;;WAER,YAAY;;WAEZ;;;;;;WAMA,aAAa;;;;;;;;;;;KAYZ;WACG,OAAO;;WACP,WAAW;;WACX;;WACA,QAAQ,SAAS,eAAe;;WAChC;;WACA;;;;;;KAMH,kBAAkB,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAihBxC,UAAU,SAAS,KAAK,qBAAqB,KAAK,YAAY;;;;;;;;;;;;wBAuU9D,UAAU,SAAS,KAAK,qBAAqB,gBAAgB,OAAO;;UCzoCnE;WACN,MAAM;WACN,iBAAiB;;;;;;;;;;;;;;;;;;;;;;wBA2XZ,eAAe,kBAAkB;;UAYhC;;WAEN;;;;;;;;;;;;;;;;;;;wBA+DK,gBAAgB,4BAA4B,UAAS,gBAAqB"}
|
package/build/index.js
CHANGED
|
@@ -14034,8 +14034,15 @@ function valuesOfStrict(parts) {
|
|
|
14034
14034
|
return { values };
|
|
14035
14035
|
}
|
|
14036
14036
|
// src/stepper.ts
|
|
14037
|
+
/** The keys of the JSON form of a configuration: a closure, a held error, and a record of data with one of these keys. */
|
|
14037
14038
|
const CLOSURE_MARK = "coeval.closure";
|
|
14038
14039
|
const HELD_MARK = "coeval.held";
|
|
14040
|
+
const DATA_MARK = "coeval.data";
|
|
14041
|
+
const MARKS = /* @__PURE__ */ Object.freeze([
|
|
14042
|
+
CLOSURE_MARK,
|
|
14043
|
+
HELD_MARK,
|
|
14044
|
+
DATA_MARK
|
|
14045
|
+
]);
|
|
14039
14046
|
const CLOSURE$1 = /* @__PURE__ */ Symbol.for("coeval.closure");
|
|
14040
14047
|
const MAX_ALIASES = 32;
|
|
14041
14048
|
const MAX_COLLAPSE = 64;
|
|
@@ -14058,12 +14065,22 @@ function setField$1(target, key, value) {
|
|
|
14058
14065
|
configurable: true
|
|
14059
14066
|
});
|
|
14060
14067
|
}
|
|
14068
|
+
/**
|
|
14069
|
+
* A closure of the stepper as a value. Only the construct `fn` and `decodeConfiguration` make one. A document gives only
|
|
14070
|
+
* data, thus it cannot make a closure with a context of its choice (STEPPER.FORGE, D199).
|
|
14071
|
+
*/
|
|
14072
|
+
var StepClosure = class {
|
|
14073
|
+
closure;
|
|
14074
|
+
constructor(closure) {
|
|
14075
|
+
this.closure = closure;
|
|
14076
|
+
}
|
|
14077
|
+
};
|
|
14061
14078
|
function closureOf(value) {
|
|
14062
|
-
return
|
|
14079
|
+
return value instanceof StepClosure ? value.closure : void 0;
|
|
14063
14080
|
}
|
|
14081
|
+
/** A held error is a `Held`, as in the plan. A record of data with the old key is data (STEPPER.FORGE, D199). */
|
|
14064
14082
|
function heldOf(value) {
|
|
14065
|
-
|
|
14066
|
-
return isRecord(value) && Object.hasOwn(value, HELD_MARK) ? value[HELD_MARK] : void 0;
|
|
14083
|
+
return value instanceof Held ? value.error : void 0;
|
|
14067
14084
|
}
|
|
14068
14085
|
/** The judgment 2: K-START and K-COMPUTED. */
|
|
14069
14086
|
function keysOf(type) {
|
|
@@ -14320,7 +14337,7 @@ function popped(c) {
|
|
|
14320
14337
|
c.stack.pop();
|
|
14321
14338
|
}
|
|
14322
14339
|
/** H-SEAL: the evaluation of a part, with the frame that waits for it on top of the stack. */
|
|
14323
|
-
function enter(c, frame, site, slot, given
|
|
14340
|
+
function enter(c, frame, site, slot, given) {
|
|
14324
14341
|
frame.at = slot.path;
|
|
14325
14342
|
return {
|
|
14326
14343
|
mode: "evaluate",
|
|
@@ -14331,7 +14348,7 @@ function enter(c, frame, site, slot, given, marked = c.marked) {
|
|
|
14331
14348
|
ctx: contextOf(site, slot, given),
|
|
14332
14349
|
stack: c.stack,
|
|
14333
14350
|
applying: c.applying,
|
|
14334
|
-
marked
|
|
14351
|
+
marked: c.marked
|
|
14335
14352
|
};
|
|
14336
14353
|
}
|
|
14337
14354
|
function partNamed(slots, key) {
|
|
@@ -14490,7 +14507,7 @@ function hostClosure(p, value, closure) {
|
|
|
14490
14507
|
p.hosts.set(value, fn);
|
|
14491
14508
|
return fn;
|
|
14492
14509
|
}
|
|
14493
|
-
/** This function gives a value to host code: a closure is a function
|
|
14510
|
+
/** This function gives a value to host code: a closure is a function. A held error is a `Held` in the stepper too. */
|
|
14494
14511
|
function forHost(p, c, value) {
|
|
14495
14512
|
p.applying = c.applying;
|
|
14496
14513
|
return c.marked ? hostValue(p, value) : value;
|
|
@@ -14500,11 +14517,9 @@ function hostValue(p, value) {
|
|
|
14500
14517
|
const items = value.map((item) => hostValue(p, item));
|
|
14501
14518
|
return items.some((item, index) => item !== value[index]) ? items : value;
|
|
14502
14519
|
}
|
|
14503
|
-
if (!isRecord(value)) return value;
|
|
14504
14520
|
const closure = closureOf(value);
|
|
14505
14521
|
if (closure !== void 0) return hostClosure(p, value, closure);
|
|
14506
|
-
|
|
14507
|
-
if (held !== void 0) return new Held(held);
|
|
14522
|
+
if (!isRecord(value)) return value;
|
|
14508
14523
|
let out;
|
|
14509
14524
|
for (const key of Object.keys(value)) {
|
|
14510
14525
|
const item = hostValue(p, value[key]);
|
|
@@ -14722,7 +14737,7 @@ function construct(p, c, name, doc, keys, slots, site) {
|
|
|
14722
14737
|
return back({
|
|
14723
14738
|
...c,
|
|
14724
14739
|
marked: true
|
|
14725
|
-
}, ok(
|
|
14740
|
+
}, ok(new StepClosure(closure)));
|
|
14726
14741
|
}
|
|
14727
14742
|
case "formula.call": {
|
|
14728
14743
|
const frame = {
|
|
@@ -14995,10 +15010,9 @@ function take(p, c, frame) {
|
|
|
14995
15010
|
case "values": return resumeValues(p, c, frame);
|
|
14996
15011
|
case "let": {
|
|
14997
15012
|
const key = String(frame.slots[frame.next - 1].path[1]);
|
|
14998
|
-
setField$1(frame.names, key, result.ok ? result.value :
|
|
14999
|
-
const marked = c.marked || !result.ok;
|
|
15013
|
+
setField$1(frame.names, key, result.ok ? result.value : new Held(result.error));
|
|
15000
15014
|
const slot = nextOf(frame);
|
|
15001
|
-
if (slot !== void 0) return enter(c, frame, frame.site, slot
|
|
15015
|
+
if (slot !== void 0) return enter(c, frame, frame.site, slot);
|
|
15002
15016
|
const tail = {
|
|
15003
15017
|
f: "tail",
|
|
15004
15018
|
at: NO_KEYS$1
|
|
@@ -15007,7 +15021,7 @@ function take(p, c, frame) {
|
|
|
15007
15021
|
return enter(c, tail, frame.site, frame.body, {
|
|
15008
15022
|
...frame.site.ctx,
|
|
15009
15023
|
names: frame.names
|
|
15010
|
-
}
|
|
15024
|
+
});
|
|
15011
15025
|
}
|
|
15012
15026
|
case "call":
|
|
15013
15027
|
popped(c);
|
|
@@ -15155,6 +15169,62 @@ function stepperNext(machine, configuration, options = {}) {
|
|
|
15155
15169
|
};
|
|
15156
15170
|
}
|
|
15157
15171
|
/**
|
|
15172
|
+
* This function gives the JSON form of a configuration (STEPPER.DATA). A closure becomes a record with the key
|
|
15173
|
+
* `coeval.closure`, and a held error a record with the key `coeval.held`. A record of data with one of the keys of the
|
|
15174
|
+
* form goes in a record with the key `coeval.data`. Thus `decodeConfiguration` tells data from a closure. A value that is
|
|
15175
|
+
* not plain JSON stays as it is. A shared object stays shared, and `JSON.stringify` copies it.
|
|
15176
|
+
*/
|
|
15177
|
+
function encodeConfiguration(configuration) {
|
|
15178
|
+
const done = /* @__PURE__ */ new Map();
|
|
15179
|
+
const encode = (value) => {
|
|
15180
|
+
if (typeof value !== "object" || value === null) return value;
|
|
15181
|
+
const known = done.get(value);
|
|
15182
|
+
if (known !== void 0) return known;
|
|
15183
|
+
let out = value;
|
|
15184
|
+
if (value instanceof StepClosure) out = { [CLOSURE_MARK]: encode(value.closure) };
|
|
15185
|
+
else if (value instanceof Held) out = { [HELD_MARK]: encode(value.error) };
|
|
15186
|
+
else if (Array.isArray(value)) out = value.map(encode);
|
|
15187
|
+
else if (isRecord(value)) {
|
|
15188
|
+
const fields = {};
|
|
15189
|
+
for (const key of Object.keys(value)) setField$1(fields, key, encode(value[key]));
|
|
15190
|
+
out = Object.keys(value).some((key) => MARKS.includes(key)) ? { [DATA_MARK]: fields } : fields;
|
|
15191
|
+
}
|
|
15192
|
+
done.set(value, out);
|
|
15193
|
+
return out;
|
|
15194
|
+
};
|
|
15195
|
+
return encode(configuration);
|
|
15196
|
+
}
|
|
15197
|
+
/**
|
|
15198
|
+
* This function gives the configuration of a JSON form from `encodeConfiguration` (STEPPER.DATA). Only a record with the
|
|
15199
|
+
* one key `coeval.closure` or `coeval.held` becomes a closure or a held error. The record in a record with the one key
|
|
15200
|
+
* `coeval.data` is data, also with these keys. The host gives the form, thus the stepper trusts it as it trusts a context.
|
|
15201
|
+
*/
|
|
15202
|
+
function decodeConfiguration(data) {
|
|
15203
|
+
const done = /* @__PURE__ */ new Map();
|
|
15204
|
+
const decode = (value, data) => {
|
|
15205
|
+
if (typeof value !== "object" || value === null) return value;
|
|
15206
|
+
const known = data ? void 0 : done.get(value);
|
|
15207
|
+
if (known !== void 0) return known;
|
|
15208
|
+
let out = value;
|
|
15209
|
+
if (Array.isArray(value)) out = value.map((item) => decode(item, false));
|
|
15210
|
+
else if (isRecord(value)) {
|
|
15211
|
+
const keys = Object.keys(value);
|
|
15212
|
+
const mark = !data && keys.length === 1 ? keys[0] : void 0;
|
|
15213
|
+
if (mark === CLOSURE_MARK) out = new StepClosure(decode(value[mark], false));
|
|
15214
|
+
else if (mark === HELD_MARK) out = new Held(decode(value[mark], false));
|
|
15215
|
+
else if (mark === DATA_MARK && isRecord(value[mark])) out = decode(value[mark], true);
|
|
15216
|
+
else {
|
|
15217
|
+
const fields = {};
|
|
15218
|
+
for (const key of keys) setField$1(fields, key, decode(value[key], false));
|
|
15219
|
+
out = fields;
|
|
15220
|
+
}
|
|
15221
|
+
}
|
|
15222
|
+
if (!data) done.set(value, out);
|
|
15223
|
+
return out;
|
|
15224
|
+
};
|
|
15225
|
+
return decode(data, false);
|
|
15226
|
+
}
|
|
15227
|
+
/**
|
|
15158
15228
|
* This function evaluates a document with an explicit stack (K95, D158). It gives the result of `reference` for each
|
|
15159
15229
|
* document of the kernel and the formula kit (AGREE.STEPPER). The nesting of a document does not use the stack of the
|
|
15160
15230
|
* host (STEPPER.DEEP). A host evaluator is opaque: one step starts it, and each of its handles starts a nested
|
|
@@ -22589,6 +22659,6 @@ function samplesAt(values, closed, depth) {
|
|
|
22589
22659
|
function typeFromSamples(values, options = {}) {
|
|
22590
22660
|
return samplesAt(values, options.closed === true, 0);
|
|
22591
22661
|
}
|
|
22592
|
-
export { ATTRIBUTE_RUNGS, CAPS_TYPE, CIRCULAR_LIMIT, CONSTRUCTS, ENVELOPE_KEYS, Failure, GENERATION_LIMIT, Held, JOURNAL, MAX_SYNTAX_ISSUES, MergeError, PARTS, PART_INFO, ROOTS, RUNGS, STD_CAPS, STD_DEFINITIONS, STD_DOMAINS, STD_EVALUATORS, STD_EXT, STD_MACHINE, STD_RUNNERS, STD_SYNTAX, STD_WALKERS, STD_WORLD, THING, WORK_LIMIT, WORLD_SYNTAX, agree, agreeRun, agreeSchedule, agreeTypes, argsKey, ask, atArgsOf, atRuleOf, attributeGraph, attributeTrace, attributeVertexId, boundariesOf, boundary, capKeys, check, checkCycles, checkLatent, checkStep, checkSteps, checkSyntax, checkWorld, circularOf, classify, codecLaws, collectOf, compilePath, components, compose, conforms, context, cycles, dataEdges, decodeDomain, decodeLog, decodeValue, defineLanguage, derefStep, describe, docEquals, documentKey, durable, edgesOf, effectEdges, effectsOf, effectsOfVerb, encodeLog, encodeValue, entriesAsJson, equationType, evaluate, extendDomain, factsOf, fail, failures, field, fits, flatten, formulaDefinitions, formulaEvaluators, formulaFacts, formulaKinds, formulaKnown, formulaMachine, fromJson, generate, heights, ifRunner, intersectCaps, isAlias, isAllowedOrder, isClosure, isEnvelope, isHostThing, isKey, isKind, isNamespace, isRecord, isRef, isStackOverflow, isStep, isTypeRef, join, jsTruthy, kindDocument, kindNamed, kindOf, layers, looksLikeKind, lookupKind, makeContext, mapDocs, mapRefs, member, mergeMachines, mergeWorlds, narrow, nearestWalker, necessary, nodeAt, nodeLayers, ok, parse, partCaps, partGrants, partsOf, pathMatches, permits, placeOf, placed, planner, prepare, print, printReads, random, recorder, ref, reference, referenceRun, refsOf, replayer, resolve, resolveCompiled, restrictMachine, restrictWorld, run, sameResult, sameValue, schedule, splitParts, stepLadder, stepOf, stepRank, stepper, stepperNext, stepperStart, stored, syntaxFormat, tag, thrown, toJson, treeNodeEvaluator, typeCheck, typeFromSamples, typeFromSchema, typeIssues, typeName, typePath, typeText, typed, typesOf, valueOfThing, verifyReads, walk, worldThing };
|
|
22662
|
+
export { ATTRIBUTE_RUNGS, CAPS_TYPE, CIRCULAR_LIMIT, CONSTRUCTS, ENVELOPE_KEYS, Failure, GENERATION_LIMIT, Held, JOURNAL, MAX_SYNTAX_ISSUES, MergeError, PARTS, PART_INFO, ROOTS, RUNGS, STD_CAPS, STD_DEFINITIONS, STD_DOMAINS, STD_EVALUATORS, STD_EXT, STD_MACHINE, STD_RUNNERS, STD_SYNTAX, STD_WALKERS, STD_WORLD, THING, WORK_LIMIT, WORLD_SYNTAX, agree, agreeRun, agreeSchedule, agreeTypes, argsKey, ask, atArgsOf, atRuleOf, attributeGraph, attributeTrace, attributeVertexId, boundariesOf, boundary, capKeys, check, checkCycles, checkLatent, checkStep, checkSteps, checkSyntax, checkWorld, circularOf, classify, codecLaws, collectOf, compilePath, components, compose, conforms, context, cycles, dataEdges, decodeConfiguration, decodeDomain, decodeLog, decodeValue, defineLanguage, derefStep, describe, docEquals, documentKey, durable, edgesOf, effectEdges, effectsOf, effectsOfVerb, encodeConfiguration, encodeLog, encodeValue, entriesAsJson, equationType, evaluate, extendDomain, factsOf, fail, failures, field, fits, flatten, formulaDefinitions, formulaEvaluators, formulaFacts, formulaKinds, formulaKnown, formulaMachine, fromJson, generate, heights, ifRunner, intersectCaps, isAlias, isAllowedOrder, isClosure, isEnvelope, isHostThing, isKey, isKind, isNamespace, isRecord, isRef, isStackOverflow, isStep, isTypeRef, join, jsTruthy, kindDocument, kindNamed, kindOf, layers, looksLikeKind, lookupKind, makeContext, mapDocs, mapRefs, member, mergeMachines, mergeWorlds, narrow, nearestWalker, necessary, nodeAt, nodeLayers, ok, parse, partCaps, partGrants, partsOf, pathMatches, permits, placeOf, placed, planner, prepare, print, printReads, random, recorder, ref, reference, referenceRun, refsOf, replayer, resolve, resolveCompiled, restrictMachine, restrictWorld, run, sameResult, sameValue, schedule, splitParts, stepLadder, stepOf, stepRank, stepper, stepperNext, stepperStart, stored, syntaxFormat, tag, thrown, toJson, treeNodeEvaluator, typeCheck, typeFromSamples, typeFromSchema, typeIssues, typeName, typePath, typeText, typed, typesOf, valueOfThing, verifyReads, walk, worldThing };
|
|
22593
22663
|
|
|
22594
22664
|
//# sourceMappingURL=index.js.map
|