@nerd-bible/valio 0.0.1

package/README.md

@@ -0,0 +1,125 @@
+# valio
+
+Encode and decode to Typescript types with extensible error handling.
+
+## Why?
+
+I like [Zod](https://zod.dev), but its codecs don't support
+[custom error contexts.](https://github.com/colinhacks/zod/issues/)
+
+## Theory
+
+- Data flows through "pipes" with specific input and output types.
+  - Both input and output are validated
+- Pipes are bidirectional.
+  - Input -> output is "decoding"
+  - Output -> input is "encoding"
+- When encoding or decoding a `Context` is passed which holds:
+  - The path to the current value
+  - Error formatting function
+  - Errors grouped by path
+
+## Practice
+
+Use classes, inheritance, and result types. No errors are thrown.
+
+### Usage
+
+For primitive types the input and output are the same.
+
+```ts
+import * as v from "@nerd-bible/valio";
+
+const schema = v.number(); // Pipe<number, number>
+
+expect(schema.decode(5)).toEqual({ success: true, output: 5 });
+expect(schema.decodeAny("5")).toEqual({
+success: false,
+errors: { ".": [{ input: "5", message: "not type number" }] },
+});
+```
+
+You can add custom checks, but be sure to provide context for error messages.
+
+```ts
+import * as v from "@nerd-bible/valio";
+
+const schema = v.number().refine((n) => n == 5, "eq", { n: 5 });
+
+expect(schema.decode(5)).toEqual({ success: true, output: 5 });
+expect(schema.encode(3)).toEqual({
+	success: false,
+	errors: { ".": [{ input: 3, message: "must be 5" }] },
+});
+```
+
+There are common builtin codecs for coercion.
+```ts
+import * as v from "@nerd-bible/valio";
+
+const schema = v.codecs.number();
+
+expect(schema.decode("13")).toEqual({ success: true, output: 13 });
+```
+
+### Extending
+
+To make a codec with a custom transformer, you can use `v.codecs.custom`.
+
+```ts
+import * as v from "@nerd-bible/valio";
+
+function transformToNumber(any: number): number {
+	if (typeof any == "number") return any;
+	return NaN;
+}
+
+const schema = v.codecs.custom(
+	v.union([v.string(), v.number(), v.null(), v.undefined()]),
+	v.number(),
+	{ decode: transformToNumber },
+);
+```
+
+To make a pipe with any types and transformers, simply extend the class with
+your input and output `HalfPipe`s.
+
+```ts
+import { Pipe, HalfPipe } from "@nerd-bible/valio";
+
+function transformToNumber(any: number): number {
+	if (typeof any == "number") return any;
+	return NaN;
+}
+
+class AnyToNumber extends Pipe<any, number> {
+	constructor() {
+		super(
+			new HalfPipe("any", (v): v is any => true, transformToNumber),
+			new HalfPipe("number", (v): v is number => typeof v == "number"),
+		);
+	}
+}
+```
+
+### Custom error messages
+
+Override `errorFmt` in `Context` and pass it to `encode` and `decode`.
+
+```ts
+import * as v from "@nerd-bible/valio";
+
+const schema = v.number().refine((n) => n == 5, "eq", { n: 5 });
+class MyContext extends v.Context {
+	errorFmt() {
+		return "You done messed up";
+	}
+}
+
+expect(schema.decode(3, new MyContext())).toEqual({
+	success: false,
+	errors: { ".": [{ input: 3, message: "You done messed up" }] },
+});
+```
+
+Those are the highlights. Read the `.test.ts` files for the rest.

package/bun.lock

@@ -0,0 +1,50 @@
+{
+  "lockfileVersion": 1,
+  "workspaces": {
+    "": {
+      "name": "valio",
+      "dependencies": {
+        "@biomejs/biome": "^2.3.0",
+      },
+      "devDependencies": {
+        "@types/bun": "latest",
+      },
+      "peerDependencies": {
+        "typescript": "^5",
+      },
+    },
+  },
+  "packages": {
+    "@biomejs/biome": ["@biomejs/biome@2.3.0", "", { "optionalDependencies": { "@biomejs/cli-darwin-arm64": "2.3.0", "@biomejs/cli-darwin-x64": "2.3.0", "@biomejs/cli-linux-arm64": "2.3.0", "@biomejs/cli-linux-arm64-musl": "2.3.0", "@biomejs/cli-linux-x64": "2.3.0", "@biomejs/cli-linux-x64-musl": "2.3.0", "@biomejs/cli-win32-arm64": "2.3.0", "@biomejs/cli-win32-x64": "2.3.0" }, "bin": { "biome": "bin/biome" } }, "sha512-shdUY5H3S3tJVUWoVWo5ua+GdPW5lRHf+b0IwZ4OC1o2zOKQECZ6l2KbU6t89FNhtd3Qx5eg5N7/UsQWGQbAFw=="],
+
+    "@biomejs/cli-darwin-arm64": ["@biomejs/cli-darwin-arm64@2.3.0", "", { "os": "darwin", "cpu": "arm64" }, "sha512-3cJVT0Z5pbTkoBmbjmDZTDFYxIkRcrs9sYVJbIBHU8E6qQxgXAaBfSVjjCreG56rfDuQBr43GzwzmaHPcu4vlw=="],
+
+    "@biomejs/cli-darwin-x64": ["@biomejs/cli-darwin-x64@2.3.0", "", { "os": "darwin", "cpu": "x64" }, "sha512-6LIkhglh3UGjuDqJXsK42qCA0XkD1Ke4K/raFOii7QQPbM8Pia7Qj2Hji4XuF2/R78hRmEx7uKJH3t/Y9UahtQ=="],
+
+    "@biomejs/cli-linux-arm64": ["@biomejs/cli-linux-arm64@2.3.0", "", { "os": "linux", "cpu": "arm64" }, "sha512-uhAsbXySX7xsXahegDg5h3CDgfMcRsJvWLFPG0pjkylgBb9lErbK2C0UINW52zhwg0cPISB09lxHPxCau4e2xA=="],
+
+    "@biomejs/cli-linux-arm64-musl": ["@biomejs/cli-linux-arm64-musl@2.3.0", "", { "os": "linux", "cpu": "arm64" }, "sha512-nDksoFdwZ2YrE7NiYDhtMhL2UgFn8Kb7Y0bYvnTAakHnqEdb4lKindtBc1f+xg2Snz0JQhJUYO7r9CDBosRU5w=="],
+
+    "@biomejs/cli-linux-x64": ["@biomejs/cli-linux-x64@2.3.0", "", { "os": "linux", "cpu": "x64" }, "sha512-uxa8reA2s1VgoH8MhbGlCmMOt3JuSE1vJBifkh1ulaPiuk0SPx8cCdpnm9NWnTe2x/LfWInWx4sZ7muaXTPGGw=="],
+
+    "@biomejs/cli-linux-x64-musl": ["@biomejs/cli-linux-x64-musl@2.3.0", "", { "os": "linux", "cpu": "x64" }, "sha512-+i9UcJwl99uAhtRQDz9jUAh+Xkb097eekxs/D9j4deWDg5/yB/jPWzISe1nBHvlzTXsdUSj0VvB4Go2DSpKIMw=="],
+
+    "@biomejs/cli-win32-arm64": ["@biomejs/cli-win32-arm64@2.3.0", "", { "os": "win32", "cpu": "arm64" }, "sha512-ynjmsJLIKrAjC3CCnKMMhzcnNy8dbQWjKfSU5YA0mIruTxBNMbkAJp+Pr2iV7/hFou+66ZSD/WV8hmLEmhUaXA=="],
+
+    "@biomejs/cli-win32-x64": ["@biomejs/cli-win32-x64@2.3.0", "", { "os": "win32", "cpu": "x64" }, "sha512-zOCYmCRVkWXc9v8P7OLbLlGGMxQTKMvi+5IC4v7O8DkjLCOHRzRVK/Lno2pGZNo0lzKM60pcQOhH8HVkXMQdFg=="],
+
+    "@types/bun": ["@types/bun@1.2.23", "", { "dependencies": { "bun-types": "1.2.23" } }, "sha512-le8ueOY5b6VKYf19xT3McVbXqLqmxzPXHsQT/q9JHgikJ2X22wyTW3g3ohz2ZMnp7dod6aduIiq8A14Xyimm0A=="],
+
+    "@types/node": ["@types/node@24.6.2", "", { "dependencies": { "undici-types": "~7.13.0" } }, "sha512-d2L25Y4j+W3ZlNAeMKcy7yDsK425ibcAOO2t7aPTz6gNMH0z2GThtwENCDc0d/Pw9wgyRqE5Px1wkV7naz8ang=="],
+
+    "@types/react": ["@types/react@19.2.0", "", { "dependencies": { "csstype": "^3.0.2" } }, "sha512-1LOH8xovvsKsCBq1wnT4ntDUdCJKmnEakhsuoUSy6ExlHCkGP2hqnatagYTgFk6oeL0VU31u7SNjunPN+GchtA=="],
+
+    "bun-types": ["bun-types@1.2.23", "", { "dependencies": { "@types/node": "*" }, "peerDependencies": { "@types/react": "^19" } }, "sha512-R9f0hKAZXgFU3mlrA0YpE/fiDvwV0FT9rORApt2aQVWSuJDzZOyB5QLc0N/4HF57CS8IXJ6+L5E4W1bW6NS2Aw=="],
+
+    "csstype": ["csstype@3.1.3", "", {}, "sha512-M1uQkMl8rQK/szD0LNhtqxIPLpimGm8sOBwU7lLnCpSbTyY3yeU1Vc7l4KT5zT4s/yOxHH5O7tIuuLOCnLADRw=="],
+
+    "typescript": ["typescript@5.9.3", "", { "bin": { "tsc": "bin/tsc", "tsserver": "bin/tsserver" } }, "sha512-jl1vZzPDinLr9eUt3J/t7V6FgNEw9QjvBPdysz9KfQDD41fQrC2Y4vKQdiaUpFT4bXlb1RHhLpp8wtm6M5TgSw=="],
+
+    "undici-types": ["undici-types@7.13.0", "", {}, "sha512-Ov2Rr9Sx+fRgagJ5AX0qvItZG/JKKoBRAVITs1zk7IqZGTJUwgUr7qoYBpWwakpWilTZFM98rG/AFRocu10iIQ=="],
+  }
+}

package/dist/codecs.d.ts

@@ -0,0 +1,12 @@
+import type { Context, Pipe, Result } from "./pipe";
+import * as p from "./primitives";
+export declare function custom<I, O>(input: Pipe<I, any>, output: Pipe<any, O>, codec: {
+    encode?(input: O, ctx: Context): Result<I>;
+    decode?(output: I, ctx: Context): Result<O>;
+}): Pipe<I, O>;
+export declare function number(parser?: typeof parseFloat): p.Comparable<string | number | null | undefined, number>;
+export declare function boolean(opts: {
+    true?: string[];
+    false?: string[];
+}): Pipe<any, boolean>;
+//# sourceMappingURL=codecs.d.ts.map

package/dist/codecs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"codecs.d.ts","sourceRoot":"","sources":["../src/codecs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACpD,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAGlC,wBAAgB,MAAM,CAAC,CAAC,EAAE,CAAC,EAC1B,KAAK,EAAE,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,EACnB,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EACpB,KAAK,EAAE;IACN,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;CAC5C,GACC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAMZ;AAED,wBAAgB,MAAM,CACrB,MAAM,oBAAa,GACjB,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,EAAE,MAAM,CAAC,CAkB1D;AAED,wBAAgB,OAAO,CAAC,IAAI,EAAE;IAC7B,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;CACjB,GAAG,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAWrB"}

package/dist/codecs.js

@@ -0,0 +1,37 @@
+import * as p from "./primitives";
+import * as c from "./containers";
+export function custom(input, output, codec) {
+    const res = output.clone();
+    res.i = input.i.clone();
+    res.i.transform = codec.decode;
+    res.o.transform = codec.encode;
+    return res;
+}
+export function number(parser = parseFloat) {
+    return custom(c.union([p.string(), p.number(), p.null(), p.undefined()]), p.number(), {
+        decode(input, ctx) {
+            if (typeof input == "number")
+                return { success: true, output: input };
+            if (input == null || input.toLowerCase() == "nan")
+                return { success: true, output: NaN };
+            const output = parser(input);
+            if (!isNaN(output))
+                return { success: true, output };
+            ctx.pushErrorFmt("coerce", input, { expected: "number" });
+            return { success: false, errors: ctx.errors };
+        },
+    });
+}
+export function boolean(opts) {
+    return custom(p.any(), p.boolean(), {
+        decode(input) {
+            if (typeof input === "string") {
+                if (opts.true?.includes(input))
+                    return { success: true, output: true };
+                if (opts.false?.includes(input))
+                    return { success: true, output: false };
+            }
+            return { success: true, output: Boolean(input) };
+        },
+    });
+}

package/dist/containers.d.ts

@@ -0,0 +1,54 @@
+import { Context, Pipe } from "./pipe";
+import type { Input, Output, Result } from "./pipe";
+import * as p from "./primitives";
+declare class ValioArray<T> extends p.Arrayish<any[], T[]> {
+    element: Pipe<any, T>;
+    constructor(element: Pipe<any, T>);
+}
+export declare function array<T>(element: Pipe<any, T>): ValioArray<T>;
+declare class ValioRecord<K extends PropertyKey, V> extends Pipe<Record<any, any>, Record<K, V>> {
+    keyPipe: Pipe<any, K>;
+    valPipe: Pipe<any, V>;
+    constructor(keyPipe: Pipe<any, K>, valPipe: Pipe<any, V>);
+}
+export declare function record<K extends PropertyKey, V>(keyPipe: Pipe<any, K>, valPipe: Pipe<any, V>): ValioRecord<K, V>;
+declare class Union<T extends Readonly<Pipe[]>> extends Pipe<Output<T[number]>, Output<T[number]>> {
+    options: T;
+    constructor(options: T);
+}
+export declare function union<T extends Readonly<Pipe[]>>(options: T): Union<T>;
+type ObjectOutput<Shape extends Record<string, Pipe<any, any>>> = {
+    [K in keyof Shape]: Output<Shape[K]>;
+};
+type Mask<Keys extends PropertyKey> = {
+    [K in Keys]?: true;
+};
+type Identity<T> = T;
+type Flatten<T> = Identity<{
+    [k in keyof T]: T[k];
+}>;
+type Extend<A extends Record<any, any>, B extends Record<any, any>> = Flatten<keyof A & keyof B extends never ? A & B : {
+    [K in keyof A as K extends keyof B ? never : K]: A[K];
+} & {
+    [K in keyof B]: B[K];
+}>;
+declare class ValioObject<Shape extends Record<any, Pipe<any, any>>> extends Pipe<Record<any, any>, ObjectOutput<Shape>> {
+    shape: Shape;
+    isLoose: boolean;
+    constructor(shape: Shape, isLoose: boolean);
+    clone(): this;
+    protected transformInput(data: object, ctx: Context): Result<ObjectOutput<Shape>>;
+    protected typeCheckOutput(v: any): v is ObjectOutput<Shape>;
+    pick<M extends Mask<keyof Shape>>(mask: M): ValioObject<Flatten<Pick<Shape, Extract<keyof Shape, keyof M>>>>;
+    omit<M extends Mask<keyof Shape>>(mask: M): ValioObject<Flatten<Omit<Shape, Extract<keyof Shape, keyof M>>>>;
+    partial<M extends Mask<keyof Shape>>(mask: M): ValioObject<{
+        [k in keyof Shape]: k extends keyof M ? Pipe<Input<Shape[k]>, Output<Shape[k]> | undefined> : Shape[k];
+    }>;
+    extend<T extends Record<any, Pipe<any, any>>>(shape: T): ValioObject<Extend<Shape, T>>;
+    loose<T = any>(isLoose?: boolean): ValioObject<Shape & {
+        [k: string]: Pipe<T, T>;
+    }>;
+}
+export declare function object<Shape extends Record<any, Pipe<any, any>>>(shape: Shape, loose?: boolean): ValioObject<Shape>;
+export {};
+//# sourceMappingURL=containers.d.ts.map

package/dist/containers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"containers.d.ts","sourceRoot":"","sources":["../src/containers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAY,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACjD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACpD,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAElC,cAAM,UAAU,CAAC,CAAC,CAAE,SAAQ,CAAC,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC;IAC9B,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;gBAArB,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;CA6BxC;AACD,wBAAgB,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAE7D;AAED,cAAM,WAAW,CAAC,CAAC,SAAS,WAAW,EAAE,CAAC,CAAE,SAAQ,IAAI,CACvD,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAChB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CACZ;IAEQ,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IACrB,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;gBADrB,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EACrB,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;CA+C7B;AACD,wBAAgB,MAAM,CAAC,CAAC,SAAS,WAAW,EAAE,CAAC,EAC9C,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EACrB,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,GACnB,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAEnB;AAED,cAAM,KAAK,CAAC,CAAC,SAAS,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAE,SAAQ,IAAI,CACnD,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EACjB,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CACjB;IACmB,OAAO,EAAE,CAAC;gBAAV,OAAO,EAAE,CAAC;CA2B7B;AACD,wBAAgB,KAAK,CAAC,CAAC,SAAS,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAEtE;AAED,KAAK,YAAY,CAAC,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,IAAI;KAChE,CAAC,IAAI,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CACpC,CAAC;AACF,KAAK,IAAI,CAAC,IAAI,SAAS,WAAW,IAAI;KAAG,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,IAAI;CAAE,CAAC;AAC7D,KAAK,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC;AACrB,KAAK,OAAO,CAAC,CAAC,IAAI,QAAQ,CAAC;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,CAAC;AACrD,KAAK,MAAM,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,OAAO,CAE5E,MAAM,CAAC,GAAG,MAAM,CAAC,SAAS,KAAK,GAC5B,CAAC,GAAG,CAAC,GACL;KACC,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACrD,GAAG;KACF,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACpB,CACH,CAAC;AAEF,cAAM,WAAW,CAAC,KAAK,SAAS,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAE,SAAQ,IAAI,CACxE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAChB,YAAY,CAAC,KAAK,CAAC,CACnB;IAEQ,KAAK,EAAE,KAAK;IACZ,OAAO,EAAE,OAAO;gBADhB,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,OAAO;IAkBxB,KAAK,IAAI,IAAI;IAIb,SAAS,CAAC,cAAc,CACvB,IAAI,EAAE,MAAM,EACZ,GAAG,EAAE,OAAO,GACV,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAqB9B,SAAS,CAAC,eAAe,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC;IAO3D,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC,MAAM,KAAK,CAAC,EAC/B,IAAI,EAAE,CAAC,GACL,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAQnE,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC,MAAM,KAAK,CAAC,EAC/B,IAAI,EAAE,CAAC,GACL,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAQnE,OAAO,CAAC,CAAC,SAAS,IAAI,CAAC,MAAM,KAAK,CAAC,EAClC,IAAI,EAAE,CAAC,GACL,WAAW,CAAC;SACb,CAAC,IAAI,MAAM,KAAK,GAAG,CAAC,SAAS,MAAM,CAAC,GAClC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,GACnD,KAAK,CAAC,CAAC,CAAC;KACX,CAAC;IAWF,MAAM,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAC3C,KAAK,EAAE,CAAC,GACN,WAAW,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAMhC,KAAK,CAAC,CAAC,GAAG,GAAG,EACZ,OAAO,UAAO,GACZ,WAAW,CAAC,KAAK,GAAG;QAAE,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;KAAE,CAAC;CAKnD;AACD,wBAAgB,MAAM,CAAC,KAAK,SAAS,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAC/D,KAAK,EAAE,KAAK,EACZ,KAAK,UAAQ,GACX,WAAW,CAAC,KAAK,CAAC,CAEpB"}

package/dist/containers.js

@@ -0,0 +1,192 @@
+import { HalfPipe, Context, Pipe } from "./pipe";
+import * as p from "./primitives";
+class ValioArray extends p.Arrayish {
+    element;
+    constructor(element) {
+        super(new HalfPipe("array", (v) => Array.isArray(v), (input, ctx) => {
+            const output = new Array(input.length);
+            let success = true;
+            const length = ctx.jsonPath.length;
+            for (let i = 0; i < input.length; i++) {
+                ctx.jsonPath[length] = i.toString();
+                const decoded = element.decode(input[i], ctx);
+                if (decoded.success)
+                    output[i] = decoded.output;
+                else
+                    success = false;
+            }
+            ctx.jsonPath.length = length;
+            if (!success)
+                return { success, errors: ctx.errors };
+            return { success, output };
+        }), new HalfPipe(`array<${element.o.name}>`, (v) => {
+            if (!Array.isArray(v))
+                return false;
+            for (const e of v)
+                if (!element.o.typeCheck(e))
+                    return false;
+            return true;
+        }));
+        this.element = element;
+    }
+}
+export function array(element) {
+    return new ValioArray(element);
+}
+class ValioRecord extends Pipe {
+    keyPipe;
+    valPipe;
+    constructor(keyPipe, valPipe) {
+        super(new HalfPipe("object", (v) => Object.prototype.toString.call(v) == "[object Object]", (input, ctx) => {
+            const output = {};
+            let success = true;
+            const length = ctx.jsonPath.length;
+            for (const key in input) {
+                ctx.jsonPath[length] = key;
+                const decodedKey = keyPipe.decode(key, ctx);
+                if (decodedKey.success) {
+                    const decodedVal = valPipe.decode(input[key], ctx);
+                    if (decodedVal.success) {
+                        output[decodedKey.output] = decodedVal.output;
+                    }
+                    else {
+                        success = false;
+                    }
+                }
+                else {
+                    success = false;
+                }
+            }
+            ctx.jsonPath.length = length;
+            if (!success)
+                return { success, errors: ctx.errors };
+            return { success, output };
+        }), new HalfPipe(`record<${keyPipe.o.name},${valPipe.o.name}>`, (v) => {
+            if (Object.prototype.toString.call(v) != "[object Object]")
+                return false;
+            for (const k in v) {
+                // Keys will always be strings.
+                // if (!keyPipe.o.typeCheck(k)) return false;
+                if (!valPipe.o.typeCheck(v[k]))
+                    return false;
+            }
+            return true;
+        }));
+        this.keyPipe = keyPipe;
+        this.valPipe = valPipe;
+    }
+}
+export function record(keyPipe, valPipe) {
+    return new ValioRecord(keyPipe, valPipe);
+}
+class Union extends Pipe {
+    options;
+    constructor(options) {
+        const name = options.map((o) => o.o.name).join("|");
+        super(new HalfPipe(name, (v) => {
+            for (const f of options)
+                if (f.i.typeCheck(v))
+                    return true;
+            return false;
+        }, (data, ctx) => {
+            const newCtx = ctx.clone();
+            for (const s in options) {
+                const decoded = options[s].decode(data, newCtx);
+                if (decoded.success)
+                    return decoded;
+            }
+            Object.assign(ctx.errors, newCtx.errors);
+            return { success: false, errors: ctx.errors };
+        }), new HalfPipe(name, (v) => {
+            for (const f of options)
+                if (f.o.typeCheck(v))
+                    return true;
+            return false;
+        }));
+        this.options = options;
+    }
+}
+export function union(options) {
+    return new Union(options);
+}
+class ValioObject extends Pipe {
+    shape;
+    isLoose;
+    constructor(shape, isLoose) {
+        super(new HalfPipe("object", (v) => Object.prototype.toString.call(v) == "[object Object]", (data, ctx) => this.transformInput(data, ctx)), new HalfPipe(`{${Object.entries(shape)
+            .map(([k, v]) => `${k}: ${v.o.name}`)
+            .join(",")}}`, (v) => this.typeCheckOutput(v)));
+        this.shape = shape;
+        this.isLoose = isLoose;
+    }
+    clone() {
+        return new ValioObject(this.shape, this.isLoose);
+    }
+    transformInput(data, ctx) {
+        const output = this.isLoose ? data : {};
+        let success = true;
+        const length = ctx.jsonPath.length;
+        // Always expect the shape since that's what typescript does.
+        for (const p in this.shape) {
+            ctx.jsonPath[length] = p;
+            const decoded = this.shape[p].decode(data[p], ctx);
+            if (decoded.success)
+                output[p] = decoded.output;
+            else {
+                success = false;
+                delete output[p];
+            }
+        }
+        ctx.jsonPath.length = length;
+        if (!success)
+            return { success, errors: ctx.errors };
+        return { success, output: output };
+    }
+    typeCheckOutput(v) {
+        if (Object.prototype.toString.call(v) != "[object Object]")
+            return false;
+        for (const s in this.shape)
+            if (!this.shape[s].o.typeCheck(v[s]))
+                return false;
+        return true;
+    }
+    pick(mask) {
+        const next = this.clone();
+        for (const k in next.shape) {
+            if (!mask[k])
+                delete next.shape[k];
+        }
+        return next;
+    }
+    omit(mask) {
+        const next = this.clone();
+        for (const k in next.shape) {
+            if (mask[k])
+                delete next.shape[k];
+        }
+        return next;
+    }
+    partial(mask) {
+        const next = this.clone();
+        for (const k in next.shape) {
+            if (mask[k]) {
+                // @ts-ignore
+                next.shape[k] = union([next.shape[k], p.undefined()]);
+            }
+        }
+        return next;
+    }
+    extend(shape) {
+        const next = this.clone();
+        Object.assign(next.shape, shape);
+        return next;
+    }
+    loose(isLoose = true) {
+        const next = this.clone();
+        next.isLoose = isLoose;
+        return next;
+    }
+}
+export function object(shape, loose = false) {
+    return new ValioObject(shape, loose);
+}

package/dist/index.d.ts

@@ -0,0 +1,5 @@
+export * from "./pipe";
+export * from "./primitives";
+export * from "./containers";
+export * as codecs from "./codecs";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,QAAQ,CAAC;AACvB,cAAc,cAAc,CAAC;AAC7B,cAAc,cAAc,CAAC;AAC7B,OAAO,KAAK,MAAM,MAAM,UAAU,CAAC"}

package/dist/index.js

@@ -0,0 +1,4 @@
+export * from "./pipe";
+export * from "./primitives";
+export * from "./containers";
+export * as codecs from "./codecs";

package/dist/locales/en.d.ts

@@ -0,0 +1,2 @@
+export default function format(name: string, props: Record<any, any>): string;
+//# sourceMappingURL=en.d.ts.map

package/dist/locales/en.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"en.d.ts","sourceRoot":"","sources":["../../src/locales/en.ts"],"names":[],"mappings":"AAmBA,MAAM,CAAC,OAAO,UAAU,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,MAAM,CAG5E"}

package/dist/locales/en.js

@@ -0,0 +1,21 @@
+const templates = {
+    gt: "must be > {$n}",
+    lt: "must be < {$n}",
+    gte: "must be >= {$n}",
+    lte: "must be <= {$n}",
+    eq: "must be {$n}",
+    minLength: "must have length <= {$n}",
+    maxLength: "must have length >= {$n}",
+    regex: "must match {$regex}",
+    type: "not type {$expected}",
+    coerce: "could not coerce to {$expected}",
+};
+function fmt(template, props) {
+    // You could use something like
+    // [MessageFormat](https://messageformat.unicode.org/) here.
+    return template.replace(/{\$(.*?)}/g, (_, g) => props[g]);
+}
+export default function format(name, props) {
+    const template = templates[name];
+    return template ? fmt(template, props) : `TODO: add template for ${name}`;
+}

package/dist/pipe.d.ts

@@ -0,0 +1,66 @@
+export type Error = {
+    input: any;
+    message: string;
+};
+export type Errors = {
+    [inputPath: string]: Error[];
+};
+export type Result<T> = {
+    success: true;
+    output: T;
+} | {
+    success: false;
+    errors: any;
+};
+interface Check<T> {
+    valid(data: T, ctx: Context): boolean;
+    name: string;
+    props: Record<any, any>;
+}
+export declare class HalfPipe<I, O = never> {
+    /** The type name */
+    name: string;
+    /** The first check to run */
+    typeCheck: (v: any) => v is I;
+    /** Optional transform for pipe to run at end. Useful for containers */
+    transform?: ((v: I, ctx: Context) => Result<O>) | undefined;
+    constructor(
+    /** The type name */
+    name: string, 
+    /** The first check to run */
+    typeCheck: (v: any) => v is I, 
+    /** Optional transform for pipe to run at end. Useful for containers */
+    transform?: ((v: I, ctx: Context) => Result<O>) | undefined);
+    /** The second checks to run */
+    checks: Check<I>[];
+    clone(): this;
+}
+/** During encoding, decoding, or validation. */
+export declare class Context {
+    jsonPath: (string | number)[];
+    errors: Errors;
+    errorFmt(name: string, props: Record<any, any>): any;
+    clone(): Context;
+    pushError(error: Error): void;
+    pushErrorFmt(name: string, input: any, props: Record<any, any>): void;
+    run<I, O>(input: any, halfPipe: HalfPipe<I, O>): Result<I>;
+}
+export declare class Pipe<I = any, O = any> {
+    i: HalfPipe<I, O>;
+    o: HalfPipe<O, I>;
+    constructor(i: HalfPipe<I, O>, o: HalfPipe<O, I>);
+    pipes: Pipe<any, any>[];
+    registry: Record<PropertyKey, any>;
+    clone(): this;
+    refine(valid: (data: O, ctx: Context) => boolean, name: string, props: Record<any, any>): this;
+    pipe<I2 extends O, O2>(pipe: Pipe<I2, O2>): Pipe<I, O2>;
+    decodeAny(input: any, ctx?: Context): Result<O>;
+    decode(input: I, ctx?: Context): Result<O>;
+    encodeAny(output: any, ctx?: Context): Result<I>;
+    encode(output: O, ctx?: Context): Result<I>;
+    register(key: PropertyKey, value: any): this;
+}
+export type Input<T extends Pipe> = Parameters<T["decode"]>[0];
+export type Output<T extends Pipe> = Parameters<T["encode"]>[0];
+export {};
+//# sourceMappingURL=pipe.d.ts.map

package/dist/pipe.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pipe.d.ts","sourceRoot":"","sources":["../src/pipe.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,KAAK,GAAG;IAAE,KAAK,EAAE,GAAG,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AACpD,MAAM,MAAM,MAAM,GAAG;IAAE,CAAC,SAAS,EAAE,MAAM,GAAG,KAAK,EAAE,CAAA;CAAE,CAAC;AACtD,MAAM,MAAM,MAAM,CAAC,CAAC,IACjB;IAAE,OAAO,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,CAAC,CAAA;CAAE,GAC5B;IAAE,OAAO,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,GAAG,CAAA;CAAE,CAAC;AASnC,UAAU,KAAK,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,GAAG,OAAO,CAAC;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;CACxB;AAED,qBAAa,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK;IAEhC,oBAAoB;IACb,IAAI,EAAE,MAAM;IACnB,6BAA6B;IACtB,SAAS,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC;IACpC,uEAAuE;IAChE,SAAS,CAAC,GAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC;;IALpD,oBAAoB;IACb,IAAI,EAAE,MAAM;IACnB,6BAA6B;IACtB,SAAS,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC;IACpC,uEAAuE;IAChE,SAAS,CAAC,GAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,aAAA;IAErD,+BAA+B;IAC/B,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAM;IAExB,KAAK,IAAI,IAAI;CAKb;AAED,gDAAgD;AAChD,qBAAa,OAAO;IACnB,QAAQ,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAM;IACnC,MAAM,EAAE,MAAM,CAAM;IAEpB,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,GAAG;IAIpD,KAAK,IAAI,OAAO;IAOhB,SAAS,CAAC,KAAK,EAAE,KAAK;IAMtB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC;IAK9D,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;CAe1D;AAED,qBAAa,IAAI,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,GAAG;IAEzB,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC;gBADjB,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC;IAGzB,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAM;IAC7B,QAAQ,EAAE,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,CAAM;IAExC,KAAK,IAAI,IAAI;IASb,MAAM,CACL,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,KAAK,OAAO,EACzC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GACrB,IAAI;IAMP,IAAI,CAAC,EAAE,SAAS,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC;IAMvD,SAAS,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,UAAgB,GAAG,MAAM,CAAC,CAAC,CAAC;IAmBrD,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,UAAgB,GAAG,MAAM,CAAC,CAAC,CAAC;IAIhD,SAAS,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,UAAgB,GAAG,MAAM,CAAC,CAAC,CAAC;IAkBtD,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,UAAgB,GAAG,MAAM,CAAC,CAAC,CAAC;IAIjD,QAAQ,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,GAAG,IAAI;CAK5C;AAED,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,IAAI,IAAI,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/D,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,IAAI,IAAI,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC"}