@fncts/schema 0.0.1 → 0.0.2
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/Schema.d.ts +6 -2
- package/_cjs/Schema.cjs +6 -2
- package/_cjs/Schema.cjs.map +1 -1
- package/_mjs/Schema.mjs +4 -1
- package/_mjs/Schema.mjs.map +1 -1
- package/_src/Schema.ts +7 -2
- package/package.json +2 -2
package/Schema.d.ts
CHANGED
|
@@ -2,6 +2,8 @@ import { HKT } from "@fncts/typelevel/HKT";
|
|
|
2
2
|
import type { Brand, Validation } from "@fncts/base/data/Branded";
|
|
3
3
|
import type { Schemable as S, SchemableKind } from "@fncts/schema/Schemable";
|
|
4
4
|
import type { Literal } from "@fncts/typelevel/Any";
|
|
5
|
+
export declare const SchemaVariance: unique symbol;
|
|
6
|
+
export type SchemaVariance = typeof SchemaVariance;
|
|
5
7
|
export declare const SchemaTypeId: unique symbol;
|
|
6
8
|
export type SchemaTypeId = typeof SchemaTypeId;
|
|
7
9
|
export declare const enum SchemaTag {
|
|
@@ -25,8 +27,10 @@ export interface SchemaF extends HKT {
|
|
|
25
27
|
readonly type: Schema<this["A"]>;
|
|
26
28
|
}
|
|
27
29
|
export declare abstract class Schema<in out A> {
|
|
28
|
-
readonly
|
|
29
|
-
|
|
30
|
+
readonly [SchemaTypeId]: SchemaTypeId;
|
|
31
|
+
[SchemaVariance]: {
|
|
32
|
+
_A: (_: A) => A;
|
|
33
|
+
};
|
|
30
34
|
}
|
|
31
35
|
export declare class UnknownSchema extends Schema<unknown> {
|
|
32
36
|
readonly _tag = SchemaTag.Unknown;
|
package/_cjs/Schema.cjs
CHANGED
|
@@ -3,7 +3,7 @@
|
|
|
3
3
|
Object.defineProperty(exports, "__esModule", {
|
|
4
4
|
value: true
|
|
5
5
|
});
|
|
6
|
-
exports.ValidationSchema = exports.UnknownSchema = exports.UnionSchema = exports.TupleSchema = exports.StructSchema = exports.StringSchema = exports.SchemaTypeId = exports.Schema = exports.RecordSchema = exports.PartialSchema = exports.NumberSchema = exports.NullableSchema = exports.LiteralSchema = exports.LazySchema = exports.BooleanSchema = exports.BigIntSchema = exports.ArraySchema = void 0;
|
|
6
|
+
exports.ValidationSchema = exports.UnknownSchema = exports.UnionSchema = exports.TupleSchema = exports.StructSchema = exports.StringSchema = exports.SchemaVariance = exports.SchemaTypeId = exports.Schema = exports.RecordSchema = exports.PartialSchema = exports.NumberSchema = exports.NullableSchema = exports.LiteralSchema = exports.LazySchema = exports.BooleanSchema = exports.BigIntSchema = exports.ArraySchema = void 0;
|
|
7
7
|
exports.array = array;
|
|
8
8
|
exports.boolean = exports.bigint = void 0;
|
|
9
9
|
exports.concrete = concrete;
|
|
@@ -24,14 +24,18 @@ var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require
|
|
|
24
24
|
var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/Dictionary/api"));
|
|
25
25
|
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); }
|
|
26
26
|
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; }
|
|
27
|
+
var _a;
|
|
28
|
+
const SchemaVariance = /*#__PURE__*/Symbol.for("fncts.schema.Schema.Variance");
|
|
29
|
+
exports.SchemaVariance = SchemaVariance;
|
|
27
30
|
const SchemaTypeId = /*#__PURE__*/Symbol.for("fncts.schema.Schema");
|
|
28
31
|
exports.SchemaTypeId = SchemaTypeId;
|
|
29
32
|
class Schema {
|
|
30
33
|
constructor() {
|
|
31
|
-
this
|
|
34
|
+
this[_a] = SchemaTypeId;
|
|
32
35
|
}
|
|
33
36
|
}
|
|
34
37
|
exports.Schema = Schema;
|
|
38
|
+
_a = SchemaTypeId;
|
|
35
39
|
class UnknownSchema extends Schema {
|
|
36
40
|
constructor() {
|
|
37
41
|
super(...arguments);
|
package/_cjs/Schema.cjs.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Schema.cjs","mappings":"
|
|
1
|
+
{"version":3,"file":"Schema.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;AAIO,MAAMA,cAAc,gBAAGC,MAAM,CAACC,GAAG,CAAC,8BAA8B,CAAC;AAAC;AAGlE,MAAMC,YAAY,gBAAGF,MAAM,CAACC,GAAG,CAAC,qBAAqB,CAAC;AAAC;AAyBxD,MAAgBE,MAAM;EAA5BC;IACW,QAAc,GAAiBF,YAAY;EAItD;;AAAC;KAJWA,YAAY;AAMlB,MAAOG,aAAc,SAAQF,MAAe;EAAlDC;;IACW,SAAI;EACf;;AAAC;AAEK,MAAOE,YAAa,SAAQH,MAAc;EAAhDC;;IACW,SAAI;EACf;;AAAC;AAEK,MAAOG,YAAa,SAAQJ,MAAc;EAAhDC;;IACW,SAAI;EACf;;AAAC;AAEK,MAAOI,aAAc,SAAQL,MAAe;EAAlDC;;IACW,SAAI;EACf;;AAAC;AAEK,MAAOK,YAAa,SAAQN,MAAc;EAAhDC;;IACW,SAAI;EACf;;AAAC;AAEK,MAAOM,aAAiC,SAAQP,MAAS;EAE7DC,YAAqBO,KAAQ;IAC3B,KAAK,EAAE;IADY,UAAK,GAALA,KAAK;IADjB,SAAI;EAGb;;AACD;AAEK,MAAOC,cAAkB,SAAQT,MAA4B;EAEjEC,YAAqBS,IAAe;IAClC,KAAK,EAAE;IADY,SAAI,GAAJA,IAAI;IADhB,SAAI;EAGb;;AACD;AAEK,MAAOC,YAA4C,SAAQX,MAAS;EAExEC,YAAqBW,MAAwC;IAC3D,KAAK,EAAE;IADY,WAAM,GAANA,MAAM;IADlB,SAAI;EAGb;;AACD;AAEK,MAAOC,aAA6C,SAAQb,MAAkB;EAElFC,YAAqBW,MAAwC;IAC3D,KAAK,EAAE;IADY,WAAM,GAANA,MAAM;IADlB,SAAI;EAGb;;AACD;AAEK,MAAOE,WAAe,SAAQd,MAAwB;EAE1DC,YAAqBS,IAAe;IAClC,KAAK,EAAE;IADY,SAAI,GAAJA,IAAI;IADhB,SAAI;EAGb;;AACD;AAEK,MAAOK,YAAgB,SAAQf,MAAyB;EAE5DC,YAAqBS,IAAe;IAClC,KAAK,EAAE;IADY,SAAI,GAAJA,IAAI;IADhB,SAAI;EAGb;;AACD;AAEK,MAAOM,WAA0C,SAAQhB,MAAS;EAEtEC,YAAqBgB,UAA4C;IAC/D,KAAK,EAAE;IADY,eAAU,GAAVA,UAAU;IADtB,SAAI;EAGb;;AACD;AAEK,MAAOC,UAAc,SAAQlB,MAAS;EAE1CC,YAAqBkB,IAAqB;IACxC,KAAK,EAAE;IADY,SAAI,GAAJA,IAAI;IADhB,SAAI;EAGb;;AACD;AAEK,MAAOC,gBAAiE,SAAQpB,MAErF;EAECC,YAAqBS,IAAe,EAAWW,WAA4B;IACzE,KAAK,EAAE;IADY,SAAI,GAAJX,IAAI;IAAsB,gBAAW,GAAXW,WAAW;IADjD,SAAI;EAGb;;AACD;AAEK,MAAOC,WAA0C,SAAQtB,MAAiB;EAE9EC,YAAqBsB,OAAyC;IAC5D,KAAK,EAAE;IADY,YAAO,GAAPA,OAAO;IADnB,SAAI;EAGb;;AACD;AAEM,MAAMC,OAAO,gBAAoB,IAAItB,aAAa,EAAE;AAAC;AAErD,MAAMuB,MAAM,gBAAmB,IAAItB,YAAY,EAAE;AAAC;AAElD,MAAMuB,MAAM,gBAAmB,IAAItB,YAAY,EAAE;AAAC;AAElD,MAAMuB,OAAO,gBAAoB,IAAItB,aAAa,EAAE;AAAC;AAErD,MAAMuB,MAAM,gBAAmB,IAAItB,YAAY,EAAE;AAAC;AAEnD,SAAUuB,OAAO,CAAoBrB,KAAQ;EACjD,OAAO,IAAID,aAAa,CAACC,KAAK,CAAC;AACjC;AAEM,SAAUsB,QAAQ,CAAIpB,IAAe;EACzC,OAAO,IAAID,cAAc,CAACC,IAAI,CAAC;AACjC;AAEM,SAAUqB,MAAM,CAAgCnB,MAAwC;EAC5F,OAAO,IAAID,YAAY,CAACC,MAAM,CAAC;AACjC;AAEM,SAAUoB,OAAO,CAAgCpB,MAAwC;EAC7F,OAAO,IAAIC,aAAa,CAACD,MAAM,CAAC;AAClC;AAEM,SAAUqB,KAAK,CAAIvB,IAAe;EACtC,OAAO,IAAII,WAAW,CAACJ,IAAI,CAAC;AAC9B;AAEM,SAAUwB,MAAM,CAAIxB,IAAe;EACvC,OAAO,IAAIK,YAAY,CAACL,IAAI,CAAC;AAC/B;AAEM,SAAUyB,KAAK,CAA+B,GAAGlB,UAA4C;EACjG,OAAO,IAAID,WAAW,CAACC,UAAU,CAAC,CAACmB,YAAY,EAAE;AACnD;AAEM,SAAUC,IAAI,CAAIlB,IAAqB;EAC3C,OAAO,IAAID,UAAU,CAACC,IAAI,CAAC;AAC7B;AAEM,SAAUmB,UAAU,CAAiD,GAAGjB,WAAc;EAC1F,OACEX,IAAe,IAEf,IAAIU,gBAAgB,CAACV,IAAI,EAAEW,WAAW,CAAC,CAACe,YAAY,EAAE;AAC1D;AAEM,SAAUG,KAAK,CAA+B,GAAGhB,OAAyC;EAC9F,OAAO,IAAID,WAAW,CAACC,OAAO,CAAC;AACjC;AAmBM,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;AAGM,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]}
|
package/_mjs/Schema.mjs
CHANGED
|
@@ -1,11 +1,14 @@
|
|
|
1
|
+
var _a;
|
|
1
2
|
import * as tsplus_module_1 from "@fncts/base/collection/immutable/Dictionary/definition";
|
|
2
3
|
import * as tsplus_module_2 from "@fncts/base/collection/immutable/Dictionary/api";
|
|
4
|
+
export const SchemaVariance = /*#__PURE__*/Symbol.for("fncts.schema.Schema.Variance");
|
|
3
5
|
export const SchemaTypeId = /*#__PURE__*/Symbol.for("fncts.schema.Schema");
|
|
4
6
|
export class Schema {
|
|
5
7
|
constructor() {
|
|
6
|
-
this
|
|
8
|
+
this[_a] = SchemaTypeId;
|
|
7
9
|
}
|
|
8
10
|
}
|
|
11
|
+
_a = SchemaTypeId;
|
|
9
12
|
export class UnknownSchema extends Schema {
|
|
10
13
|
constructor() {
|
|
11
14
|
super(...arguments);
|
package/_mjs/Schema.mjs.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Schema.mjs","mappings":"
|
|
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]}
|
package/_src/Schema.ts
CHANGED
|
@@ -2,6 +2,9 @@ import type { Brand, Validation } from "@fncts/base/data/Branded";
|
|
|
2
2
|
import type { Schemable as S, SchemableKind } from "@fncts/schema/Schemable";
|
|
3
3
|
import type { Literal } from "@fncts/typelevel/Any";
|
|
4
4
|
|
|
5
|
+
export const SchemaVariance = Symbol.for("fncts.schema.Schema.Variance");
|
|
6
|
+
export type SchemaVariance = typeof SchemaVariance;
|
|
7
|
+
|
|
5
8
|
export const SchemaTypeId = Symbol.for("fncts.schema.Schema");
|
|
6
9
|
export type SchemaTypeId = typeof SchemaTypeId;
|
|
7
10
|
|
|
@@ -28,8 +31,10 @@ export interface SchemaF extends HKT {
|
|
|
28
31
|
}
|
|
29
32
|
|
|
30
33
|
export abstract class Schema<in out A> {
|
|
31
|
-
readonly
|
|
32
|
-
declare
|
|
34
|
+
readonly [SchemaTypeId]: SchemaTypeId = SchemaTypeId;
|
|
35
|
+
declare [SchemaVariance]: {
|
|
36
|
+
_A: (_: A) => A;
|
|
37
|
+
};
|
|
33
38
|
}
|
|
34
39
|
|
|
35
40
|
export class UnknownSchema extends Schema<unknown> {
|