structured-outputs 0.1.0-beta.17 → 0.1.0-beta.19

package/README.md

@@ -25,7 +25,7 @@ deno add jsr:@crosshatch/structured-outputs
 import { ResponseFormat, T } from "structured-outputs"
 
 // 1. Define the shape of the desired response.
-const Character = T.struct({
+const Character = T.object({
   name: T.string,
   age: T.number`Ensure between 1 and 110.`,
 })
@@ -68,7 +68,7 @@ We can also attach a description to the response format.
 ### Dependency Injection
 
 ```ts
-const Character = T.struct({
+const Character = T.object({
   name: T.string`Preferably names common to those who are {"national identity"}.`,
   age: T.number`Ensure between 1 and 110.`,
 })

package/esm/mod.js

@@ -1,6 +1,5 @@
 import "./_dnt.polyfills.js";
-export * as T from "./core/mod.js";
-export * as std from "./std/mod.js";
+export * as T from "./types/mod.js";
 export * from "./ResponseFormat.js";
 export * from "./Tool.js";
 //# sourceMappingURL=mod.js.map

package/esm/mod.js.map

@@ -1 +1 @@
-{"version":3,"file":"mod.js","sourceRoot":"","sources":["../src/mod.ts"],"names":[],"mappings":"AAAA,OAAO,qBAAqB,CAAC;AAC7B,OAAO,KAAK,CAAC,MAAM,eAAe,CAAA;AAClC,OAAO,KAAK,GAAG,MAAM,cAAc,CAAA;AACnC,cAAc,qBAAqB,CAAA;AACnC,cAAc,WAAW,CAAA"}
+{"version":3,"file":"mod.js","sourceRoot":"","sources":["../src/mod.ts"],"names":[],"mappings":"AAAA,OAAO,qBAAqB,CAAC;AAC7B,OAAO,KAAK,CAAC,MAAM,gBAAgB,CAAA;AACnC,cAAc,qBAAqB,CAAA;AACnC,cAAc,WAAW,CAAA"}

package/esm/types/Ref.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Ref.js","sourceRoot":"","sources":["../../src/types/Ref.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,2BAA2B,EAAE,MAAM,wCAAwC,CAAA;AAIpF,MAAM,UAAU,GAAG,CAAC,OAAgB;IAClC,OAAO,CAAC,EAAE,EAAE,EAAE;QACZ,OAAO,GAAG,EAAE,GAAG,OAAO,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,CAAA;QACvC,MAAM,WAAW,GAAG,EAAE,CAAC,YAAY;aAChC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,CAC/B,2BAA2B,CAAC,QAAQ,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CACzE;aACA,IAAI,CAAC,GAAG,CAAC,CAAA;QACZ,OAAO,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAA;IAC/C,CAAC,CAAA;AACH,CAAC"}

package/esm/types/RootTy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RootTy.js","sourceRoot":"","sources":["../../src/types/RootTy.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAC9C,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AAG9B,MAAM,UAAU,MAAM,CACpB,QAAkB,EAClB,eAAmC,EAAE,EACrC,UAAmB,EAAE;IAErB,OAAO,MAAM,CAAC,MAAM,CAClB,CAA2B,QAA8B,EAAE,GAAG,SAAa,EAAE,EAAE,CAC7E,MAAM,CAAoB,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,GAAG,YAAY,CAAC,EAAE,OAAO,CAAC,EAC1F,QAAQ,EAA4B,EACpC;QACE,QAAQ;QACR,YAAY;QACZ,OAAO;QACP,KAAK,EAAE,CAAgD,MAAS,EAAE,EAAE;YAClE,OAAO,MAAM,CAAyB,QAAQ,EAAE,YAAY,EAAE,EAAE,GAAG,OAAO,EAAE,GAAG,MAAM,EAAE,CAAC,CAAA;QAC1F,CAAC;QACD,MAAM;YACJ,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAA;QACtB,CAAC;QACD,MAAM;YACJ,OAAO,IAAI,CAAA;QACb,CAAC;KACF,CACF,CAAA;AACH,CAAC"}

package/esm/types/Ty.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Ty.js","sourceRoot":"","sources":["../../src/types/Ty.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAG9C,MAAM,UAAU,EAAE,CAChB,QAAkB,EAClB,eAAmC,EAAE,EACrC,UAAmB,EAAE;IAErB,OAAO,MAAM,CAAC,MAAM,CAClB,CAA2B,QAA8B,EAAE,GAAG,SAAa,EAAE,EAAE,CAC7E,EAAE,CAAoB,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,GAAG,YAAY,CAAC,EAAE,OAAO,CAAC,EACtF,QAAQ,EAA4B,EACpC;QACE,QAAQ;QACR,YAAY;QACZ,OAAO;QACP,KAAK,EAAE,CAAgD,MAAS,EAAE,EAAE;YAClE,OAAO,EAAE,CAAyB,QAAQ,EAAE,YAAY,EAAE,EAAE,GAAG,OAAO,EAAE,GAAG,MAAM,EAAE,CAAC,CAAA;QACtF,CAAC;QACD,MAAM;YACJ,OAAO,KAAK,CAAA;QACd,CAAC;KACF,CACF,CAAA;AACH,CAAC;AAgBD,WAAiB,EAAE;AAKnB,CAAC,EALgB,EAAE,KAAF,EAAE,QAKlB"}

package/esm/{core/vec.js → types/array.js}

@@ -1,9 +1,9 @@
 import { Ty } from "./Ty.js";
-export function vec(element) {
+export function array(element) {
     return Ty((description, ref) => ({
         type: "array",
         description,
         items: ref(element),
     }));
 }
-//# sourceMappingURL=vec.js.map
+//# sourceMappingURL=array.js.map

package/esm/types/array.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"array.js","sourceRoot":"","sources":["../../src/types/array.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAE5B,MAAM,UAAU,KAAK,CAAe,OAAU;IAC5C,OAAO,EAAE,CAAC,CAAC,WAAW,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QAC/B,IAAI,EAAE,OAAO;QACb,WAAW;QACX,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC;KACpB,CAAC,CAAC,CAAA;AACL,CAAC"}

package/esm/types/constant.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constant.js","sourceRoot":"","sources":["../../src/types/constant.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAE5B,MAAM,UAAU,QAAQ,CAA4B,KAAQ;IAC1D,OAAO,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QAC1B,KAAK,EAAE,KAAK;QACZ,WAAW;KACZ,CAAC,CAAC,CAAA;AACL,CAAC"}

package/esm/types/constantUnion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constantUnion.js","sourceRoot":"","sources":["../../src/types/constantUnion.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,8CAA8C,CAAA;AACxE,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAE5B,MAAM,UAAU,aAAa,CAC3B,GAAG,OAAU;IAEb,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAA;IAC3E,OAAO,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE;QACxB,OAAO;YACL,KAAK,EAAE;gBACL,GAAG,OAAO,CAAC,MAAM;oBACf,CAAC,CAAC,CAAC;4BACD,IAAI,EAAE,QAAQ;4BACd,IAAI,EAAE,OAAO;yBACd,CAAC;oBACF,CAAC,CAAC,EAAE;gBACN,GAAG,OAAO,CAAC,MAAM;oBACf,CAAC,CAAC,CAAC;4BACD,IAAI,EAAE,QAAQ;4BACd,IAAI,EAAE,OAAO;yBACd,CAAC;oBACF,CAAC,CAAC,EAAE;aACP;YACD,WAAW;SACZ,CAAA;IACH,CAAC,CAAC,CAAA;AACJ,CAAC"}

package/esm/{core → types}/leaves.js

@@ -3,15 +3,15 @@ export const none = Ty((description) => ({
     type: "null",
     description,
 }));
-export const bool = Ty((description) => ({
+export const boolean = Ty((description) => ({
     type: "boolean",
     description,
 }));
-export const num = Ty((description) => ({
+export const number = Ty((description) => ({
     type: "number",
     description,
 }));
-export const str = Ty((description) => ({
+export const string = Ty((description) => ({
     type: "string",
     description,
 }));

package/esm/types/leaves.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"leaves.js","sourceRoot":"","sources":["../../src/types/leaves.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAE5B,MAAM,CAAC,MAAM,IAAI,GAAoB,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACxD,IAAI,EAAE,MAAM;IACZ,WAAW;CACZ,CAAC,CAAC,CAAA;AAEH,MAAM,CAAC,MAAM,OAAO,GAAuB,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IAC9D,IAAI,EAAE,SAAS;IACf,WAAW;CACZ,CAAC,CAAC,CAAA;AAEH,MAAM,CAAC,MAAM,MAAM,GAAsB,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IAC5D,IAAI,EAAE,QAAQ;IACd,WAAW;CACZ,CAAC,CAAC,CAAA;AAEH,MAAM,CAAC,MAAM,MAAM,GAAsB,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IAC5D,IAAI,EAAE,QAAQ;IACd,WAAW;CACZ,CAAC,CAAC,CAAA"}

package/esm/{core → types}/mod.js

@@ -1,8 +1,9 @@
-export * from "./vec.js";
+export * from "./array.js";
 export * from "./leaves.js";
 export * from "./constant.js";
 export * from "./constantUnion.js";
-export * from "./struct.js";
+export * from "./std/mod.js";
+export * from "./object.js";
 export * from "./Ref.js";
 export * from "./taggedUnion.js";
 export * from "./Ty.js";

package/esm/types/mod.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mod.js","sourceRoot":"","sources":["../../src/types/mod.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,aAAa,CAAA;AAC3B,cAAc,eAAe,CAAA;AAC7B,cAAc,oBAAoB,CAAA;AAClC,cAAc,cAAc,CAAA;AAC5B,cAAc,aAAa,CAAA;AAC3B,cAAc,UAAU,CAAA;AACxB,cAAc,kBAAkB,CAAA;AAChC,cAAc,SAAS,CAAA;AACvB,cAAc,aAAa,CAAA"}

package/esm/{core/struct.js → types/object.js}

@@ -1,5 +1,5 @@
 import { RootTy } from "./RootTy.js";
-export function struct(fields) {
+export function object(fields) {
     return RootTy((description, ref) => ({
         type: "object",
         description,
@@ -8,4 +8,4 @@ export function struct(fields) {
         required: Object.keys(fields),
     }));
 }
-//# sourceMappingURL=struct.js.map
+//# sourceMappingURL=object.js.map

package/esm/types/object.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"object.js","sourceRoot":"","sources":["../../src/types/object.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAGpC,MAAM,UAAU,MAAM,CAA+B,MAAS;IAI5D,OAAO,MAAM,CAAC,CAAC,WAAW,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QACnC,IAAI,EAAE,QAAQ;QACd,WAAW;QACX,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnF,oBAAoB,EAAE,KAAK;QAC3B,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;KAC9B,CAAC,CAAC,CAAA;AACL,CAAC"}

package/esm/types/std/Option.js

@@ -0,0 +1,9 @@
+import { none } from "../leaves.js";
+import { taggedUnion } from "../taggedUnion.js";
+export function option(Some) {
+    return taggedUnion({
+        Some,
+        None: none,
+    }) `An option of specified \`some\` type.`;
+}
+//# sourceMappingURL=Option.js.map

package/esm/types/std/Option.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Option.js","sourceRoot":"","sources":["../../../src/types/std/Option.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AACnC,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAG/C,MAAM,UAAU,MAAM,CAAe,IAAO;IAM1C,OAAO,WAAW,CAAC;QACjB,IAAI;QACJ,IAAI,EAAE,IAAI;KACX,CAAC,CAAA,uCAAuC,CAAA;AAC3C,CAAC"}

package/esm/types/std/Wrapper.js

@@ -0,0 +1,5 @@
+import { object } from "../object.js";
+export function Wrapper(value) {
+    return object({ value });
+}
+//# sourceMappingURL=Wrapper.js.map

package/esm/types/std/Wrapper.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Wrapper.js","sourceRoot":"","sources":["../../../src/types/std/Wrapper.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAIrC,MAAM,UAAU,OAAO,CAAe,KAAQ;IAC5C,OAAO,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAA;AAC1B,CAAC"}

package/esm/types/std/mod.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mod.js","sourceRoot":"","sources":["../../../src/types/std/mod.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAA;AAC3B,cAAc,cAAc,CAAA"}

package/esm/types/taggedUnion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"taggedUnion.js","sourceRoot":"","sources":["../../src/types/taggedUnion.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAE5B,MAAM,UAAU,WAAW,CAA+B,OAAU;IASlE,OAAO,EAAE,CAAC,CAAC,WAAW,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QAC/B,WAAW;QACX,aAAa,EAAE,MAAM;QACrB,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC9C,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE,CAAC;iBACT;gBACD,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;aACd;YACD,QAAQ,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC;YAC3B,oBAAoB,EAAE,KAAK;SAC5B,CAAC,CAAC;KACJ,CAAC,CAAC,CAAA;AACL,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "structured-outputs",
-  "version": "0.1.0-beta.17",
+  "version": "0.1.0-beta.19",
   "description": "Compose OpenAI structured output schemas.",
   "repository": "github:harrysolovay/structured-outputs.git",
   "license": "Apache-2.0",

package/src/ResponseFormat.ts

@@ -1,7 +1,7 @@
 import { assert } from "./deps/jsr.io/@std/assert/1.0.8/mod.js"
 import type Openai from "openai"
 import type { ResponseFormatJSONSchema } from "openai/resources/index.js"
-import type { RootTy } from "./core/mod.js"
+import type { RootTy } from "./types/mod.js"
 import { recombineTaggedTemplateArgs } from "./util/recombineTaggedTemplateArgs.js"
 
 export function ResponseFormat<T>(name: string, ty: RootTy<T, never>): ResponseFormat<T> {

package/src/Tool.ts

@@ -1,4 +1,4 @@
-import type { RootTy, Schema } from "./core/mod.js"
+import type { RootTy, Schema } from "./types/mod.js"
 import { recombineTaggedTemplateArgs } from "./util/recombineTaggedTemplateArgs.js"
 
 export function Tool<T>(name: string, ty: RootTy<T, never>): Tool<T> {

package/src/mod.ts

@@ -1,5 +1,4 @@
 import "./_dnt.polyfills.js";
-export * as T from "./core/mod.js"
-export * as std from "./std/mod.js"
+export * as T from "./types/mod.js"
 export * from "./ResponseFormat.js"
 export * from "./Tool.js"

package/src/{core/vec.ts → types/array.ts}

@@ -1,8 +1,6 @@
 import { Ty } from "./Ty.js"
 
-export type vec<E extends Ty> = ReturnType<typeof vec<E>>
-
-export function vec<E extends Ty>(element: E): Ty<Array<E[Ty.T]>, E[Ty.P]> {
+export function array<E extends Ty>(element: E): Ty<Array<E[Ty.T]>, E[Ty.P]> {
   return Ty((description, ref) => ({
     type: "array",
     description,

package/src/{core → types}/constant.ts

@@ -1,7 +1,5 @@
 import { Ty } from "./Ty.js"
 
-export type constant<V extends number | string> = ReturnType<typeof constant<V>>
-
 export function constant<V extends number | string>(value: V): Ty<V, never> {
   return Ty((description) => ({
     const: value,

package/src/{core → types}/constantUnion.ts

@@ -1,8 +1,6 @@
 import { partition } from "../deps/jsr.io/@std/collections/1.0.9/mod.js"
 import { Ty } from "./Ty.js"
 
-export type constantUnion<M extends Array<number | string>> = ReturnType<typeof constantUnion<M>>
-
 export function constantUnion<M extends Array<number | string>>(
   ...members: M
 ): Ty<M[number], never> {

package/src/types/leaves.ts

@@ -0,0 +1,21 @@
+import { Ty } from "./Ty.js"
+
+export const none: Ty<null, never> = Ty((description) => ({
+  type: "null",
+  description,
+}))
+
+export const boolean: Ty<boolean, never> = Ty((description) => ({
+  type: "boolean",
+  description,
+}))
+
+export const number: Ty<number, never> = Ty((description) => ({
+  type: "number",
+  description,
+}))
+
+export const string: Ty<string, never> = Ty((description) => ({
+  type: "string",
+  description,
+}))

package/src/{core → types}/mod.ts

@@ -1,8 +1,9 @@
-export * from "./vec.js"
+export * from "./array.js"
 export * from "./leaves.js"
 export * from "./constant.js"
 export * from "./constantUnion.js"
-export * from "./struct.js"
+export * from "./std/mod.js"
+export * from "./object.js"
 export * from "./Ref.js"
 export * from "./taggedUnion.js"
 export * from "./Ty.js"

package/src/{core/struct.ts → types/object.ts}

@@ -1,9 +1,7 @@
 import { RootTy } from "./RootTy.js"
 import type { Ty } from "./Ty.js"
 
-export type struct<F extends StructFields = StructFields> = ReturnType<typeof struct<F>>
-
-export function struct<F extends StructFields>(fields: F): RootTy<
+export function object<F extends Record<string, Ty>>(fields: F): RootTy<
   { [K in keyof F]: F[K][Ty.T] },
   F[keyof F][Ty.P]
 > {
@@ -15,5 +13,3 @@ export function struct<F extends StructFields>(fields: F): RootTy<
     required: Object.keys(fields),
   }))
 }
-
-export type StructFields = Record<string, Ty>

package/src/types/std/Option.ts

@@ -0,0 +1,15 @@
+import { none } from "../leaves.js"
+import { taggedUnion } from "../taggedUnion.js"
+import type { Ty } from "../Ty.js"
+
+export function option<S extends Ty>(Some: S): ReturnType<
+  typeof taggedUnion<{
+    Some: S
+    None: Ty<null, never>
+  }>
+> {
+  return taggedUnion({
+    Some,
+    None: none,
+  })`An option of specified \`some\` type.`
+}

package/src/types/std/Wrapper.ts

@@ -0,0 +1,8 @@
+import type { Ty } from "../mod.js"
+import { object } from "../object.js"
+
+export type Wrapper<X extends Ty = Ty> = ReturnType<typeof Wrapper<X>>
+
+export function Wrapper<X extends Ty>(value: X): ReturnType<typeof object<{ value: X }>> {
+  return object({ value })
+}

package/src/{core → types}/taggedUnion.ts

@@ -1,10 +1,6 @@
 import { Ty } from "./Ty.js"
 
-export type taggedUnion<M extends TaggedUnionMembers = TaggedUnionMembers> = ReturnType<
-  typeof taggedUnion<M>
->
-
-export function taggedUnion<M extends TaggedUnionMembers>(members: M): Ty<
+export function taggedUnion<M extends Record<string, Ty>>(members: M): Ty<
   {
     [K in keyof M]: {
       type: K
@@ -30,5 +26,3 @@ export function taggedUnion<M extends TaggedUnionMembers>(members: M): Ty<
     })),
   }))
 }
-
-export type TaggedUnionMembers = Record<string, Ty>

package/types/ResponseFormat.d.ts

@@ -1,6 +1,6 @@
 import type Openai from "openai";
 import type { ResponseFormatJSONSchema } from "openai/resources/index.js";
-import type { RootTy } from "./core/mod.js";
+import type { RootTy } from "./types/mod.js";
 export declare function ResponseFormat<T>(name: string, ty: RootTy<T, never>): ResponseFormat<T>;
 export interface ResponseFormat<T> {
     (template: TemplateStringsArray, ...quasis: Array<string>): ResponseFormat<T>;

package/types/ResponseFormat.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ResponseFormat.d.ts","sourceRoot":"","sources":["../src/ResponseFormat.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,MAAM,MAAM,QAAQ,CAAA;AAChC,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAA;AACzE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,eAAe,CAAA;AAG3C,wBAAgB,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAEvF;AAkDD,MAAM,WAAW,cAAc,CAAC,CAAC;IAC/B,CAAC,QAAQ,EAAE,oBAAoB,EAAE,GAAG,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAA;IAC7E,IAAI,EAAE,aAAa,CAAA;IACnB,8CAA8C;IAC9C,WAAW,EAAE,wBAAwB,CAAC,UAAU,CAAA;IAChD,iDAAiD;IACjD,KAAK,CAAC,UAAU,EAAE,cAAc,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAA;IACzD,qEAAqE;IACrE,iBAAiB,CAAC,UAAU,EAAE,cAAc,GAAG,CAAC,CAAA;CACjD;AAED,MAAM,MAAM,mBAAmB,CAAC,CAAC,IAAI,IAAI,CAAC,cAAc,EAAE,SAAS,CAAC,GAAG;IACrE,OAAO,EAAE,KAAK,CACZ,IAAI,CAAC,oBAAoB,EAAE,SAAS,CAAC,GAAG;QACtC,OAAO,EAAE,IAAI,CAAC,qBAAqB,EAAE,SAAS,CAAC,GAAG;YAChD,OAAO,EAAE,CAAC,CAAA;SACX,CAAA;KACF,CACF,CAAA;CACF,CAAA;AAED,KAAK,cAAc,GAAG,MAAM,CAAC,IAAI,CAAC,cAAc,CAAA;AAChD,KAAK,oBAAoB,GAAG,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,CAAA;AAC7D,KAAK,qBAAqB,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,qBAAqB,CAAA"}
+{"version":3,"file":"ResponseFormat.d.ts","sourceRoot":"","sources":["../src/ResponseFormat.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,MAAM,MAAM,QAAQ,CAAA;AAChC,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAA;AACzE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAA;AAG5C,wBAAgB,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAEvF;AAkDD,MAAM,WAAW,cAAc,CAAC,CAAC;IAC/B,CAAC,QAAQ,EAAE,oBAAoB,EAAE,GAAG,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAA;IAC7E,IAAI,EAAE,aAAa,CAAA;IACnB,8CAA8C;IAC9C,WAAW,EAAE,wBAAwB,CAAC,UAAU,CAAA;IAChD,iDAAiD;IACjD,KAAK,CAAC,UAAU,EAAE,cAAc,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAA;IACzD,qEAAqE;IACrE,iBAAiB,CAAC,UAAU,EAAE,cAAc,GAAG,CAAC,CAAA;CACjD;AAED,MAAM,MAAM,mBAAmB,CAAC,CAAC,IAAI,IAAI,CAAC,cAAc,EAAE,SAAS,CAAC,GAAG;IACrE,OAAO,EAAE,KAAK,CACZ,IAAI,CAAC,oBAAoB,EAAE,SAAS,CAAC,GAAG;QACtC,OAAO,EAAE,IAAI,CAAC,qBAAqB,EAAE,SAAS,CAAC,GAAG;YAChD,OAAO,EAAE,CAAC,CAAA;SACX,CAAA;KACF,CACF,CAAA;CACF,CAAA;AAED,KAAK,cAAc,GAAG,MAAM,CAAC,IAAI,CAAC,cAAc,CAAA;AAChD,KAAK,oBAAoB,GAAG,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,CAAA;AAC7D,KAAK,qBAAqB,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,qBAAqB,CAAA"}

package/types/Tool.d.ts

@@ -1,4 +1,4 @@
-import type { RootTy, Schema } from "./core/mod.js";
+import type { RootTy, Schema } from "./types/mod.js";
 export declare function Tool<T>(name: string, ty: RootTy<T, never>): Tool<T>;
 export interface Tool<T = any> {
     (template: TemplateStringsArray, ...quasis: Array<string>): Tool<T>;

package/types/Tool.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Tool.d.ts","sourceRoot":"","sources":["../src/Tool.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,eAAe,CAAA;AAGnD,wBAAgB,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAEnE;AAuBD,MAAM,WAAW,IAAI,CAAC,CAAC,GAAG,GAAG;IAC3B,CAAC,QAAQ,EAAE,oBAAoB,EAAE,GAAG,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;IACnE,IAAI,EAAE,UAAU,CAAA;IAChB,sDAAsD;IACtD,IAAI,EAAE,MAAM,CAAA;IACZ,mEAAmE;IACnE,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,8DAA8D;IAC9D,UAAU,CAAC,EAAE,MAAM,CAAA;CACpB"}
+{"version":3,"file":"Tool.d.ts","sourceRoot":"","sources":["../src/Tool.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAA;AAGpD,wBAAgB,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAEnE;AAuBD,MAAM,WAAW,IAAI,CAAC,CAAC,GAAG,GAAG;IAC3B,CAAC,QAAQ,EAAE,oBAAoB,EAAE,GAAG,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;IACnE,IAAI,EAAE,UAAU,CAAA;IAChB,sDAAsD;IACtD,IAAI,EAAE,MAAM,CAAA;IACZ,mEAAmE;IACnE,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,8DAA8D;IAC9D,UAAU,CAAC,EAAE,MAAM,CAAA;CACpB"}

package/types/mod.d.ts

@@ -1,6 +1,5 @@
 import "./_dnt.polyfills.js";
-export * as T from "./core/mod.js";
-export * as std from "./std/mod.js";
+export * as T from "./types/mod.js";
 export * from "./ResponseFormat.js";
 export * from "./Tool.js";
 //# sourceMappingURL=mod.d.ts.map

package/types/mod.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"mod.d.ts","sourceRoot":"","sources":["../src/mod.ts"],"names":[],"mappings":"AAAA,OAAO,qBAAqB,CAAC;AAC7B,OAAO,KAAK,CAAC,MAAM,eAAe,CAAA;AAClC,OAAO,KAAK,GAAG,MAAM,cAAc,CAAA;AACnC,cAAc,qBAAqB,CAAA;AACnC,cAAc,WAAW,CAAA"}
+{"version":3,"file":"mod.d.ts","sourceRoot":"","sources":["../src/mod.ts"],"names":[],"mappings":"AAAA,OAAO,qBAAqB,CAAC;AAC7B,OAAO,KAAK,CAAC,MAAM,gBAAgB,CAAA;AACnC,cAAc,qBAAqB,CAAA;AACnC,cAAc,WAAW,CAAA"}

package/types/types/Ref.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Ref.d.ts","sourceRoot":"","sources":["../../src/types/Ref.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAGlD,MAAM,MAAM,GAAG,GAAG,CAAC,EAAE,EAAE,EAAE,KAAK,MAAM,CAAA;AAEpC,wBAAgB,GAAG,CAAC,OAAO,EAAE,OAAO,GAAG,GAAG,CAUzC"}

package/types/types/RootTy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"RootTy.d.ts","sourceRoot":"","sources":["../../src/types/RootTy.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAEzE,wBAAgB,MAAM,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,KAAK,EAChD,QAAQ,EAAE,QAAQ,EAClB,YAAY,GAAE,KAAK,CAAC,WAAW,CAAM,EACrC,OAAO,GAAE,OAAY,GACpB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAoBd;AAED,MAAM,WAAW,MAAM,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,CAAE,SAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAC1E,CAAC,EAAE,SAAS,KAAK,CAAC,MAAM,CAAC,EACvB,QAAQ,EAAE,oBAAoB,EAC9B,GAAG,SAAS,EAAE,EAAE,GACf,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IAC5B,KAAK,EAAE,CAAC,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC,EACnD,MAAM,EAAE,CAAC,KACN,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAA;IACnC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,MAAM,CAAA;CACvC"}

package/types/types/Ty.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Ty.d.ts","sourceRoot":"","sources":["../../src/types/Ty.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AAEnC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAEzC,wBAAgB,EAAE,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,KAAK,EAC5C,QAAQ,EAAE,QAAQ,EAClB,YAAY,GAAE,KAAK,CAAC,WAAW,CAAM,EACrC,OAAO,GAAE,OAAY,GACpB,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAiBV;AAED,MAAM,WAAW,EAAE,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM;IACpD,CAAC,EAAE,SAAS,KAAK,CAAC,MAAM,CAAC,EACvB,QAAQ,EAAE,oBAAoB,EAC9B,GAAG,SAAS,EAAE,EAAE,GACf,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IACxB,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IACT,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IACT,QAAQ,EAAE,QAAQ,CAAA;IAClB,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,CAAA;IAChC,OAAO,EAAE,OAAO,CAAA;IAChB,KAAK,EAAE,CAAC,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAA;IAC/F,MAAM,IAAI,IAAI,IAAI,MAAM,CAAA;CACzB;AAED,yBAAiB,EAAE,CAAC;IAClB,KAAY,CAAC,GAAG,OAAO,CAAC,CAAA;IACT,MAAM,CAAC,EAAE,OAAO,MAAM,CAAA;IACrC,KAAY,CAAC,GAAG,OAAO,CAAC,CAAA;IACT,MAAM,CAAC,EAAE,OAAO,MAAM,CAAA;CACtC;AAED,MAAM,MAAM,QAAQ,GAAG,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,EAAE,GAAG,EAAE,GAAG,KAAK,MAAM,CAAA;AAC5E,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;AAE5C,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,oBAAoB,CAAA;IAC9B,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;CACzB;AAED,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,CAAA"}

package/types/types/array.d.ts

@@ -0,0 +1,3 @@
+import { Ty } from "./Ty.js";
+export declare function array<E extends Ty>(element: E): Ty<Array<E[Ty.T]>, E[Ty.P]>;
+//# sourceMappingURL=array.d.ts.map

package/types/types/array.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"array.d.ts","sourceRoot":"","sources":["../../src/types/array.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAE5B,wBAAgB,KAAK,CAAC,CAAC,SAAS,EAAE,EAAE,OAAO,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAM3E"}

package/types/types/constant.d.ts

@@ -0,0 +1,3 @@
+import { Ty } from "./Ty.js";
+export declare function constant<V extends number | string>(value: V): Ty<V, never>;
+//# sourceMappingURL=constant.d.ts.map

package/types/types/constant.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constant.d.ts","sourceRoot":"","sources":["../../src/types/constant.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAE5B,wBAAgB,QAAQ,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAK1E"}

package/types/types/constantUnion.d.ts

@@ -0,0 +1,3 @@
+import { Ty } from "./Ty.js";
+export declare function constantUnion<M extends Array<number | string>>(...members: M): Ty<M[number], never>;
+//# sourceMappingURL=constantUnion.d.ts.map

package/types/types/constantUnion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constantUnion.d.ts","sourceRoot":"","sources":["../../src/types/constantUnion.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAE5B,wBAAgB,aAAa,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,EAC5D,GAAG,OAAO,EAAE,CAAC,GACZ,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAqBtB"}

package/types/types/leaves.d.ts

@@ -0,0 +1,6 @@
+import { Ty } from "./Ty.js";
+export declare const none: Ty<null, never>;
+export declare const boolean: Ty<boolean, never>;
+export declare const number: Ty<number, never>;
+export declare const string: Ty<string, never>;
+//# sourceMappingURL=leaves.d.ts.map

package/types/types/leaves.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"leaves.d.ts","sourceRoot":"","sources":["../../src/types/leaves.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAE5B,eAAO,MAAM,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAG9B,CAAA;AAEH,eAAO,MAAM,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,KAAK,CAGpC,CAAA;AAEH,eAAO,MAAM,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAGlC,CAAA;AAEH,eAAO,MAAM,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAGlC,CAAA"}

package/types/{core → types}/mod.d.ts

@@ -1,8 +1,9 @@
-export * from "./vec.js";
+export * from "./array.js";
 export * from "./leaves.js";
 export * from "./constant.js";
 export * from "./constantUnion.js";
-export * from "./struct.js";
+export * from "./std/mod.js";
+export * from "./object.js";
 export * from "./Ref.js";
 export * from "./taggedUnion.js";
 export * from "./Ty.js";

package/types/types/mod.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mod.d.ts","sourceRoot":"","sources":["../../src/types/mod.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,aAAa,CAAA;AAC3B,cAAc,eAAe,CAAA;AAC7B,cAAc,oBAAoB,CAAA;AAClC,cAAc,cAAc,CAAA;AAC5B,cAAc,aAAa,CAAA;AAC3B,cAAc,UAAU,CAAA;AACxB,cAAc,kBAAkB,CAAA;AAChC,cAAc,SAAS,CAAA;AACvB,cAAc,aAAa,CAAA"}

package/types/types/object.d.ts

@@ -0,0 +1,6 @@
+import { RootTy } from "./RootTy.js";
+import type { Ty } from "./Ty.js";
+export declare function object<F extends Record<string, Ty>>(fields: F): RootTy<{
+    [K in keyof F]: F[K][Ty.T];
+}, F[keyof F][Ty.P]>;
+//# sourceMappingURL=object.d.ts.map

package/types/types/object.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"object.d.ts","sourceRoot":"","sources":["../../src/types/object.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAEjC,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CACrE;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAAE,EAC9B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CACjB,CAQA"}

package/types/types/std/Option.d.ts

@@ -0,0 +1,7 @@
+import { taggedUnion } from "../taggedUnion.js";
+import type { Ty } from "../Ty.js";
+export declare function option<S extends Ty>(Some: S): ReturnType<typeof taggedUnion<{
+    Some: S;
+    None: Ty<null, never>;
+}>>;
+//# sourceMappingURL=Option.d.ts.map

package/types/types/std/Option.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Option.d.ts","sourceRoot":"","sources":["../../../src/types/std/Option.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,UAAU,CAAA;AAElC,wBAAgB,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,CAAC,GAAG,UAAU,CACvD,OAAO,WAAW,CAAC;IACjB,IAAI,EAAE,CAAC,CAAA;IACP,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;CACtB,CAAC,CACH,CAKA"}

package/types/types/std/Wrapper.d.ts

@@ -0,0 +1,7 @@
+import type { Ty } from "../mod.js";
+import { object } from "../object.js";
+export type Wrapper<X extends Ty = Ty> = ReturnType<typeof Wrapper<X>>;
+export declare function Wrapper<X extends Ty>(value: X): ReturnType<typeof object<{
+    value: X;
+}>>;
+//# sourceMappingURL=Wrapper.d.ts.map

package/types/types/std/Wrapper.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Wrapper.d.ts","sourceRoot":"","sources":["../../../src/types/std/Wrapper.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAErC,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,EAAE,GAAG,EAAE,IAAI,UAAU,CAAC,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;AAEtE,wBAAgB,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,UAAU,CAAC,OAAO,MAAM,CAAC;IAAE,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC,CAAC,CAEvF"}

package/types/types/std/mod.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mod.d.ts","sourceRoot":"","sources":["../../../src/types/std/mod.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAA;AAC3B,cAAc,cAAc,CAAA"}

package/types/types/taggedUnion.d.ts

@@ -0,0 +1,8 @@
+import { Ty } from "./Ty.js";
+export declare function taggedUnion<M extends Record<string, Ty>>(members: M): Ty<{
+    [K in keyof M]: {
+        type: K;
+        value: M[K][Ty.T];
+    };
+}[keyof M], M[keyof M][Ty.P]>;
+//# sourceMappingURL=taggedUnion.d.ts.map

package/types/types/taggedUnion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"taggedUnion.d.ts","sourceRoot":"","sources":["../../src/types/taggedUnion.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAE5B,wBAAgB,WAAW,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,EAAE,CACvE;KACG,CAAC,IAAI,MAAM,CAAC,GAAG;QACd,IAAI,EAAE,CAAC,CAAA;QACP,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;KAClB;CACF,CAAC,MAAM,CAAC,CAAC,EACV,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CACjB,CAiBA"}

package/esm/core/Ref.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Ref.js","sourceRoot":"","sources":["../../src/core/Ref.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,2BAA2B,EAAE,MAAM,wCAAwC,CAAA;AAIpF,MAAM,UAAU,GAAG,CAAC,OAAgB;IAClC,OAAO,CAAC,EAAE,EAAE,EAAE;QACZ,OAAO,GAAG,EAAE,GAAG,OAAO,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,CAAA;QACvC,MAAM,WAAW,GAAG,EAAE,CAAC,YAAY;aAChC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,CAC/B,2BAA2B,CAAC,QAAQ,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CACzE;aACA,IAAI,CAAC,GAAG,CAAC,CAAA;QACZ,OAAO,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAA;IAC/C,CAAC,CAAA;AACH,CAAC"}

package/esm/core/RootTy.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"RootTy.js","sourceRoot":"","sources":["../../src/core/RootTy.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAC9C,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AAG9B,MAAM,UAAU,MAAM,CACpB,QAAkB,EAClB,eAAmC,EAAE,EACrC,UAAmB,EAAE;IAErB,OAAO,MAAM,CAAC,MAAM,CAClB,CAA2B,QAA8B,EAAE,GAAG,SAAa,EAAE,EAAE,CAC7E,MAAM,CAAoB,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,GAAG,YAAY,CAAC,EAAE,OAAO,CAAC,EAC1F,QAAQ,EAA4B,EACpC;QACE,QAAQ;QACR,YAAY;QACZ,OAAO;QACP,KAAK,EAAE,CAAgD,MAAS,EAAE,EAAE;YAClE,OAAO,MAAM,CAAyB,QAAQ,EAAE,YAAY,EAAE,EAAE,GAAG,OAAO,EAAE,GAAG,MAAM,EAAE,CAAC,CAAA;QAC1F,CAAC;QACD,MAAM;YACJ,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAA;QACtB,CAAC;QACD,MAAM;YACJ,OAAO,IAAI,CAAA;QACb,CAAC;KACF,CACF,CAAA;AACH,CAAC"}

package/esm/core/Ty.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Ty.js","sourceRoot":"","sources":["../../src/core/Ty.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAG9C,MAAM,UAAU,EAAE,CAChB,QAAkB,EAClB,eAAmC,EAAE,EACrC,UAAmB,EAAE;IAErB,OAAO,MAAM,CAAC,MAAM,CAClB,CAA2B,QAA8B,EAAE,GAAG,SAAa,EAAE,EAAE,CAC7E,EAAE,CAAoB,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,GAAG,YAAY,CAAC,EAAE,OAAO,CAAC,EACtF,QAAQ,EAA4B,EACpC;QACE,QAAQ;QACR,YAAY;QACZ,OAAO;QACP,KAAK,EAAE,CAAgD,MAAS,EAAE,EAAE;YAClE,OAAO,EAAE,CAAyB,QAAQ,EAAE,YAAY,EAAE,EAAE,GAAG,OAAO,EAAE,GAAG,MAAM,EAAE,CAAC,CAAA;QACtF,CAAC;QACD,MAAM;YACJ,OAAO,KAAK,CAAA;QACd,CAAC;KACF,CACF,CAAA;AACH,CAAC;AAgBD,WAAiB,EAAE;AAKnB,CAAC,EALgB,EAAE,KAAF,EAAE,QAKlB"}

package/esm/core/constant.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"constant.js","sourceRoot":"","sources":["../../src/core/constant.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAI5B,MAAM,UAAU,QAAQ,CAA4B,KAAQ;IAC1D,OAAO,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QAC1B,KAAK,EAAE,KAAK;QACZ,WAAW;KACZ,CAAC,CAAC,CAAA;AACL,CAAC"}

package/esm/core/constantUnion.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"constantUnion.js","sourceRoot":"","sources":["../../src/core/constantUnion.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,8CAA8C,CAAA;AACxE,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAI5B,MAAM,UAAU,aAAa,CAC3B,GAAG,OAAU;IAEb,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAA;IAC3E,OAAO,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE;QACxB,OAAO;YACL,KAAK,EAAE;gBACL,GAAG,OAAO,CAAC,MAAM;oBACf,CAAC,CAAC,CAAC;4BACD,IAAI,EAAE,QAAQ;4BACd,IAAI,EAAE,OAAO;yBACd,CAAC;oBACF,CAAC,CAAC,EAAE;gBACN,GAAG,OAAO,CAAC,MAAM;oBACf,CAAC,CAAC,CAAC;4BACD,IAAI,EAAE,QAAQ;4BACd,IAAI,EAAE,OAAO;yBACd,CAAC;oBACF,CAAC,CAAC,EAAE;aACP;YACD,WAAW;SACZ,CAAA;IACH,CAAC,CAAC,CAAA;AACJ,CAAC"}

package/esm/core/leaves.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"leaves.js","sourceRoot":"","sources":["../../src/core/leaves.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAG5B,MAAM,CAAC,MAAM,IAAI,GAAoB,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACxD,IAAI,EAAE,MAAM;IACZ,WAAW;CACZ,CAAC,CAAC,CAAA;AAGH,MAAM,CAAC,MAAM,IAAI,GAAuB,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IAC3D,IAAI,EAAE,SAAS;IACf,WAAW;CACZ,CAAC,CAAC,CAAA;AAGH,MAAM,CAAC,MAAM,GAAG,GAAsB,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACzD,IAAI,EAAE,QAAQ;IACd,WAAW;CACZ,CAAC,CAAC,CAAA;AAGH,MAAM,CAAC,MAAM,GAAG,GAAsB,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACzD,IAAI,EAAE,QAAQ;IACd,WAAW;CACZ,CAAC,CAAC,CAAA"}

package/esm/core/mod.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"mod.js","sourceRoot":"","sources":["../../src/core/mod.ts"],"names":[],"mappings":"AAAA,cAAc,UAAU,CAAA;AACxB,cAAc,aAAa,CAAA;AAC3B,cAAc,eAAe,CAAA;AAC7B,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA;AAC3B,cAAc,UAAU,CAAA;AACxB,cAAc,kBAAkB,CAAA;AAChC,cAAc,SAAS,CAAA;AACvB,cAAc,aAAa,CAAA"}

package/esm/core/struct.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"struct.js","sourceRoot":"","sources":["../../src/core/struct.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAKpC,MAAM,UAAU,MAAM,CAAyB,MAAS;IAItD,OAAO,MAAM,CAAC,CAAC,WAAW,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QACnC,IAAI,EAAE,QAAQ;QACd,WAAW;QACX,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnF,oBAAoB,EAAE,KAAK;QAC3B,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;KAC9B,CAAC,CAAC,CAAA;AACL,CAAC"}

package/esm/core/taggedUnion.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"taggedUnion.js","sourceRoot":"","sources":["../../src/core/taggedUnion.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAM5B,MAAM,UAAU,WAAW,CAA+B,OAAU;IASlE,OAAO,EAAE,CAAC,CAAC,WAAW,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QAC/B,WAAW;QACX,aAAa,EAAE,MAAM;QACrB,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC9C,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE,CAAC;iBACT;gBACD,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;aACd;YACD,QAAQ,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC;YAC3B,oBAAoB,EAAE,KAAK;SAC5B,CAAC,CAAC;KACJ,CAAC,CAAC,CAAA;AACL,CAAC"}

package/esm/core/vec.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"vec.js","sourceRoot":"","sources":["../../src/core/vec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAI5B,MAAM,UAAU,GAAG,CAAe,OAAU;IAC1C,OAAO,EAAE,CAAC,CAAC,WAAW,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QAC/B,IAAI,EAAE,OAAO;QACb,WAAW;QACX,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC;KACpB,CAAC,CAAC,CAAA;AACL,CAAC"}

package/esm/std/Option.js

@@ -1,11 +0,0 @@
-import { none } from "../core/leaves.js";
-import { taggedUnion } from "../core/taggedUnion.js";
-export function Option(Some) {
-    // TODO: There should be no need to supply the following type arg.
-    //       Determine where inference isn't smart enough to avoid widening `none`'s `P` to `string`.
-    return taggedUnion({
-        Some,
-        None: none,
-    }) `An option of specified \`some\` type.`;
-}
-//# sourceMappingURL=Option.js.map

package/esm/std/Option.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Option.js","sourceRoot":"","sources":["../../src/std/Option.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAA;AACxC,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAA;AAKpD,MAAM,UAAU,MAAM,CAAe,IAAO;IAI1C,kEAAkE;IAClE,iGAAiG;IACjG,OAAO,WAAW,CAGf;QACD,IAAI;QACJ,IAAI,EAAE,IAAI;KACX,CAAC,CAAA,uCAAuC,CAAA;AAC3C,CAAC"}

package/esm/std/Wrapper.js

@@ -1,5 +0,0 @@
-import { struct } from "../core/mod.js";
-export function Wrapper(value) {
-    return struct({ value });
-}
-//# sourceMappingURL=Wrapper.js.map

package/esm/std/Wrapper.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Wrapper.js","sourceRoot":"","sources":["../../src/std/Wrapper.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAW,MAAM,gBAAgB,CAAA;AAIhD,MAAM,UAAU,OAAO,CAAe,KAAQ;IAC5C,OAAO,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAA;AAC1B,CAAC"}

package/esm/std/mod.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"mod.js","sourceRoot":"","sources":["../../src/std/mod.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAA;AAC3B,cAAc,cAAc,CAAA"}

package/src/core/leaves.ts

@@ -1,25 +0,0 @@
-import { Ty } from "./Ty.js"
-
-export type none<P extends string = string> = Ty<null, P>
-export const none: Ty<null, never> = Ty((description) => ({
-  type: "null",
-  description,
-}))
-
-export type bool<P extends string = string> = Ty<boolean, P>
-export const bool: Ty<boolean, never> = Ty((description) => ({
-  type: "boolean",
-  description,
-}))
-
-export type num<P extends string = string> = Ty<number, P>
-export const num: Ty<number, never> = Ty((description) => ({
-  type: "number",
-  description,
-}))
-
-export type str<P extends string = string> = Ty<string, P>
-export const str: Ty<string, never> = Ty((description) => ({
-  type: "string",
-  description,
-}))

package/src/std/Option.ts

@@ -1,20 +0,0 @@
-import { none } from "../core/leaves.js"
-import { taggedUnion } from "../core/taggedUnion.js"
-import type { Ty } from "../core/Ty.js"
-
-export type Option<S extends Ty> = ReturnType<typeof Option<S>>
-
-export function Option<S extends Ty>(Some: S): taggedUnion<{
-  Some: S
-  None: none<never>
-}> {
-  // TODO: There should be no need to supply the following type arg.
-  //       Determine where inference isn't smart enough to avoid widening `none`'s `P` to `string`.
-  return taggedUnion<{
-    Some: S
-    None: none<never>
-  }>({
-    Some,
-    None: none,
-  })`An option of specified \`some\` type.`
-}

package/src/std/Wrapper.ts

@@ -1,7 +0,0 @@
-import { struct, type Ty } from "../core/mod.js"
-
-export type Wrapper<X extends Ty = Ty> = ReturnType<typeof Wrapper<X>>
-
-export function Wrapper<X extends Ty>(value: X): struct<{ value: X }> {
-  return struct({ value })
-}

package/types/core/Ref.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"Ref.d.ts","sourceRoot":"","sources":["../../src/core/Ref.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAGlD,MAAM,MAAM,GAAG,GAAG,CAAC,EAAE,EAAE,EAAE,KAAK,MAAM,CAAA;AAEpC,wBAAgB,GAAG,CAAC,OAAO,EAAE,OAAO,GAAG,GAAG,CAUzC"}

package/types/core/RootTy.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"RootTy.d.ts","sourceRoot":"","sources":["../../src/core/RootTy.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAEzE,wBAAgB,MAAM,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,KAAK,EAChD,QAAQ,EAAE,QAAQ,EAClB,YAAY,GAAE,KAAK,CAAC,WAAW,CAAM,EACrC,OAAO,GAAE,OAAY,GACpB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAoBd;AAED,MAAM,WAAW,MAAM,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,CAAE,SAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAC1E,CAAC,EAAE,SAAS,KAAK,CAAC,MAAM,CAAC,EACvB,QAAQ,EAAE,oBAAoB,EAC9B,GAAG,SAAS,EAAE,EAAE,GACf,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IAC5B,KAAK,EAAE,CAAC,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC,EACnD,MAAM,EAAE,CAAC,KACN,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAA;IACnC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,MAAM,CAAA;CACvC"}

package/types/core/Ty.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"Ty.d.ts","sourceRoot":"","sources":["../../src/core/Ty.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AAEnC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAEzC,wBAAgB,EAAE,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,KAAK,EAC5C,QAAQ,EAAE,QAAQ,EAClB,YAAY,GAAE,KAAK,CAAC,WAAW,CAAM,EACrC,OAAO,GAAE,OAAY,GACpB,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAiBV;AAED,MAAM,WAAW,EAAE,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM;IACpD,CAAC,EAAE,SAAS,KAAK,CAAC,MAAM,CAAC,EACvB,QAAQ,EAAE,oBAAoB,EAC9B,GAAG,SAAS,EAAE,EAAE,GACf,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IACxB,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IACT,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IACT,QAAQ,EAAE,QAAQ,CAAA;IAClB,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,CAAA;IAChC,OAAO,EAAE,OAAO,CAAA;IAChB,KAAK,EAAE,CAAC,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAA;IAC/F,MAAM,IAAI,IAAI,IAAI,MAAM,CAAA;CACzB;AAED,yBAAiB,EAAE,CAAC;IAClB,KAAY,CAAC,GAAG,OAAO,CAAC,CAAA;IACT,MAAM,CAAC,EAAE,OAAO,MAAM,CAAA;IACrC,KAAY,CAAC,GAAG,OAAO,CAAC,CAAA;IACT,MAAM,CAAC,EAAE,OAAO,MAAM,CAAA;CACtC;AAED,MAAM,MAAM,QAAQ,GAAG,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,EAAE,GAAG,EAAE,GAAG,KAAK,MAAM,CAAA;AAC5E,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;AAE5C,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,oBAAoB,CAAA;IAC9B,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;CACzB;AAED,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,CAAA"}

package/types/core/constant.d.ts

@@ -1,4 +0,0 @@
-import { Ty } from "./Ty.js";
-export type constant<V extends number | string> = ReturnType<typeof constant<V>>;
-export declare function constant<V extends number | string>(value: V): Ty<V, never>;
-//# sourceMappingURL=constant.d.ts.map

package/types/core/constant.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"constant.d.ts","sourceRoot":"","sources":["../../src/core/constant.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAE5B,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI,UAAU,CAAC,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;AAEhF,wBAAgB,QAAQ,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAK1E"}

package/types/core/constantUnion.d.ts

@@ -1,4 +0,0 @@
-import { Ty } from "./Ty.js";
-export type constantUnion<M extends Array<number | string>> = ReturnType<typeof constantUnion<M>>;
-export declare function constantUnion<M extends Array<number | string>>(...members: M): Ty<M[number], never>;
-//# sourceMappingURL=constantUnion.d.ts.map

package/types/core/constantUnion.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"constantUnion.d.ts","sourceRoot":"","sources":["../../src/core/constantUnion.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAE5B,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,IAAI,UAAU,CAAC,OAAO,aAAa,CAAC,CAAC,CAAC,CAAC,CAAA;AAEjG,wBAAgB,aAAa,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,EAC5D,GAAG,OAAO,EAAE,CAAC,GACZ,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAqBtB"}

package/types/core/leaves.d.ts

@@ -1,10 +0,0 @@
-import { Ty } from "./Ty.js";
-export type none<P extends string = string> = Ty<null, P>;
-export declare const none: Ty<null, never>;
-export type bool<P extends string = string> = Ty<boolean, P>;
-export declare const bool: Ty<boolean, never>;
-export type num<P extends string = string> = Ty<number, P>;
-export declare const num: Ty<number, never>;
-export type str<P extends string = string> = Ty<string, P>;
-export declare const str: Ty<string, never>;
-//# sourceMappingURL=leaves.d.ts.map

package/types/core/leaves.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"leaves.d.ts","sourceRoot":"","sources":["../../src/core/leaves.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAE5B,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;AACzD,eAAO,MAAM,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAG9B,CAAA;AAEH,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;AAC5D,eAAO,MAAM,IAAI,EAAE,EAAE,CAAC,OAAO,EAAE,KAAK,CAGjC,CAAA;AAEH,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;AAC1D,eAAO,MAAM,GAAG,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAG/B,CAAA;AAEH,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;AAC1D,eAAO,MAAM,GAAG,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAG/B,CAAA"}

package/types/core/mod.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"mod.d.ts","sourceRoot":"","sources":["../../src/core/mod.ts"],"names":[],"mappings":"AAAA,cAAc,UAAU,CAAA;AACxB,cAAc,aAAa,CAAA;AAC3B,cAAc,eAAe,CAAA;AAC7B,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA;AAC3B,cAAc,UAAU,CAAA;AACxB,cAAc,kBAAkB,CAAA;AAChC,cAAc,SAAS,CAAA;AACvB,cAAc,aAAa,CAAA"}

package/types/core/struct.d.ts

@@ -1,8 +0,0 @@
-import { RootTy } from "./RootTy.js";
-import type { Ty } from "./Ty.js";
-export type struct<F extends StructFields = StructFields> = ReturnType<typeof struct<F>>;
-export declare function struct<F extends StructFields>(fields: F): RootTy<{
-    [K in keyof F]: F[K][Ty.T];
-}, F[keyof F][Ty.P]>;
-export type StructFields = Record<string, Ty>;
-//# sourceMappingURL=struct.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"struct.d.ts","sourceRoot":"","sources":["../../src/core/struct.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAEjC,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,YAAY,GAAG,YAAY,IAAI,UAAU,CAAC,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;AAExF,wBAAgB,MAAM,CAAC,CAAC,SAAS,YAAY,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAC/D;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAAE,EAC9B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CACjB,CAQA;AAED,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,CAAA"}

package/types/core/taggedUnion.d.ts

@@ -1,10 +0,0 @@
-import { Ty } from "./Ty.js";
-export type taggedUnion<M extends TaggedUnionMembers = TaggedUnionMembers> = ReturnType<typeof taggedUnion<M>>;
-export declare function taggedUnion<M extends TaggedUnionMembers>(members: M): Ty<{
-    [K in keyof M]: {
-        type: K;
-        value: M[K][Ty.T];
-    };
-}[keyof M], M[keyof M][Ty.P]>;
-export type TaggedUnionMembers = Record<string, Ty>;
-//# sourceMappingURL=taggedUnion.d.ts.map

package/types/core/taggedUnion.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"taggedUnion.d.ts","sourceRoot":"","sources":["../../src/core/taggedUnion.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAE5B,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,kBAAkB,GAAG,kBAAkB,IAAI,UAAU,CACrF,OAAO,WAAW,CAAC,CAAC,CAAC,CACtB,CAAA;AAED,wBAAgB,WAAW,CAAC,CAAC,SAAS,kBAAkB,EAAE,OAAO,EAAE,CAAC,GAAG,EAAE,CACvE;KACG,CAAC,IAAI,MAAM,CAAC,GAAG;QACd,IAAI,EAAE,CAAC,CAAA;QACP,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;KAClB;CACF,CAAC,MAAM,CAAC,CAAC,EACV,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CACjB,CAiBA;AAED,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,CAAA"}

package/types/core/vec.d.ts

@@ -1,4 +0,0 @@
-import { Ty } from "./Ty.js";
-export type vec<E extends Ty> = ReturnType<typeof vec<E>>;
-export declare function vec<E extends Ty>(element: E): Ty<Array<E[Ty.T]>, E[Ty.P]>;
-//# sourceMappingURL=vec.d.ts.map

package/types/core/vec.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"vec.d.ts","sourceRoot":"","sources":["../../src/core/vec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAE5B,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,EAAE,IAAI,UAAU,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;AAEzD,wBAAgB,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,OAAO,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAMzE"}

package/types/std/Option.d.ts

@@ -1,9 +0,0 @@
-import { none } from "../core/leaves.js";
-import { taggedUnion } from "../core/taggedUnion.js";
-import type { Ty } from "../core/Ty.js";
-export type Option<S extends Ty> = ReturnType<typeof Option<S>>;
-export declare function Option<S extends Ty>(Some: S): taggedUnion<{
-    Some: S;
-    None: none<never>;
-}>;
-//# sourceMappingURL=Option.d.ts.map

package/types/std/Option.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"Option.d.ts","sourceRoot":"","sources":["../../src/std/Option.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAA;AACxC,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAA;AACpD,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,eAAe,CAAA;AAEvC,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,EAAE,IAAI,UAAU,CAAC,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;AAE/D,wBAAgB,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,CAAC,GAAG,WAAW,CAAC;IACzD,IAAI,EAAE,CAAC,CAAA;IACP,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;CAClB,CAAC,CAUD"}

package/types/std/Wrapper.d.ts

@@ -1,6 +0,0 @@
-import { struct, type Ty } from "../core/mod.js";
-export type Wrapper<X extends Ty = Ty> = ReturnType<typeof Wrapper<X>>;
-export declare function Wrapper<X extends Ty>(value: X): struct<{
-    value: X;
-}>;
-//# sourceMappingURL=Wrapper.d.ts.map

package/types/std/Wrapper.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"Wrapper.d.ts","sourceRoot":"","sources":["../../src/std/Wrapper.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,MAAM,gBAAgB,CAAA;AAEhD,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,EAAE,GAAG,EAAE,IAAI,UAAU,CAAC,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;AAEtE,wBAAgB,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC;IAAE,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC,CAEpE"}

package/types/std/mod.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"mod.d.ts","sourceRoot":"","sources":["../../src/std/mod.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAA;AAC3B,cAAc,cAAc,CAAA"}