schematox 1.2.1 → 1.2.2

package/dist/types/infer.d.ts

@@ -0,0 +1,35 @@
+import type { Schema, ArraySchema, ObjectSchema, RecordSchema, TupleSchema, UnionSchema, PrimitiveSchema, BooleanSchema, LiteralSchema, NumberSchema, StringSchema, BrandSchema } from './schema';
+import type { StructShape } from './struct';
+import type { PrettifyObject } from './utils';
+import type { ExtendParams, ExtendBrand } from './extensions';
+/**
+ * @example Infer<typeof struct> | Infer<typeof schema>
+ **/
+export type Infer<T> = T extends StructShape<infer U> ? InferSchema<U> : InferSchema<T>;
+export type InferSchema<T> = ExtendParams<T, T extends PrimitiveSchema ? InferPrimitive<T> : T extends ArraySchema ? InferArray<T> : T extends ObjectSchema ? InferObject<T> : T extends RecordSchema ? InferRecord<T> : T extends TupleSchema ? InferTuple<T> : T extends UnionSchema ? InferUnion<T> : never>;
+export type InferBrand<T extends BrandSchema> = T extends BrandSchema<infer Category, infer SubCategory> ? Category extends string ? {
+    [K in `__${Category}`]: SubCategory;
+} : never : never;
+export type InferPrimitive<T> = T extends StringSchema ? string : T extends NumberSchema ? number : T extends BooleanSchema ? boolean : T extends LiteralSchema<infer U> ? U : never;
+export type InferArray<T> = T extends ArraySchema<infer U> ? Array<InferSchema<U>> : never;
+export type InferObject<T> = T extends ObjectSchema<infer U> ? PrettifyObject<{
+    [K in keyof U as U[K] extends {
+        optional: true;
+    } ? K : never]?: InferSchema<U[K]>;
+} & {
+    [K in keyof U as U[K] extends {
+        optional: true;
+    } ? never : K]: InferSchema<U[K]>;
+}> : never;
+export type InferRecord<T> = T extends {
+    key?: infer U;
+    of: infer V;
+} ? Record<U extends StringSchema ? ExtendBrand<U, InferPrimitive<U>> : string, V extends Schema ? InferSchema<V> : never> : never;
+export type InferTuple<T> = T extends TupleSchema<infer U> ? U extends [...infer V] ? {
+    [K in keyof V]: InferSchema<V[K]>;
+} : never : never;
+export type InferUnion<T> = T extends {
+    type: 'union';
+    of: Readonly<Array<infer U>>;
+} ? U extends Schema ? InferSchema<U> : never : never;
+//# sourceMappingURL=infer.d.ts.map

package/dist/types/infer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"infer.d.ts","sourceRoot":"","sources":["../../src/types/infer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,MAAM,EAEN,WAAW,EACX,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,WAAW,EAEX,eAAe,EAEf,aAAa,EACb,aAAa,EACb,YAAY,EACZ,YAAY,EAEZ,WAAW,EACZ,MAAM,UAAU,CAAA;AAEjB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,SAAS,CAAA;AAE7C,OAAO,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAE7D;;IAEI;AACJ,MAAM,MAAM,KAAK,CAAC,CAAC,IACjB,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAA;AAElE,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,YAAY,CACvC,CAAC,EACD,CAAC,SAAS,eAAe,GACrB,cAAc,CAAC,CAAC,CAAC,GACjB,CAAC,SAAS,WAAW,GACnB,UAAU,CAAC,CAAC,CAAC,GACb,CAAC,SAAS,YAAY,GACpB,WAAW,CAAC,CAAC,CAAC,GACd,CAAC,SAAS,YAAY,GACpB,WAAW,CAAC,CAAC,CAAC,GACd,CAAC,SAAS,WAAW,GACnB,UAAU,CAAC,CAAC,CAAC,GACb,CAAC,SAAS,WAAW,GACnB,UAAU,CAAC,CAAC,CAAC,GACb,KAAK,CACpB,CAAA;AAED,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,WAAW,IAC1C,CAAC,SAAS,WAAW,CAAC,MAAM,QAAQ,EAAE,MAAM,WAAW,CAAC,GACpD,QAAQ,SAAS,MAAM,GACrB;KAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,GAAG,WAAW;CAAE,GACvC,KAAK,GACP,KAAK,CAAA;AAEX,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI,CAAC,SAAS,YAAY,GAClD,MAAM,GACN,CAAC,SAAS,YAAY,GACpB,MAAM,GACN,CAAC,SAAS,aAAa,GACrB,OAAO,GACP,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAC9B,CAAC,GACD,KAAK,CAAA;AAEf,MAAM,MAAM,UAAU,CAAC,CAAC,IACtB,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAA;AAEhE,MAAM,MAAM,WAAW,CAAC,CAAC,IACvB,CAAC,SAAS,YAAY,CAAC,MAAM,CAAC,CAAC,GAC3B,cAAc,CACZ;KACG,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,EAAE,IAAI,CAAA;KAAE,GAC5C,CAAC,GACD,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC/B,GAAG;KACD,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,EAAE,IAAI,CAAA;KAAE,GAC5C,KAAK,GACL,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC1B,CACF,GACD,KAAK,CAAA;AAEX,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS;IACrC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAA;IACb,EAAE,EAAE,MAAM,CAAC,CAAA;CACZ,GACG,MAAM,CACJ,CAAC,SAAS,YAAY,GAAG,WAAW,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,EACnE,CAAC,SAAS,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,KAAK,CAC1C,GACD,KAAK,CAAA;AAET,MAAM,MAAM,UAAU,CAAC,CAAC,IACtB,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAC1B,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,CAAC,GACpB;KACG,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAClC,GACD,KAAK,GACP,KAAK,CAAA;AAEX,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS;IACpC,IAAI,EAAE,OAAO,CAAA;IACb,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;CAC7B,GACG,CAAC,SAAS,MAAM,GACd,WAAW,CAAC,CAAC,CAAC,GACd,KAAK,GACP,KAAK,CAAA"}

package/dist/types/infer.js

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

package/dist/types/infer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"infer.js","sourceRoot":"","sources":["../../src/types/infer.ts"],"names":[],"mappings":""}

package/dist/types/schema.d.ts

@@ -0,0 +1,93 @@
+export type Schema = PrimitiveSchema | {
+    type: 'array';
+    of: Schema;
+    minLength?: number;
+    maxLength?: number;
+} & SchemaShared | {
+    type: 'object';
+    of: Record<string, Schema>;
+} & SchemaShared | {
+    type: 'record';
+    of: Schema;
+    key?: StringSchema;
+    minLength?: number;
+    maxLength?: number;
+} & SchemaShared | {
+    type: 'tuple';
+    of: Array<Schema>;
+} & SchemaShared | {
+    type: 'union';
+    of: Array<Schema>;
+} & SchemaShared;
+export type BrandSchema<T = string, U = unknown> = Readonly<[T, U]>;
+export type SchemaShared = {
+    /**
+     * T -> T | undefined
+     **/
+    optional?: boolean;
+    /**
+     * T -> T | null
+     **/
+    nullable?: boolean;
+    /**
+     * Optional description for documentation purposes.
+     * This field has no impact on validation or type inference.
+     **/
+    description?: string;
+};
+/**
+ * Compound schema
+ **/
+export type ArraySchema<T = unknown> = SchemaShared & {
+    type: 'array';
+    of: T;
+    minLength?: number;
+    maxLength?: number;
+};
+export type ObjectSchema<T = unknown> = SchemaShared & {
+    type: 'object';
+    of: T;
+};
+export type RecordSchema<T = unknown> = SchemaShared & {
+    type: 'record';
+    of: T;
+    key?: StringSchema;
+    minLength?: number;
+    maxLength?: number;
+};
+export type TupleSchema<T = unknown> = SchemaShared & {
+    type: 'tuple';
+    of: T;
+};
+export type UnionSchema<T = unknown> = SchemaShared & {
+    type: 'union';
+    of: T;
+};
+/**
+ * Primitive schema
+ **/
+export type PrimitiveSchemaShared = SchemaShared & {
+    /**
+     * @example ['idFor', 'User'] -> T & { __idFor: 'User' }
+     **/
+    brand?: BrandSchema;
+};
+export type PrimitiveSchema = StringSchema | NumberSchema | BooleanSchema | LiteralSchema;
+export type BooleanSchema = PrimitiveSchemaShared & {
+    type: 'boolean';
+};
+export type StringSchema = PrimitiveSchemaShared & {
+    type: 'string';
+    minLength?: number;
+    maxLength?: number;
+};
+export type NumberSchema = PrimitiveSchemaShared & {
+    type: 'number';
+    min?: number;
+    max?: number;
+};
+export type LiteralSchema<T extends string | number | boolean = string | number | boolean> = PrimitiveSchemaShared & {
+    type: 'literal';
+    of: T;
+};
+//# sourceMappingURL=schema.d.ts.map

package/dist/types/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/types/schema.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,MAAM,GACb,eAAe,GACf;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,YAAY,GACpF;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,YAAY,GAC7D;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,GAAG,CAAC,EAAE,YAAY,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,YAAY,GACzG;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;CAAE,GAAG,YAAY,GACnD;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;CAAE,GAAG,YAAY,CAAA;AAExD,MAAM,MAAM,WAAW,CAAC,CAAC,GAAG,MAAM,EAAE,CAAC,GAAG,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;AAEnE,MAAM,MAAM,YAAY,GAAG;IACzB;;QAEI;IACJ,QAAQ,CAAC,EAAE,OAAO,CAAA;IAElB;;QAEI;IACJ,QAAQ,CAAC,EAAE,OAAO,CAAA;IAElB;;;QAGI;IACJ,WAAW,CAAC,EAAE,MAAM,CAAA;CACrB,CAAA;AAED;;IAEI;AAEJ,MAAM,MAAM,WAAW,CAAC,CAAC,GAAG,OAAO,IAAI,YAAY,GAAG;IACpD,IAAI,EAAE,OAAO,CAAA;IACb,EAAE,EAAE,CAAC,CAAA;IACL,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB,CAAA;AAED,MAAM,MAAM,YAAY,CAAC,CAAC,GAAG,OAAO,IAAI,YAAY,GAAG;IACrD,IAAI,EAAE,QAAQ,CAAA;IACd,EAAE,EAAE,CAAC,CAAA;CACN,CAAA;AAED,MAAM,MAAM,YAAY,CAAC,CAAC,GAAG,OAAO,IAAI,YAAY,GAAG;IACrD,IAAI,EAAE,QAAQ,CAAA;IACd,EAAE,EAAE,CAAC,CAAA;IACL,GAAG,CAAC,EAAE,YAAY,CAAA;IAClB,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB,CAAA;AAED,MAAM,MAAM,WAAW,CAAC,CAAC,GAAG,OAAO,IAAI,YAAY,GAAG;IACpD,IAAI,EAAE,OAAO,CAAA;IACb,EAAE,EAAE,CAAC,CAAA;CACN,CAAA;AAED,MAAM,MAAM,WAAW,CAAC,CAAC,GAAG,OAAO,IAAI,YAAY,GAAG;IACpD,IAAI,EAAE,OAAO,CAAA;IACb,EAAE,EAAE,CAAC,CAAA;CACN,CAAA;AAED;;IAEI;AAEJ,MAAM,MAAM,qBAAqB,GAAG,YAAY,GAAG;IACjD;;QAEI;IACJ,KAAK,CAAC,EAAE,WAAW,CAAA;CACpB,CAAA;AAED,MAAM,MAAM,eAAe,GACvB,YAAY,GACZ,YAAY,GACZ,aAAa,GACb,aAAa,CAAA;AAEjB,MAAM,MAAM,aAAa,GAAG,qBAAqB,GAAG;IAClD,IAAI,EAAE,SAAS,CAAA;CAChB,CAAA;AAED,MAAM,MAAM,YAAY,GAAG,qBAAqB,GAAG;IACjD,IAAI,EAAE,QAAQ,CAAA;IACd,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB,CAAA;AAED,MAAM,MAAM,YAAY,GAAG,qBAAqB,GAAG;IACjD,IAAI,EAAE,QAAQ,CAAA;IACd,GAAG,CAAC,EAAE,MAAM,CAAA;IACZ,GAAG,CAAC,EAAE,MAAM,CAAA;CACb,CAAA;AAED,MAAM,MAAM,aAAa,CACvB,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,IAC7D,qBAAqB,GAAG;IAC1B,IAAI,EAAE,SAAS,CAAA;IACf,EAAE,EAAE,CAAC,CAAA;CACN,CAAA"}

package/dist/types/schema.js

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

package/dist/types/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/types/schema.ts"],"names":[],"mappings":""}

package/dist/types/standard-schema.d.ts

@@ -0,0 +1,35 @@
+export interface StandardSchemaV1<Input = unknown, Output = Input> {
+    /** Source: https://github.com/standard-schema/standard-schema/blob/main/packages/spec/src/index.ts */
+    readonly '~standard': StandardSchemaV1.Props<Input, Output>;
+}
+export declare namespace StandardSchemaV1 {
+    export interface Props<Input = unknown, Output = Input> {
+        readonly version: 1;
+        readonly vendor: string;
+        readonly validate: (value: unknown) => Result<Output> | Promise<Result<Output>>;
+        readonly types?: Types<Input, Output> | undefined;
+    }
+    export type Result<Output> = SuccessResult<Output> | FailureResult;
+    export interface SuccessResult<Output> {
+        readonly value: Output;
+        readonly issues?: undefined;
+    }
+    export interface FailureResult {
+        readonly issues: ReadonlyArray<Issue>;
+    }
+    export interface Issue {
+        readonly message: string;
+        readonly path?: ReadonlyArray<PropertyKey | PathSegment> | undefined;
+    }
+    export interface PathSegment {
+        readonly key: PropertyKey;
+    }
+    export interface Types<Input = unknown, Output = Input> {
+        readonly input: Input;
+        readonly output: Output;
+    }
+    export type InferInput<Schema extends StandardSchemaV1> = NonNullable<Schema['~standard']['types']>['input'];
+    export type InferOutput<Schema extends StandardSchemaV1> = NonNullable<Schema['~standard']['types']>['output'];
+    export {};
+}
+//# sourceMappingURL=standard-schema.d.ts.map

package/dist/types/standard-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"standard-schema.d.ts","sourceRoot":"","sources":["../../src/types/standard-schema.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,gBAAgB,CAAC,KAAK,GAAG,OAAO,EAAE,MAAM,GAAG,KAAK;IAC/D,sGAAsG;IACtG,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;CAC5D;AAED,MAAM,CAAC,OAAO,WAAW,gBAAgB,CAAC;IACxC,MAAM,WAAW,KAAK,CAAC,KAAK,GAAG,OAAO,EAAE,MAAM,GAAG,KAAK;QACpD,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;QACnB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;QACvB,QAAQ,CAAC,QAAQ,EAAE,CACjB,KAAK,EAAE,OAAO,KACX,MAAM,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA;QAC7C,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,SAAS,CAAA;KAClD;IAED,MAAM,MAAM,MAAM,CAAC,MAAM,IAAI,aAAa,CAAC,MAAM,CAAC,GAAG,aAAa,CAAA;IAElE,MAAM,WAAW,aAAa,CAAC,MAAM;QACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;QACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAA;KAC5B;IAED,MAAM,WAAW,aAAa;QAC5B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,CAAA;KACtC;IAED,MAAM,WAAW,KAAK;QACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;QACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,WAAW,GAAG,WAAW,CAAC,GAAG,SAAS,CAAA;KACrE;IAED,MAAM,WAAW,WAAW;QAC1B,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAA;KAC1B;IAED,MAAM,WAAW,KAAK,CAAC,KAAK,GAAG,OAAO,EAAE,MAAM,GAAG,KAAK;QACpD,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;QACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KACxB;IAED,MAAM,MAAM,UAAU,CAAC,MAAM,SAAS,gBAAgB,IAAI,WAAW,CACnE,MAAM,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAC7B,CAAC,OAAO,CAAC,CAAA;IAEV,MAAM,MAAM,WAAW,CAAC,MAAM,SAAS,gBAAgB,IAAI,WAAW,CACpE,MAAM,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAC7B,CAAC,QAAQ,CAAC,CAAA;IAEX,OAAO,EAAE,CAAA;CACV"}

package/dist/types/standard-schema.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=standard-schema.js.map

package/dist/types/standard-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"standard-schema.js","sourceRoot":"","sources":["../../src/types/standard-schema.ts"],"names":[],"mappings":""}

package/dist/types/struct.d.ts

@@ -0,0 +1,52 @@
+import { ParseResult } from './utils';
+import type { StandardSchemaV1 } from './standard-schema';
+import type { Schema, ArraySchema, ObjectSchema, RecordSchema, TupleSchema, UnionSchema, BrandSchema, BooleanSchema, LiteralSchema, NumberSchema, StringSchema } from './schema';
+import type { InferSchema } from './infer';
+export type Struct<T extends Schema> = Omit<Pick<{
+    optional: () => Struct<T & {
+        optional: true;
+    }>;
+    nullable: () => Struct<T & {
+        nullable: true;
+    }>;
+    brand: <U extends [string, BrandSubType] | [Readonly<[string, BrandSubType]>]>(...args: U) => Struct<T & {
+        brand: U extends [infer V, infer W] ? BrandSchema<V, W> : U extends [Readonly<[infer V, infer W]>] ? BrandSchema<V, W> : never;
+    }>;
+    minLength: <U extends number>(minLength: U) => Struct<T & {
+        minLength: U;
+    }>;
+    maxLength: <U extends number>(maxLength: U) => Struct<T & {
+        maxLength: U;
+    }>;
+    min: <U extends number>(min: U) => Struct<T & {
+        min: U;
+    }>;
+    max: <U extends number>(max: U) => Struct<T & {
+        max: U;
+    }>;
+    description: <U extends string>(description: U) => Struct<T & {
+        description: U;
+    }>;
+}, ParamsBySchemaType[T['type']]>, keyof T> & {
+    __schema: Readonly<T>;
+    parse: (s: unknown) => ParseResult<InferSchema<T>>;
+} & StandardSchemaV1<unknown, InferSchema<T>>;
+type BrandSubType = boolean | number | string | ReadonlyArray<unknown> | Record<string, unknown>;
+export type StructShape<T> = {
+    __schema: T;
+};
+type ParamsBySchemaType = {
+    boolean: ExtractParams<BooleanSchema>;
+    literal: ExtractParams<LiteralSchema>;
+    number: ExtractParams<NumberSchema>;
+    string: ExtractParams<StringSchema>;
+    array: ExtractParams<ArraySchema>;
+    object: ExtractParams<ObjectSchema>;
+    record: Exclude<ExtractParams<RecordSchema>, 'key'>;
+    tuple: ExtractParams<TupleSchema>;
+    union: ExtractParams<UnionSchema>;
+};
+type ExtractParams<T> = Exclude<keyof T, 'type' | 'of'>;
+export type StructParams = ParamsBySchemaType extends Record<string, infer U> ? U : never;
+export {};
+//# sourceMappingURL=struct.d.ts.map

package/dist/types/struct.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"struct.d.ts","sourceRoot":"","sources":["../../src/types/struct.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,SAAS,CAAA;AAErC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AACzD,OAAO,KAAK,EACV,MAAM,EAEN,WAAW,EACX,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,WAAW,EAEX,WAAW,EAEX,aAAa,EACb,aAAa,EACb,YAAY,EACZ,YAAY,EACb,MAAM,UAAU,CAAA;AAEjB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,SAAS,CAAA;AAE1C,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,MAAM,IAAI,IAAI,CACzC,IAAI,CACF;IACE,QAAQ,EAAE,MAAM,MAAM,CAAC,CAAC,GAAG;QAAE,QAAQ,EAAE,IAAI,CAAA;KAAE,CAAC,CAAA;IAC9C,QAAQ,EAAE,MAAM,MAAM,CAAC,CAAC,GAAG;QAAE,QAAQ,EAAE,IAAI,CAAA;KAAE,CAAC,CAAA;IAE9C,KAAK,EAAE,CACL,CAAC,SAAS,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,EAErE,GAAG,IAAI,EAAE,CAAC,KACP,MAAM,CACT,CAAC,GAAG;QACF,KAAK,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAC/B,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,GACjB,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,GACtC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,GACjB,KAAK,CAAA;KACZ,CACF,CAAA;IAED,SAAS,EAAE,CAAC,CAAC,SAAS,MAAM,EAC1B,SAAS,EAAE,CAAC,KACT,MAAM,CAAC,CAAC,GAAG;QAAE,SAAS,EAAE,CAAC,CAAA;KAAE,CAAC,CAAA;IACjC,SAAS,EAAE,CAAC,CAAC,SAAS,MAAM,EAC1B,SAAS,EAAE,CAAC,KACT,MAAM,CAAC,CAAC,GAAG;QAAE,SAAS,EAAE,CAAC,CAAA;KAAE,CAAC,CAAA;IAEjC,GAAG,EAAE,CAAC,CAAC,SAAS,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,GAAG;QAAE,GAAG,EAAE,CAAC,CAAA;KAAE,CAAC,CAAA;IACzD,GAAG,EAAE,CAAC,CAAC,SAAS,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,GAAG;QAAE,GAAG,EAAE,CAAC,CAAA;KAAE,CAAC,CAAA;IAEzD,WAAW,EAAE,CAAC,CAAC,SAAS,MAAM,EAC5B,WAAW,EAAE,CAAC,KACX,MAAM,CAAC,CAAC,GAAG;QAAE,WAAW,EAAE,CAAC,CAAA;KAAE,CAAC,CAAA;CACpC,EACD,kBAAkB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAC9B,EACD,MAAM,CAAC,CACR,GAAG;IACF,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;IACrB,KAAK,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;CACnD,GAAG,gBAAgB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;AAE7C,KAAK,YAAY,GACb,OAAO,GACP,MAAM,GACN,MAAM,GACN,aAAa,CAAC,OAAO,CAAC,GACtB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;AAE3B,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI;IAAE,QAAQ,EAAE,CAAC,CAAA;CAAE,CAAA;AAE5C,KAAK,kBAAkB,GAAG;IACxB,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,CAAA;IACrC,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,CAAA;IACrC,MAAM,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;IACnC,MAAM,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;IAEnC,KAAK,EAAE,aAAa,CAAC,WAAW,CAAC,CAAA;IACjC,MAAM,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;IACnC,MAAM,EAAE,OAAO,CAAC,aAAa,CAAC,YAAY,CAAC,EAAE,KAAK,CAAC,CAAA;IACnD,KAAK,EAAE,aAAa,CAAC,WAAW,CAAC,CAAA;IACjC,KAAK,EAAE,aAAa,CAAC,WAAW,CAAC,CAAA;CAClC,CAAA;AAED,KAAK,aAAa,CAAC,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC,CAAA;AAEvD,MAAM,MAAM,YAAY,GACtB,kBAAkB,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA"}

package/dist/types/struct.js

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

package/dist/types/struct.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"struct.js","sourceRoot":"","sources":["../../src/types/struct.ts"],"names":[],"mappings":""}

package/dist/types/utils.d.ts

@@ -0,0 +1,41 @@
+import type { Schema } from './schema';
+export type ParseResult<T> = ParseError | ParseSuccess<T>;
+export type ParseError = {
+    success: false;
+    error: InvalidSubject[];
+    data?: never;
+};
+export type ParseSuccess<T> = {
+    success: true;
+    error?: never;
+    data: T;
+};
+export type InvalidSubject = {
+    code: ErrorCode;
+    /**
+     * Path to the invalid data, represented as an array of object keys (strings)
+     * and array indices (numbers) that can be used to navigate to the specific
+     * location where validation failed
+     **/
+    path: ErrorPath;
+    /**
+     * The specific part of the schema definition that was used to validate
+     * the subject data (not necessarily the overall schema, but the schema
+     * fragment that caused the validation failure)
+     **/
+    schema: Schema;
+    /**
+     * The specific data value that failed validation (not necessarily the
+     * entire input, but the particular piece of data that caused the issue)
+     **/
+    subject: unknown;
+};
+export type ErrorCode = 'INVALID_TYPE' | 'INVALID_RANGE';
+export type ErrorPath = Array<string | number>;
+/**
+ * Flattens complex types into their resolved object form
+ */
+export type PrettifyObject<T extends Record<string, unknown>> = {
+    [K in keyof T]: T[K];
+} & {};
+//# sourceMappingURL=utils.d.ts.map

package/dist/types/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/types/utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AAEtC,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,UAAU,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;AAEzD,MAAM,MAAM,UAAU,GAAG;IACvB,OAAO,EAAE,KAAK,CAAA;IACd,KAAK,EAAE,cAAc,EAAE,CAAA;IACvB,IAAI,CAAC,EAAE,KAAK,CAAA;CACb,CAAA;AAED,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI;IAC5B,OAAO,EAAE,IAAI,CAAA;IACb,KAAK,CAAC,EAAE,KAAK,CAAA;IACb,IAAI,EAAE,CAAC,CAAA;CACR,CAAA;AAED,MAAM,MAAM,cAAc,GAAG;IAC3B,IAAI,EAAE,SAAS,CAAA;IAEf;;;;QAII;IACJ,IAAI,EAAE,SAAS,CAAA;IAEf;;;;QAII;IACJ,MAAM,EAAE,MAAM,CAAA;IAEd;;;QAGI;IACJ,OAAO,EAAE,OAAO,CAAA;CACjB,CAAA;AAED,MAAM,MAAM,SAAS,GAAG,cAAc,GAAG,eAAe,CAAA;AAExD,MAAM,MAAM,SAAS,GAAG,KAAK,CAC3B,MAAM,GAAoB,MAAM,CACjC,CAAA;AAED;;GAEG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI;KAC7D,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACrB,GAAG,EAAE,CAAA"}

package/dist/types/utils.js

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

package/dist/types/utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../src/types/utils.ts"],"names":[],"mappings":""}

package/dist/utils.d.ts

@@ -0,0 +1,9 @@
+import type { ParseError, ParseSuccess, InvalidSubject } from './types/utils';
+/**
+ * Type equivalence check utility
+ * @example tCh<TypeA, TypeB>(); tCh<TypeB, TypeA>()
+ **/
+export declare const tCh: <T, U extends T = T>(...x: T[]) => U[];
+export declare const error: (error: InvalidSubject[]) => ParseError;
+export declare const success: <T>(data: T) => ParseSuccess<T>;
+//# sourceMappingURL=utils.d.ts.map

package/dist/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAE7E;;;IAGI;AACJ,eAAO,MAAM,GAAG,wCAAmD,CAAA;AAEnE,eAAO,MAAM,KAAK,UAAW,cAAc,EAAE,KAAG,UAG9C,CAAA;AAEF,eAAO,MAAM,OAAO,iCAGlB,CAAA"}

package/dist/utils.js

@@ -0,0 +1,14 @@
+/**
+ * Type equivalence check utility
+ * @example tCh<TypeA, TypeB>(); tCh<TypeB, TypeA>()
+ **/
+export const tCh = (...x) => x;
+export const error = (error) => ({
+    success: false,
+    error,
+});
+export const success = (data) => ({
+    success: true,
+    data,
+});
+//# sourceMappingURL=utils.js.map

package/dist/utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AAEA;;;IAGI;AACJ,MAAM,CAAC,MAAM,GAAG,GAAG,CAAqB,GAAG,CAAM,EAAO,EAAE,CAAC,CAAQ,CAAA;AAEnE,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,KAAuB,EAAc,EAAE,CAAC,CAAC;IAC7D,OAAO,EAAE,KAAK;IACd,KAAK;CACN,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,OAAO,GAAG,CAAI,IAAO,EAAmB,EAAE,CAAC,CAAC;IACvD,OAAO,EAAE,IAAI;IACb,IAAI;CACL,CAAC,CAAA"}

package/package.json

@@ -1,8 +1,9 @@
 {
   "name": "schematox",
-  "version": "1.2.1",
+  "version": "1.2.2",
   "scripts": {
-    "prepublishOnly": "bash release-check.sh",
+    "build": "tsc",
+    "prepublishOnly": "npm run build && bash release-check.sh",
     "test": "jest",
     "test:watch": "jest --watch",
     "test:coverage": "jest --coverage",
@@ -33,7 +34,6 @@
     "typescript",
     "schema",
     "parser",
-    "typeguard",
     "static schema definition",
     "programmatic schema definition",
     "branded primitives",
@@ -45,7 +45,17 @@
     "type": "git",
     "url": "git://github.com/incerta/schematox.git"
   },
-  "main": "src/index.ts",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
   "type": "module",
-  "types": "src/index.ts"
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist",
+    "src"
+  ]
 }