structured-outputs 0.1.0-beta.21 → 0.1.0-beta.23

package/README.md

@@ -1,7 +1,13 @@
-# Structured Outputs
+# Structured Outputs TypeScript
 
-A TypeScript library for composing
-[OpenAI structured output schemas](https://platform.openai.com/docs/guides/structured-outputs).
+> A library for working with OpenAI's structured outputs.
+
+- [Documentation &rarr;](https://structured-outputs.dev)<br />Expanded introduction and usage
+  instructions.
+- [OpenAI Guide &rarr;](https://platform.openai.com/docs/guides/structured-outputs)<br />The OpenAI
+  platform's guide on Structured Outputs
+- [Pattern Libraries &rarr;](https://structured-outputs.dev/patterns)<br />Pattern libraries
+  modeling common schemas using Structured Outputs TypeScript.
 
 ## Installation
 
@@ -14,66 +20,66 @@ npm i structured-outputs
 ### Deno
 
 ```ts
-deno add jsr:@crosshatch/structured-outputs
+deno add jsr:@crosshatch/structured-outputs@0.1.0-beta.X
 ```
 
-## Usage
+> Note: replace "X" with the latest beta version number. Version specificity will be unnecessary
+> upon the first stable release of `structured-outputs`.
+
+## Example Usage
 
-### Basic Usage
+### Declare a Type
 
 ```ts
-import { ResponseFormat, T } from "structured-outputs"
+import { T } from "structured-outputs"
 
-// 1. Define the shape of the desired response.
 const Character = T.object({
   name: T.string,
   age: T.number`Ensure between 1 and 110.`,
+  home: T.string`The name of a fictional realm of magic and wonder.`,
+  disposition: T.constantUnion("Optimistic", "Reserved", "Inquisitive"),
 })
+```
 
-// 2. Create the response format object.
-const response_format = ResponseFormat("create_character", Character)
+### Create a `ResponseFormat`
 
-// 3. Utilize the response format to create a chat completion.
-const response = await openai.chat.completions.create({
-  model: MODEL,
-  messages: [{ role: "system", content: [] }],
-  response_format,
-})
+```ts
+// ...
+
+import { ResponseFormat } from "structured-outputs"
 
-// 4. Use `response_format.parseFirstOrThrow` to unwrap the inner data with correct types.
-const { name, age } = response_format.parseFirstOrThrow(response)
+const response_format = ResponseFormat("create_character", Character)`
+  Create a character to be the protagonist of a children's story.
+`
 ```
 
-For more concise usage, chain off the completions promise.
+### Create Chat Completions
 
 ```ts
-const { name, age } = await openai.chat.completions
+// ...
+
+const character = await openai.chat.completions
   .create({
-    model: MODEL,
-    messages: [{ role: "system", content: [] }],
+    model: "gpt-4o-mini",
+    messages: [...yourMessages],
     response_format,
   })
-  .then(response_format.parseFirstOrThrow)
+  .then(response_format.into)
 ```
 
-We can also attach a description to the response format.
+### Utilize The Typed, Unwrapped Data
 
-```diff
-- ResponseFormat("create_character", Character)
-+ ResponseFormat("create_character", Character)`
-+   Create a new character to be the protagonist of a children's story.
-+ `
+```ts
+// ...
+
+character satisfies {
+  name: string
+  age: number
+  home: string
+  disposition: "Optimistic" | "Reserved" | "Inquisitive"
+}
 ```
 
-### Dependency Injection
+## License
 
-```ts
-const Character = T.object({
-  name: T.string`Preferably names common to those who are {"national identity"}.`,
-  age: T.number`Ensure between 1 and 110.`,
-})
-
-const AmericanCharacter = Character.apply({
-  "national identity": "american",
-})
-```
+Structured Outputs TypeScript is [Apache licensed](LICENSE).

package/esm/ResponseFormat.d.ts

@@ -1,16 +1,14 @@
-import type { RootTy } from "./types/mod.js";
-import type { ChatCompletion, JsonSchema } from "./oai.js";
+import type Openai from "openai";
+import type { Ty } from "./types/mod.js";
 export interface ResponseFormat<T> {
     (template: TemplateStringsArray, ...quasis: Array<string>): ResponseFormat<T>;
     type: "json_schema";
     /** The desired return type in JSON Schema. */
-    json_schema: JsonSchema;
-    /** Parse the content of the first choice into a typed object. */
-    parseFirstChoice(completion: ChatCompletion): T;
-    /** Parse all choice contents into an array of typed object. */
-    parseChoices(completion: ChatCompletion): Array<T>;
+    json_schema: Openai.ResponseFormatJSONSchema["json_schema"];
+    /** Transform the content of the first choice into a typed object. */
+    into(completion: ChatCompletion): T;
 }
-export declare function ResponseFormat<T>(name: string, ty: RootTy<T, never>): ResponseFormat<T>;
+export declare function ResponseFormat<T>(name: string, ty: Ty<T, never, true>): ResponseFormat<T>;
 export declare namespace ResponseFormat {
     function unwrapFirstChoice(completion: ChatCompletion): string;
     function unwrapChoices(completions: ChatCompletion): string[];
@@ -18,4 +16,6 @@ export declare namespace ResponseFormat {
 export declare class ResponseFormatUnwrapError extends Error {
     readonly name = "UnwrapResponseError";
 }
+type ChatCompletion = Openai.Chat.ChatCompletion;
+export {};
 //# sourceMappingURL=ResponseFormat.d.ts.map

package/esm/ResponseFormat.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ResponseFormat.d.ts","sourceRoot":"","sources":["../src/ResponseFormat.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAA;AAE5C,OAAO,KAAK,EAAE,cAAc,EAAwB,UAAU,EAAE,MAAM,UAAU,CAAA;AAEhF,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,UAAU,CAAA;IACvB,iEAAiE;IACjE,gBAAgB,CAAC,UAAU,EAAE,cAAc,GAAG,CAAC,CAAA;IAC/C,+DAA+D;IAC/D,YAAY,CAAC,UAAU,EAAE,cAAc,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;CACnD;AAED,wBAAgB,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAEvF;AAoCD,yBAAiB,cAAc,CAAC;IAC9B,SAAgB,iBAAiB,CAAC,UAAU,EAAE,cAAc,GAAG,MAAM,CAMpE;IAED,SAAgB,aAAa,CAAC,WAAW,EAAE,cAAc,GAAG,MAAM,EAAE,CAEnE;CAoBF;AAED,qBAAa,yBAA0B,SAAQ,KAAK;IAClD,SAAkB,IAAI,yBAAwB;CAC/C"}
+{"version":3,"file":"ResponseFormat.d.ts","sourceRoot":"","sources":["../src/ResponseFormat.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,QAAQ,CAAA;AAChC,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAA;AAGxC,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,MAAM,CAAC,wBAAwB,CAAC,aAAa,CAAC,CAAA;IAC3D,qEAAqE;IACrE,IAAI,CAAC,UAAU,EAAE,cAAc,GAAG,CAAC,CAAA;CACpC;AAED,wBAAgB,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAEzF;AAiCD,yBAAiB,cAAc,CAAC;IAC9B,SAAgB,iBAAiB,CAAC,UAAU,EAAE,cAAc,GAAG,MAAM,CAMpE;IAED,SAAgB,aAAa,CAAC,WAAW,EAAE,cAAc,GAAG,MAAM,EAAE,CAEnE;CAoBF;AAED,qBAAa,yBAA0B,SAAQ,KAAK;IAClD,SAAkB,IAAI,yBAAwB;CAC/C;AAED,KAAK,cAAc,GAAG,MAAM,CAAC,IAAI,CAAC,cAAc,CAAA"}

package/esm/ResponseFormat.js

@@ -1,9 +1,9 @@
-import { recombineTaggedTemplateArgs } from "./util/recombineTaggedTemplateArgs.js";
+import { recombine } from "./util/recombine.js";
 export function ResponseFormat(name, ty) {
     return ResponseFormat_(name, ty);
 }
 function ResponseFormat_(name, ty, description) {
-    return Object.assign((template, ...quasis) => ResponseFormat_(name, ty, description ? `${description} ${recombineTaggedTemplateArgs(template, quasis)}` : undefined), {
+    return Object.assign((template, ...quasis) => ResponseFormat_(name, ty, description ? `${description} ${recombine(template, quasis)}` : undefined), {
         type: "json_schema",
         json_schema: {
             name,
@@ -11,11 +11,8 @@ function ResponseFormat_(name, ty, description) {
             schema: ty.schema(),
             strict: true,
         },
-        parseFirstChoice: (completion) => {
-            return JSON.parse(ResponseFormat.unwrapFirstChoice(completion));
-        },
-        parseChoices: (completion) => {
-            return ResponseFormat.unwrapChoices(completion).map((content) => JSON.parse(content));
+        into: (completion) => {
+            return ty[""].transform(JSON.parse(ResponseFormat.unwrapFirstChoice(completion)));
         },
         toJSON() {
             const { type, json_schema } = this;

package/esm/ResponseFormat.js.map

@@ -1 +1 @@
-{"version":3,"file":"ResponseFormat.js","sourceRoot":"","sources":["../src/ResponseFormat.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,2BAA2B,EAAE,MAAM,uCAAuC,CAAA;AAcnF,MAAM,UAAU,cAAc,CAAI,IAAY,EAAE,EAAoB;IAClE,OAAO,eAAe,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;AAClC,CAAC;AAED,SAAS,eAAe,CACtB,IAAY,EACZ,EAAoB,EACpB,WAAoB;IAEpB,OAAO,MAAM,CAAC,MAAM,CAClB,CAAC,QAA8B,EAAE,GAAG,MAAqB,EAAE,EAAE,CAC3D,eAAe,CACb,IAAI,EACJ,EAAE,EACF,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,IAAI,2BAA2B,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAC5F,EACH;QACE,IAAI,EAAE,aAAsB;QAC5B,WAAW,EAAE;YACX,IAAI;YACJ,WAAW;YACX,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE;YACnB,MAAM,EAAE,IAAI;SACb;QACD,gBAAgB,EAAE,CAAC,UAA0B,EAAK,EAAE;YAClD,OAAO,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAA;QACjE,CAAC;QACD,YAAY,EAAE,CAAC,UAA0B,EAAY,EAAE;YACrD,OAAO,cAAc,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAA;QACvF,CAAC;QACD,MAAM;YACJ,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,IAAI,CAAA;YAClC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAA;QAC9B,CAAC;KACF,CACF,CAAA;AACH,CAAC;AAED,WAAiB,cAAc;IAC7B,SAAgB,iBAAiB,CAAC,UAA0B;QAC1D,MAAM,EAAE,OAAO,EAAE,CAAC,WAAW,CAAC,EAAE,GAAG,UAAU,CAAA;QAC7C,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,MAAM,IAAI,yBAAyB,CAAC,sDAAsD,CAAC,CAAA;QAC7F,CAAC;QACD,OAAO,YAAY,CAAC,WAAW,CAAC,CAAA;IAClC,CAAC;IANe,gCAAiB,oBAMhC,CAAA;IAED,SAAgB,aAAa,CAAC,WAA2B;QACvD,OAAO,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;IAC9C,CAAC;IAFe,4BAAa,gBAE5B,CAAA;IAED,SAAS,YAAY,CAAC,MAA4B;QAChD,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,MAAM,CAAA;QACzC,IAAI,aAAa,KAAK,MAAM,EAAE,CAAC;YAC7B,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,aAAa,uBAAuB,OAAO,EAAE,CAC5E,CAAA;QACH,CAAC;QACD,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,OAAO,CAAA;QACpC,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,IAAI,yBAAyB,CACjC,iDAAiD,OAAO,EAAE,CAC3D,CAAA;QACH,CAAC;QACD,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,MAAM,IAAI,yBAAyB,CAAC,6CAA6C,CAAC,CAAA;QACpF,CAAC;QACD,OAAO,OAAO,CAAA;IAChB,CAAC;AACH,CAAC,EA/BgB,cAAc,KAAd,cAAc,QA+B9B;AAED,MAAM,OAAO,yBAA0B,SAAQ,KAAK;IAApD;;QACoB;;;;mBAAO,qBAAqB;WAAA;IAChD,CAAC;CAAA"}
+{"version":3,"file":"ResponseFormat.js","sourceRoot":"","sources":["../src/ResponseFormat.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAA;AAW/C,MAAM,UAAU,cAAc,CAAI,IAAY,EAAE,EAAsB;IACpE,OAAO,eAAe,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;AAClC,CAAC;AAED,SAAS,eAAe,CACtB,IAAY,EACZ,EAAgB,EAChB,WAAoB;IAEpB,OAAO,MAAM,CAAC,MAAM,CAClB,CAAC,QAA8B,EAAE,GAAG,MAAqB,EAAE,EAAE,CAC3D,eAAe,CACb,IAAI,EACJ,EAAE,EACF,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,IAAI,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAC1E,EACH;QACE,IAAI,EAAE,aAAsB;QAC5B,WAAW,EAAE;YACX,IAAI;YACJ,WAAW;YACX,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE;YACnB,MAAM,EAAE,IAAI;SACb;QACD,IAAI,EAAE,CAAC,UAA0B,EAAK,EAAE;YACtC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;QACnF,CAAC;QACD,MAAM;YACJ,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,IAAI,CAAA;YAClC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAA;QAC9B,CAAC;KACF,CACF,CAAA;AACH,CAAC;AAED,WAAiB,cAAc;IAC7B,SAAgB,iBAAiB,CAAC,UAA0B;QAC1D,MAAM,EAAE,OAAO,EAAE,CAAC,WAAW,CAAC,EAAE,GAAG,UAAU,CAAA;QAC7C,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,MAAM,IAAI,yBAAyB,CAAC,sDAAsD,CAAC,CAAA;QAC7F,CAAC;QACD,OAAO,YAAY,CAAC,WAAW,CAAC,CAAA;IAClC,CAAC;IANe,gCAAiB,oBAMhC,CAAA;IAED,SAAgB,aAAa,CAAC,WAA2B;QACvD,OAAO,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;IAC9C,CAAC;IAFe,4BAAa,gBAE5B,CAAA;IAED,SAAS,YAAY,CAAC,MAAqD;QACzE,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,MAAM,CAAA;QACzC,IAAI,aAAa,KAAK,MAAM,EAAE,CAAC;YAC7B,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,aAAa,uBAAuB,OAAO,EAAE,CAC5E,CAAA;QACH,CAAC;QACD,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,OAAO,CAAA;QACpC,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,IAAI,yBAAyB,CACjC,iDAAiD,OAAO,EAAE,CAC3D,CAAA;QACH,CAAC;QACD,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,MAAM,IAAI,yBAAyB,CAAC,6CAA6C,CAAC,CAAA;QACpF,CAAC;QACD,OAAO,OAAO,CAAA;IAChB,CAAC;AACH,CAAC,EA/BgB,cAAc,KAAd,cAAc,QA+B9B;AAED,MAAM,OAAO,yBAA0B,SAAQ,KAAK;IAApD;;QACoB;;;;mBAAO,qBAAqB;WAAA;IAChD,CAAC;CAAA"}

package/esm/Tool.d.ts

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

package/esm/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,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"}
+{"version":3,"file":"Tool.d.ts","sourceRoot":"","sources":["../src/Tool.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAA;AAGhD,wBAAgB,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAErE;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/esm/Tool.js

@@ -1,9 +1,9 @@
-import { recombineTaggedTemplateArgs } from "./util/recombineTaggedTemplateArgs.js";
+import { recombine } from "./util/recombine.js";
 export function Tool(name, ty) {
     return Tool_(name, ty);
 }
 function Tool_(name, ty, description) {
-    return Object.assign((template, ...quasis) => Tool_(name, ty, description ? `${description} ${recombineTaggedTemplateArgs(template, quasis)}` : undefined), {
+    return Object.assign((template, ...quasis) => Tool_(name, ty, description ? `${description} ${recombine(template, quasis)}` : undefined), {
         type: "function",
         name,
         description,

package/esm/Tool.js.map

@@ -1 +1 @@
-{"version":3,"file":"Tool.js","sourceRoot":"","sources":["../src/Tool.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,2BAA2B,EAAE,MAAM,uCAAuC,CAAA;AAEnF,MAAM,UAAU,IAAI,CAAI,IAAY,EAAE,EAAoB;IACxD,OAAO,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;AACxB,CAAC;AAED,SAAS,KAAK,CAAI,IAAY,EAAE,EAAoB,EAAE,WAAoB;IACxE,OAAO,MAAM,CAAC,MAAM,CAClB,CAAC,QAA8B,EAAE,GAAG,MAAqB,EAAE,EAAE,CAC3D,KAAK,CACH,IAAI,EACJ,EAAE,EACF,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,IAAI,2BAA2B,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAC5F,EACH;QACE,IAAI,EAAE,UAAmB;QACzB,IAAI;QACJ,WAAW;QACX,UAAU,EAAE,EAAE,CAAC,MAAM,EAAE;QACvB,MAAM;YACJ,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,IAAI,CAAA;YACpD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAA;QAChD,CAAC;KACF,CACF,CAAA;AACH,CAAC"}
+{"version":3,"file":"Tool.js","sourceRoot":"","sources":["../src/Tool.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAA;AAE/C,MAAM,UAAU,IAAI,CAAI,IAAY,EAAE,EAAsB;IAC1D,OAAO,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;AACxB,CAAC;AAED,SAAS,KAAK,CAAI,IAAY,EAAE,EAAsB,EAAE,WAAoB;IAC1E,OAAO,MAAM,CAAC,MAAM,CAClB,CAAC,QAA8B,EAAE,GAAG,MAAqB,EAAE,EAAE,CAC3D,KAAK,CACH,IAAI,EACJ,EAAE,EACF,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,IAAI,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAC1E,EACH;QACE,IAAI,EAAE,UAAmB;QACzB,IAAI;QACJ,WAAW;QACX,UAAU,EAAE,EAAE,CAAC,MAAM,EAAE;QACvB,MAAM;YACJ,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,IAAI,CAAA;YACpD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAA;QAChD,CAAC;KACF,CACF,CAAA;AACH,CAAC"}

package/esm/types/Ty.d.ts

@@ -1,27 +1,30 @@
-import type { Ref } from "./Ref.js";
-import type { RootTy } from "./RootTy.js";
-export declare function Ty<T, P extends string = never>(toSchema: ToSchema, descriptions?: Array<Description>, applied?: Applied): Ty<T, P>;
-export interface Ty<T = any, P extends string = string> {
-    <P2 extends Array<string>>(template: TemplateStringsArray, ...placeheld: P2): Ty<T, P | P2[number]>;
-    [Ty.T]: T;
-    [Ty.P]: P;
-    toSchema: ToSchema;
-    descriptions: Array<Description>;
-    applied: Applied;
-    apply: <A extends Partial<Record<P, number | string>>>(values: A) => Ty<T, Exclude<P, keyof A>>;
-    isRoot(): this is RootTy;
+export interface Ty<T = any, P extends keyof any = keyof any, R extends boolean = boolean> {
+    <P2 extends Array<keyof any>>(template: TemplateStringsArray, ...placeheld: P2): Ty<T, P | P2[number], R>;
+    /** The native TypeScript type. The runtime value is nonexistent. */
+    T: T;
+    /** The literal types of the placeheld keys. The runtime value is nonexistent. */
+    P: P;
+    "": {
+        subschema: Subschema;
+        root: R;
+        transform: (value: any) => any;
+        context: Array<Context>;
+        applied: Applied;
+    };
+    /** Inject context into that which is placeheld. */
+    fill: <A extends Partial<Record<P, number | string>>>(values: A) => Ty<T, Exclude<P, keyof A>, R>;
+    /** Get the corresponding JSON Schema. */
+    schema(this: Ty<T, never>): Schema;
 }
-export declare namespace Ty {
-    type T = typeof T;
-    const T: unique symbol;
-    type P = typeof P;
-    const P: unique symbol;
-}
-export type ToSchema = (description: string | undefined, ref: Ref) => Schema;
-export type Schema = Record<string, unknown>;
-export interface Description {
+export declare function Ty<T, P extends keyof any, R extends boolean, I = T>(subschema: Subschema, root: R, transform?: (value: I) => T, context?: Array<Context>, applied?: Applied): Ty<T, P, R>;
+export type Subschema = (subschema: SubschemaFactory) => Schema;
+export type SubschemaFactory = (ty: Ty) => Schema;
+export declare function SubschemaFactory(applied: Applied): SubschemaFactory;
+interface Context {
     template: TemplateStringsArray;
-    placeheld: Array<string>;
+    placeheld: Array<keyof any>;
 }
-export type Applied = Record<string, number | string>;
+type Applied = Record<keyof any, number | string>;
+export type Schema = Record<string, unknown>;
+export {};
 //# sourceMappingURL=Ty.d.ts.map

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

@@ -1 +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"}
+{"version":3,"file":"Ty.d.ts","sourceRoot":"","sources":["../../src/types/Ty.ts"],"names":[],"mappings":"AAEA,MAAM,WAAW,EAAE,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,SAAS,MAAM,GAAG,GAAG,MAAM,GAAG,EAAE,CAAC,SAAS,OAAO,GAAG,OAAO;IACvF,CAAC,EAAE,SAAS,KAAK,CAAC,MAAM,GAAG,CAAC,EAC1B,QAAQ,EAAE,oBAAoB,EAC9B,GAAG,SAAS,EAAE,EAAE,GACf,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAA;IAE3B,oEAAoE;IACpE,CAAC,EAAE,CAAC,CAAA;IACJ,iFAAiF;IACjF,CAAC,EAAE,CAAC,CAAA;IAEJ,EAAE,EAAE;QACF,SAAS,EAAE,SAAS,CAAA;QACpB,IAAI,EAAE,CAAC,CAAA;QACP,SAAS,EAAE,CAAC,KAAK,EAAE,GAAG,KAAK,GAAG,CAAA;QAC9B,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;QACvB,OAAO,EAAE,OAAO,CAAA;KACjB,CAAA;IAED,mDAAmD;IACnD,IAAI,EAAE,CAAC,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC,EAClD,MAAM,EAAE,CAAC,KACN,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAElC,yCAAyC;IACzC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,MAAM,CAAA;CACnC;AAED,wBAAgB,EAAE,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,EAAE,CAAC,SAAS,OAAO,EAAE,CAAC,GAAG,CAAC,EACjE,SAAS,EAAE,SAAS,EACpB,IAAI,EAAE,CAAC,EACP,SAAS,GAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAA6B,EACtD,OAAO,GAAE,KAAK,CAAC,OAAO,CAAM,EAC5B,OAAO,GAAE,OAAY,GACpB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CA8Bb;AAED,MAAM,MAAM,SAAS,GAAG,CAAC,SAAS,EAAE,gBAAgB,KAAK,MAAM,CAAA;AAE/D,MAAM,MAAM,gBAAgB,GAAG,CAAC,EAAE,EAAE,EAAE,KAAK,MAAM,CAAA;AACjD,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,OAAO,GAAG,gBAAgB,CAWnE;AAED,UAAU,OAAO;IACf,QAAQ,EAAE,oBAAoB,CAAA;IAC9B,SAAS,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAA;CAC5B;AACD,KAAK,OAAO,GAAG,MAAM,CAAC,MAAM,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,CAAA;AAEjD,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA"}

package/esm/types/Ty.js

@@ -1,17 +1,34 @@
-import { phantoms } from "../util/phantoms.js";
-export function Ty(toSchema, descriptions = [], applied = {}) {
-    return Object.assign((template, ...placeheld) => Ty(toSchema, [{ template, placeheld }, ...descriptions], applied), phantoms(), {
-        toSchema,
-        descriptions,
-        applied,
-        apply: (values) => {
-            return Ty(toSchema, descriptions, { ...applied, ...values });
+import { recombine } from "../util/recombine.js";
+export function Ty(subschema, root, transform = (value) => value, context = [], applied = {}) {
+    return Object.assign((template, ...placeheld) => Ty(subschema, root, transform, [{ template, placeheld }, ...context], applied), {}, {
+        "": {
+            subschema,
+            root,
+            transform,
+            context,
+            applied,
         },
-        isRoot() {
-            return false;
+        fill: (values) => {
+            return Ty(subschema, root, transform, context, {
+                ...applied,
+                ...values,
+            });
+        },
+        schema() {
+            return SubschemaFactory({})(this);
         },
     });
 }
-(function (Ty) {
-})(Ty || (Ty = {}));
+export function SubschemaFactory(applied) {
+    return (ty) => {
+        applied = { ...applied, ...ty[""].applied };
+        const description = ty[""].context
+            .map(({ template, placeheld }) => recombine(template, placeheld.map((k) => applied[k])))
+            .join(" ");
+        return {
+            ...ty[""].subschema(SubschemaFactory(applied)),
+            ...description ? { description } : {},
+        };
+    };
+}
 //# sourceMappingURL=Ty.js.map

package/esm/types/Ty.js.map

@@ -1 +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"}
+{"version":3,"file":"Ty.js","sourceRoot":"","sources":["../../src/types/Ty.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAA;AA8BhD,MAAM,UAAU,EAAE,CAChB,SAAoB,EACpB,IAAO,EACP,YAA6B,CAAC,KAAK,EAAE,EAAE,CAAC,KAAc,EACtD,UAA0B,EAAE,EAC5B,UAAmB,EAAE;IAErB,OAAO,MAAM,CAAC,MAAM,CAClB,CAA8B,QAA8B,EAAE,GAAG,SAAa,EAAE,EAAE,CAChF,EAAE,CACA,SAAS,EACT,IAAI,EACJ,SAAS,EACT,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,GAAG,OAAO,CAAC,EACrC,OAAO,CACR,EACH,EAAoB,EACpB;QACE,EAAE,EAAE;YACF,SAAS;YACT,IAAI;YACJ,SAAS;YACT,OAAO;YACP,OAAO;SACR;QACD,IAAI,EAAE,CAAgD,MAAS,EAAE,EAAE;YACjE,OAAO,EAAE,CAA+B,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE;gBAC3E,GAAG,OAAO;gBACV,GAAG,MAAM;aACV,CAAC,CAAA;QACJ,CAAC;QACD,MAAM;YACJ,OAAO,gBAAgB,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAA;QACnC,CAAC;KACF,CACF,CAAA;AACH,CAAC;AAKD,MAAM,UAAU,gBAAgB,CAAC,OAAgB;IAC/C,OAAO,CAAC,EAAE,EAAE,EAAE;QACZ,OAAO,GAAG,EAAE,GAAG,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,CAAA;QAC3C,MAAM,WAAW,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,OAAO;aAC/B,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;aACxF,IAAI,CAAC,GAAG,CAAC,CAAA;QACZ,OAAO;YACL,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;YAC9C,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE;SACtC,CAAA;IACH,CAAC,CAAA;AACH,CAAC"}

package/esm/types/array.d.ts

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

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

@@ -1 +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"}
+{"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,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAShF"}

package/esm/types/array.js

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

package/esm/types/array.js.map

@@ -1 +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"}
+{"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,CACP,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACR,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC;KACpB,CAAC,EACF,KAAK,EACL,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAC5C,CAAA;AACH,CAAC"}

package/esm/types/constantUnion.d.ts

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

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

@@ -1 +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"}
+{"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,EAAE,KAAK,CAAC,CAkB7B"}

package/esm/types/constantUnion.js

@@ -2,24 +2,21 @@ import { partition } from "../deps/jsr.io/@std/collections/1.0.9/mod.js";
 import { Ty } from "./Ty.js";
 export function constantUnion(...members) {
     const [strings, numbers] = partition(members, (v) => typeof v === "string");
-    return Ty((description) => {
-        return {
-            anyOf: [
-                ...strings.length
-                    ? [{
-                            type: "string",
-                            enum: strings,
-                        }]
-                    : [],
-                ...numbers.length
-                    ? [{
-                            type: "number",
-                            enum: numbers,
-                        }]
-                    : [],
-            ],
-            description,
-        };
-    });
+    return Ty(() => ({
+        anyOf: [
+            ...strings.length
+                ? [{
+                        type: "string",
+                        enum: strings,
+                    }]
+                : [],
+            ...numbers.length
+                ? [{
+                        type: "number",
+                        enum: numbers,
+                    }]
+                : [],
+        ],
+    }), false);
 }
 //# sourceMappingURL=constantUnion.js.map

package/esm/types/constantUnion.js.map

@@ -1 +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"}
+{"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,GAAG,EAAE,CAAC,CAAC;QACf,KAAK,EAAE;YACL,GAAG,OAAO,CAAC,MAAM;gBACf,CAAC,CAAC,CAAC;wBACD,IAAI,EAAE,QAAQ;wBACd,IAAI,EAAE,OAAO;qBACd,CAAC;gBACF,CAAC,CAAC,EAAE;YACN,GAAG,OAAO,CAAC,MAAM;gBACf,CAAC,CAAC,CAAC;wBACD,IAAI,EAAE,QAAQ;wBACd,IAAI,EAAE,OAAO;qBACd,CAAC;gBACF,CAAC,CAAC,EAAE;SACP;KACF,CAAC,EAAE,KAAK,CAAC,CAAA;AACZ,CAAC"}

package/esm/types/mod.d.ts

@@ -1,11 +1,10 @@
 export * from "./array.js";
-export * from "./leaves.js";
-export * from "./constant.js";
 export * from "./constantUnion.js";
-export * from "./std/mod.js";
 export * from "./object.js";
-export * from "./Ref.js";
+export * from "./primitives.js";
+export * from "./std/mod.js";
 export * from "./taggedUnion.js";
+export * from "./transform.js";
+export * from "./tuple.js";
 export * from "./Ty.js";
-export * from "./RootTy.js";
 //# sourceMappingURL=mod.d.ts.map

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

@@ -1 +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"}
+{"version":3,"file":"mod.d.ts","sourceRoot":"","sources":["../../src/types/mod.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA;AAC3B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,cAAc,CAAA;AAC5B,cAAc,kBAAkB,CAAA;AAChC,cAAc,gBAAgB,CAAA;AAC9B,cAAc,YAAY,CAAA;AAC1B,cAAc,SAAS,CAAA"}

package/esm/types/mod.js

@@ -1,11 +1,10 @@
 export * from "./array.js";
-export * from "./leaves.js";
-export * from "./constant.js";
 export * from "./constantUnion.js";
-export * from "./std/mod.js";
 export * from "./object.js";
-export * from "./Ref.js";
+export * from "./primitives.js";
+export * from "./std/mod.js";
 export * from "./taggedUnion.js";
+export * from "./transform.js";
+export * from "./tuple.js";
 export * from "./Ty.js";
-export * from "./RootTy.js";
 //# sourceMappingURL=mod.js.map

package/esm/types/mod.js.map

@@ -1 +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"}
+{"version":3,"file":"mod.js","sourceRoot":"","sources":["../../src/types/mod.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA;AAC3B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,cAAc,CAAA;AAC5B,cAAc,kBAAkB,CAAA;AAChC,cAAc,gBAAgB,CAAA;AAC9B,cAAc,YAAY,CAAA;AAC1B,cAAc,SAAS,CAAA"}

package/esm/types/object.d.ts

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

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

@@ -1 +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"}
+{"version":3,"file":"object.d.ts","sourceRoot":"","sources":["../../src/types/object.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAE5B,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,EACjD,MAAM,EAAE,CAAC,GACR,EAAE,CAAC;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;CAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAc1D"}

package/esm/types/object.js

@@ -1,11 +1,10 @@
-import { RootTy } from "./RootTy.js";
+import { Ty } from "./Ty.js";
 export function object(fields) {
-    return RootTy((description, ref) => ({
+    return Ty((ref) => ({
         type: "object",
-        description,
         properties: Object.fromEntries(Object.entries(fields).map(([k, v]) => [k, ref(v)])),
         additionalProperties: false,
         required: Object.keys(fields),
-    }));
+    }), true, (v) => Object.fromEntries(Object.entries(v).map(([k, v]) => [k, fields[k][""].transform(v)])));
 }
 //# sourceMappingURL=object.js.map

package/esm/types/object.js.map

@@ -1 +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"}
+{"version":3,"file":"object.js","sourceRoot":"","sources":["../../src/types/object.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAE5B,MAAM,UAAU,MAAM,CACpB,MAAS;IAET,OAAO,EAAE,CACP,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACR,IAAI,EAAE,QAAQ;QACd,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,EACF,IAAI,EACJ,CAAC,CAAC,EAAE,EAAE,CACJ,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAC3D,CACb,CAAA;AACH,CAAC"}

package/esm/types/primitives.d.ts

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

package/esm/types/primitives.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../src/types/primitives.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAE5B,eAAO,MAAM,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAE9B,CAAA;AAEV,eAAO,MAAM,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAEpC,CAAA;AAEV,eAAO,MAAM,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAElC,CAAA;AAEV,eAAO,MAAM,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAElC,CAAA"}

package/esm/types/primitives.js

@@ -0,0 +1,14 @@
+import { Ty } from "./Ty.js";
+export const none = Ty(() => ({
+    type: "null",
+}), false);
+export const boolean = Ty(() => ({
+    type: "boolean",
+}), false);
+export const number = Ty(() => ({
+    type: "number",
+}), false);
+export const string = Ty(() => ({
+    type: "string",
+}), false);
+//# sourceMappingURL=primitives.js.map

package/esm/types/primitives.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"primitives.js","sourceRoot":"","sources":["../../src/types/primitives.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AAE5B,MAAM,CAAC,MAAM,IAAI,GAA2B,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;IACpD,IAAI,EAAE,MAAM;CACb,CAAC,EAAE,KAAK,CAAC,CAAA;AAEV,MAAM,CAAC,MAAM,OAAO,GAA8B,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;IAC1D,IAAI,EAAE,SAAS;CAChB,CAAC,EAAE,KAAK,CAAC,CAAA;AAEV,MAAM,CAAC,MAAM,MAAM,GAA6B,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;IACxD,IAAI,EAAE,QAAQ;CACf,CAAC,EAAE,KAAK,CAAC,CAAA;AAEV,MAAM,CAAC,MAAM,MAAM,GAA6B,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;IACxD,IAAI,EAAE,QAAQ;CACf,CAAC,EAAE,KAAK,CAAC,CAAA"}

package/esm/types/std/Date.d.ts

@@ -0,0 +1,4 @@
+import type { Ty } from "../Ty.js";
+export { Date_ as Date };
+declare const Date_: Ty<Date, never, true>;
+//# sourceMappingURL=Date.d.ts.map

package/esm/types/std/Date.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Date.d.ts","sourceRoot":"","sources":["../../../src/types/std/Date.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,UAAU,CAAA;AAElC,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AACxB,QAAA,MAAM,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAYhC,CAAA"}

package/esm/types/std/Date.js

@@ -0,0 +1,14 @@
+import { object } from "../object.js";
+import { number } from "../primitives.js";
+import { transform } from "../transform.js";
+export { Date_ as Date };
+const Date_ = transform(object({
+    year: number,
+    month: number `Zero-based (0 for January, 11 for December).`,
+    day: number `Day of the month (1-31). Ensure within available range for the specified month.`,
+    hour: number `Zero-based (0-23)`,
+    minute: number `Zero-based (0-59)`,
+    second: number `Zero-based (0-59)`,
+    millisecond: number `Zero-based (0-999)`,
+}), ({ year, month, day, hour, minute, second, millisecond }) => new Date(year, month, day, hour, minute, second, millisecond));
+//# sourceMappingURL=Date.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Date.js","sourceRoot":"","sources":["../../../src/types/std/Date.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AACzC,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAG3C,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AACxB,MAAM,KAAK,GAA0B,SAAS,CAC5C,MAAM,CAAC;IACL,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,MAAM,CAAA,8CAA8C;IAC3D,GAAG,EAAE,MAAM,CAAA,iFAAiF;IAC5F,IAAI,EAAE,MAAM,CAAA,mBAAmB;IAC/B,MAAM,EAAE,MAAM,CAAA,mBAAmB;IACjC,MAAM,EAAE,MAAM,CAAA,mBAAmB;IACjC,WAAW,EAAE,MAAM,CAAA,oBAAoB;CACxC,CAAC,EACF,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,CAC1D,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,CAAC,CAChE,CAAA"}