@fncts/schema 0.0.4 → 0.0.6

package/_cjs/Encoder.cjs

@@ -1,45 +0,0 @@
-"use strict";
-
-Object.defineProperty(exports, "__esModule", {
-  value: true
-});
-exports.Schemable = void 0;
-var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Encoder/api"));
-var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/function/api"));
-var _Schema = /*#__PURE__*/require("@fncts/schema/Schema");
-var G = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./Guard.cjs"));
-function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
-function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { default: obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj.default = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
-const Schemable = {
-  unknown: tsplus_module_1.unknown,
-  string: tsplus_module_1.string,
-  number: tsplus_module_1.number,
-  boolean: tsplus_module_1.boolean,
-  bigint: tsplus_module_1.bigint,
-  literal: tsplus_module_1.literal,
-  nullable: tsplus_module_1.nullable,
-  struct: tsplus_module_1.struct,
-  partial: tsplus_module_1.partial,
-  array: tsplus_module_1.readonlyArray,
-  record: tsplus_module_1.record,
-  tuple: tsplus_module_1.tuple,
-  lazy: tsplus_module_1.deriveLazy,
-  validation: tsplus_module_1.validation,
-  union: (members, schema) => {
-    const guards = schema.members.map((0, _Schema.interpret)(G.Schemable));
-    return tsplus_module_1.makeEncoder(inp => {
-      let encoder;
-      for (let i = 0; i < guards.length; i++) {
-        if (guards[i].is(inp)) {
-          encoder = members[i];
-        }
-      }
-      if (!encoder) {
-        throw new Error("BUG: Encoder not found for union");
-      }
-      return encoder.encode(inp);
-    });
-  }
-};
-exports.Schemable = Schemable;
-//# sourceMappingURL=Encoder.cjs.map

package/_cjs/Encoder.cjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"Encoder.cjs","mappings":";;;;;;;;AAGA;AAEA;AAAgC;AAAA;AAEzB,MAAMA,SAAS,GAAgB;EACpCC,OAAO,yBAAiB;EACxBC,MAAM,wBAAU;EAChBC,MAAM,wBAAU;EAChBC,OAAO,yBAAU;EACjBC,MAAM,wBAAU;EAChBC,OAAO,yBAAiB;EACxBC,QAAQ,0BAAkB;EAC1BC,MAAM,wBAAgB;EACtBC,OAAO,yBAAiB;EACxBC,KAAK,+BAAuB;EAC5BC,MAAM,wBAAgB;EACtBC,KAAK,uBAA6B;EAClCC,IAAI,4BAAc;EAClBC,UAAU,4BAAkC;EAC5CC,KAAK,EAAE,CAACC,OAAO,EAAEC,MAAM,KAAI;IACzB,MAAMC,MAAM,GAAGD,MAAM,CAACD,OAAO,CAACG,GAAG,CAAC,qBAAS,EAACC,CAAC,CAACpB,SAAS,CAAC,CAAC;IACzD,OAAOqB,4BAASC,GAAG,IAAI;MACrB,IAAIC,OAAiC;MACrC,KAAK,IAAIC,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGN,MAAM,CAACO,MAAM,EAAED,CAAC,EAAE,EAAE;QACtC,IAAIN,MAAM,CAACM,CAAC,CAAE,CAACE,EAAE,CAACJ,GAAG,CAAC,EAAE;UACtBC,OAAO,GAAGP,OAAO,CAACQ,CAAC,CAAE;;;MAGzB,IAAI,CAACD,OAAO,EAAE;QACZ,MAAM,IAAII,KAAK,CAAC,kCAAkC,CAAC;;MAErD,OAAOJ,OAAO,CAACK,MAAM,CAACN,GAAG,CAAC;IAC5B,CAAC,CAAC;EACJ;CACD;AAAC","names":["Schemable","unknown","string","number","boolean","bigint","literal","nullable","struct","partial","array","record","tuple","lazy","validation","union","members","schema","guards","map","G","tsplus_module_1","inp","encoder","i","length","is","Error","encode"],"sourceRoot":"","sources":["../_src/Encoder.ts"],"sourcesContent":[null]}

package/_cjs/Guard.cjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"Guard.cjs","mappings":";;;;;;;;;;AAGO,MAAMA,SAAS,GAAc;EAClCC,OAAO,yBAAe;EACtBC,MAAM,wBAAU;EAChBC,MAAM,wBAAU;EAChBC,OAAO,yBAAU;EACjBC,MAAM,wBAAU;EAChBC,OAAO,yBAAe;EACtBC,QAAQ,0BAAgB;EACxBC,MAAM,wBAAc;EACpBC,OAAO,yBAAe;EACtBC,KAAK,+BAAqB;EAC1BC,MAAM,wBAAc;EACpBC,KAAK,uBAA2B;EAChCC,IAAI,4BAAY;EAChBC,UAAU,4BAAgC;EAC1CC,KAAK,EAAGC,OAAO,IAAKC,4BAAY,GAAGD,OAAO;CAC3C;AAAC","names":["Schemable","unknown","string","number","boolean","bigint","literal","nullable","struct","partial","array","record","tuple","lazy","validation","union","members","tsplus_module_1"],"sourceRoot":"","sources":["../_src/Guard.ts"],"sourcesContent":[null]}

package/_cjs/Schemable.cjs

@@ -1,6 +0,0 @@
-"use strict";
-
-Object.defineProperty(exports, "__esModule", {
-  value: true
-});
-//# sourceMappingURL=Schemable.cjs.map

package/_cjs/Schemable.cjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"Schemable.cjs","mappings":"","names":[],"sourceRoot":"","sources":[],"sourcesContent":[]}

package/_mjs/Decoder.mjs

@@ -1,20 +0,0 @@
-import * as tsplus_module_1 from "@fncts/base/data/Decoder/api";
-import * as tsplus_module_2 from "@fncts/base/data/function/api";
-export const Schemable = {
-  unknown: tsplus_module_1.unknown,
-  string: tsplus_module_1.string,
-  number: tsplus_module_1.number,
-  boolean: tsplus_module_1.boolean,
-  bigint: tsplus_module_1.bigint,
-  literal: tsplus_module_1.literal,
-  nullable: tsplus_module_1.nullable,
-  struct: tsplus_module_1.struct,
-  partial: tsplus_module_1.partial,
-  array: tsplus_module_1.readonlyArray,
-  record: tsplus_module_1.record,
-  tuple: tsplus_module_1.tuple,
-  lazy: tsplus_module_1.deriveLazy,
-  validation: tsplus_module_1.validation,
-  union: members => tsplus_module_1.union(...members)
-};
-//# sourceMappingURL=Decoder.mjs.map

package/_mjs/Decoder.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"Decoder.mjs","mappings":";;AAGA,OAAO,MAAMA,SAAS,GAAgB;EACpCC,OAAO,yBAAiB;EACxBC,MAAM,wBAAU;EAChBC,MAAM,wBAAU;EAChBC,OAAO,yBAAU;EACjBC,MAAM,wBAAU;EAChBC,OAAO,yBAAiB;EACxBC,QAAQ,0BAAkB;EAC1BC,MAAM,wBAAgB;EACtBC,OAAO,yBAAiB;EACxBC,KAAK,+BAAuB;EAC5BC,MAAM,wBAAgB;EACtBC,KAAK,uBAA6B;EAClCC,IAAI,4BAAc;EAClBC,UAAU,4BAAkC;EAC5CC,KAAK,EAAGC,OAAO,IAAKC,sBAAc,GAAGD,OAAO;CAC7C","names":["Schemable","unknown","string","number","boolean","bigint","literal","nullable","struct","partial","array","record","tuple","lazy","validation","union","members","tsplus_module_1"],"sourceRoot":"","sources":["../_src/Decoder.ts"],"sourcesContent":[null]}

package/_mjs/Encoder.mjs

@@ -1,36 +0,0 @@
-import * as tsplus_module_1 from "@fncts/base/data/Encoder/api";
-import * as tsplus_module_2 from "@fncts/base/data/function/api";
-import { interpret } from "@fncts/schema/Schema";
-import * as G from "./Guard.mjs";
-export const Schemable = {
-  unknown: tsplus_module_1.unknown,
-  string: tsplus_module_1.string,
-  number: tsplus_module_1.number,
-  boolean: tsplus_module_1.boolean,
-  bigint: tsplus_module_1.bigint,
-  literal: tsplus_module_1.literal,
-  nullable: tsplus_module_1.nullable,
-  struct: tsplus_module_1.struct,
-  partial: tsplus_module_1.partial,
-  array: tsplus_module_1.readonlyArray,
-  record: tsplus_module_1.record,
-  tuple: tsplus_module_1.tuple,
-  lazy: tsplus_module_1.deriveLazy,
-  validation: tsplus_module_1.validation,
-  union: (members, schema) => {
-    const guards = schema.members.map(interpret(G.Schemable));
-    return tsplus_module_1.makeEncoder(inp => {
-      let encoder;
-      for (let i = 0; i < guards.length; i++) {
-        if (guards[i].is(inp)) {
-          encoder = members[i];
-        }
-      }
-      if (!encoder) {
-        throw new Error("BUG: Encoder not found for union");
-      }
-      return encoder.encode(inp);
-    });
-  }
-};
-//# sourceMappingURL=Encoder.mjs.map

package/_mjs/Encoder.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"Encoder.mjs","mappings":";;AAGA,SAASA,SAAS,QAAQ,sBAAsB;AAEhD,OAAO,KAAKC,CAAC,MAAM,aAAY;AAE/B,OAAO,MAAMC,SAAS,GAAgB;EACpCC,OAAO,yBAAiB;EACxBC,MAAM,wBAAU;EAChBC,MAAM,wBAAU;EAChBC,OAAO,yBAAU;EACjBC,MAAM,wBAAU;EAChBC,OAAO,yBAAiB;EACxBC,QAAQ,0BAAkB;EAC1BC,MAAM,wBAAgB;EACtBC,OAAO,yBAAiB;EACxBC,KAAK,+BAAuB;EAC5BC,MAAM,wBAAgB;EACtBC,KAAK,uBAA6B;EAClCC,IAAI,4BAAc;EAClBC,UAAU,4BAAkC;EAC5CC,KAAK,EAAE,CAACC,OAAO,EAAEC,MAAM,KAAI;IACzB,MAAMC,MAAM,GAAGD,MAAM,CAACD,OAAO,CAACG,GAAG,CAACrB,SAAS,CAACC,CAAC,CAACC,SAAS,CAAC,CAAC;IACzD,OAAOoB,4BAASC,GAAG,IAAI;MACrB,IAAIC,OAAiC;MACrC,KAAK,IAAIC,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGL,MAAM,CAACM,MAAM,EAAED,CAAC,EAAE,EAAE;QACtC,IAAIL,MAAM,CAACK,CAAC,CAAE,CAACE,EAAE,CAACJ,GAAG,CAAC,EAAE;UACtBC,OAAO,GAAGN,OAAO,CAACO,CAAC,CAAE;;;MAGzB,IAAI,CAACD,OAAO,EAAE;QACZ,MAAM,IAAII,KAAK,CAAC,kCAAkC,CAAC;;MAErD,OAAOJ,OAAO,CAACK,MAAM,CAACN,GAAG,CAAC;IAC5B,CAAC,CAAC;EACJ;CACD","names":["interpret","G","Schemable","unknown","string","number","boolean","bigint","literal","nullable","struct","partial","array","record","tuple","lazy","validation","union","members","schema","guards","map","tsplus_module_1","inp","encoder","i","length","is","Error","encode"],"sourceRoot":"","sources":["../_src/Encoder.ts"],"sourcesContent":[null]}

package/_mjs/Guard.mjs

@@ -1,20 +0,0 @@
-import * as tsplus_module_1 from "@fncts/base/data/Guard/api";
-import * as tsplus_module_2 from "@fncts/base/data/function/api";
-export const Schemable = {
-  unknown: tsplus_module_1.unknown,
-  string: tsplus_module_1.string,
-  number: tsplus_module_1.number,
-  boolean: tsplus_module_1.boolean,
-  bigint: tsplus_module_1.bigint,
-  literal: tsplus_module_1.literal,
-  nullable: tsplus_module_1.nullable,
-  struct: tsplus_module_1.struct,
-  partial: tsplus_module_1.partial,
-  array: tsplus_module_1.readonlyArray,
-  record: tsplus_module_1.record,
-  tuple: tsplus_module_1.tuple,
-  lazy: tsplus_module_1.deriveLazy,
-  validation: tsplus_module_1.validation,
-  union: members => tsplus_module_1.deriveUnion(...members)
-};
-//# sourceMappingURL=Guard.mjs.map

package/_mjs/Guard.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"Guard.mjs","mappings":";;AAGA,OAAO,MAAMA,SAAS,GAAc;EAClCC,OAAO,yBAAe;EACtBC,MAAM,wBAAU;EAChBC,MAAM,wBAAU;EAChBC,OAAO,yBAAU;EACjBC,MAAM,wBAAU;EAChBC,OAAO,yBAAe;EACtBC,QAAQ,0BAAgB;EACxBC,MAAM,wBAAc;EACpBC,OAAO,yBAAe;EACtBC,KAAK,+BAAqB;EAC1BC,MAAM,wBAAc;EACpBC,KAAK,uBAA2B;EAChCC,IAAI,4BAAY;EAChBC,UAAU,4BAAgC;EAC1CC,KAAK,EAAGC,OAAO,IAAKC,4BAAY,GAAGD,OAAO;CAC3C","names":["Schemable","unknown","string","number","boolean","bigint","literal","nullable","struct","partial","array","record","tuple","lazy","validation","union","members","tsplus_module_1"],"sourceRoot":"","sources":["../_src/Guard.ts"],"sourcesContent":[null]}

package/_mjs/Schemable.mjs

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=Schemable.mjs.map

package/_mjs/Schemable.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"Schemable.mjs","mappings":"","names":[],"sourceRoot":"","sources":[],"sourcesContent":[]}

package/_src/Decoder.ts

@@ -1,20 +0,0 @@
-import type { DecoderF } from "@fncts/base/data/Decoder";
-import type { Schemable as S } from "@fncts/schema/Schemable";
-
-export const Schemable: S<DecoderF> = {
-  unknown: Decoder.unknown,
-  string: Derive(),
-  number: Derive(),
-  boolean: Derive(),
-  bigint: Derive(),
-  literal: Decoder.literal,
-  nullable: Decoder.nullable,
-  struct: Decoder.struct,
-  partial: Decoder.partial,
-  array: Decoder.readonlyArray,
-  record: Decoder.record,
-  tuple: unsafeCoerce(Decoder.tuple),
-  lazy: Decoder.lazy,
-  validation: unsafeCoerce(Decoder.validation),
-  union: (members) => Decoder.union(...members),
-};

package/_src/Encoder.ts

@@ -1,38 +0,0 @@
-import type { EncoderF } from "@fncts/base/data/Encoder";
-import type { Schemable as S } from "@fncts/schema/Schemable";
-
-import { interpret } from "@fncts/schema/Schema";
-
-import * as G from "./Guard.js";
-
-export const Schemable: S<EncoderF> = {
-  unknown: Encoder.unknown,
-  string: Derive(),
-  number: Derive(),
-  boolean: Derive(),
-  bigint: Derive(),
-  literal: Encoder.literal,
-  nullable: Encoder.nullable,
-  struct: Encoder.struct,
-  partial: Encoder.partial,
-  array: Encoder.readonlyArray,
-  record: Encoder.record,
-  tuple: unsafeCoerce(Encoder.tuple),
-  lazy: Encoder.lazy,
-  validation: unsafeCoerce(Encoder.validation),
-  union: (members, schema) => {
-    const guards = schema.members.map(interpret(G.Schemable));
-    return Encoder((inp) => {
-      let encoder: Encoder<any> | undefined;
-      for (let i = 0; i < guards.length; i++) {
-        if (guards[i]!.is(inp)) {
-          encoder = members[i]!;
-        }
-      }
-      if (!encoder) {
-        throw new Error("BUG: Encoder not found for union");
-      }
-      return encoder.encode(inp);
-    });
-  },
-};

package/_src/Guard.ts

@@ -1,20 +0,0 @@
-import type { GuardF } from "@fncts/base/data/Guard";
-import type { Schemable as S } from "@fncts/schema/Schemable";
-
-export const Schemable: S<GuardF> = {
-  unknown: Guard.unknown,
-  string: Derive(),
-  number: Derive(),
-  boolean: Derive(),
-  bigint: Derive(),
-  literal: Guard.literal,
-  nullable: Guard.nullable,
-  struct: Guard.struct,
-  partial: Guard.partial,
-  array: Guard.readonlyArray,
-  record: Guard.record,
-  tuple: unsafeCoerce(Guard.tuple),
-  lazy: Guard.lazy,
-  validation: unsafeCoerce(Guard.validation),
-  union: (members) => Guard.union(...members),
-};

package/_src/Schemable.ts

@@ -1,46 +0,0 @@
-import type { Brand, Validation } from "@fncts/base/data/Branded";
-import type { UnionSchema } from "@fncts/schema/Schema";
-import type { Literal } from "@fncts/typelevel/Any";
-
-export type SchemableKind<F extends HKT, A> = F extends { readonly type: unknown }
-  ? (F & { readonly A: A })["type"]
-  : {
-      readonly _F: F;
-      readonly _A: A;
-    };
-
-export interface Schemable<F extends HKT> {
-  readonly unknown: SchemableKind<F, unknown>;
-  readonly string: SchemableKind<F, string>;
-  readonly number: SchemableKind<F, number>;
-  readonly boolean: SchemableKind<F, boolean>;
-  readonly bigint: SchemableKind<F, bigint>;
-  readonly literal: <A extends Literal>(literal: A) => SchemableKind<F, A>;
-  readonly nullable: <A>(or: SchemableKind<F, A>) => SchemableKind<F, A | null | undefined>;
-  readonly struct: <P extends Record<string, any>>(properties: {
-    [K in keyof P]: SchemableKind<F, P[K]>;
-  }) => SchemableKind<F, P>;
-  readonly partial: <P extends Record<string, any>>(properties: {
-    [K in keyof P]: SchemableKind<F, P[K]>;
-  }) => SchemableKind<F, Partial<P>>;
-  readonly array: <A>(item: SchemableKind<F, A>) => SchemableKind<F, ReadonlyArray<A>>;
-  readonly record: <A>(codomain: SchemableKind<F, A>) => SchemableKind<F, Record<string, A>>;
-  readonly tuple: <C extends ReadonlyArray<any>>(
-    ...components: {
-      [K in keyof C]: SchemableKind<F, C[K]>;
-    }
-  ) => SchemableKind<F, C>;
-  readonly lazy: <A>(f: () => SchemableKind<F, A>) => SchemableKind<F, A>;
-  readonly validation: <A, B extends ReadonlyArray<Validation<A, any>>>(
-    ...validations: B
-  ) => (
-    base: SchemableKind<F, A>,
-  ) => SchemableKind<
-    F,
-    A & { [K in keyof B]: B[K] extends Validation<any, infer S> ? Brand.Valid<A, S> : never }[number]
-  >;
-  readonly union: <A extends ReadonlyArray<any>>(
-    members: { [K in keyof A]: SchemableKind<F, A[K]> },
-    schema: UnionSchema<A>,
-  ) => SchemableKind<F, A[number]>;
-}