@mark1russell7/coeval 0.0.0-bootstrap.0 → 0.1.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/LICENSE +21 -0
- package/build/index.d.ts +916 -0
- package/build/index.d.ts.map +1 -0
- package/build/index.js +1856 -0
- package/build/index.js.map +1 -0
- package/package.json +45 -6
- package/src/classify.ts +54 -0
- package/src/context.ts +189 -0
- package/src/deref.ts +290 -0
- package/src/doc.ts +182 -0
- package/src/evaluate.ts +553 -0
- package/src/index.ts +118 -0
- package/src/ladder.ts +141 -0
- package/src/order.ts +111 -0
- package/src/parts.ts +43 -0
- package/src/stdlib.ts +283 -0
- package/src/world.ts +163 -0
- package/README.md +0 -3
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.d.ts","names":["Part"],"sources":["../src/doc.ts","../src/world.ts","../src/ladder.ts","../src/deref.ts","../src/classify.ts","../src/parts.ts","../src/evaluate.ts","../src/stdlib.ts","../src/order.ts","../src/context.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;;;;;;;wBAQG,SAAS,OAAO,mBAAmB,SAAS;;;;;;;;wBAW5C,MAAM,QAAQ,YAAY,cAAc;;;;;;;wBAUxC,MAAM,OAAO,mBAAmB,SAAS;;;;;;;;wBAWzC,UAAU,OAAO;;;;;;;wBAcjB,SAAS,MAAM,mBAAmB;;;;;;;wBAalC,SAAS,MAAM;;;;;;;;;wBAYf,WAAW,OAAO,mBAAmB,SAAS,aAAa;;;;;;;;;wBAkB3D,MAAM,MAAM,SAAS,OAAO,MAAM;WAAmB;WAAwB,MAAM;IAAgC;;;;;;;wBAUnH,OAAO,eAAe,SAAS;;;;;;;wBAU/B,OAAO,KAAK,WAAW;;;;;;;wBAevB,SAAS,OAAO,mBAAmB;;;;KCtKvC;;;;;;;;;;KAWA;WACG;;WACA;WAAwB;;WACxB;WAA0B;WAAoC;;;UAG5D;WACN,OAAO,SAAS;;WAEhB,QAAQ;;WAER,OAAO;;WAEP;;;UAIM;WACN,OAAO,SAAS,eAAe;;;KAI9B;WAAmB;WAAsB,gBAAgB;;;KAGzD,aAAa,OAAO,YAAY;;UAG3B;WACN,OAAO,SAAS,eAAe;WAC/B,UAAU,SAAS;;;KAIlB;WACG;WAAmB,MAAM;WAAe,eAAe;WAAgB;;WACvE;WAAoB;WAAkE,eAAe;;;;;;;;wBAQpG,OAAO,OAAO,yBAAyB,SAAS;;;;;;;wBAUhD,QAAQ,OAAO,yBAAyB,SAAS;;;;;;;;;wBAiBjD,WAAW,OAAO,OAAO,MAAM,UAAU;;;;;;;;wBA0CzC,cAAc,SAAS,SAAS,eAAe,eAAe;;;;;;;;wBAiB9D,aAAa,cAAc,MAAM,OAAO;;;;qBC1I3C;;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;;;;;;;;;;;;;;wBAiBxC,IAAI,OAAO,OAAO,KAAK,QAAQ,cAAc,UAAS,aAAkB;;;;qBCpG3E;;;;;UAMI;YACL;;WAED;;;;;;;EAOT,MAAM,KAAK,MAAM;;;;;;EAMjB,UAAU;;;KAIA,QAAQ,OAAO;;;;;;;wBAQX,YAAY,OAAO,oBAAoB,SAAS;;qBAKnD;;KAGD,eAAe;;;;;;;;;;UAWV;WACN,MAAM;WACN,OAAO,SAAS,eAAe;WAC/B,OAAO;WACP,OAAO;WACP;;;KAIC,aAAa,KAAK,UAAU,KAAK,QAAQ;;KAGzC;WAAwB;WAAmB,OAAO;;WAAqB;WAAoB;;;UAGtF;;WAEN,MAAM;;WAEN,MAAM;WACN,SAAS;;;;;;;;EAQlB,MAAM,OAAO,OAAO,KAAK,MAAM;;;KAIrB,UAAU,OAAO,cAAc;;UAG1B;WACN,OAAO;WACP,SAAS,SAAS,eAAe;WACjC,UAAU,SAAS,eAAe;;;KAIjC;;UAGK;WACN,MAAM;WACN,OAAO;WACP,IAAI;;;KAIH;WACG;WAAmB,OAAO;WAAgB,eAAe;;WACzD;WAAoB;WAA+C;WAAyB,eAAe;;;;;;;;;;;;wBAyB1G,UAAU,KAAK,WAAW,OAAO,OAAO,KAAK;WAAiB,OAAO;WAAgB,IAAI;;;;;;;;wBAiCzF,MAAM,OAAO,oBAAoB,SAAS;WAAsB,gBAAgB;;;;;;;;;wBAehF,WAAW,OAAO,QAAQ;;;;;;;wBAU1B,QAAQ,QAAO,QAAQ,WAAgB;;;;;;;;;;;;;;wBAyBvC,QAAQ,KAAK,WAAW,KAAK,SAAS,eAAe,SAAS;;;;;;;wBAoE9D,aAAa,OAAO,QAAQ;;;;UC5R3B;WACN;WACA;WACA;;;UAIM;;WAEN;;WAEA;;WAEA;;;;;;;;;;;;wBAiBK,SAAS,iBAAiB,SAAS,OAAO,OAAO;;;;;;;;wBAkBjD,IAAI,OAAO,MAAM,eAAe;;;;UC/C/B;WACN;WACA,MAAM;WACN;;;KAIC;WACG;WAAmB,MAAM;WAAe,gBAAgB;;WACxD;WAAoB;;;;;;;;;;wBAUnB,WAAW,MAAM,uBAAuB,OAAO,OAAO;;;;KCL1D;;UAeK;WACN,MAAM;WACN;;;KAIC;WAAoB;WAAmB,OAAO;;WAAoB;WAAoB,OAAO;;;;;;;;wBAQzF,GAAG,OAAO,OAAO;;;;;;;;wBAWjB,KAAK,MAAM,WAAW,iBAAiB;;;;;;;;;;wBAavC,YAAY,QAAO,SAAS,eAAe,QAAa,0BAA8B,OAAM,QAAe;;;;;UAQ1GA;;WAEN;;WAEA;;;;;;;EAOT,SAAS,UAAU,UAAU;;;UAId;;WAEN;;WAEA,MAAM;;WAEN,gBAAgBA;;WAEhB,SAAS;;;;;;;EAOlB,QAAQ,eAAe,SAAS;;;;;;;;;EAShC,OAAO,cAAc,SAAS,OAAO;;;KAI3B,aAAa,OAAO,cAAc;;;;;KAMlC,QAAQ,UAAU,QAAQ,SAAS,QAAQ;;UAGtC;;WAEN;;WAEA;;;;;;;EAOT,SAAS,UAAU,UAAU;;;UAId;;WAEN;;WAEA,MAAM;;WAEN,gBAAgB;;WAEhB,SAAS;;;;;;;EAOlB,QAAQ,eAAe,SAAS;;;;;;;;;;EAUhC,OAAO,cAAc,SAAS,OAAO;;;;;;KAO3B,UAAU,OAAO,aAAa;;UAGzB,gBAAgB;WACtB,YAAY,SAAS,eAAe;;WAEpC,UAAU,SAAS,eAAe;;WAElC;;;UAIM;WACN;WACA;WACA,SAAS;;WAET;;WAEA;;;KAIC,WAAW,QAAQ,WAAW,OAAO,QAAQ;;UAGxC;;WAEN,UAAU;;WAEV;;;;;;;;;;wBAWK,QAAQ,yBAAyB;;UAKhC;WACN;;WAEA;;WAEA,KAAK;;WAEL;;WAEA,QAAQ;WACR,MAAM;;WAEN;;WAEA,OAAO,SAAS,eAAe;;WAE/B;;WAEA;;WAEA;;WAEA;WACA,QAAQ;WACR,mBAAmB;;WAEnB;;;UAIM;WACN,QAAQ;WACR,OAAO;WACP,kBAAkB;;WAElB;;;;;;;;;;;;;;;wBA8OK,SAAS,SAAS,SAAS,KAAK,MAAM,UAAS,SAAyB,wBAAwB;;;;;;;;;;;;wBAkB1F,IAAI,SAAS,SAAS,KAAK,MAAM,UAAS,SAAyB,UAAS,aAAkB,QAAQ;;;;;;;;wBAc5G,OAAO,OAAO,WAAW,0BAA0B;;;;;;;wBAenD,QAAQ,OAAO,qBAAqB;;;;;;;qBCvhBvC,WAAW;;qBAuGX,gBAAgB,SAAS,eAAe;;qBAsGxC,aAAa,SAAS,eAAe;;;;;qBAiBrC,aAAa,SAAS,eAAe;;qBAgDrC,aAAa;;qBAGb;;;;UCzRI;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;;;;;;;;;;;KA2CrB;;UAGK;WACN;WACA,OAAO;WACP;;;UAIM;WACN;WACA;WACA,MAAM;WACN;WACA,SAAS;WACT,MAAM,SAAS,OAAO,MAAM;;;qBAM1B,qBAAqB"}
|