@fncts/schema 0.0.5 → 0.0.7

package/_mjs/Schema.mjs

@@ -1,213 +1,13 @@
-var _a;
-import * as tsplus_module_1 from "@fncts/base/collection/immutable/Dictionary/definition";
-import * as tsplus_module_2 from "@fncts/base/collection/immutable/Dictionary/api";
-export const SchemaVariance = /*#__PURE__*/Symbol.for("fncts.schema.Schema.Variance");
-export const SchemaTypeId = /*#__PURE__*/Symbol.for("fncts.schema.Schema");
-export class Schema {
-  constructor() {
-    this[_a] = SchemaTypeId;
-  }
-}
-_a = SchemaTypeId;
-export class UnknownSchema extends Schema {
-  constructor() {
-    super(...arguments);
-    this._tag = 0 /* SchemaTag.Unknown */;
-  }
-}
-
-export class StringSchema extends Schema {
-  constructor() {
-    super(...arguments);
-    this._tag = 1 /* SchemaTag.String */;
-  }
-}
-
-export class NumberSchema extends Schema {
-  constructor() {
-    super(...arguments);
-    this._tag = 2 /* SchemaTag.Number */;
-  }
-}
-
-export class BooleanSchema extends Schema {
-  constructor() {
-    super(...arguments);
-    this._tag = 3 /* SchemaTag.Boolean */;
-  }
-}
-
-export class BigIntSchema extends Schema {
-  constructor() {
-    super(...arguments);
-    this._tag = 4 /* SchemaTag.BigInt */;
-  }
-}
-
-export class LiteralSchema extends Schema {
-  constructor(value) {
-    super();
-    this.value = value;
-    this._tag = 5 /* SchemaTag.Literal */;
-  }
-}
-
-export class NullableSchema extends Schema {
-  constructor(base) {
-    super();
-    this.base = base;
-    this._tag = 6 /* SchemaTag.Nullable */;
-  }
-}
-
-export class StructSchema extends Schema {
-  constructor(fields) {
-    super();
-    this.fields = fields;
-    this._tag = 7 /* SchemaTag.Struct */;
-  }
-}
-
-export class PartialSchema extends Schema {
-  constructor(fields) {
-    super();
-    this.fields = fields;
-    this._tag = 8 /* SchemaTag.Partial */;
-  }
-}
-
-export class ArraySchema extends Schema {
-  constructor(base) {
-    super();
-    this.base = base;
-    this._tag = 9 /* SchemaTag.Array */;
-  }
-}
-
-export class RecordSchema extends Schema {
-  constructor(base) {
-    super();
-    this.base = base;
-    this._tag = 10 /* SchemaTag.Record */;
-  }
-}
-
-export class TupleSchema extends Schema {
-  constructor(components) {
-    super();
-    this.components = components;
-    this._tag = 11 /* SchemaTag.Tuple */;
-  }
-}
-
-export class LazySchema extends Schema {
-  constructor(make) {
-    super();
-    this.make = make;
-    this._tag = 12 /* SchemaTag.Lazy */;
-  }
-}
-
-export class ValidationSchema extends Schema {
-  constructor(base, validations) {
-    super();
-    this.base = base;
-    this.validations = validations;
-    this._tag = 13 /* SchemaTag.Validation */;
-  }
-}
-
-export class UnionSchema extends Schema {
-  constructor(members) {
-    super();
-    this.members = members;
-    this._tag = 14 /* SchemaTag.Union */;
-  }
-}
-
-export const unknown = /*#__PURE__*/new UnknownSchema();
-export const string = /*#__PURE__*/new StringSchema();
-export const number = /*#__PURE__*/new NumberSchema();
-export const boolean = /*#__PURE__*/new BooleanSchema();
-export const bigint = /*#__PURE__*/new BigIntSchema();
-export function literal(value) {
-  return new LiteralSchema(value);
-}
-export function nullable(base) {
-  return new NullableSchema(base);
-}
-export function struct(fields) {
-  return new StructSchema(fields);
-}
-export function partial(fields) {
-  return new PartialSchema(fields);
-}
-export function array(base) {
-  return new ArraySchema(base);
-}
-export function record(base) {
-  return new RecordSchema(base);
-}
-export function tuple(...components) {
-  return new TupleSchema(components).unsafeCoerce();
-}
-export function lazy(make) {
-  return new LazySchema(make);
-}
-export function validation(...validations) {
-  return base => new ValidationSchema(base, validations).unsafeCoerce();
-}
-export function union(...members) {
-  return new UnionSchema(members);
-}
-export function concrete(_) {
-  //
-}
-function cacheThunk(f) {
-  let cached;
-  return () => {
-    if (!cached) {
-      cached = f();
-    }
-    return cached;
-  };
-}
-export function interpret(S) {
-  return schema => {
-    concrete(schema);
-    switch (schema._tag) {
-      case 0 /* SchemaTag.Unknown */:
-        return S.unknown;
-      case 1 /* SchemaTag.String */:
-        return S.string;
-      case 2 /* SchemaTag.Number */:
-        return S.number;
-      case 3 /* SchemaTag.Boolean */:
-        return S.boolean;
-      case 4 /* SchemaTag.BigInt */:
-        return S.bigint;
-      case 5 /* SchemaTag.Literal */:
-        return S.literal(schema.value);
-      case 12 /* SchemaTag.Lazy */:
-        const cached = cacheThunk(schema.make);
-        return S.lazy(() => interpret(S)(cached()));
-      case 6 /* SchemaTag.Nullable */:
-        return S.nullable(interpret(S)(schema.base));
-      case 7 /* SchemaTag.Struct */:
-        return S.struct(tsplus_module_1.Dictionary.reverseGet(tsplus_module_2.map(interpret(S))(tsplus_module_1.Dictionary.get(schema.fields))));
-      case 8 /* SchemaTag.Partial */:
-        return S.partial(tsplus_module_1.Dictionary.reverseGet(tsplus_module_2.map(interpret(S))(tsplus_module_1.Dictionary.get(schema.fields))));
-      case 9 /* SchemaTag.Array */:
-        return S.array(interpret(S)(schema.base));
-      case 10 /* SchemaTag.Record */:
-        return S.record(interpret(S)(schema.base));
-      case 11 /* SchemaTag.Tuple */:
-        return S.tuple(...schema.components.map(interpret(S)));
-      case 13 /* SchemaTag.Validation */:
-        return S.validation(...schema.validations)(interpret(S)(schema.base));
-      case 14 /* SchemaTag.Union */:
-        return S.union(schema.members.map(interpret(S)), schema);
-    }
-  };
-}
+// codegen:start { preset: barrel, include: ./Schema/*.ts }
+export * from "./Schema/api.mjs";
+export * from "./Schema/definition.mjs";
+export * from "./Schema/derivations.mjs";
+// codegen:end
+// codegen:start { preset: barrel, include: ./Schema/api/*.ts }
+export * from "./Schema/api/conc.mjs";
+export * from "./Schema/api/either.mjs";
+export * from "./Schema/api/hashMap.mjs";
+export * from "./Schema/api/immutableArray.mjs";
+export * from "./Schema/api/list.mjs";
+export * from "./Schema/api/maybe.mjs";
 //# sourceMappingURL=Schema.mjs.map

package/_mjs/Schema.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"Schema.mjs","mappings":";;;AAIA,OAAO,MAAMA,cAAc,gBAAGC,MAAM,CAACC,GAAG,CAAC,8BAA8B,CAAC;AAGxE,OAAO,MAAMC,YAAY,gBAAGF,MAAM,CAACC,GAAG,CAAC,qBAAqB,CAAC;AAyB7D,OAAM,MAAgBE,MAAM;EAA5BC;IACW,QAAc,GAAiBF,YAAY;EAItD;;KAJYA,YAAY;AAMxB,OAAM,MAAOG,aAAc,SAAQF,MAAe;EAAlDC;;IACW,SAAI;EACf;;;AAEA,OAAM,MAAOE,YAAa,SAAQH,MAAc;EAAhDC;;IACW,SAAI;EACf;;;AAEA,OAAM,MAAOG,YAAa,SAAQJ,MAAc;EAAhDC;;IACW,SAAI;EACf;;;AAEA,OAAM,MAAOI,aAAc,SAAQL,MAAe;EAAlDC;;IACW,SAAI;EACf;;;AAEA,OAAM,MAAOK,YAAa,SAAQN,MAAc;EAAhDC;;IACW,SAAI;EACf;;;AAEA,OAAM,MAAOM,aAAiC,SAAQP,MAAS;EAE7DC,YAAqBO,KAAQ;IAC3B,KAAK,EAAE;IADY,UAAK,GAALA,KAAK;IADjB,SAAI;EAGb;;;AAGF,OAAM,MAAOC,cAAkB,SAAQT,MAA4B;EAEjEC,YAAqBS,IAAe;IAClC,KAAK,EAAE;IADY,SAAI,GAAJA,IAAI;IADhB,SAAI;EAGb;;;AAGF,OAAM,MAAOC,YAA4C,SAAQX,MAAS;EAExEC,YAAqBW,MAAwC;IAC3D,KAAK,EAAE;IADY,WAAM,GAANA,MAAM;IADlB,SAAI;EAGb;;;AAGF,OAAM,MAAOC,aAA6C,SAAQb,MAAkB;EAElFC,YAAqBW,MAAwC;IAC3D,KAAK,EAAE;IADY,WAAM,GAANA,MAAM;IADlB,SAAI;EAGb;;;AAGF,OAAM,MAAOE,WAAe,SAAQd,MAAwB;EAE1DC,YAAqBS,IAAe;IAClC,KAAK,EAAE;IADY,SAAI,GAAJA,IAAI;IADhB,SAAI;EAGb;;;AAGF,OAAM,MAAOK,YAAgB,SAAQf,MAAyB;EAE5DC,YAAqBS,IAAe;IAClC,KAAK,EAAE;IADY,SAAI,GAAJA,IAAI;IADhB,SAAI;EAGb;;;AAGF,OAAM,MAAOM,WAA0C,SAAQhB,MAAS;EAEtEC,YAAqBgB,UAA4C;IAC/D,KAAK,EAAE;IADY,eAAU,GAAVA,UAAU;IADtB,SAAI;EAGb;;;AAGF,OAAM,MAAOC,UAAc,SAAQlB,MAAS;EAE1CC,YAAqBkB,IAAqB;IACxC,KAAK,EAAE;IADY,SAAI,GAAJA,IAAI;IADhB,SAAI;EAGb;;;AAGF,OAAM,MAAOC,gBAAiE,SAAQpB,MAErF;EAECC,YAAqBS,IAAe,EAAWW,WAA4B;IACzE,KAAK,EAAE;IADY,SAAI,GAAJX,IAAI;IAAsB,gBAAW,GAAXW,WAAW;IADjD,SAAI;EAGb;;;AAGF,OAAM,MAAOC,WAA0C,SAAQtB,MAAiB;EAE9EC,YAAqBsB,OAAyC;IAC5D,KAAK,EAAE;IADY,YAAO,GAAPA,OAAO;IADnB,SAAI;EAGb;;;AAGF,OAAO,MAAMC,OAAO,gBAAoB,IAAItB,aAAa,EAAE;AAE3D,OAAO,MAAMuB,MAAM,gBAAmB,IAAItB,YAAY,EAAE;AAExD,OAAO,MAAMuB,MAAM,gBAAmB,IAAItB,YAAY,EAAE;AAExD,OAAO,MAAMuB,OAAO,gBAAoB,IAAItB,aAAa,EAAE;AAE3D,OAAO,MAAMuB,MAAM,gBAAmB,IAAItB,YAAY,EAAE;AAExD,OAAM,SAAUuB,OAAO,CAAoBrB,KAAQ;EACjD,OAAO,IAAID,aAAa,CAACC,KAAK,CAAC;AACjC;AAEA,OAAM,SAAUsB,QAAQ,CAAIpB,IAAe;EACzC,OAAO,IAAID,cAAc,CAACC,IAAI,CAAC;AACjC;AAEA,OAAM,SAAUqB,MAAM,CAAgCnB,MAAwC;EAC5F,OAAO,IAAID,YAAY,CAACC,MAAM,CAAC;AACjC;AAEA,OAAM,SAAUoB,OAAO,CAAgCpB,MAAwC;EAC7F,OAAO,IAAIC,aAAa,CAACD,MAAM,CAAC;AAClC;AAEA,OAAM,SAAUqB,KAAK,CAAIvB,IAAe;EACtC,OAAO,IAAII,WAAW,CAACJ,IAAI,CAAC;AAC9B;AAEA,OAAM,SAAUwB,MAAM,CAAIxB,IAAe;EACvC,OAAO,IAAIK,YAAY,CAACL,IAAI,CAAC;AAC/B;AAEA,OAAM,SAAUyB,KAAK,CAA+B,GAAGlB,UAA4C;EACjG,OAAO,IAAID,WAAW,CAACC,UAAU,CAAC,CAACmB,YAAY,EAAE;AACnD;AAEA,OAAM,SAAUC,IAAI,CAAIlB,IAAqB;EAC3C,OAAO,IAAID,UAAU,CAACC,IAAI,CAAC;AAC7B;AAEA,OAAM,SAAUmB,UAAU,CAAiD,GAAGjB,WAAc;EAC1F,OACEX,IAAe,IAEf,IAAIU,gBAAgB,CAACV,IAAI,EAAEW,WAAW,CAAC,CAACe,YAAY,EAAE;AAC1D;AAEA,OAAM,SAAUG,KAAK,CAA+B,GAAGhB,OAAyC;EAC9F,OAAO,IAAID,WAAW,CAACC,OAAO,CAAC;AACjC;AAmBA,OAAM,SAAUiB,QAAQ,CAACC,CAAc;EACrC;AAAA;AAGF,SAASC,UAAU,CAAIC,CAAU;EAC/B,IAAIC,MAAS;EACb,OAAO,MAAK;IACV,IAAI,CAACA,MAAM,EAAE;MACXA,MAAM,GAAGD,CAAC,EAAE;;IAEd,OAAOC,MAAM;EACf,CAAC;AACH;AAGA,OAAM,SAAUC,SAAS,CAAgBC,CAAO;EAC9C,OAAWC,MAAiB,IAA2B;IACrDP,QAAQ,CAACO,MAAM,CAAC;IAChB,QAAQA,MAAM,CAACC,IAAI;MACjB;QACE,OAAOF,CAAC,CAACtB,OAAO;MAClB;QACE,OAAOsB,CAAC,CAACrB,MAAM;MACjB;QACE,OAAOqB,CAAC,CAACpB,MAAM;MACjB;QACE,OAAOoB,CAAC,CAACnB,OAAO;MAClB;QACE,OAAOmB,CAAC,CAAClB,MAAM;MACjB;QACE,OAAOkB,CAAC,CAACjB,OAAO,CAACkB,MAAM,CAACvC,KAAK,CAAC;MAChC;QACE,MAAMoC,MAAM,GAAGF,UAAU,CAACK,MAAM,CAAC5B,IAAI,CAAC;QACtC,OAAO2B,CAAC,CAACT,IAAI,CAAC,MAAMQ,SAAS,CAACC,CAAC,CAAC,CAACF,MAAM,EAAE,CAAC,CAAC;MAC7C;QACE,OAAOE,CAAC,CAAChB,QAAQ,CAACe,SAAS,CAACC,CAAC,CAAC,CAACC,MAAM,CAACrC,IAAI,CAAC,CAAC;MAC9C;QACE,OAAOoC,CAAC,CAACf,MAAM,CAACkB,0BAAU,CAACC,UAAU,CAACC,oBAAkCN,SAAS,CAACC,CAAC,CAAC,EAA9CG,0BAAU,CAACG,GAAG,CAACL,MAAM,CAACnC,MAAM,CAAC,CAAkB,CAAC,CAAC;MACzF;QACE,OAAOkC,CAAC,CAACd,OAAO,CAACiB,0BAAU,CAACC,UAAU,CAACC,oBAAkCN,SAAS,CAACC,CAAC,CAAC,EAA9CG,0BAAU,CAACG,GAAG,CAACL,MAAM,CAACnC,MAAM,CAAC,CAAkB,CAAC,CAAC;MAC1F;QACE,OAAOkC,CAAC,CAACb,KAAK,CAACY,SAAS,CAACC,CAAC,CAAC,CAACC,MAAM,CAACrC,IAAI,CAAC,CAAC;MAC3C;QACE,OAAOoC,CAAC,CAACZ,MAAM,CAACW,SAAS,CAACC,CAAC,CAAC,CAACC,MAAM,CAACrC,IAAI,CAAC,CAAC;MAC5C;QACE,OAAOoC,CAAC,CAACX,KAAK,CAAC,GAAGY,MAAM,CAAC9B,UAAU,CAACoC,GAAG,CAACR,SAAS,CAACC,CAAC,CAAC,CAAC,CAAC;MACxD;QACE,OAAOA,CAAC,CAACR,UAAU,CAAC,GAAGS,MAAM,CAAC1B,WAAW,CAAC,CAACwB,SAAS,CAACC,CAAC,CAAC,CAACC,MAAM,CAACrC,IAAI,CAAC,CAAC;MACvE;QACE,OAAOoC,CAAC,CAACP,KAAK,CAACQ,MAAM,CAACxB,OAAO,CAAC8B,GAAG,CAACR,SAAS,CAACC,CAAC,CAAC,CAAC,EAAEC,MAAM,CAAC;IAAC;EAE/D,CAAC;AACH","names":["SchemaVariance","Symbol","for","SchemaTypeId","Schema","constructor","UnknownSchema","StringSchema","NumberSchema","BooleanSchema","BigIntSchema","LiteralSchema","value","NullableSchema","base","StructSchema","fields","PartialSchema","ArraySchema","RecordSchema","TupleSchema","components","LazySchema","make","ValidationSchema","validations","UnionSchema","members","unknown","string","number","boolean","bigint","literal","nullable","struct","partial","array","record","tuple","unsafeCoerce","lazy","validation","union","concrete","_","cacheThunk","f","cached","interpret","S","schema","_tag","tsplus_module_1","reverseGet","tsplus_module_2","get","map"],"sourceRoot":"","sources":["../_src/Schema.ts"],"sourcesContent":[null]}
+{"version":3,"file":"Schema.mjs","mappings":"AAAA;AACA,cAAc,kBAAiB;AAC/B,cAAc,yBAAwB;AACtC,cAAc,0BAAyB;AACvC;AAEA;AACA,cAAc,uBAAsB;AACpC,cAAc,yBAAwB;AACtC,cAAc,0BAAyB;AACvC,cAAc,iCAAgC;AAC9C,cAAc,uBAAsB;AACpC,cAAc,wBAAuB","names":[],"sourceRoot":"","sources":["../_src/Schema.ts"],"sourcesContent":[null]}

package/_mjs/utils.mjs

@@ -0,0 +1,41 @@
+import * as tsplus_module_1 from "@fncts/base/collection/immutable/Vector/api";
+import * as tsplus_module_2 from "@fncts/schema/AST";
+export function memoize(f) {
+  const cache = new Map();
+  return a => {
+    if (!cache.has(a)) {
+      const b = f(a);
+      cache.set(a, b);
+      return b;
+    }
+    return cache.get(a);
+  };
+}
+export function ownKeys(o) {
+  return o ? tsplus_module_1.from(Reflect.ownKeys(o)) : tsplus_module_1.empty();
+}
+export function getTemplateLiteralRegex(ast) {
+  let pattern = `^${ast.head}`;
+  for (const span of ast.spans) {
+    if (tsplus_module_2.isStringKeyword(span.type)) {
+      pattern += ".*";
+    } else if (tsplus_module_2.isNumberKeyword(span.type)) {
+      pattern += "-?\\d+(\\.\\d+)?";
+    }
+    pattern += span.literal;
+  }
+  pattern += "$";
+  return new RegExp(pattern);
+}
+export function getKeysForIndexSignature(input, parameter) {
+  switch (parameter._tag) {
+    case 8 /* ASTTag.StringKeyword */:
+    case 15 /* ASTTag.TemplateLiteral */:
+      return tsplus_module_1.from(Object.keys(input));
+    case 12 /* ASTTag.SymbolKeyword */:
+      return tsplus_module_1.from(Object.getOwnPropertySymbols(input));
+    case 20 /* ASTTag.Refinement */:
+      return getKeysForIndexSignature(input, parameter.from);
+  }
+}
+//# sourceMappingURL=utils.mjs.map

package/_mjs/utils.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.mjs","mappings":";;AAIA,OAAM,SAAUA,OAAO,CAAOC,CAAc;EAC1C,MAAMC,KAAK,GAAG,IAAIC,GAAG,EAAE;EACvB,OAAQC,CAAC,IAAI;IACX,IAAI,CAACF,KAAK,CAACG,GAAG,CAACD,CAAC,CAAC,EAAE;MACjB,MAAME,CAAC,GAAGL,CAAC,CAACG,CAAC,CAAC;MACdF,KAAK,CAACK,GAAG,CAACH,CAAC,EAAEE,CAAC,CAAC;MACf,OAAOA,CAAC;;IAEV,OAAOJ,KAAK,CAACM,GAAG,CAACJ,CAAC,CAAC;EACrB,CAAC;AACH;AAEA,OAAM,SAAUK,OAAO,CAACC,CAAqB;EAC3C,OAAOA,CAAC,GAAGC,qBAAYC,OAAO,CAACH,OAAO,CAACC,CAAC,CAAC,CAAC,GAAGC,uBAAc;AAC7D;AAEA,OAAM,SAAUE,uBAAuB,CAACC,GAAoB;EAC1D,IAAIC,OAAO,GAAG,IAAID,GAAG,CAACE,IAAI,EAAE;EAC5B,KAAK,MAAMC,IAAI,IAAIH,GAAG,CAACI,KAAK,EAAE;IAC5B,IAAIC,oCAAI,CAACC,IAAI,CAAkB,EAAE;MAC/BL,OAAO,IAAI,IAAI;KAChB,MAAM,IAAII,oCAAI,CAACC,IAAI,CAAkB,EAAE;MACtCL,OAAO,IAAI,kBAAkB;;IAE/BA,OAAO,IAAIE,IAAI,CAACI,OAAO;;EAEzBN,OAAO,IAAI,GAAG;EACd,OAAO,IAAIO,MAAM,CAACP,OAAO,CAAC;AAC5B;AAEA,OAAM,SAAUQ,wBAAwB,CACtCC,KAA6C,EAC7CC,SAAsC;EAEtC,QAAQA,SAAS,CAACC,IAAI;IACpB;IACA;MACE,OAAOf,qBAAYgB,MAAM,CAACC,IAAI,CAACJ,KAAK,CAAC,CAAC;IACxC;MACE,OAAOb,qBAAYgB,MAAM,CAACE,qBAAqB,CAACL,KAAK,CAAC,CAAC;IACzD;MACE,OAAOD,wBAAwB,CAACC,KAAK,EAAEC,SAAS,CAACK,IAAW,CAAC;EAAC;AAEpE","names":["memoize","f","cache","Map","a","has","b","set","get","ownKeys","o","tsplus_module_1","Reflect","getTemplateLiteralRegex","ast","pattern","head","span","spans","tsplus_module_2","type","literal","RegExp","getKeysForIndexSignature","input","parameter","_tag","Object","keys","getOwnPropertySymbols","from"],"sourceRoot":"","sources":["../_src/utils.ts"],"sourcesContent":[null]}