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

package/src/types/std/Date.ts

@@ -0,0 +1,19 @@
+import { object } from "../object.js"
+import { number } from "../primitives.js"
+import { transform } from "../transform.js"
+import type { Ty } from "../Ty.js"
+
+export { Date_ as Date }
+const Date_: Ty<Date, never, true> = 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),
+)

package/src/types/std/Option.ts

@@ -1,11 +1,11 @@
-import { none } from "../leaves.js"
+import { none } from "../primitives.js"
 import { taggedUnion } from "../taggedUnion.js"
 import type { Ty } from "../Ty.js"
 
-export function option<S extends Ty>(Some: S): ReturnType<
+export function Option<S extends Ty>(Some: S): ReturnType<
   typeof taggedUnion<{
     Some: S
-    None: Ty<null, never>
+    None: typeof none
   }>
 > {
   return taggedUnion({

package/src/types/std/Wrapper.ts

@@ -1,8 +1,6 @@
 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/types/std/color.ts

@@ -0,0 +1,27 @@
+import { object } from "../object.js"
+import { number } from "../primitives.js"
+import { transform } from "../transform.js"
+import type { Ty } from "../Ty.js"
+
+export const Rgb: Ty<
+  {
+    r: number
+    g: number
+    b: number
+  },
+  never,
+  true
+> = object({
+  r: number`Between 0 and 255`,
+  g: number`Between 0 and 255`,
+  b: number`Between 0 and 255`,
+})
+
+export const Hex: Ty<string, never, true> = transform(
+  Rgb,
+  ({ r, g, b }) => `${toHex(r)}${toHex(g)}${toHex(b)}"`,
+)
+
+function toHex(value: number): string {
+  return value.toString(16).padStart(2, "0")
+}

package/src/types/std/mod.ts

@@ -1,2 +1,4 @@
+export * from "./color.js"
+export * from "./Date.js"
 export * from "./Option.js"
 export * from "./Wrapper.js"

package/src/types/taggedUnion.ts

@@ -1,28 +1,40 @@
-import { Ty } from "./Ty.js"
+import { type Schema, Ty } from "./Ty.js"
 
 export function taggedUnion<M extends Record<string, Ty>>(members: M): Ty<
   {
     [K in keyof M]: {
       type: K
-      value: M[K][Ty.T]
+      value: M[K]["T"]
     }
   }[keyof M],
-  M[keyof M][Ty.P]
+  M[keyof M]["P"],
+  false
 > {
-  return Ty((description, ref) => ({
-    description,
-    discriminator: "type",
-    anyOf: Object.entries(members).map(([k, v]) => ({
-      type: "object",
-      properties: {
-        type: {
-          type: "string",
-          const: k,
+  const entries = Object.entries(members)
+  return Ty(
+    (subschema) =>
+      entries.length === 1
+        ? variant(entries[0]![0], subschema(entries[0]![1]))
+        : {
+          discriminator: "type",
+          anyOf: entries.map(([k, v]) => variant(k, subschema(v))),
         },
-        value: ref(v),
+    false,
+    (v) => members[v.type]![""].transform(v),
+  )
+}
+
+function variant(type: string, value: Schema) {
+  return {
+    type: "object",
+    properties: {
+      type: {
+        type: "string",
+        const: type,
       },
-      required: ["type", "value"],
-      additionalProperties: false,
-    })),
-  }))
+      value,
+    },
+    required: ["type", "value"],
+    additionalProperties: false,
+  }
 }

package/src/types/transform.ts

@@ -0,0 +1,8 @@
+import { Ty } from "./Ty.js"
+
+export function transform<T, P extends keyof any, R extends boolean, I>(
+  ty: Ty<I, P, R>,
+  transform: (value: I) => T,
+): Ty<T, P, R> {
+  return Ty<T, P, R, I>((ref) => ref(ty), ty[""].root, (value) => transform(value))
+}

package/src/types/tuple.ts

@@ -0,0 +1,17 @@
+import { Ty } from "./Ty.js"
+
+export function tuple<F extends Ty[]>(
+  ...elements: F
+): Ty<{ [K in keyof F]: F[K]["T"] }, F[number]["P"], true> {
+  const { length } = elements
+  return Ty(
+    (ref) => ({
+      type: "object",
+      properties: Object.fromEntries(Array.from({ length }, (_0, i) => [i, ref(elements[i]!)])),
+      additionalProperties: false,
+      required: Object.keys(Array.from({ length }, (_0, i) => i)),
+    }),
+    true,
+    (v) => Array.from({ length }, (_0, i) => elements[i]![""].transform(v[i])) as never,
+  )
+}

package/src/util/recombine.ts

@@ -0,0 +1,3 @@
+export function recombine(strings: TemplateStringsArray, values: Array<number | string>): string {
+  return strings.reduce((acc, cur, i) => `${acc}${cur}${values[i] ?? ""}`, "")
+}

package/esm/oai.d.ts

@@ -1,5 +0,0 @@
-import type Openai from "openai";
-export type JsonSchema = Openai.ResponseFormatJSONSchema["json_schema"];
-export type ChatCompletion = Openai.Chat.ChatCompletion;
-export type ChatCompletionChoice = Openai.Chat.Completions.ChatCompletion.Choice;
-//# sourceMappingURL=oai.d.ts.map

package/esm/oai.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"oai.d.ts","sourceRoot":"","sources":["../src/oai.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,QAAQ,CAAA;AAEhC,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,aAAa,CAAC,CAAA;AACvE,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,IAAI,CAAC,cAAc,CAAA;AACvD,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,MAAM,CAAA"}

package/esm/oai.js

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

package/esm/oai.js.map

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

package/esm/types/Ref.d.ts

@@ -1,4 +0,0 @@
-import type { Applied, Schema, Ty } from "./Ty.js";
-export type Ref = (ty: Ty) => Schema;
-export declare function Ref(applied: Applied): Ref;
-//# sourceMappingURL=Ref.d.ts.map

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

@@ -1 +0,0 @@
-{"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/esm/types/Ref.js

@@ -1,11 +0,0 @@
-import { recombineTaggedTemplateArgs } from "../util/recombineTaggedTemplateArgs.js";
-export function Ref(applied) {
-    return (ty) => {
-        applied = { ...applied, ...ty.applied };
-        const description = ty.descriptions
-            .map(({ template, placeheld }) => recombineTaggedTemplateArgs(template, placeheld.map((k) => applied[k])))
-            .join(" ");
-        return ty.toSchema(description, Ref(applied));
-    };
-}
-//# sourceMappingURL=Ref.js.map

package/esm/types/Ref.js.map

@@ -1 +0,0 @@
-{"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.d.ts

@@ -1,8 +0,0 @@
-import type { Applied, Description, Schema, ToSchema, Ty } from "./Ty.js";
-export declare function RootTy<T, P extends string = never>(toSchema: ToSchema, descriptions?: Array<Description>, applied?: Applied): RootTy<T, P>;
-export interface RootTy<T = any, P extends string = string> extends Ty<T, P> {
-    <P2 extends Array<string>>(template: TemplateStringsArray, ...placeheld: P2): RootTy<T, P | P2[number]>;
-    apply: <A extends Partial<Record<P, number | string>>>(values: A) => RootTy<T, Exclude<P, keyof A>>;
-    schema(this: RootTy<T, never>): Schema;
-}
-//# sourceMappingURL=RootTy.d.ts.map

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

@@ -1 +0,0 @@
-{"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/esm/types/RootTy.js

@@ -1,19 +0,0 @@
-import { phantoms } from "../util/phantoms.js";
-import { Ref } from "./Ref.js";
-export function RootTy(toSchema, descriptions = [], applied = {}) {
-    return Object.assign((template, ...placeheld) => RootTy(toSchema, [{ template, placeheld }, ...descriptions], applied), phantoms(), {
-        toSchema,
-        descriptions,
-        applied,
-        apply: (values) => {
-            return RootTy(toSchema, descriptions, { ...applied, ...values });
-        },
-        schema() {
-            return Ref({})(this);
-        },
-        isRoot() {
-            return true;
-        },
-    });
-}
-//# sourceMappingURL=RootTy.js.map

package/esm/types/RootTy.js.map

@@ -1 +0,0 @@
-{"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/constant.d.ts

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

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

@@ -1 +0,0 @@
-{"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/esm/types/constant.js

@@ -1,8 +0,0 @@
-import { Ty } from "./Ty.js";
-export function constant(value) {
-    return Ty((description) => ({
-        const: value,
-        description,
-    }));
-}
-//# sourceMappingURL=constant.js.map

package/esm/types/constant.js.map

@@ -1 +0,0 @@
-{"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/leaves.d.ts

@@ -1,6 +0,0 @@
-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/esm/types/leaves.d.ts.map

@@ -1 +0,0 @@
-{"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/esm/types/leaves.js

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

package/esm/types/leaves.js.map

@@ -1 +0,0 @@
-{"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/util/phantoms.d.ts

@@ -1,2 +0,0 @@
-export declare function phantoms<T>(): T;
-//# sourceMappingURL=phantoms.d.ts.map

package/esm/util/phantoms.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"phantoms.d.ts","sourceRoot":"","sources":["../../src/util/phantoms.ts"],"names":[],"mappings":"AAAA,wBAAgB,QAAQ,CAAC,CAAC,KAAK,CAAC,CAE/B"}

package/esm/util/phantoms.js

@@ -1,4 +0,0 @@
-export function phantoms() {
-    return {};
-}
-//# sourceMappingURL=phantoms.js.map

package/esm/util/phantoms.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"phantoms.js","sourceRoot":"","sources":["../../src/util/phantoms.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,QAAQ;IACtB,OAAO,EAAO,CAAA;AAChB,CAAC"}

package/esm/util/recombineTaggedTemplateArgs.d.ts

@@ -1,2 +0,0 @@
-export declare function recombineTaggedTemplateArgs(strings: TemplateStringsArray, values: Array<number | string>): string;
-//# sourceMappingURL=recombineTaggedTemplateArgs.d.ts.map

package/esm/util/recombineTaggedTemplateArgs.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"recombineTaggedTemplateArgs.d.ts","sourceRoot":"","sources":["../../src/util/recombineTaggedTemplateArgs.ts"],"names":[],"mappings":"AAAA,wBAAgB,2BAA2B,CACzC,OAAO,EAAE,oBAAoB,EAC7B,MAAM,EAAE,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,GAC7B,MAAM,CAER"}

package/esm/util/recombineTaggedTemplateArgs.js

@@ -1,4 +0,0 @@
-export function recombineTaggedTemplateArgs(strings, values) {
-    return strings.reduce((acc, cur, i) => `${acc}${cur}${values[i] ?? ""}`, "");
-}
-//# sourceMappingURL=recombineTaggedTemplateArgs.js.map

package/esm/util/recombineTaggedTemplateArgs.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"recombineTaggedTemplateArgs.js","sourceRoot":"","sources":["../../src/util/recombineTaggedTemplateArgs.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,2BAA2B,CACzC,OAA6B,EAC7B,MAA8B;IAE9B,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,GAAG,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;AAC9E,CAAC"}

package/src/oai.ts

@@ -1,5 +0,0 @@
-import type Openai from "openai"
-
-export type JsonSchema = Openai.ResponseFormatJSONSchema["json_schema"]
-export type ChatCompletion = Openai.Chat.ChatCompletion
-export type ChatCompletionChoice = Openai.Chat.Completions.ChatCompletion.Choice

package/src/types/Ref.ts

@@ -1,16 +0,0 @@
-import type { Applied, Schema, Ty } from "./Ty.js"
-import { recombineTaggedTemplateArgs } from "../util/recombineTaggedTemplateArgs.js"
-
-export type Ref = (ty: Ty) => Schema
-
-export function Ref(applied: Applied): Ref {
-  return (ty) => {
-    applied = { ...applied, ...ty.applied }
-    const description = ty.descriptions
-      .map(({ template, placeheld }) =>
-        recombineTaggedTemplateArgs(template, placeheld.map((k) => applied[k]!))
-      )
-      .join(" ")
-    return ty.toSchema(description, Ref(applied))
-  }
-}

package/src/types/RootTy.ts

@@ -1,40 +0,0 @@
-import { phantoms } from "../util/phantoms.js"
-import { Ref } from "./Ref.js"
-import type { Applied, Description, Schema, ToSchema, Ty } from "./Ty.js"
-
-export function RootTy<T, P extends string = never>(
-  toSchema: ToSchema,
-  descriptions: Array<Description> = [],
-  applied: Applied = {},
-): RootTy<T, P> {
-  return Object.assign(
-    <P2 extends Array<string>>(template: TemplateStringsArray, ...placeheld: P2) =>
-      RootTy<T, P | P2[number]>(toSchema, [{ template, placeheld }, ...descriptions], applied),
-    phantoms<{ [Ty.T]: T; [Ty.P]: P }>(),
-    {
-      toSchema,
-      descriptions,
-      applied,
-      apply: <A extends Partial<Record<P, string | number>>>(values: A) => {
-        return RootTy<T, Exclude<P, keyof A>>(toSchema, descriptions, { ...applied, ...values })
-      },
-      schema(this: RootTy<T, never>) {
-        return Ref({})(this)
-      },
-      isRoot(): this is RootTy {
-        return true
-      },
-    },
-  )
-}
-
-export interface RootTy<T = any, P extends string = string> extends Ty<T, P> {
-  <P2 extends Array<string>>(
-    template: TemplateStringsArray,
-    ...placeheld: P2
-  ): RootTy<T, P | P2[number]>
-  apply: <A extends Partial<Record<P, number | string>>>(
-    values: A,
-  ) => RootTy<T, Exclude<P, keyof A>>
-  schema(this: RootTy<T, never>): Schema
-}

package/src/types/constant.ts

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

package/src/types/leaves.ts

@@ -1,21 +0,0 @@
-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/util/phantoms.ts

@@ -1,3 +0,0 @@
-export function phantoms<T>(): T {
-  return {} as T
-}

package/src/util/recombineTaggedTemplateArgs.ts

@@ -1,6 +0,0 @@
-export function recombineTaggedTemplateArgs(
-  strings: TemplateStringsArray,
-  values: Array<number | string>,
-): string {
-  return strings.reduce((acc, cur, i) => `${acc}${cur}${values[i] ?? ""}`, "")
-}