@fncts/schema 0.0.4 → 0.0.6

package/_mjs/Schema/api/hashMap.mjs

@@ -0,0 +1,150 @@
+import * as tsplus_module_1 from "@fncts/base/collection/immutable/Vector/api";
+import * as tsplus_module_2 from "@fncts/schema/ASTAnnotation";
+import * as tsplus_module_3 from "@fncts/schema/ASTAnnotationMap";
+import * as tsplus_module_4 from "@fncts/schema/Schema/api";
+import * as tsplus_module_5 from "@fncts/base/collection/immutable/HashMap/api";
+import * as tsplus_module_6 from "@fncts/base/data/function/api";
+import * as tsplus_module_7 from "@fncts/base/collection/immutable/HashMap/definition";
+import * as tsplus_module_8 from "@fncts/schema/ParseError";
+import * as tsplus_module_9 from "@fncts/schema/ParseResult";
+import * as tsplus_module_10 from "@fncts/schema/Parser/api";
+import * as tsplus_module_11 from "@fncts/base/data/Either/api";
+import * as tsplus_module_12 from "@fncts/base/collection/immutable/Vector/internal";
+import * as tsplus_module_13 from "@fncts/schema/Parser/definition";
+import * as tsplus_module_14 from "@fncts/schema/Schema/api/maybe";
+import * as tsplus_module_15 from "@fncts/base/data/Hashable/definition";
+import * as tsplus_module_16 from "@fncts/base/data/Equatable/definition";
+import * as tsplus_module_17 from "@fncts/test/control/Gen/api";
+export const hashMap = hashMap_1;
+export const hashMapFromRecord = hashMapFromRecord_1;
+import { HashMapTypeId, HashMapVariance } from "@fncts/base/collection/immutable/HashMap";
+/**
+ * @tsplus static fncts.schema.SchemaOps hashMap
+ */
+function hashMap_1(key, value) {
+  return tsplus_module_4.declaration(tsplus_module_1.vector(key, value), inline(key, value), hashMapParser, tsplus_module_3.ASTAnnotationMap.empty.annotate(tsplus_module_2.Identifier, "HashMap").annotate(tsplus_module_2.GenHook, gen));
+}
+/**
+ * @tsplus static fncts.schema.SchemaOps hashMapFromRecord
+ */
+function hashMapFromRecord_1(key, value) {
+  return tsplus_module_4.transform(hashMap_1(key, value), input => {
+    const out = tsplus_module_5.beginMutation(tsplus_module_5.empty());
+    for (const [k, v] of Object.entries(input)) {
+      tsplus_module_5.set(k, v)(out);
+    }
+    return tsplus_module_5.endMutation(out);
+  }, input => {
+    const out = {};
+    tsplus_module_5.forEachWithIndex((k, v) => {
+      out[k] = v;
+    })(input);
+    return out;
+  })(tsplus_module_4.record(key, value));
+}
+/**
+ * @tsplus derive fncts.schema.Schema[fncts.HashMap]<_> 10
+ */
+export function deriveHashMap(
+// @ts-expect-error
+...[key, value]) {
+  return hashMapFromRecord_1(key, value);
+}
+function hashMapParser(key, value) {
+  const schema = hashMap_1(key, value);
+  return tsplus_module_13.make((u, options) => {
+    if (!tsplus_module_7.isHashMap(u)) {
+      return tsplus_module_9.fail(tsplus_module_8.typeError(schema.ast, u));
+    }
+    const allErrors = options?.allErrors;
+    const errors = tsplus_module_1.emptyPushable();
+    const out = tsplus_module_5.beginMutation(tsplus_module_5.empty());
+    for (const [k, v] of u) {
+      const tk = tsplus_module_10.decode(key)(k, options);
+      void 0;
+      if (tsplus_module_11.isLeft(tk)) {
+        tsplus_module_12.push(tsplus_module_8.keyError(key.ast, k, tk.left))(errors);
+        if (!allErrors) {
+          return tsplus_module_9.failures(errors);
+        }
+      }
+      const tv = tsplus_module_10.decode(value)(v, options);
+      void 0;
+      if (tsplus_module_11.isLeft(tv)) {
+        tsplus_module_12.push(tsplus_module_8.keyError(key.ast, k, tv.left))(errors);
+        if (!allErrors) {
+          return tsplus_module_9.failures(errors);
+        }
+      }
+      if (tsplus_module_11.isLeft(tk) || tsplus_module_11.isLeft(tv)) {
+        continue;
+      }
+      tsplus_module_5.set(tk.right, tv.right)(out);
+    }
+    return tsplus_module_1.isNonEmpty(errors) ? tsplus_module_9.failures(errors) : tsplus_module_9.succeed(tsplus_module_5.endMutation(out));
+  });
+}
+function emptyNodeSchema(_key, _value) {
+  return tsplus_module_4.struct({
+    _tag: tsplus_module_4.literal("EmptyNode"),
+    modify: tsplus_module_4.any
+  });
+}
+function leafNodeSchema(key, value) {
+  return tsplus_module_4.struct({
+    _tag: tsplus_module_4.literal("LeafNode"),
+    edit: tsplus_module_4.number,
+    hash: tsplus_module_4.number,
+    key,
+    value: tsplus_module_14.maybe(value),
+    modify: tsplus_module_4.any
+  });
+}
+function collisionNodeSchema(key, value) {
+  return tsplus_module_4.lazy(() => tsplus_module_4.struct({
+    _tag: tsplus_module_4.literal("CollisionNode"),
+    edit: tsplus_module_4.number,
+    hash: tsplus_module_4.number,
+    children: tsplus_module_4.mutableArray(nodeSchema(key, value)),
+    modify: tsplus_module_4.any
+  }));
+}
+function indexedNodeSchema(key, value) {
+  return tsplus_module_4.lazy(() => tsplus_module_4.struct({
+    _tag: tsplus_module_4.literal("IndexedNode"),
+    edit: tsplus_module_4.number,
+    mask: tsplus_module_4.number,
+    children: tsplus_module_4.mutableArray(nodeSchema(key, value)),
+    modify: tsplus_module_4.any
+  }));
+}
+function arrayNodeSchema(key, value) {
+  return tsplus_module_4.lazy(() => tsplus_module_4.struct({
+    _tag: tsplus_module_4.literal("ArrayNode"),
+    edit: tsplus_module_4.number,
+    size: tsplus_module_4.number,
+    children: tsplus_module_4.mutableArray(nodeSchema(key, value)),
+    modify: tsplus_module_4.any
+  }));
+}
+function nodeSchema(key, value) {
+  return tsplus_module_4.union(emptyNodeSchema(key, value), leafNodeSchema(key, value), collisionNodeSchema(key, value), indexedNodeSchema(key, value), arrayNodeSchema(key, value));
+}
+function inline(key, value) {
+  return tsplus_module_4.struct({
+    [HashMapTypeId]: tsplus_module_4.uniqueSymbol(HashMapTypeId),
+    [HashMapVariance]: tsplus_module_4.any,
+    editable: tsplus_module_4.boolean,
+    edit: tsplus_module_4.number,
+    config: tsplus_module_4.any,
+    root: nodeSchema(key, value),
+    size: tsplus_module_4.number,
+    [Symbol.iterator]: tsplus_module_4.any,
+    [tsplus_module_15.hashSymbol]: tsplus_module_4.any,
+    [tsplus_module_16.equalsSymbol]: tsplus_module_4.any
+  });
+}
+function gen(key, value) {
+  return tsplus_module_17.map(pairs => tsplus_module_5.from(pairs))(tsplus_module_17.array(tsplus_module_17.tuple(key, value)));
+}
+//# sourceMappingURL=hashMap.mjs.map

package/_mjs/Schema/api/hashMap.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"hashMap.mjs","mappings":";;;;;;;;;;;;;;;;;aAkBgBA,OAAO;aAYPC,iBAAiB;AAlBjC,SAASC,aAAa,EAAEC,eAAe,QAAQ,0CAA0C;AAGzF;;;AAGA,mBAA8BC,GAAc,EAAEC,KAAgB;EAC5D,OAAOC,4BACLC,uBAAOH,GAAG,EAAEC,KAAK,CAAC,EAClBG,MAAM,CAACJ,GAAG,EAAEC,KAAK,CAAC,EAClBI,aAAa,EACbC,gCAAgB,CAACC,KAAK,CAACC,QAAQ,6BAA2B,SAAS,CAAC,CAACA,QAAQ,0BAAwBC,GAAG,CAAC,CAC1G;AACH;AAEA;;;AAGA,6BACET,GAAc,EACdC,KAAgB;EAEhB,OAAOC,0BACLQ,UAAQV,GAAG,EAAEC,KAAK,CAAC,EAClBU,KAAK,IAAI;IACR,MAAMC,GAAG,iCAAGC,uBAAqB,CAAc;IAC/C,KAAK,MAAM,CAACC,CAAC,EAAEC,CAAC,CAAC,IAAIC,MAAM,CAACC,OAAO,CAACN,KAAK,CAAC,EAAE;MAC1CE,oBAAQC,CAAM,EAAEC,CAAM,EAAtBH,GAAG,CAAoB;;IAEzB,mCAAOA,GAAG;EACZ,CAAC,EACAD,KAAK,IAAI;IACR,MAAMC,GAAG,GAAG,EAAkB;IAC9BC,iCAAuB,CAACC,CAAC,EAAEC,CAAC,KAAI;MAC9BH,GAAG,CAACE,CAAC,CAAC,GAAGC,CAAC;IACZ,CAAC,EAFDJ,KAAK,CAEH;IACF,OAAOC,GAAG;EACZ,CAAC,EAfIV,uBAAcF,GAAG,EAAEC,KAAK,CAAC,CAgB/B;AACH;AAEA;;;AAGA,OAAM,SAAUiB,aAAa;AAC3B;AACA,GAAG,CAAClB,GAAG,EAAEC,KAAK,CAIL;EAET,OAAoBkB,oBAAkBnB,GAA8B,EAAEC,KAAK,CAAC;AAC9E;AAEA,SAASI,aAAa,CAAOL,GAAc,EAAEC,KAAgB;EAC3D,MAAMmB,MAAM,GAAGV,UAAQV,GAAG,EAAEC,KAAK,CAAC;EAClC,OAAOoB,sBAAY,CAACC,CAAC,EAAEC,OAAO,KAAI;IAChC,IAAI,CAACC,0BAAWF,CAAC,CAAC,EAAE;MAClB,OAAOG,qBAAiBC,0BAAqBN,MAAM,CAACO,GAAG,EAAEL,CAAC,CAAC,CAAC;;IAE9D,MAAMM,SAAS,GAAGL,OAAO,EAAEK,SAAS;IACpC,MAAMC,MAAM,GAAM1B,+BAAkC;IACpD,MAAMS,GAAG,iCAASC,uBAAqB,CAAc;IACrD,KAAK,MAAM,CAACC,CAAC,EAAEC,CAAC,CAAC,IAAIO,CAAC,EAAE;MACtB,MAAMQ,EAAE,GAAGC,2BAAG,EAAQjB,CAAC,EAAES,OAAO,CAAC;MACjC;MACA,IAAIS,0BAAE,CAAS,EAAE;QACfC,sBAAYP,yBAAoB1B,GAAG,CAAC2B,GAAG,EAAEb,CAAC,EAAEgB,EAAE,CAACI,IAAI,CAAC,EAApDL,MAAM,CAA+C;QACrD,IAAI,CAACD,SAAS,EAAE;UACd,OAAOH,yBAAqBI,MAAM,CAAC;;;MAGvC,MAAMM,EAAE,GAAGJ,6BAAK,EAAQhB,CAAC,EAAEQ,OAAO,CAAC;MACnC;MACA,IAAIS,0BAAE,CAAS,EAAE;QACfC,sBAAYP,yBAAoB1B,GAAG,CAAC2B,GAAG,EAAEb,CAAC,EAAEqB,EAAE,CAACD,IAAI,CAAC,EAApDL,MAAM,CAA+C;QACrD,IAAI,CAACD,SAAS,EAAE;UACd,OAAOH,yBAAqBI,MAAM,CAAC;;;MAGvC,IAAIG,0BAAE,CAAS,IAAIA,0BAAE,CAAS,EAAE;QAC9B;;MAEFnB,oBAAQiB,EAAE,CAACM,KAAK,EAAED,EAAE,CAACC,KAAK,EAA1BxB,GAAG,CAAwB;;IAE7B,OAAOT,iCAAM,CAAa,GAAGsB,yBAAqBI,MAAM,CAAC,GAAGJ,oDAAoBb,GAAG,EAAa;EAClG,CAAC,CAAC;AACJ;AAEA,SAASyB,eAAe,CAAOC,IAAe,EAAEC,MAAiB;EAC/D,OAAOrC,uBAAc;IACnBsC,IAAI,EAAEtC,wBAAe,WAAW,CAAC;IACjCuC,MAAM;GACP,CAAC;AACJ;AAEA,SAASC,cAAc,CAAO1C,GAAc,EAAEC,KAAgB;EAC5D,OAAOC,uBAAc;IACnBsC,IAAI,EAAEtC,wBAAe,UAAU,CAAC;IAChCyC,IAAI,wBAAe;IACnBC,IAAI,wBAAe;IACnB5C,GAAG;IACHC,KAAK,yBAAEA,KAAK,CAAM;IAClBwC,MAAM;GACP,CAAC;AACJ;AAEA,SAASI,mBAAmB,CAAO7C,GAAc,EAAEC,KAAgB;EACjE,OAAOC,qBAAY,MACjBA,uBAAc;IACZsC,IAAI,EAAEtC,wBAAe,eAAe,CAAC;IACrCyC,IAAI,wBAAe;IACnBC,IAAI,wBAAe;IACnBE,QAAQ,+BAAEC,UAAU,CAAC/C,GAAG,EAAEC,KAAK,CAAC,CAAa;IAC7CwC,MAAM;GACP,CAAC,CACH;AACH;AAEA,SAASO,iBAAiB,CAAOhD,GAAc,EAAEC,KAAgB;EAC/D,OAAOC,qBAAY,MACjBA,uBAAc;IACZsC,IAAI,EAAEtC,wBAAe,aAAa,CAAC;IACnCyC,IAAI,wBAAe;IACnBM,IAAI,wBAAe;IACnBH,QAAQ,+BAAEC,UAAU,CAAC/C,GAAG,EAAEC,KAAK,CAAC,CAAa;IAC7CwC,MAAM;GACP,CAAC,CACH;AACH;AAEA,SAASS,eAAe,CAAOlD,GAAc,EAAEC,KAAgB;EAC7D,OAAOC,qBAAY,MACjBA,uBAAc;IACZsC,IAAI,EAAEtC,wBAAe,WAAW,CAAC;IACjCyC,IAAI,wBAAe;IACnBQ,IAAI,wBAAe;IACnBL,QAAQ,+BAAEC,UAAU,CAAC/C,GAAG,EAAEC,KAAK,CAAC,CAAa;IAC7CwC,MAAM;GACP,CAAC,CACH;AACH;AAEA,SAASM,UAAU,CAAO/C,GAAc,EAAEC,KAAgB;EACxD,OAAOC,sBACLmC,eAAe,CAACrC,GAAG,EAAEC,KAAK,CAAC,EAC3ByC,cAAc,CAAC1C,GAAG,EAAEC,KAAK,CAAC,EAC1B4C,mBAAmB,CAAC7C,GAAG,EAAEC,KAAK,CAAC,EAC/B+C,iBAAiB,CAAChD,GAAG,EAAEC,KAAK,CAAC,EAC7BiD,eAAe,CAAClD,GAAG,EAAEC,KAAK,CAAC,CAC5B;AACH;AAEA,SAASG,MAAM,CAAOJ,GAAc,EAAEC,KAAgB;EACpD,OAAOC,uBAAc;IACnB,CAACJ,aAAa,GAAGI,6BAAoBJ,aAAa,CAAC;IACnD,CAACC,eAAe,GAACG,mBAAY;IAC7BkD,QAAQ,yBAAgB;IACxBT,IAAI,wBAAe;IACnBU,MAAM,qBAAY;IAClBC,IAAI,EAAEP,UAAU,CAAC/C,GAAG,EAAEC,KAAK,CAAC;IAC5BkD,IAAI,wBAAe;IACnB,CAACI,MAAM,CAACC,QAAQ,GAACtD,mBAAY;IAC7B,+BAAaA,mBAAY;IACzB,iCAAeA;GAChB,CAAC;AACJ;AAEA,SAASO,GAAG,CAAOT,GAAkB,EAAEC,KAAoB;EACzD,OAAOwD,qBAAsCC,KAAK,IAAK7C,qBAAa6C,KAAK,CAAC,EAAnED,uBAAUA,uBAAUzD,GAAG,EAAEC,KAAK,CAAC,CAAC,CAAoC;AAC7E","names":["hashMap","hashMapFromRecord","HashMapTypeId","HashMapVariance","key","value","tsplus_module_4","tsplus_module_1","inline","hashMapParser","tsplus_module_3","empty","annotate","gen","hashMap_1","input","out","tsplus_module_5","k","v","Object","entries","deriveHashMap","hashMapFromRecord_1","schema","tsplus_module_13","u","options","tsplus_module_7","tsplus_module_9","tsplus_module_8","ast","allErrors","errors","tk","tsplus_module_10","tsplus_module_11","tsplus_module_12","left","tv","right","emptyNodeSchema","_key","_value","_tag","modify","leafNodeSchema","edit","hash","collisionNodeSchema","children","nodeSchema","indexedNodeSchema","mask","arrayNodeSchema","size","editable","config","root","Symbol","iterator","tsplus_module_17","pairs"],"sourceRoot":"","sources":["../../../_src/Schema/api/hashMap.ts"],"sourcesContent":[null]}

package/_mjs/Schema/api/immutableArray.mjs

@@ -0,0 +1,79 @@
+import * as tsplus_module_1 from "@fncts/base/collection/immutable/Vector/api";
+import * as tsplus_module_2 from "@fncts/schema/ASTAnnotation";
+import * as tsplus_module_3 from "@fncts/schema/ASTAnnotationMap";
+import * as tsplus_module_4 from "@fncts/schema/Schema/api";
+import * as tsplus_module_5 from "@fncts/base/data/function/api";
+import * as tsplus_module_6 from "@fncts/base/collection/immutable/ImmutableArray/definition";
+import * as tsplus_module_7 from "@fncts/schema/ParseError";
+import * as tsplus_module_8 from "@fncts/schema/ParseResult";
+import * as tsplus_module_9 from "@fncts/schema/Parser/api";
+import * as tsplus_module_10 from "@fncts/base/data/Either/api";
+import * as tsplus_module_11 from "@fncts/base/collection/immutable/Vector/internal";
+import * as tsplus_module_12 from "@fncts/schema/Parser/definition";
+import * as tsplus_module_13 from "@fncts/base/data/Equatable/definition";
+import * as tsplus_module_14 from "@fncts/base/data/Hashable/definition";
+import * as tsplus_module_15 from "@fncts/test/control/Gen/api";
+export const immutableArray = immutableArray_1;
+export const immutableArrayFromArray = immutableArrayFromArray_1;
+import { ImmutableArray, ImmutableArrayTypeId, ImmutableArrayVariance } from "@fncts/base/collection/immutable/ImmutableArray";
+import { Vector } from "@fncts/base/collection/immutable/Vector";
+/**
+ * @tsplus getter fncts.schema.Schema immutableArray
+ * @tsplus static fncts.schema.SchemaOps immutableArray
+ */
+function immutableArray_1(value) {
+  return tsplus_module_4.declaration(tsplus_module_1.vector(value), inline(value), parser, tsplus_module_3.ASTAnnotationMap.empty.annotate(tsplus_module_2.Identifier, "ImmutableArray").annotate(tsplus_module_2.GenHook, gen));
+}
+/**
+ * @tsplus getter fncts.schema.Schema immutableArrayFromArray
+ * @tsplus static fncts.schema.SchemaOps immutableArrayFromArray
+ */
+function immutableArrayFromArray_1(value) {
+  return tsplus_module_4.transform(immutableArray_1(value), input => new ImmutableArray(input), input => input._array)(tsplus_module_4.array(value));
+}
+/**
+ * @tsplus derive fncts.schema.Schema[fncts.ImmutableArray]<_> 10
+ */
+export function deriveImmutableArray(...[value]) {
+  return immutableArrayFromArray_1(value);
+}
+function parser(value) {
+  const schema = immutableArray_1(value);
+  return tsplus_module_12.make((u, options) => {
+    if (!tsplus_module_6.isImmutableArray(u)) {
+      return tsplus_module_8.fail(tsplus_module_7.typeError(schema.ast, u));
+    }
+    const out = [];
+    const errors = tsplus_module_1.emptyPushable();
+    const allErrors = options?.allErrors;
+    const index = 0;
+    for (const v of u) {
+      const t = tsplus_module_9.decode(value)(v, options);
+      void 0;
+      if (tsplus_module_10.isLeft(t)) {
+        tsplus_module_11.push(tsplus_module_7.indexError(index, t.left))(errors);
+        if (allErrors) {
+          continue;
+        }
+        return tsplus_module_8.failures(errors);
+      } else {
+        out.push(t.right);
+      }
+    }
+    return tsplus_module_1.isNonEmpty(errors) ? tsplus_module_8.failures(errors) : tsplus_module_8.succeed(new ImmutableArray(out));
+  });
+}
+function inline(value) {
+  return tsplus_module_4.struct({
+    [ImmutableArrayTypeId]: tsplus_module_4.uniqueSymbol(ImmutableArrayTypeId),
+    [ImmutableArrayVariance]: tsplus_module_4.any,
+    _array: tsplus_module_4.array(value),
+    [tsplus_module_13.equalsSymbol]: tsplus_module_4.any,
+    [tsplus_module_14.hashSymbol]: tsplus_module_4.any,
+    [Symbol.iterator]: tsplus_module_4.any
+  });
+}
+function gen(value) {
+  return tsplus_module_15.map(array => new ImmutableArray(array))(tsplus_module_15.array(value));
+}
+//# sourceMappingURL=immutableArray.mjs.map

package/_mjs/Schema/api/immutableArray.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"immutableArray.mjs","mappings":";;;;;;;;;;;;;;;aAagBA,cAAc;aAadC,uBAAuB;AAxBvC,SACEC,cAAc,EACdC,oBAAoB,EACpBC,sBAAsB,QACjB,iDAAiD;AACxD,SAASC,MAAM,QAAQ,yCAAyC;AAEhE;;;;AAIA,0BAAkCC,KAAgB;EAChD,OAAOC,4BACLC,uBAAOF,KAAK,CAAC,EACbG,MAAM,CAACH,KAAK,CAAC,EACbI,MAAM,EACNC,gCAAgB,CAACC,KAAK,CAACC,QAAQ,6BAA2B,gBAAgB,CAAC,CAACA,QAAQ,0BAAwBC,GAAG,CAAC,CACjH;AACH;AAEA;;;;AAIA,mCAA2CR,KAAgB;EACzD,OAAOC,0BACLQ,iBAAeT,KAAK,CAAC,EACpBU,KAAK,IAAK,IAAId,cAAc,CAACc,KAAK,CAAC,EACnCA,KAAK,IAAKA,KAAK,CAACC,MAAM,EAHlBV,sBAAaD,KAAK,CAAC,CAIzB;AACH;AAEA;;;AAGA,OAAM,SAAUY,oBAAoB,CAClC,GAAG,CAACZ,KAAK,CAIA;EAET,OAAoBa,0BAAwBb,KAAK,CAAC;AACpD;AAEA,SAASI,MAAM,CAAIJ,KAAgB;EACjC,MAAMc,MAAM,GAAGL,iBAAeT,KAAK,CAAC;EACpC,OAAOe,sBAAY,CAACC,CAAC,EAAEC,OAAO,KAAI;IAChC,IAAI,CAACC,iCAAkBF,CAAC,CAAC,EAAE;MACzB,OAAOG,qBAAiBC,0BAAqBN,MAAM,CAACO,GAAG,EAAEL,CAAC,CAAC,CAAC;;IAE9D,MAAMM,GAAG,GAAa,EAAE;IACxB,MAAMC,MAAM,GAAUrB,+BAAkC;IACxD,MAAMsB,SAAS,GAAOP,OAAO,EAAEO,SAAS;IACxC,MAAMC,KAAK,GAAW,CAAC;IACvB,KAAK,MAAMC,CAAC,IAAIV,CAAC,EAAE;MACjB,MAAMW,CAAC,GAAGC,4BAAK,EAAQF,CAAC,EAAET,OAAO,CAAC;MAClC;MACA,IAAIY,yBAAC,CAAS,EAAE;QACdC,sBAAYV,2BAAsBK,KAAK,EAAEE,CAAC,CAACI,IAAI,CAAC,EAAhDR,MAAM,CAA2C;QACjD,IAAIC,SAAS,EAAE;UACb;;QAEF,OAAOL,yBAAqBI,MAAM,CAAC;OACpC,MAAM;QACLD,GAAG,CAACU,IAAI,CAACL,CAAC,CAACM,KAAK,CAAC;;;IAGrB,OAAO/B,iCAAM,CAAa,GAAGiB,yBAAqBI,MAAM,CAAC,GAAGJ,wBAAoB,IAAIvB,cAAc,CAAC0B,GAAG,CAAC,CAAC;EAC1G,CAAC,CAAC;AACJ;AAEA,SAASnB,MAAM,CAAIH,KAAgB;EACjC,OAAOC,uBAAc;IACnB,CAACJ,oBAAoB,GAAGI,6BAAoBJ,oBAAoB,CAAC;IACjE,CAACC,sBAAsB,GAACG,mBAAY;IACpCU,MAAM,EAAEV,sBAAaD,KAAK,CAAC;IAC3B,iCAAeC,mBAAY;IAC3B,+BAAaA,mBAAY;IACzB,CAACiC,MAAM,CAACC,QAAQ,GAAClC;GAClB,CAAC;AACJ;AAEA,SAASO,GAAG,CAAIR,KAAoB;EAClC,OAAOoC,qBAAsBC,KAAK,IAAK,IAAIzC,cAAc,CAACyC,KAAK,CAAC,EAAzDD,uBAAUpC,KAAK,CAAC,CAA0C;AACnE","names":["immutableArray","immutableArrayFromArray","ImmutableArray","ImmutableArrayTypeId","ImmutableArrayVariance","Vector","value","tsplus_module_4","tsplus_module_1","inline","parser","tsplus_module_3","empty","annotate","gen","immutableArray_1","input","_array","deriveImmutableArray","immutableArrayFromArray_1","schema","tsplus_module_12","u","options","tsplus_module_6","tsplus_module_8","tsplus_module_7","ast","out","errors","allErrors","index","v","t","tsplus_module_9","tsplus_module_10","tsplus_module_11","left","push","right","Symbol","iterator","tsplus_module_15","array"],"sourceRoot":"","sources":["../../../_src/Schema/api/immutableArray.ts"],"sourcesContent":[null]}

package/_mjs/Schema/api/list.mjs

@@ -0,0 +1,87 @@
+import * as tsplus_module_1 from "@fncts/base/collection/immutable/Vector/api";
+import * as tsplus_module_2 from "@fncts/schema/ASTAnnotation";
+import * as tsplus_module_3 from "@fncts/schema/ASTAnnotationMap";
+import * as tsplus_module_4 from "@fncts/schema/Schema/api";
+import * as tsplus_module_5 from "@fncts/base/collection/immutable/List/constructors";
+import * as tsplus_module_6 from "@fncts/base/data/function/api";
+import * as tsplus_module_7 from "@fncts/base/collection/immutable/List/definition";
+import * as tsplus_module_8 from "@fncts/schema/ParseError";
+import * as tsplus_module_9 from "@fncts/schema/ParseResult";
+import * as tsplus_module_10 from "@fncts/base/collection/mutable/ListBuffer";
+import * as tsplus_module_11 from "@fncts/schema/Parser/api";
+import * as tsplus_module_12 from "@fncts/base/data/Either/api";
+import * as tsplus_module_13 from "@fncts/base/collection/immutable/Vector/internal";
+import * as tsplus_module_14 from "@fncts/schema/Parser/definition";
+import * as tsplus_module_15 from "@fncts/test/control/Gen/api";
+export const list = list_1;
+export const listFromArray = listFromArray_1;
+import { ListTypeId } from "@fncts/base/collection/immutable/List";
+/**
+ * @tsplus static fncts.schema.SchemaOps list
+ * @tsplus getter fncts.Schema.Schema list
+ */
+function list_1(value) {
+  return tsplus_module_4.declaration(tsplus_module_1.vector(value), inline(value), parser, tsplus_module_3.ASTAnnotationMap.empty.annotate(tsplus_module_2.Identifier, "List").annotate(tsplus_module_2.GenHook, gen));
+}
+/**
+ * @tsplus static fncts.schema.SchemaOps listFromArray
+ * @tsplus getter fncts.Schema.Schema listFromArray
+ */
+function listFromArray_1(value) {
+  return tsplus_module_4.transform(list_1(value), input => tsplus_module_5.from(input), input => Array.from(input))(tsplus_module_4.array(value));
+}
+/**
+ * @tsplus derive fncts.schema.Schema[fncts.List]<_> 10
+ */
+export function deriveList(...[value]) {
+  return listFromArray_1(value);
+}
+function parser(value) {
+  const schema = list_1(value);
+  return tsplus_module_14.make((u, options) => {
+    if (!tsplus_module_7.isList(u)) {
+      return tsplus_module_9.fail(tsplus_module_8.typeError(schema.ast, u));
+    }
+    const out = new tsplus_module_10.ListBuffer();
+    const errors = tsplus_module_1.emptyPushable();
+    const allErrors = options?.allErrors;
+    const index = 0;
+    for (const v of u) {
+      const t = tsplus_module_11.decode(value)(v, options);
+      void 0;
+      if (tsplus_module_12.isLeft(t)) {
+        tsplus_module_13.push(tsplus_module_8.indexError(index, t.left))(errors);
+        if (allErrors) {
+          continue;
+        }
+        return tsplus_module_9.failures(errors);
+      } else {
+        out.append(t.right);
+      }
+    }
+    return tsplus_module_1.isNonEmpty(errors) ? tsplus_module_9.failures(errors) : tsplus_module_9.succeed(out.toList);
+  });
+}
+function nil(_value) {
+  return tsplus_module_4.struct({
+    _tag: tsplus_module_4.literal("Nil"),
+    [ListTypeId]: tsplus_module_4.uniqueSymbol(ListTypeId),
+    [Symbol.iterator]: tsplus_module_4.any
+  });
+}
+function cons(value) {
+  return tsplus_module_4.lazy(() => tsplus_module_4.struct({
+    _tag: tsplus_module_4.literal("Cons"),
+    [ListTypeId]: tsplus_module_4.uniqueSymbol(ListTypeId),
+    [Symbol.iterator]: tsplus_module_4.any,
+    head: value,
+    tail: inline(value)
+  }));
+}
+function inline(value) {
+  return tsplus_module_4.lazy(() => tsplus_module_4.union(nil(value), cons(value)));
+}
+function gen(value) {
+  return tsplus_module_15.map(array => tsplus_module_5.from(array))(tsplus_module_15.array(value));
+}
+//# sourceMappingURL=list.mjs.map

package/_mjs/Schema/api/list.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"list.mjs","mappings":";;;;;;;;;;;;;;;aAQgBA,IAAI;aAaJC,aAAa;AAnB7B,SAASC,UAAU,QAAQ,uCAAuC;AAElE;;;;AAIA,gBAAwBC,KAAgB;EACtC,OAAOC,4BACLC,uBAAOF,KAAK,CAAC,EACbG,MAAM,CAACH,KAAK,CAAC,EACbI,MAAM,EACNC,gCAAgB,CAACC,KAAK,CAACC,QAAQ,6BAA2B,MAAM,CAAC,CAACA,QAAQ,0BAAwBC,GAAG,CAAC,CACvG;AACH;AAEA;;;;AAIA,yBAAiCR,KAAgB;EAC/C,OAAOC,0BACLQ,OAAKT,KAAK,CAAC,EACVU,KAAK,IAAKC,qBAAUD,KAAK,CAAC,EAC1BA,KAAK,IAAKE,KAAK,CAACC,IAAI,CAACH,KAAK,CAAC,EAHvBT,sBAAaD,KAAK,CAAC,CAIzB;AACH;AAEA;;;AAGA,OAAM,SAAUc,UAAU,CACxB,GAAG,CAACd,KAAK,CAIA;EAET,OAAoBe,gBAAcf,KAAK,CAAC;AAC1C;AAEA,SAASI,MAAM,CAAIJ,KAAgB;EACjC,MAAMgB,MAAM,GAAGP,OAAKT,KAAK,CAAC;EAC1B,OAAOiB,sBAAY,CAACC,CAAC,EAAEC,OAAO,KAAI;IAChC,IAAI,CAACC,uBAAQF,CAAC,CAAC,EAAE;MACf,OAAOG,qBAAiBC,0BAAqBN,MAAM,CAACO,GAAG,EAAEL,CAAC,CAAC,CAAC;;IAE9D,MAAMM,GAAG,GAAS,qBAAIC,UAAU,EAAK;IACrC,MAAMC,MAAM,GAAMxB,+BAAkC;IACpD,MAAMyB,SAAS,GAAGR,OAAO,EAAEQ,SAAS;IACpC,MAAMC,KAAK,GAAO,CAAC;IACnB,KAAK,MAAMC,CAAC,IAAIX,CAAC,EAAE;MACjB,MAAMY,CAAC,GAAGC,6BAAK,EAAQF,CAAC,EAAEV,OAAO,CAAC;MAClC;MACA,IAAIa,yBAAC,CAAS,EAAE;QACdC,sBAAYX,2BAAsBM,KAAK,EAAEE,CAAC,CAACI,IAAI,CAAC,EAAhDR,MAAM,CAA2C;QACjD,IAAIC,SAAS,EAAE;UACb;;QAEF,OAAON,yBAAqBK,MAAM,CAAC;OACpC,MAAM;QACLF,GAAG,CAACW,MAAM,CAACL,CAAC,CAACM,KAAK,CAAC;;;IAGvB,OAAOlC,iCAAM,CAAa,GAAGmB,yBAAqBK,MAAM,CAAC,GAAGL,wBAAoBG,GAAG,CAACa,MAAM,CAAC;EAC7F,CAAC,CAAC;AACJ;AAEA,SAASC,GAAG,CAAIC,MAAiB;EAC/B,OAAOtC,uBAAc;IACnBuC,IAAI,EAAEvC,wBAAe,KAAK,CAAC;IAC3B,CAACF,UAAU,GAAGE,6BAAoBF,UAAU,CAAC;IAC7C,CAAC0C,MAAM,CAACC,QAAQ,GAACzC;GAClB,CAAC;AACJ;AAEA,SAAS0C,IAAI,CAAI3C,KAAgB;EAC/B,OAAOC,qBAAY,MACjBA,uBAAc;IACZuC,IAAI,EAAEvC,wBAAe,MAAM,CAAC;IAC5B,CAACF,UAAU,GAAGE,6BAAoBF,UAAU,CAAC;IAC7C,CAAC0C,MAAM,CAACC,QAAQ,GAACzC,mBAAY;IAC7B2C,IAAI,EAAE5C,KAAK;IACX6C,IAAI,EAAE1C,MAAM,CAACH,KAAK;GACnB,CAAC,CACH;AACH;AAEA,SAASG,MAAM,CAAIH,KAAgB;EACjC,OAAOC,qBAAY,MAAMA,sBAAaqC,GAAG,CAACtC,KAAK,CAAC,EAAE2C,IAAI,CAAC3C,KAAK,CAAC,CAAC,CAAC;AACjE;AAEA,SAASQ,GAAG,CAAIR,KAAoB;EAClC,OAAO8C,qBAAsBC,KAAK,IAAKpC,qBAAUoC,KAAK,CAAC,EAAhDD,uBAAU9C,KAAK,CAAC,CAAiC;AAC1D","names":["list","listFromArray","ListTypeId","value","tsplus_module_4","tsplus_module_1","inline","parser","tsplus_module_3","empty","annotate","gen","list_1","input","tsplus_module_5","Array","from","deriveList","listFromArray_1","schema","tsplus_module_14","u","options","tsplus_module_7","tsplus_module_9","tsplus_module_8","ast","out","ListBuffer","errors","allErrors","index","v","t","tsplus_module_11","tsplus_module_12","tsplus_module_13","left","append","right","toList","nil","_value","_tag","Symbol","iterator","cons","head","tail","tsplus_module_15","array"],"sourceRoot":"","sources":["../../../_src/Schema/api/list.ts"],"sourcesContent":[null]}

package/_mjs/Schema/api/maybe.mjs

@@ -0,0 +1,64 @@
+import * as tsplus_module_1 from "@fncts/base/collection/immutable/Vector/api";
+import * as tsplus_module_2 from "@fncts/schema/ASTAnnotation";
+import * as tsplus_module_3 from "@fncts/schema/ASTAnnotationMap";
+import * as tsplus_module_4 from "@fncts/schema/Schema/api";
+import * as tsplus_module_5 from "@fncts/base/data/Maybe/constructors";
+import * as tsplus_module_6 from "@fncts/base/data/Maybe/api";
+import * as tsplus_module_7 from "@fncts/base/data/function/api";
+import * as tsplus_module_8 from "@fncts/base/data/Maybe/definition";
+import * as tsplus_module_9 from "@fncts/schema/ParseError";
+import * as tsplus_module_10 from "@fncts/schema/ParseResult";
+import * as tsplus_module_11 from "@fncts/schema/Parser/api";
+import * as tsplus_module_12 from "@fncts/base/data/Either/api";
+import * as tsplus_module_13 from "@fncts/schema/Parser/definition";
+import * as tsplus_module_14 from "@fncts/base/data/Equatable/definition";
+import * as tsplus_module_15 from "@fncts/base/data/Hashable/definition";
+export const maybe = maybe_1;
+export const maybeFromNullable = maybeFromNullable_1;
+/**
+ * @tsplus static fncts.schema.SchemaOps maybe
+ * @tsplus getter fncts.schema.Schema maybe
+ */
+function maybe_1(value) {
+  return tsplus_module_4.declaration(tsplus_module_1.vector(value), maybeInline(value), maybeParser, tsplus_module_3.ASTAnnotationMap.empty.annotate(tsplus_module_2.Identifier, "Maybe"));
+}
+/**
+ * @tsplus static fncts.schema.SchemaOps maybeFromNullable
+ * @tsplus getter fncts.schema.Schema maybeFromNullable
+ */
+function maybeFromNullable_1(value) {
+  return tsplus_module_4.transform(maybe_1(value), tsplus_module_5.fromNullable, input => tsplus_module_6.getOrElse(() => null)(input))(tsplus_module_4.union(tsplus_module_4._undefined, tsplus_module_4.nullable(value)));
+}
+/**
+ * @tsplus derive fncts.schema.Schema[fncts.Maybe]<_> 10
+ */
+export function deriveMaybe(...[value]) {
+  return maybeFromNullable_1(value);
+}
+function maybeParser(value) {
+  const schema = maybe_1(value);
+  return tsplus_module_13.make((u, options) => {
+    if (!tsplus_module_8.isMaybe(u)) {
+      return tsplus_module_10.fail(tsplus_module_9.typeError(schema.ast, u));
+    }
+    void 0;
+    if (tsplus_module_8.isNothing(u)) {
+      return tsplus_module_10.succeed(tsplus_module_5.nothing());
+    } else {
+      return tsplus_module_12.map(a => tsplus_module_5.just(a))(tsplus_module_11.decode(value)(u.value, options));
+    }
+  });
+}
+function maybeInline(value) {
+  return tsplus_module_4.union(tsplus_module_4.struct({
+    _tag: tsplus_module_4.literal("Nothing"),
+    [tsplus_module_14.equalsSymbol]: tsplus_module_4.any,
+    [tsplus_module_15.hashSymbol]: tsplus_module_4.any
+  }), tsplus_module_4.struct({
+    _tag: tsplus_module_4.literal("Just"),
+    value,
+    [tsplus_module_14.equalsSymbol]: tsplus_module_4.any,
+    [tsplus_module_15.hashSymbol]: tsplus_module_4.any
+  }));
+}
+//# sourceMappingURL=maybe.mjs.map

package/_mjs/Schema/api/maybe.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"maybe.mjs","mappings":";;;;;;;;;;;;;;;aAMgBA,KAAK;aAaLC,iBAAiB;AAjBjC;;;;AAIA,iBAAyBC,KAAgB;EACvC,OAAOC,4BACLC,uBAAOF,KAAK,CAAC,EACbG,WAAW,CAACH,KAAK,CAAC,EAClBI,WAAW,EACXC,gCAAgB,CAACC,KAAK,CAACC,QAAQ,6BAA2B,OAAO,CAAC,CACnE;AACH;AAEA;;;;AAIA,6BAAqCP,KAAgB;EACnD,OAAOC,kCAAyDD,KAAK,iCAA6BQ,KAAK,IACrGC,gCAAgB,IAAI,EAApBD,KAAK,CAAgB,EADhBP,2EAA+BD,KAAK,EAAU,CAEpD;AACH;AAEA;;;AAGA,OAAM,SAAUU,WAAW,CACzB,GAAG,CAACV,KAAK,CAIA;EAET,OAAoBW,oBAAkBX,KAAK,CAAC;AAC9C;AAEA,SAASI,WAAW,CAAIJ,KAAgB;EACtC,MAAMY,MAAM,GAAGC,QAAMb,KAAK,CAAC;EAC3B,OAAOc,sBAAY,CAACC,CAAC,EAAEC,OAAO,KAAI;IAChC,IAAI,CAACC,wBAAcF,CAAC,CAAC,EAAE;MACrB,OAAOG,sBAAiBC,0BAAqBP,MAAM,CAACQ,GAAG,EAAEL,CAAC,CAAC,CAAC;;IAE9D;IACA,IAAIE,2BAAC,CAAY,EAAE;MACjB,OAAOC,yBAAoBG,yBAAS,CAAC;KACtC,MAAM;MACL,OAAOC,qBAAoCC,CAAC,IAAKF,qBAAKE,CAAC,CAAC,EAAjDC,6BAAK,EAAQT,CAAC,CAACf,KAAK,EAAEgB,OAAO,CAAC,CAAoB;;EAE7D,CAAC,CAAC;AACJ;AAEA,SAASb,WAAW,CAAIH,KAAgB;EACtC,OAAOC,sBACLA,uBAAc;IACZwB,IAAI,EAAExB,wBAAe,SAAS,CAAC;IAC/B,iCAAeA,mBAAY;IAC3B,+BAAaA;GACd,CAAC,EACFA,uBAAc;IACZwB,IAAI,EAAExB,wBAAe,MAAM,CAAC;IAC5BD,KAAK;IACL,iCAAeC,mBAAY;IAC3B,+BAAaA;GACd,CAAC,CAC4B;AAClC","names":["maybe","maybeFromNullable","value","tsplus_module_4","tsplus_module_1","maybeInline","maybeParser","tsplus_module_3","empty","annotate","input","tsplus_module_6","deriveMaybe","maybeFromNullable_1","schema","maybe_1","tsplus_module_13","u","options","tsplus_module_8","tsplus_module_10","tsplus_module_9","ast","tsplus_module_5","tsplus_module_12","a","tsplus_module_11","_tag"],"sourceRoot":"","sources":["../../../_src/Schema/api/maybe.ts"],"sourcesContent":[null]}