@ts-runtypes/core 0.10.0 → 0.12.0

package/README.md

@@ -0,0 +1,31 @@
+# @ts-runtypes/core
+
+**Compile-time runtime types for TypeScript 7 / typescript-go (tsgo).**
+
+TypeScript throws your types away before your code ever runs. RunTypes reads them
+first, at build time, and hands the runtime back what it lost: validators, JSON and
+binary (de)serializers, mock data, and reflection.
+
+This is the runtime package: the sentinel markers the compiler looks for, plus the
+small helper runtime the generated code calls into. It has **zero dependencies**.
+The build-time half lives in
+[`@ts-runtypes/devtools`](https://www.npmjs.com/package/@ts-runtypes/devtools).
+
+## Documentation
+
+Install, guides, the factory reference, and benchmarks live at
+**[runtypes.pages.dev](https://runtypes.pages.dev/)**.
+
+- [Quick start](https://runtypes.pages.dev/introduction/quick-start)
+- [Configuration](https://runtypes.pages.dev/introduction/configuration)
+- [Source and issues](https://github.com/MionKit/ts-run-types)
+
+## Status
+
+Experimental.
+
+## License
+
+Proprietary — all rights reserved. No use, copying, or distribution without prior
+written authorization. See
+[LICENSE](https://github.com/MionKit/ts-run-types/blob/main/LICENSE).

package/dist/builders/atomic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"atomic.d.ts","sourceRoot":"","sources":["../../src/builders/atomic.ts"],"names":[],"mappings":"AA4BA,OAAO,KAAK,EAAC,OAAO,EAAC,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,EAAC,eAAe,EAAC,MAAM,eAAe,CAAC;AAInD,wBAAgB,OAAO,CAAC,EAAE,CAAC,EAAE,eAAe,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAEvE;AAOD,wBAAgB,OAAO,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,SAAS,EAC3F,KAAK,EAAE,CAAC,EACR,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,GACtB,OAAO,CAAC,CAAC,CAAC,CAEZ;AAQD,wBAAgB,MAAM,CAAC,EAAE,CAAC,EAAE,eAAe,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAEpE;AAOD,wBAAgB,MAAM,CAAC,EAAE,CAAC,EAAE,eAAe,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAEpE;AASD,wBAAgB,GAAG,CAAC,EAAE,CAAC,EAAE,eAAe,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAE3D;AAID,wBAAgB,OAAO,CAAC,EAAE,CAAC,EAAE,eAAe,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAEvE;AAID,wBAAgB,KAAK,CAAC,EAAE,CAAC,EAAE,eAAe,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAEjE;AAKD,wBAAgB,QAAQ,CAAC,EAAE,CAAC,EAAE,eAAe,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAElE;AAUD,wBAAgB,SAAS,CAAC,QAAQ,EAChC,IAAI,EAAE,QAAQ,MAAM,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,QAAQ,EAC/C,EAAE,CAAC,EAAE,eAAe,CAAC,QAAQ,CAAC,GAC7B,OAAO,CAAC,QAAQ,CAAC,CAEnB;AAkBD,wBAAgB,QAAQ,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,EACtE,UAAU,EAAE,CAAC,EACb,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAC/B,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAErB"}

package/dist/builders/atomic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"atomic.js","sourceRoot":"","sources":["../../src/builders/atomic.ts"],"names":[],"mappings":"AA2BA,OAAO,EAAC,aAAa,EAAC,MAAM,4BAA4B,CAAC;AAMzD,MAAM,UAAU,OAAO,CAAC,EAA6B;IACnD,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,EAAE,EAAC,CAAC,CAAC;AAChE,CAAC;AAOD,MAAM,UAAU,OAAO,CACrB,KAAQ,EACR,EAAuB;IAEvB,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAC,CAAC,CAAC;AAC9D,CAAC;AAQD,MAAM,UAAU,MAAM,CAAC,EAA4B;IACjD,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,EAAE,EAAC,CAAC,CAAC;AAC/D,CAAC;AAOD,MAAM,UAAU,MAAM,CAAC,EAA4B;IACjD,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,EAAE,EAAC,CAAC,CAAC;AAC/D,CAAC;AASD,MAAM,UAAU,GAAG,CAAC,EAAyB;IAC3C,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,EAAE,EAAC,CAAC,CAAC;AAC5D,CAAC;AAID,MAAM,UAAU,OAAO,CAAC,EAA6B;IACnD,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,EAAE,EAAC,CAAC,CAAC;AAChE,CAAC;AAID,MAAM,UAAU,KAAK,CAAC,EAA2B;IAC/C,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,OAAO,EAAE,YAAY,EAAE,EAAE,EAAC,CAAC,CAAC;AAC9D,CAAC;AAKD,MAAM,UAAU,QAAQ,CAAC,EAA0B;IACjD,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,EAAE,EAAC,CAAC,CAAC;AAC7D,CAAC;AAUD,MAAM,UAAU,SAAS,CACvB,IAA+C,EAC/C,EAA8B;IAE9B,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAC,CAAC,CAAC;AAClD,CAAC;AAkBD,MAAM,UAAU,QAAQ,CACtB,UAAa,EACb,EAAgC;IAEhC,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAC,CAAC,CAAC;AAChE,CAAC"}

package/dist/{schema → builders}/compose.d.ts

@@ -1,12 +1,21 @@
 import type { RunType } from '../runtypes/types.ts';
 import type { ExactParams } from '../runtypes/builderTypes.ts';
 import type { InjectRunTypeId, CompTimeArgs } from '../markers.ts';
-import type { InferType, MapTuple, UnionOf, IntersectionOf, TemplatePart, AssembleTemplate, ObjectType, PropModifiers, PropModCarrier, Self, Recursive } from './static.ts';
+import type { FormattedArrayParamsValueFirst, FormattedObjectParamsValueFirst, FormattedArrayFrom, FormattedObjectFrom } from '../formats/structural.ts';
+import type { InferType, UnionOf, IntersectionOf, TemplatePart, AssembleTemplate, ObjectType, PropModifiers, PropModCarrier, Self, Recursive, LabeledTuple, SlotCarrier, TupleFromGroups, LabeledTupleFromGroups, FuncFromParams } from './static.ts';
 export declare function array<T>(item: CompTimeArgs<RunType<T>>, id?: InjectRunTypeId<T[]>): RunType<T[]>;
-export declare function tuple<const T extends readonly RunType[]>(items: CompTimeArgs<T>, id?: InjectRunTypeId<MapTuple<T>>): RunType<MapTuple<T>>;
-export declare function tuple<const T extends readonly RunType[], const O extends readonly RunType[]>(items: CompTimeArgs<T>, optionalItems: CompTimeArgs<O>, id?: InjectRunTypeId<[...MapTuple<T>, ...Partial<MapTuple<O>>]>): RunType<[...MapTuple<T>, ...Partial<MapTuple<O>>]>;
-export declare function tuple<const T extends readonly RunType[], const O extends readonly RunType[], R>(items: CompTimeArgs<T>, optionalItems: CompTimeArgs<O>, rest: CompTimeArgs<RunType<R>>, id?: InjectRunTypeId<[...MapTuple<T>, ...Partial<MapTuple<O>>, ...R[]]>): RunType<[...MapTuple<T>, ...Partial<MapTuple<O>>, ...R[]]>;
-export declare function tuple<const T extends readonly RunType[], R>(items: CompTimeArgs<T>, rest: CompTimeArgs<RunType<R>>, id?: InjectRunTypeId<[...MapTuple<T>, ...R[]]>): RunType<[...MapTuple<T>, ...R[]]>;
+export declare function array<T, const P extends FormattedArrayParamsValueFirst>(item: CompTimeArgs<RunType<T>>, params: CompTimeArgs<ExactParams<P, FormattedArrayParamsValueFirst>>, id?: InjectRunTypeId<FormattedArrayFrom<T[], P>>): RunType<FormattedArrayFrom<T[], P>>;
+export declare function slot<const Label extends string, Value>(label: CompTimeArgs<Label>, value: CompTimeArgs<RunType<Value>>): SlotCarrier<Label, Value>;
+export declare function tuple<const T extends readonly RunType[] = [], const O extends readonly RunType[] = [], RestValue = never>(parts: CompTimeArgs<{
+    readonly required?: T;
+    readonly optional?: O;
+    readonly rest?: RunType<RestValue>;
+}>, id?: InjectRunTypeId<TupleFromGroups<T, O, RestValue>>): RunType<TupleFromGroups<T, O, RestValue>>;
+export declare function tuple<const T extends readonly SlotCarrier<string, unknown>[] = [], const O extends readonly SlotCarrier<string, unknown>[] = [], const RestLabel extends string = never, RestValue = never>(parts: CompTimeArgs<{
+    readonly required?: T;
+    readonly optional?: O;
+    readonly rest?: SlotCarrier<RestLabel, RestValue>;
+}>, id?: InjectRunTypeId<LabeledTupleFromGroups<T, O, RestLabel, RestValue>>): RunType<LabeledTupleFromGroups<T, O, RestLabel, RestValue>>;
 export declare function union<A, B>(members: CompTimeArgs<readonly [RunType<A>, RunType<B>]>, id?: InjectRunTypeId<A | B>): RunType<A | B>;
 export declare function union<A, B, C>(members: CompTimeArgs<readonly [RunType<A>, RunType<B>, RunType<C>]>, id?: InjectRunTypeId<A | B | C>): RunType<A | B | C>;
 export declare function union<A, B, C, D>(members: CompTimeArgs<readonly [RunType<A>, RunType<B>, RunType<C>, RunType<D>]>, id?: InjectRunTypeId<A | B | C | D>): RunType<A | B | C | D>;
@@ -15,18 +24,30 @@ export declare function union<A, B, C, D, E, F>(members: CompTimeArgs<readonly [
 export declare function union<A, B, C, D, E, F, G>(members: CompTimeArgs<readonly [RunType<A>, RunType<B>, RunType<C>, RunType<D>, RunType<E>, RunType<F>, RunType<G>]>, id?: InjectRunTypeId<A | B | C | D | E | F | G>): RunType<A | B | C | D | E | F | G>;
 export declare function union<A, B, C, D, E, F, G, H>(members: CompTimeArgs<readonly [RunType<A>, RunType<B>, RunType<C>, RunType<D>, RunType<E>, RunType<F>, RunType<G>, RunType<H>]>, id?: InjectRunTypeId<A | B | C | D | E | F | G | H>): RunType<A | B | C | D | E | F | G | H>;
 export declare function union<const T extends readonly RunType[]>(members: CompTimeArgs<T>, id?: InjectRunTypeId<UnionOf<T>>): RunType<UnionOf<T>>;
+export declare const anyOf: typeof union;
 export declare function intersection<A, B = unknown, C = unknown, D = unknown>(a: CompTimeArgs<RunType<A>>, b?: CompTimeArgs<RunType<B>>, c?: CompTimeArgs<RunType<C>>, d?: CompTimeArgs<RunType<D>>, id?: InjectRunTypeId<A & B & C & D>): RunType<A & B & C & D>;
 export declare function intersection<const T extends readonly RunType[]>(members: CompTimeArgs<T>, id?: InjectRunTypeId<IntersectionOf<T>>): RunType<IntersectionOf<T>>;
 export declare function record<V>(valueSchema: CompTimeArgs<RunType<V>>, id?: InjectRunTypeId<Record<string, V>>): RunType<Record<string, V>>;
+export declare function record<V, const P extends FormattedObjectParamsValueFirst>(valueSchema: CompTimeArgs<RunType<V>>, params: CompTimeArgs<ExactParams<P, FormattedObjectParamsValueFirst>>, id?: InjectRunTypeId<FormattedObjectFrom<Record<string, V>, P>>): RunType<FormattedObjectFrom<Record<string, V>, P>>;
 export declare function record<K extends string | number, V>(keySchema: CompTimeArgs<RunType<K>>, valueSchema: CompTimeArgs<RunType<V>>, id?: InjectRunTypeId<Record<K, V>>): RunType<Record<K, V>>;
+export declare function record<K extends string | number, V, const P extends FormattedObjectParamsValueFirst>(keySchema: CompTimeArgs<RunType<K>>, valueSchema: CompTimeArgs<RunType<V>>, params: CompTimeArgs<ExactParams<P, FormattedObjectParamsValueFirst>>, id?: InjectRunTypeId<FormattedObjectFrom<Record<K, V>, P>>): RunType<FormattedObjectFrom<Record<K, V>, P>>;
 export declare function map<K, V>(keySchema: CompTimeArgs<RunType<K>>, valueSchema: CompTimeArgs<RunType<V>>, id?: InjectRunTypeId<Map<K, V>>): RunType<Map<K, V>>;
 export declare function set<V>(valueSchema: CompTimeArgs<RunType<V>>, id?: InjectRunTypeId<Set<V>>): RunType<Set<V>>;
 export declare function self(id?: InjectRunTypeId<Self>): RunType<Self>;
 export declare function circular<Body>(body: CompTimeArgs<RunType<Body>>, id?: InjectRunTypeId<Recursive<Body>>): RunType<Recursive<Body>>;
 export declare function promise<V>(valueSchema: CompTimeArgs<RunType<V>>, id?: InjectRunTypeId<Promise<V>>): RunType<Promise<V>>;
-export declare function func<R extends RunType = RunType<void>>(params?: CompTimeArgs<readonly []>, ret?: CompTimeArgs<R>, id?: InjectRunTypeId<() => InferType<R>>): RunType<() => InferType<R>>;
-export declare function func<const P extends readonly RunType[] = [], R extends RunType = RunType<void>>(params?: CompTimeArgs<P>, ret?: CompTimeArgs<R>, id?: InjectRunTypeId<(...args: MapTuple<P>) => InferType<R>>): RunType<(...args: MapTuple<P>) => InferType<R>>;
-export declare function func<T extends readonly unknown[], R extends RunType = RunType<void>>(paramsTuple: CompTimeArgs<RunType<T>>, ret?: CompTimeArgs<R>, id?: InjectRunTypeId<(...args: T) => InferType<R>>): RunType<(...args: T) => InferType<R>>;
+export declare function func<const P extends readonly RunType[] = [], R extends RunType = RunType<void>>(parts?: CompTimeArgs<{
+    readonly params?: P;
+    readonly ret?: R;
+}>, id?: InjectRunTypeId<FuncFromParams<P, InferType<R>>>): RunType<FuncFromParams<P, InferType<R>>>;
+export declare function func<const P extends readonly SlotCarrier<string, unknown>[], R extends RunType = RunType<void>>(parts: CompTimeArgs<{
+    readonly params: P;
+    readonly ret?: R;
+}>, id?: InjectRunTypeId<(...args: LabeledTuple<P>) => InferType<R>>): RunType<(...args: LabeledTuple<P>) => InferType<R>>;
+export declare function func<T extends readonly unknown[], R extends RunType = RunType<void>>(parts: CompTimeArgs<{
+    readonly params: RunType<T>;
+    readonly ret?: R;
+}>, id?: InjectRunTypeId<(...args: T) => InferType<R>>): RunType<(...args: T) => InferType<R>>;
 export declare function callable<Fn, Props>(fn: CompTimeArgs<RunType<Fn>>, iface: CompTimeArgs<RunType<Props>>, id?: InjectRunTypeId<Fn & Props>): RunType<Fn & Props>;
 export declare function templateLiteral<const P extends readonly TemplatePart[]>(parts: CompTimeArgs<P>, id?: InjectRunTypeId<AssembleTemplate<P>>): RunType<AssembleTemplate<P>>;
 export declare function propMod<const M extends PropModifiers, const F>(modifiers: CompTimeArgs<ExactParams<M, PropModifiers>>, field: CompTimeArgs<F>): PropModCarrier<M, F>;
@@ -34,4 +55,5 @@ export declare function optional<const F>(field: CompTimeArgs<F>): PropModCarrie
     optional: true;
 }, F>;
 export declare function object<const C extends Record<string, unknown>>(config: CompTimeArgs<C>, id?: InjectRunTypeId<ObjectType<C>>): RunType<ObjectType<C>>;
+export declare function object<const C extends Record<string, unknown>, const P extends FormattedObjectParamsValueFirst>(config: CompTimeArgs<C>, params: CompTimeArgs<ExactParams<P, FormattedObjectParamsValueFirst>>, id?: InjectRunTypeId<FormattedObjectFrom<ObjectType<C>, P>>): RunType<FormattedObjectFrom<ObjectType<C>, P>>;
 //# sourceMappingURL=compose.d.ts.map

package/dist/builders/compose.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compose.d.ts","sourceRoot":"","sources":["../../src/builders/compose.ts"],"names":[],"mappings":"AAoCA,OAAO,KAAK,EAAC,OAAO,EAAC,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,EAAC,WAAW,EAAC,MAAM,6BAA6B,CAAC;AAC7D,OAAO,KAAK,EAAC,eAAe,EAAE,YAAY,EAAC,MAAM,eAAe,CAAC;AACjE,OAAO,KAAK,EACV,8BAA8B,EAC9B,+BAA+B,EAC/B,kBAAkB,EAClB,mBAAmB,EACpB,MAAM,0BAA0B,CAAC;AAsBlC,OAAO,KAAK,EACV,SAAS,EACT,OAAO,EACP,cAAc,EACd,YAAY,EACZ,gBAAgB,EAChB,UAAU,EACV,aAAa,EACb,cAAc,EACd,IAAI,EACJ,SAAS,EACT,YAAY,EACZ,WAAW,EACX,eAAe,EACf,sBAAsB,EACtB,cAAc,EACf,MAAM,aAAa,CAAC;AAOrB,wBAAgB,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;AAClG,wBAAgB,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,8BAA8B,EACrE,IAAI,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAC9B,MAAM,EAAE,YAAY,CAAC,WAAW,CAAC,CAAC,EAAE,8BAA8B,CAAC,CAAC,EACpE,EAAE,CAAC,EAAE,eAAe,CAAC,kBAAkB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAC/C,OAAO,CAAC,kBAAkB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;AAsBvC,wBAAgB,IAAI,CAAC,KAAK,CAAC,KAAK,SAAS,MAAM,EAAE,KAAK,EACpD,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,EAC1B,KAAK,EAAE,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAClC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAE3B;AAgCD,wBAAgB,KAAK,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,EAAE,KAAK,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,EAAE,SAAS,GAAG,KAAK,EACvH,KAAK,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,CAAA;CAAC,CAAC,EACvG,EAAE,CAAC,EAAE,eAAe,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC,GACrD,OAAO,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;AAC7C,wBAAgB,KAAK,CACnB,KAAK,CAAC,CAAC,SAAS,SAAS,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,GAAG,EAAE,EAC5D,KAAK,CAAC,CAAC,SAAS,SAAS,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,GAAG,EAAE,EAC5D,KAAK,CAAC,SAAS,SAAS,MAAM,GAAG,KAAK,EACtC,SAAS,GAAG,KAAK,EAEjB,KAAK,EAAE,YAAY,CAAC;IAClB,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;CACnD,CAAC,EACF,EAAE,CAAC,EAAE,eAAe,CAAC,sBAAsB,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,GACvE,OAAO,CAAC,sBAAsB,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;AAmC/D,wBAAgB,KAAK,CAAC,CAAC,EAAE,CAAC,EACxB,OAAO,EAAE,YAAY,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EACxD,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC,GAAG,CAAC,CAAC,GAC1B,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAClB,wBAAgB,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAC3B,OAAO,EAAE,YAAY,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EACpE,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAC9B,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AACtB,wBAAgB,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC9B,OAAO,EAAE,YAAY,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAChF,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAClC,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AAC1B,wBAAgB,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACjC,OAAO,EAAE,YAAY,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAC5F,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GACtC,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AAC9B,wBAAgB,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACpC,OAAO,EAAE,YAAY,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EACxG,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAC1C,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AAClC,wBAAgB,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACvC,OAAO,EAAE,YAAY,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EACpH,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAC9C,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AACtC,wBAAgB,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC1C,OAAO,EAAE,YAAY,CACnB,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAC1G,EACD,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAClD,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AAK1C,wBAAgB,KAAK,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EACtD,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,EACxB,EAAE,CAAC,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAC/B,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AAQvB,eAAO,MAAM,KAAK,cAAQ,CAAC;AAc3B,wBAAgB,YAAY,CAAC,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,GAAG,OAAO,EACnE,CAAC,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAC3B,CAAC,CAAC,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAC5B,CAAC,CAAC,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAC5B,CAAC,CAAC,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAC5B,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAClC,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AAC1B,wBAAgB,YAAY,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAC7D,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,EACxB,EAAE,CAAC,EAAE,eAAe,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,GACtC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;AA2B9B,wBAAgB,MAAM,CAAC,CAAC,EACtB,WAAW,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EACrC,EAAE,CAAC,EAAE,eAAe,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,GACtC,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAC9B,wBAAgB,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,+BAA+B,EACvE,WAAW,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EACrC,MAAM,EAAE,YAAY,CAAC,WAAW,CAAC,CAAC,EAAE,+BAA+B,CAAC,CAAC,EACrE,EAAE,CAAC,EAAE,eAAe,CAAC,mBAAmB,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAC9D,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACtD,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,EACjD,SAAS,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EACnC,WAAW,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EACrC,EAAE,CAAC,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GACjC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACzB,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,+BAA+B,EAClG,SAAS,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EACnC,WAAW,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EACrC,MAAM,EAAE,YAAY,CAAC,WAAW,CAAC,CAAC,EAAE,+BAA+B,CAAC,CAAC,EACrE,EAAE,CAAC,EAAE,eAAe,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GACzD,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAyBjD,wBAAgB,GAAG,CAAC,CAAC,EAAE,CAAC,EACtB,SAAS,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EACnC,WAAW,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EACrC,EAAE,CAAC,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAC9B,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAEpB;AAID,wBAAgB,GAAG,CAAC,CAAC,EAAE,WAAW,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAE3G;AAID,wBAAgB,IAAI,CAAC,EAAE,CAAC,EAAE,eAAe,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAE9D;AAcD,wBAAgB,QAAQ,CAAC,IAAI,EAC3B,IAAI,EAAE,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EACjC,EAAE,CAAC,EAAE,eAAe,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GACpC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAE1B;AAKD,wBAAgB,OAAO,CAAC,CAAC,EAAE,WAAW,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAEvH;AAyBD,wBAAgB,IAAI,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,SAAS,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,EAC7F,KAAK,CAAC,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;CAAC,CAAC,EAC7D,EAAE,CAAC,EAAE,eAAe,CAAC,cAAc,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,GACpD,OAAO,CAAC,cAAc,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5C,wBAAgB,IAAI,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,SAAS,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,EAC7G,KAAK,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;CAAC,CAAC,EAC3D,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC,GAAG,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,GAC/D,OAAO,CAAC,CAAC,GAAG,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;AACvD,wBAAgB,IAAI,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAAE,CAAC,SAAS,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,EAClF,KAAK,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;CAAC,CAAC,EACpE,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,GACjD,OAAO,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;AA8BzC,wBAAgB,QAAQ,CAAC,EAAE,EAAE,KAAK,EAChC,EAAE,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,EAC7B,KAAK,EAAE,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EACnC,EAAE,CAAC,EAAE,eAAe,CAAC,EAAE,GAAG,KAAK,CAAC,GAC/B,OAAO,CAAC,EAAE,GAAG,KAAK,CAAC,CAErB;AAaD,wBAAgB,eAAe,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,YAAY,EAAE,EACrE,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,EACtB,EAAE,CAAC,EAAE,eAAe,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,GACxC,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAE9B;AAeD,wBAAgB,OAAO,CAAC,KAAK,CAAC,CAAC,SAAS,aAAa,EAAE,KAAK,CAAC,CAAC,EAC5D,SAAS,EAAE,YAAY,CAAC,WAAW,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,EACtD,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,GACrB,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAEtB;AAKD,wBAAgB,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC;IAAC,QAAQ,EAAE,IAAI,CAAA;CAAC,EAAE,CAAC,CAAC,CAE7F;AAeD,wBAAgB,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC5D,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,EACvB,EAAE,CAAC,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAClC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1B,wBAAgB,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,+BAA+B,EAC7G,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,EACvB,MAAM,EAAE,YAAY,CAAC,WAAW,CAAC,CAAC,EAAE,+BAA+B,CAAC,CAAC,EACrE,EAAE,CAAC,EAAE,eAAe,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAC1D,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC"}

package/dist/builders/compose.js

@@ -0,0 +1,97 @@
+import { builderResult } from "../runtypes/builderCore.js";
+function isRunTypeLike(arg) {
+    return typeof arg === 'object' && arg !== null && !Array.isArray(arg) && ('kind' in arg || 'type' in arg || '__rtType' in arg);
+}
+function isFormatParams(arg) {
+    return typeof arg === 'object' && arg !== null && !Array.isArray(arg) && !isRunTypeLike(arg);
+}
+function isSlotCarrier(arg) {
+    return typeof arg === 'object' && arg !== null && typeof arg.__slotLabel === 'string';
+}
+function slotChild(arg) {
+    return isSlotCarrier(arg) ? arg.__slotValue : arg;
+}
+export function array(item, arg2, arg3) {
+    const base = { type: 'array', child: item };
+    if (isFormatParams(arg2)) {
+        return builderResult(arg3, base);
+    }
+    return builderResult(arg2, base);
+}
+export function slot(label, value) {
+    return { __slotLabel: label, __slotValue: value };
+}
+export function tuple(parts, id) {
+    return builderResult(id, {
+        type: 'tuple',
+        children: (parts.required ?? []).map(slotChild),
+        optionalChildren: parts.optional?.map(slotChild),
+        rest: parts.rest === undefined ? undefined : slotChild(parts.rest),
+    });
+}
+export function union(members, id) {
+    return builderResult(id, { type: 'union', children: members });
+}
+export const anyOf = union;
+export function intersection(arg1, arg2, arg3, arg4, arg5) {
+    if (Array.isArray(arg1)) {
+        return builderResult(arg2, { type: 'intersection', children: arg1 });
+    }
+    return builderResult(arg5, {
+        type: 'intersection',
+        children: [arg1, arg2, arg3, arg4],
+    });
+}
+export function record(arg1, arg2, arg3, arg4) {
+    if (isRunTypeLike(arg2)) {
+        const base = { type: 'record', index: arg1, child: arg2 };
+        if (isFormatParams(arg3)) {
+            return builderResult(arg4, base);
+        }
+        return builderResult(arg3, base);
+    }
+    const base = { type: 'record', child: arg1 };
+    if (isFormatParams(arg2)) {
+        return builderResult(arg3, base);
+    }
+    return builderResult(arg2, base);
+}
+export function map(keySchema, valueSchema, id) {
+    return builderResult(id, { type: 'map', index: keySchema, child: valueSchema });
+}
+export function set(valueSchema, id) {
+    return builderResult(id, { type: 'set', child: valueSchema });
+}
+export function self(id) {
+    return builderResult(id, { type: 'self' });
+}
+export function circular(body, id) {
+    return builderResult(id, { type: 'circular', child: body });
+}
+export function promise(valueSchema, id) {
+    return builderResult(id, { type: 'promise', child: valueSchema });
+}
+export function func(parts, id) {
+    const params = parts?.params;
+    const parameters = Array.isArray(params) ? params.map(slotChild) : (params ?? []);
+    return builderResult(id, { type: 'function', parameters, return: parts?.ret });
+}
+export function callable(fn, iface, id) {
+    return builderResult(id, { type: 'intersection', children: [fn, iface] });
+}
+export function templateLiteral(parts, id) {
+    return builderResult(id, { type: 'templateLiteral', children: parts });
+}
+export function propMod(modifiers, field) {
+    return { __propMod: modifiers, __field: field };
+}
+export function optional(field) {
+    return propMod({ optional: true }, field);
+}
+export function object(config, arg2, arg3) {
+    if (isFormatParams(arg2)) {
+        return builderResult(arg3, config);
+    }
+    return builderResult(arg2, config);
+}
+//# sourceMappingURL=compose.js.map

package/dist/builders/compose.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compose.js","sourceRoot":"","sources":["../../src/builders/compose.ts"],"names":[],"mappings":"AAmCA,OAAO,EAAC,aAAa,EAAC,MAAM,4BAA4B,CAAC;AAgBzD,SAAS,aAAa,CAAC,GAAY;IACjC,OAAO,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,GAAG,IAAI,MAAM,IAAI,GAAG,IAAI,UAAU,IAAI,GAAG,CAAC,CAAC;AACjI,CAAC;AACD,SAAS,cAAc,CAAC,GAAY;IAClC,OAAO,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;AAC/F,CAAC;AAGD,SAAS,aAAa,CAAC,GAAY;IACjC,OAAO,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,OAAQ,GAA+B,CAAC,WAAW,KAAK,QAAQ,CAAC;AACrH,CAAC;AAED,SAAS,SAAS,CAAC,GAA0D;IAC3E,OAAO,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAE,GAAe,CAAC;AACjE,CAAC;AA8BD,MAAM,UAAU,KAAK,CACnB,IAAa,EACb,IAAgE,EAChE,IAA+B;IAE/B,MAAM,IAAI,GAAG,EAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAC,CAAC;IAC1C,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,aAAa,CAAC,IAA4C,EAAE,IAAI,CAAC,CAAC;AAC3E,CAAC;AAWD,MAAM,UAAU,IAAI,CAClB,KAA0B,EAC1B,KAAmC;IAEnC,OAAO,EAAC,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAC,CAAC;AAClD,CAAC;AAiDD,MAAM,UAAU,KAAK,CACnB,KAIC,EACD,EAA6B;IAM7B,OAAO,aAAa,CAAC,EAAE,EAAE;QACvB,IAAI,EAAE,OAAO;QACb,QAAQ,EAAE,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC;QAC/C,gBAAgB,EAAE,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC,SAAS,CAAC;QAChD,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC;KACnE,CAAC,CAAC;AACL,CAAC;AAsDD,MAAM,UAAU,KAAK,CAAC,OAA2B,EAAE,EAA6B;IAC9E,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAC,CAAC,CAAC;AAC/D,CAAC;AAKD,MAAM,CAAC,MAAM,KAAK,GAAG,KAAK,CAAC;AAyB3B,MAAM,UAAU,YAAY,CAC1B,IAAkC,EAClC,IAAyC,EACzC,IAAc,EACd,IAAc,EACd,IAA+B;IAG/B,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,OAAO,aAAa,CAAC,IAA4C,EAAE,EAAC,IAAI,EAAE,cAAc,EAAE,QAAQ,EAAE,IAAI,EAAC,CAAC,CAAC;IAC7G,CAAC;IAGD,OAAO,aAAa,CAAC,IAAI,EAAE;QACzB,IAAI,EAAE,cAAc;QACpB,QAAQ,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAuB;KACzD,CAAC,CAAC;AACL,CAAC;AA6BD,MAAM,UAAU,MAAM,CACpB,IAAa,EACb,IAA2E,EAC3E,IAAiE,EACjE,IAA+B;IAI/B,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,EAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAe,EAAC,CAAC;QACnE,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,OAAO,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACnC,CAAC;QACD,OAAO,aAAa,CAAC,IAA4C,EAAE,IAAI,CAAC,CAAC;IAC3E,CAAC;IACD,MAAM,IAAI,GAAG,EAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAC,CAAC;IAC3C,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,aAAa,CAAC,IAA4C,EAAE,IAAI,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,aAAa,CAAC,IAA4C,EAAE,IAAI,CAAC,CAAC;AAC3E,CAAC;AAID,MAAM,UAAU,GAAG,CACjB,SAAmC,EACnC,WAAqC,EACrC,EAA+B;IAE/B,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAC,CAAC,CAAC;AAChF,CAAC;AAID,MAAM,UAAU,GAAG,CAAI,WAAqC,EAAE,EAA4B;IACxF,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAC,CAAC,CAAC;AAC9D,CAAC;AAID,MAAM,UAAU,IAAI,CAAC,EAA0B;IAC7C,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,MAAM,EAAC,CAAC,CAAC;AAC3C,CAAC;AAcD,MAAM,UAAU,QAAQ,CACtB,IAAiC,EACjC,EAAqC;IAErC,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAC,CAAC,CAAC;AAC5D,CAAC;AAKD,MAAM,UAAU,OAAO,CAAI,WAAqC,EAAE,EAAgC;IAChG,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAC,CAAC,CAAC;AAClE,CAAC;AAqCD,MAAM,UAAU,IAAI,CAClB,KAGC,EACD,EAA6B;IAO7B,MAAM,MAAM,GAAG,KAAK,EAAE,MAAM,CAAC;IAC7B,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;IAClF,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAC,CAAC,CAAC;AAC/E,CAAC;AAcD,MAAM,UAAU,QAAQ,CACtB,EAA6B,EAC7B,KAAmC,EACnC,EAAgC;IAEhC,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,cAAc,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,KAAK,CAAC,EAAC,CAAC,CAAC;AAC1E,CAAC;AAaD,MAAM,UAAU,eAAe,CAC7B,KAAsB,EACtB,EAAyC;IAEzC,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,iBAAiB,EAAE,QAAQ,EAAE,KAAK,EAAC,CAAC,CAAC;AACvE,CAAC;AAeD,MAAM,UAAU,OAAO,CACrB,SAAsD,EACtD,KAAsB;IAEtB,OAAO,EAAC,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAC,CAAC;AAChD,CAAC;AAKD,MAAM,UAAU,QAAQ,CAAU,KAAsB;IACtD,OAAO,OAAO,CAAC,EAAC,QAAQ,EAAE,IAAI,EAAC,EAAE,KAAK,CAAC,CAAC;AAC1C,CAAC;AAwBD,MAAM,UAAU,MAAM,CACpB,MAA+B,EAC/B,IAAiE,EACjE,IAA+B;IAE/B,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,aAAa,CAAC,IAA4C,EAAE,MAAM,CAAC,CAAC;AAC7E,CAAC"}

package/dist/{schema → builders}/index.d.ts

@@ -1,6 +1,6 @@
 export { boolean, literal, regexp, symbol, any, unknown, never, voidType, voidType as void, classType, enumType, enumType as enum, } from './atomic.ts';
-export { object, array, tuple, union, intersection, record, map, set, promise, circular, self, func, callable, templateLiteral, propMod, optional, } from './compose.ts';
+export { object, array, tuple, slot, union, anyOf, intersection, record, map, set, promise, circular, self, func, callable, templateLiteral, propMod, optional, } from './compose.ts';
 export { partial, required, pick, omit, exclude, extract, nonNullable, readonlyType, readonlyType as readonly, returnType, parameters, } from './utility.ts';
-export type { PropModifiers, MapTuple, TemplatePart, AssembleTemplate } from './static.ts';
+export type { PropModifiers, MapTuple, TemplatePart, AssembleTemplate, AnyOf } from './static.ts';
 import '../runtypes/pure-fns-utils.ts';
 //# sourceMappingURL=index.d.ts.map

package/dist/builders/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/builders/index.ts"],"names":[],"mappings":"AA2BA,OAAO,EACL,OAAO,EACP,OAAO,EACP,MAAM,EACN,MAAM,EACN,GAAG,EACH,OAAO,EACP,KAAK,EACL,QAAQ,EACR,QAAQ,IAAI,IAAI,EAChB,SAAS,EACT,QAAQ,EACR,QAAQ,IAAI,IAAI,GACjB,MAAM,aAAa,CAAC;AAQrB,OAAO,EACL,MAAM,EACN,KAAK,EACL,KAAK,EACL,IAAI,EACJ,KAAK,EACL,KAAK,EACL,YAAY,EACZ,MAAM,EACN,GAAG,EACH,GAAG,EACH,OAAO,EACP,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,QAAQ,EACR,eAAe,EACf,OAAO,EACP,QAAQ,GACT,MAAM,cAAc,CAAC;AAOtB,OAAO,EACL,OAAO,EACP,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,OAAO,EACP,WAAW,EACX,YAAY,EACZ,YAAY,IAAI,QAAQ,EACxB,UAAU,EACV,UAAU,GACX,MAAM,cAAc,CAAC;AAKtB,YAAY,EAAC,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,gBAAgB,EAAE,KAAK,EAAC,MAAM,aAAa,CAAC;AAQhG,OAAO,+BAA+B,CAAC"}

package/dist/{schema → builders}/index.js

@@ -1,5 +1,5 @@
 export { boolean, literal, regexp, symbol, any, unknown, never, voidType, voidType as void, classType, enumType, enumType as enum, } from "./atomic.js";
-export { object, array, tuple, union, intersection, record, map, set, promise, circular, self, func, callable, templateLiteral, propMod, optional, } from "./compose.js";
+export { object, array, tuple, slot, union, anyOf, intersection, record, map, set, promise, circular, self, func, callable, templateLiteral, propMod, optional, } from "./compose.js";
 export { partial, required, pick, omit, exclude, extract, nonNullable, readonlyType, readonlyType as readonly, returnType, parameters, } from "./utility.js";
 import "../runtypes/pure-fns-utils.js";
 //# sourceMappingURL=index.js.map

package/dist/builders/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/builders/index.ts"],"names":[],"mappings":"AA2BA,OAAO,EACL,OAAO,EACP,OAAO,EACP,MAAM,EACN,MAAM,EACN,GAAG,EACH,OAAO,EACP,KAAK,EACL,QAAQ,EACR,QAAQ,IAAI,IAAI,EAChB,SAAS,EACT,QAAQ,EACR,QAAQ,IAAI,IAAI,GACjB,MAAM,aAAa,CAAC;AAQrB,OAAO,EACL,MAAM,EACN,KAAK,EACL,KAAK,EACL,IAAI,EACJ,KAAK,EACL,KAAK,EACL,YAAY,EACZ,MAAM,EACN,GAAG,EACH,GAAG,EACH,OAAO,EACP,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,QAAQ,EACR,eAAe,EACf,OAAO,EACP,QAAQ,GACT,MAAM,cAAc,CAAC;AAOtB,OAAO,EACL,OAAO,EACP,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,OAAO,EACP,WAAW,EACX,YAAY,EACZ,YAAY,IAAI,QAAQ,EACxB,UAAU,EACV,UAAU,GACX,MAAM,cAAc,CAAC;AAatB,OAAO,+BAA+B,CAAC"}

package/dist/builders/static.d.ts

@@ -0,0 +1,141 @@
+import type { __rtFormatName, __rtFormatParams, __rtFormatBrand, __rtContains, __rtPatternProps, __rtPropNames, __rtLabels } from '../runtypes/sentinelKeys.ts';
+import type { RunType } from '../runtypes/types.ts';
+import type { InferType } from '../runtypes/builderTypes.ts';
+export type { InferType, LeafType, LeafTypeByFormatName, LeafFormatName, BrandArg, TemporalFormatByTag, TemporalBaseByTag, TemporalBuilderFn, } from '../runtypes/builderTypes.ts';
+export interface PropModifiers {
+    optional?: true;
+    readonly?: true;
+}
+export interface PropModCarrier<M extends PropModifiers, F> {
+    readonly __propMod: M;
+    readonly __field: F;
+}
+export type FieldOf<V> = V extends {
+    __propMod: PropModifiers;
+    __field: unknown;
+} ? InferType<V['__field']> : InferType<V>;
+export type IsOptional<V> = V extends {
+    __propMod: {
+        optional: true;
+    };
+} ? true : false;
+export type IsReadonly<V> = V extends {
+    __propMod: {
+        readonly: true;
+    };
+} ? true : false;
+type Flatten<T> = {
+    [K in keyof T]: T[K];
+};
+type AnyOptional<C> = true extends {
+    [K in keyof C]: IsOptional<C[K]>;
+}[keyof C] ? true : false;
+type AnyReadonly<C> = true extends {
+    [K in keyof C]: IsReadonly<C[K]>;
+}[keyof C] ? true : false;
+type ObjectOptionalOnly<C> = Flatten<{
+    -readonly [K in keyof C as IsOptional<C[K]> extends true ? never : K]: FieldOf<C[K]>;
+} & {
+    -readonly [K in keyof C as IsOptional<C[K]> extends true ? K : never]?: FieldOf<C[K]>;
+}>;
+type ObjectReadonlyOnly<C> = Flatten<{
+    -readonly [K in keyof C as IsReadonly<C[K]> extends true ? never : K]: FieldOf<C[K]>;
+} & {
+    readonly [K in keyof C as IsReadonly<C[K]> extends true ? K : never]: FieldOf<C[K]>;
+}>;
+type ObjectMixed<C> = Flatten<{
+    -readonly [K in keyof C as IsOptional<C[K]> extends true ? never : IsReadonly<C[K]> extends true ? never : K]: FieldOf<C[K]>;
+} & {
+    readonly [K in keyof C as IsOptional<C[K]> extends true ? never : IsReadonly<C[K]> extends true ? K : never]: FieldOf<C[K]>;
+} & {
+    -readonly [K in keyof C as IsOptional<C[K]> extends true ? (IsReadonly<C[K]> extends true ? never : K) : never]?: FieldOf<C[K]>;
+} & {
+    readonly [K in keyof C as IsOptional<C[K]> extends true ? (IsReadonly<C[K]> extends true ? K : never) : never]?: FieldOf<C[K]>;
+}>;
+export type ObjectType<C> = AnyOptional<C> extends false ? AnyReadonly<C> extends false ? {
+    -readonly [K in keyof C]: FieldOf<C[K]>;
+} : ObjectReadonlyOnly<C> : AnyReadonly<C> extends false ? ObjectOptionalOnly<C> : ObjectMixed<C>;
+export type MapTuple<T extends readonly RunType[]> = {
+    -readonly [K in keyof T]: InferType<T[K]>;
+};
+export interface SlotCarrier<Label extends string, Value> {
+    readonly __slotLabel: Label;
+    readonly __slotValue: RunType<Value>;
+}
+export type SlotValues<Slots extends readonly SlotCarrier<string, unknown>[]> = {
+    -readonly [K in keyof Slots]: InferType<Slots[K]['__slotValue']>;
+};
+export type SlotLabels<Slots extends readonly SlotCarrier<string, unknown>[]> = {
+    -readonly [K in keyof Slots]: Slots[K]['__slotLabel'];
+};
+export type LabeledTuple<Slots extends readonly SlotCarrier<string, unknown>[], OptionalSlots extends readonly SlotCarrier<string, unknown>[] = []> = [...SlotValues<Slots>, ...Partial<SlotValues<OptionalSlots>>] & {
+    readonly [__rtLabels]?: readonly [...SlotLabels<Slots>, ...SlotLabels<OptionalSlots>];
+};
+export type LabeledRestTuple<Slots extends readonly SlotCarrier<string, unknown>[], OptionalSlots extends readonly SlotCarrier<string, unknown>[], RestLabel extends string, Rest> = [...SlotValues<Slots>, ...Partial<SlotValues<OptionalSlots>>, ...Rest[]] & {
+    readonly [__rtLabels]?: readonly [...SlotLabels<Slots>, ...SlotLabels<OptionalSlots>, RestLabel];
+};
+export type TupleFromGroups<Items extends readonly RunType[], OptionalItems extends readonly RunType[], Rest> = [Rest] extends [
+    never
+] ? [...MapTuple<Items>, ...Partial<MapTuple<OptionalItems>>] : [...MapTuple<Items>, ...Partial<MapTuple<OptionalItems>>, ...Rest[]];
+export type LabeledTupleFromGroups<Slots extends readonly SlotCarrier<string, unknown>[], OptionalSlots extends readonly SlotCarrier<string, unknown>[], RestLabel extends string, Rest> = [RestLabel] extends [never] ? LabeledTuple<Slots, OptionalSlots> : LabeledRestTuple<Slots, OptionalSlots, RestLabel, Rest>;
+export type FuncFromParams<Params extends readonly RunType[], Return> = Params extends readonly [] ? () => Return : (...args: MapTuple<Params>) => Return;
+export type UnionOf<T extends readonly RunType[]> = T extends readonly [
+    infer Head extends RunType,
+    ...infer Tail extends readonly RunType[]
+] ? InferType<Head> | UnionOf<Tail> : never;
+export type AnyOf<Branches extends readonly [unknown, ...unknown[]]> = Branches[number];
+export type IntersectionOf<T extends readonly RunType[]> = T extends readonly [
+    infer Head extends RunType,
+    ...infer Tail extends readonly RunType[]
+] ? InferType<Head> & IntersectionOf<Tail> : unknown;
+export type TemplatePart = string | RunType;
+type Interpolatable = string | number | bigint | boolean | null | undefined;
+type Unbrand<X> = typeof __rtFormatName extends keyof X ? X extends string ? string : X extends number ? number : X extends bigint ? bigint : X & Interpolatable : X & Interpolatable;
+type PartText<Part extends TemplatePart> = Part extends RunType ? Unbrand<InferType<Part>> : Part & Interpolatable;
+export type AssembleTemplate<P extends readonly TemplatePart[]> = P extends readonly [
+    infer Head extends TemplatePart,
+    ...infer Tail extends readonly TemplatePart[]
+] ? `${PartText<Head>}${AssembleTemplate<Tail>}` : '';
+declare const SelfBrand: unique symbol;
+export type Self = {
+    readonly [SelfBrand]: true;
+};
+export type CarriedKey = typeof __rtFormatName | typeof __rtFormatParams | typeof __rtFormatBrand | typeof __rtContains | typeof __rtPatternProps | typeof __rtPropNames | typeof __rtLabels;
+type HasCarried<T> = [Extract<keyof T, CarriedKey>] extends [never] ? false : true;
+type CarrySlots<T, P extends [unknown]> = {
+    readonly [K in Extract<keyof T, CarriedKey>]?: SubstituteSelf<NonNullable<T[K]>, P>;
+};
+type ContainsSelf<T, Depth extends unknown[] = []> = AnyTrue<ContainsSelfIn<T, Depth>>;
+type AnyTrue<B> = [B] extends [never] ? false : [B] extends [false] ? false : true;
+type ContainsSelfIn<T, Depth extends unknown[]> = Depth['length'] extends 24 ? false : 0 extends 1 & T ? false : T extends Self ? true : T extends string | number | boolean | bigint | symbol | null | undefined ? false : T extends Date | RegExp ? false : T extends Map<any, any> ? T extends Map<infer K, infer V> ? AnyTrue<ContainsSelfIn<K, Next<Depth>> | ContainsSelfIn<V, Next<Depth>>> : false : T extends Set<any> ? T extends Set<infer E> ? ContainsSelf<E, Next<Depth>> : false : T extends Promise<infer E> ? ContainsSelf<E, Next<Depth>> : T extends (...args: infer A extends readonly unknown[]) => infer R ? AnyTrue<ContainsSelfIn<A[number], Next<Depth>> | ContainsSelfIn<R, Next<Depth>>> : T extends readonly unknown[] ? number extends T['length'] ? ContainsSelf<T[number], Next<Depth>> : AnyTrue<MembersContainSelf<MemberBoxes<T>[number], Depth>> : T extends object ? AnyTrue<MembersContainSelf<MemberBoxes<T>[keyof T], Depth>> : false;
+type Next<Depth extends unknown[]> = [...Depth, unknown];
+type MemberBoxes<T> = {
+    [K in keyof T]: [T[K]];
+};
+type MembersContainSelf<Boxed, Depth extends unknown[]> = Boxed extends [infer Member] ? ContainsSelf<Member, Next<Depth>> : false;
+type SubstituteSelf<T, P extends [unknown]> = T extends Self ? P[0] : T extends string | number | boolean | bigint | symbol | null | undefined ? T : T extends Date | RegExp ? T : ContainsSelf<T> extends false ? T : SubstituteInto<T, P>;
+type SubstituteInto<T, P extends [unknown]> = T extends Map<any, any> ? T extends Map<infer K, infer V> ? CarryOnto<Map<SubstituteSelf<K, P>, SubstituteSelf<V, P>>, T, P> : never : T extends Set<any> ? T extends Set<infer E> ? CarryOnto<Set<SubstituteSelf<E, P>>, T, P> : never : T extends Promise<infer E> ? Promise<SubstituteSelf<E, P>> : T extends (...args: infer A extends readonly unknown[]) => infer R ? (...args: SubstituteTuple<A, P>) => SubstituteSelf<R, P> : T extends readonly unknown[] ? number extends T['length'] ? T extends readonly (infer E)[] ? CarryOnto<SubstituteSelf<E, P>[], T, P> : never : SubstituteTuple<T, P> : T extends object ? HasCarried<T> extends true ? {
+    [K in keyof T as K extends CarriedKey ? never : K]: SubstituteSelf<T[K], P>;
+} & CarrySlots<T, P> : {
+    [K in keyof T]: SubstituteSelf<T[K], P>;
+} : T;
+type CarryOnto<Base, Source, P extends [unknown]> = HasCarried<Source> extends true ? Base & CarrySlots<Source, P> : Base;
+type SubstituteTuple<T extends readonly unknown[], P extends [unknown]> = HasCarried<T> extends true ? IsFixedArity<T> extends true ? TupleFromIndexes<T, P, RequiredArity<T>> & CarrySlots<T, P> : [
+    ...TupleFromIndexes<T, P, RequiredArity<T>>,
+    ...Partial<OptionalSlots<T, P> extends infer Slots extends unknown[] ? Slots : []>
+] & CarrySlots<T, P> : {
+    -readonly [K in keyof T]: SubstituteSelf<T[K], P>;
+};
+type IsFixedArity<T extends readonly unknown[]> = IsUnion<T['length']> extends true ? false : true;
+type IsUnion<X, All = X> = X extends unknown ? ([All] extends [X] ? false : true) : never;
+type RequiredArity<T extends readonly unknown[], Acc extends unknown[] = []> = Acc['length'] extends T['length'] ? Acc : RequiredArity<T, [...Acc, unknown]>;
+type TotalArity<T extends readonly unknown[], Acc extends unknown[] = RequiredArity<T>> = [
+    ...Acc,
+    unknown
+]['length'] extends T['length'] ? TotalArity<T, [...Acc, unknown]> : Acc;
+type TupleFromIndexes<T, P extends [unknown], Stop extends unknown[], Acc extends unknown[] = []> = Acc['length'] extends Stop['length'] ? Acc : TupleFromIndexes<T, P, Stop, [...Acc, SubstituteSelf<T[Acc['length'] & keyof T], P>]>;
+type OptionalSlots<T extends readonly unknown[], P extends [unknown]> = DropRequired<OptionalCandidates<T, P, TotalArity<T>>, RequiredArity<T>>;
+type OptionalCandidates<T, P extends [unknown], Stop extends unknown[], Acc extends unknown[] = []> = Acc['length'] extends Stop['length'] ? Acc : OptionalCandidates<T, P, Stop, [...Acc, SubstituteSelf<NonNullable<T[Acc['length'] & keyof T]>, P>]>;
+type DropRequired<All extends unknown[], Skip extends unknown[]> = Skip['length'] extends 0 ? All : All extends [unknown, ...infer Rest] ? Skip extends [unknown, ...infer SkipRest] ? DropRequired<Rest, SkipRest extends unknown[] ? SkipRest : []> : All : [];
+export type Recursive<Body> = SubstituteSelf<Body, [Recursive<Body>]>;
+//# sourceMappingURL=static.d.ts.map

package/dist/builders/static.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"static.d.ts","sourceRoot":"","sources":["../../src/builders/static.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EACV,cAAc,EACd,gBAAgB,EAChB,eAAe,EACf,YAAY,EACZ,gBAAgB,EAChB,aAAa,EACb,UAAU,EACX,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAC,OAAO,EAAC,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,EAAC,SAAS,EAAC,MAAM,6BAA6B,CAAC;AAK3D,YAAY,EACV,SAAS,EACT,QAAQ,EACR,oBAAoB,EACpB,cAAc,EACd,QAAQ,EACR,mBAAmB,EACnB,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AASrC,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,EAAE,IAAI,CAAC;IAChB,QAAQ,CAAC,EAAE,IAAI,CAAC;CACjB;AAKD,MAAM,WAAW,cAAc,CAAC,CAAC,SAAS,aAAa,EAAE,CAAC;IACxD,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;CACrB;AAOD,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS;IAAC,SAAS,EAAE,aAAa,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;AAEzH,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS;IAAC,SAAS,EAAE;QAAC,QAAQ,EAAE,IAAI,CAAA;KAAC,CAAA;CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AACnF,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS;IAAC,SAAS,EAAE;QAAC,QAAQ,EAAE,IAAI,CAAA;KAAC,CAAA;CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAgBnF,KAAK,OAAO,CAAC,CAAC,IAAI;KAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAC,CAAC;AAsBzC,KAAK,WAAW,CAAC,CAAC,IAAI,IAAI,SAAS;KAAE,CAAC,IAAI,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAC9F,KAAK,WAAW,CAAC,CAAC,IAAI,IAAI,SAAS;KAAE,CAAC,IAAI,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAG9F,KAAK,kBAAkB,CAAC,CAAC,IAAI,OAAO,CAClC;IACE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACrF,GAAG;IACF,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACtF,CACF,CAAC;AAGF,KAAK,kBAAkB,CAAC,CAAC,IAAI,OAAO,CAClC;IACE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACrF,GAAG;IACF,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACpF,CACF,CAAC;AAGF,KAAK,WAAW,CAAC,CAAC,IAAI,OAAO,CAC3B;IACE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC7H,GAAG;IACF,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC5H,GAAG;IACF,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,KAAK,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,OAAO,CACvH,CAAC,CAAC,CAAC,CAAC,CACL;CACF,GAAG;IACF,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,OAAO,CACtH,CAAC,CAAC,CAAC,CAAC,CACL;CACF,CACF,CAAC;AACF,MAAM,MAAM,UAAU,CAAC,CAAC,IACtB,WAAW,CAAC,CAAC,CAAC,SAAS,KAAK,GACxB,WAAW,CAAC,CAAC,CAAC,SAAS,KAAK,GAC1B;IAAC,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAC,GACzC,kBAAkB,CAAC,CAAC,CAAC,GACvB,WAAW,CAAC,CAAC,CAAC,SAAS,KAAK,GAC1B,kBAAkB,CAAC,CAAC,CAAC,GACrB,WAAW,CAAC,CAAC,CAAC,CAAC;AAUvB,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI;IAAC,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAC,CAAC;AA6BjG,MAAM,WAAW,WAAW,CAAC,KAAK,SAAS,MAAM,EAAE,KAAK;IACtD,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;CACtC;AAKD,MAAM,MAAM,UAAU,CAAC,KAAK,SAAS,SAAS,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI;IAC9E,CAAC,UAAU,CAAC,IAAI,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;CACjE,CAAC;AAGF,MAAM,MAAM,UAAU,CAAC,KAAK,SAAS,SAAS,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI;IAC9E,CAAC,UAAU,CAAC,IAAI,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;CACtD,CAAC;AAMF,MAAM,MAAM,YAAY,CACtB,KAAK,SAAS,SAAS,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EACrD,aAAa,SAAS,SAAS,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,GAAG,EAAE,IAChE,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG;IAClE,QAAQ,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,EAAE,GAAG,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC;CACvF,CAAC;AAMF,MAAM,MAAM,gBAAgB,CAC1B,KAAK,SAAS,SAAS,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EACrD,aAAa,SAAS,SAAS,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAC7D,SAAS,SAAS,MAAM,EACxB,IAAI,IACF,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,GAAG;IAC7E,QAAQ,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,EAAE,GAAG,UAAU,CAAC,aAAa,CAAC,EAAE,SAAS,CAAC,CAAC;CAClG,CAAC;AAcF,MAAM,MAAM,eAAe,CAAC,KAAK,SAAS,SAAS,OAAO,EAAE,EAAE,aAAa,SAAS,SAAS,OAAO,EAAE,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS;IAC7H,KAAK;CACN,GACG,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,GACzD,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;AAIzE,MAAM,MAAM,sBAAsB,CAChC,KAAK,SAAS,SAAS,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EACrD,aAAa,SAAS,SAAS,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAC7D,SAAS,SAAS,MAAM,EACxB,IAAI,IACF,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,YAAY,CAAC,KAAK,EAAE,aAAa,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;AAM/H,MAAM,MAAM,cAAc,CAAC,MAAM,SAAS,SAAS,OAAO,EAAE,EAAE,MAAM,IAAI,MAAM,SAAS,SAAS,EAAE,GAC9F,MAAM,MAAM,GACZ,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC;AAe1C,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,CAAC,SAAS,SAAS;IACrE,MAAM,IAAI,SAAS,OAAO;IAC1B,GAAG,MAAM,IAAI,SAAS,SAAS,OAAO,EAAE;CACzC,GACG,SAAS,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GAC/B,KAAK,CAAC;AAKV,MAAM,MAAM,KAAK,CAAC,QAAQ,SAAS,SAAS,CAAC,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC;AAQxF,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,CAAC,SAAS,SAAS;IAC5E,MAAM,IAAI,SAAS,OAAO;IAC1B,GAAG,MAAM,IAAI,SAAS,SAAS,OAAO,EAAE;CACzC,GACG,SAAS,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,GACtC,OAAO,CAAC;AAGZ,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,OAAO,CAAC;AAK5C,KAAK,cAAc,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,SAAS,CAAC;AAa5E,KAAK,OAAO,CAAC,CAAC,IAAI,OAAO,cAAc,SAAS,MAAM,CAAC,GACnD,CAAC,SAAS,MAAM,GACd,MAAM,GACN,CAAC,SAAS,MAAM,GACd,MAAM,GACN,CAAC,SAAS,MAAM,GACd,MAAM,GACN,CAAC,GAAG,cAAc,GACxB,CAAC,GAAG,cAAc,CAAC;AACvB,KAAK,QAAQ,CAAC,IAAI,SAAS,YAAY,IAAI,IAAI,SAAS,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,GAAG,cAAc,CAAC;AAUnH,MAAM,MAAM,gBAAgB,CAAC,CAAC,SAAS,SAAS,YAAY,EAAE,IAAI,CAAC,SAAS,SAAS;IACnF,MAAM,IAAI,SAAS,YAAY;IAC/B,GAAG,MAAM,IAAI,SAAS,SAAS,YAAY,EAAE;CAC9C,GACG,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,IAAI,CAAC,EAAE,GAC5C,EAAE,CAAC;AAoBP,OAAO,CAAC,MAAM,SAAS,EAAE,OAAO,MAAM,CAAC;AACvC,MAAM,MAAM,IAAI,GAAG;IAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE,IAAI,CAAA;CAAC,CAAC;AAWhD,MAAM,MAAM,UAAU,GAClB,OAAO,cAAc,GACrB,OAAO,gBAAgB,GACvB,OAAO,eAAe,GACtB,OAAO,YAAY,GACnB,OAAO,gBAAgB,GACvB,OAAO,aAAa,GACpB,OAAO,UAAU,CAAC;AAwBtB,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC;AAKnF,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI;IACxC,QAAQ,EAAE,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;CACpF,CAAC;AAwBF,KAAK,YAAY,CAAC,CAAC,EAAE,KAAK,SAAS,OAAO,EAAE,GAAG,EAAE,IAAI,OAAO,CAAC,cAAc,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;AAIvF,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC;AAEnF,KAAK,cAAc,CAAC,CAAC,EAAE,KAAK,SAAS,OAAO,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,GAOxE,KAAK,GACL,CAAC,SAAS,CAAC,GAAG,CAAC,GACb,KAAK,GACL,CAAC,SAAS,IAAI,GACZ,IAAI,GACJ,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,GACtE,KAAK,GACL,CAAC,SAAS,IAAI,GAAG,MAAM,GACrB,KAAK,GACL,CAAC,SAAS,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GACrB,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAC7B,OAAO,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GACxE,KAAK,GACP,CAAC,SAAS,GAAG,CAAC,GAAG,CAAC,GAChB,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,CAAC,GACpB,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,GAC5B,KAAK,GACP,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,GACxB,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,GAC5B,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,SAAS,SAAS,OAAO,EAAE,KAAK,MAAM,CAAC,GAChE,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAChF,CAAC,SAAS,SAAS,OAAO,EAAE,GAC1B,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GACxB,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,GACpC,OAAO,CAAC,kBAAkB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC,GAC5D,CAAC,SAAS,MAAM,GACd,OAAO,CAAC,kBAAkB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAC3D,KAAK,CAAC;AAE9B,KAAK,IAAI,CAAC,KAAK,SAAS,OAAO,EAAE,IAAI,CAAC,GAAG,KAAK,EAAE,OAAO,CAAC,CAAC;AAUzD,KAAK,WAAW,CAAC,CAAC,IAAI;KAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAC,CAAC;AAE/C,KAAK,kBAAkB,CAAC,KAAK,EAAE,KAAK,SAAS,OAAO,EAAE,IAAI,KAAK,SAAS,CAAC,MAAM,MAAM,CAAC,GAClF,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,GACjC,KAAK,CAAC;AAmBV,KAAK,cAAc,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,IAAI,GACxD,CAAC,CAAC,CAAC,CAAC,GACJ,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,GACtE,CAAC,GACD,CAAC,SAAS,IAAI,GAAG,MAAM,GACrB,CAAC,GAED,YAAY,CAAC,CAAC,CAAC,SAAS,KAAK,GAC3B,CAAC,GACD,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAG/B,KAAK,cAAc,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,IAGxC,CAAC,SAAS,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GACnB,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAC7B,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAChE,KAAK,GACP,CAAC,SAAS,GAAG,CAAC,GAAG,CAAC,GAChB,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,CAAC,GACpB,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAC1C,KAAK,GACP,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,GACxB,OAAO,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAC7B,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,SAAS,SAAS,OAAO,EAAE,KAAK,MAAM,CAAC,GAGhE,CAAC,GAAG,IAAI,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,GACxD,CAAC,SAAS,SAAS,OAAO,EAAE,GAC1B,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GACxB,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GAC5B,SAAS,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,GACvC,KAAK,GACP,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,GACvB,CAAC,SAAS,MAAM,GACd,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GACxB;KAAE,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,UAAU,GAAG,KAAK,GAAG,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GAChG;KAAE,CAAC,IAAI,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;CAAC,GAC3C,CAAC,CAAC;AAQlB,KAAK,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC;AAW1H,KAAK,eAAe,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,IACpE,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GACtB,YAAY,CAAC,CAAC,CAAC,SAAS,IAAI,GAC1B,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GAC3D;IACE,GAAG,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;IAC3C,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,MAAM,KAAK,SAAS,OAAO,EAAE,GAAG,KAAK,GAAG,EAAE,CAAC;CACnF,GACC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GACpB;IAAC,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;CAAC,CAAC;AAM1D,KAAK,YAAY,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,SAAS,IAAI,GAAG,KAAK,GAAG,IAAI,CAAC;AAEnG,KAAK,OAAO,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC;AAI1F,KAAK,aAAa,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAAE,GAAG,SAAS,OAAO,EAAE,GAAG,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,GAC5G,GAAG,GACH,aAAa,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;AAKxC,KAAK,UAAU,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAAE,GAAG,SAAS,OAAO,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI;IACxF,GAAG,GAAG;IACN,OAAO;CACR,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,GAC3B,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,OAAO,CAAC,CAAC,GAChC,GAAG,CAAC;AAKR,KAAK,gBAAgB,CACnB,CAAC,EACD,CAAC,SAAS,CAAC,OAAO,CAAC,EACnB,IAAI,SAAS,OAAO,EAAE,EACtB,GAAG,SAAS,OAAO,EAAE,GAAG,EAAE,IACxB,GAAG,CAAC,QAAQ,CAAC,SAAS,IAAI,CAAC,QAAQ,CAAC,GACpC,GAAG,GACH,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,GAAG,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAI1F,KAAK,aAAa,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,YAAY,CAClF,kBAAkB,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,EACvC,aAAa,CAAC,CAAC,CAAC,CACjB,CAAC;AAEF,KAAK,kBAAkB,CACrB,CAAC,EACD,CAAC,SAAS,CAAC,OAAO,CAAC,EACnB,IAAI,SAAS,OAAO,EAAE,EACtB,GAAG,SAAS,OAAO,EAAE,GAAG,EAAE,IACxB,GAAG,CAAC,QAAQ,CAAC,SAAS,IAAI,CAAC,QAAQ,CAAC,GACpC,GAAG,GACH,kBAAkB,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,GAAG,EAAE,cAAc,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAEzG,KAAK,YAAY,CAAC,GAAG,SAAS,OAAO,EAAE,EAAE,IAAI,SAAS,OAAO,EAAE,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,GACvF,GAAG,GACH,GAAG,SAAS,CAAC,OAAO,EAAE,GAAG,MAAM,IAAI,CAAC,GAClC,IAAI,SAAS,CAAC,OAAO,EAAE,GAAG,MAAM,QAAQ,CAAC,GACvC,YAAY,CAAC,IAAI,EAAE,QAAQ,SAAS,OAAO,EAAE,GAAG,QAAQ,GAAG,EAAE,CAAC,GAC9D,GAAG,GACL,EAAE,CAAC;AAQT,MAAM,MAAM,SAAS,CAAC,IAAI,IAAI,cAAc,CAAC,IAAI,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC"}

package/dist/{schema → builders}/static.js.map

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

package/dist/builders/utility.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utility.d.ts","sourceRoot":"","sources":["../../src/builders/utility.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAC,OAAO,EAAC,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,EAAC,eAAe,EAAE,YAAY,EAAC,MAAM,eAAe,CAAC;AAWjE,wBAAgB,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAEjH;AAGD,wBAAgB,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAEpH;AAMD,wBAAgB,YAAY,CAAC,CAAC,EAAE,KAAK,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAExH;AAGD,wBAAgB,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAE1H;AAKD,wBAAgB,UAAU,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,EAC1D,IAAI,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAC9B,EAAE,CAAC,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAClC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAExB;AAKD,wBAAgB,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAC1D,KAAK,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAC/B,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,EACrB,EAAE,CAAC,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GACvC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAE7B;AAGD,wBAAgB,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAC1D,KAAK,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAC/B,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,EACrB,EAAE,CAAC,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GACvC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAE7B;AAMD,wBAAgB,OAAO,CAAC,CAAC,EAAE,CAAC,EAC1B,KAAK,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAC/B,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EACjC,EAAE,CAAC,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAClC,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAExB;AAGD,wBAAgB,OAAO,CAAC,CAAC,EAAE,CAAC,EAC1B,KAAK,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAC/B,SAAS,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EACnC,EAAE,CAAC,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAClC,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAExB;AAQD,wBAAgB,UAAU,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,EAC1D,IAAI,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAC9B,EAAE,CAAC,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAClC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAExB"}

package/dist/builders/utility.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utility.js","sourceRoot":"","sources":["../../src/builders/utility.ts"],"names":[],"mappings":"AAWA,OAAO,EAAC,aAAa,EAAC,MAAM,4BAA4B,CAAC;AAazD,MAAM,UAAU,OAAO,CAAI,KAA+B,EAAE,EAAgC;IAC1F,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAC,CAAC,CAAC;AAC5D,CAAC;AAGD,MAAM,UAAU,QAAQ,CAAI,KAA+B,EAAE,EAAiC;IAC5F,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAC,CAAC,CAAC;AAC7D,CAAC;AAMD,MAAM,UAAU,YAAY,CAAI,KAA+B,EAAE,EAAiC;IAChG,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAC,CAAC,CAAC;AAC7D,CAAC;AAGD,MAAM,UAAU,WAAW,CAAI,EAA4B,EAAE,EAAoC;IAC/F,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,EAAE,EAAC,CAAC,CAAC;AAC7D,CAAC;AAKD,MAAM,UAAU,UAAU,CACxB,IAA8B,EAC9B,EAAmC;IAEnC,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,EAAC,CAAC,CAAC;AAC9D,CAAC;AAKD,MAAM,UAAU,IAAI,CAClB,KAA+B,EAC/B,IAAqB,EACrB,EAAwC;IAExC,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAC,CAAC,CAAC;AAC/D,CAAC;AAGD,MAAM,UAAU,IAAI,CAClB,KAA+B,EAC/B,IAAqB,EACrB,EAAwC;IAExC,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAC,CAAC,CAAC;AAC/D,CAAC;AAMD,MAAM,UAAU,OAAO,CACrB,KAA+B,EAC/B,OAAiC,EACjC,EAAmC;IAEnC,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAC,CAAC,CAAC;AAC/E,CAAC;AAGD,MAAM,UAAU,OAAO,CACrB,KAA+B,EAC/B,SAAmC,EACnC,EAAmC;IAEnC,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAC,CAAC,CAAC;AACvE,CAAC;AAQD,MAAM,UAAU,UAAU,CACxB,IAA8B,EAC9B,EAAmC;IAEnC,OAAO,aAAa,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,EAAC,CAAC,CAAC;AAC9D,CAAC"}

package/dist/cjs/{schema → builders}/compose.d.ts

@@ -1,12 +1,21 @@
 import type { RunType } from '../runtypes/types.ts';
 import type { ExactParams } from '../runtypes/builderTypes.ts';
 import type { InjectRunTypeId, CompTimeArgs } from '../markers.ts';
-import type { InferType, MapTuple, UnionOf, IntersectionOf, TemplatePart, AssembleTemplate, ObjectType, PropModifiers, PropModCarrier, Self, Recursive } from './static.ts';
+import type { FormattedArrayParamsValueFirst, FormattedObjectParamsValueFirst, FormattedArrayFrom, FormattedObjectFrom } from '../formats/structural.ts';
+import type { InferType, UnionOf, IntersectionOf, TemplatePart, AssembleTemplate, ObjectType, PropModifiers, PropModCarrier, Self, Recursive, LabeledTuple, SlotCarrier, TupleFromGroups, LabeledTupleFromGroups, FuncFromParams } from './static.ts';
 export declare function array<T>(item: CompTimeArgs<RunType<T>>, id?: InjectRunTypeId<T[]>): RunType<T[]>;
-export declare function tuple<const T extends readonly RunType[]>(items: CompTimeArgs<T>, id?: InjectRunTypeId<MapTuple<T>>): RunType<MapTuple<T>>;
-export declare function tuple<const T extends readonly RunType[], const O extends readonly RunType[]>(items: CompTimeArgs<T>, optionalItems: CompTimeArgs<O>, id?: InjectRunTypeId<[...MapTuple<T>, ...Partial<MapTuple<O>>]>): RunType<[...MapTuple<T>, ...Partial<MapTuple<O>>]>;
-export declare function tuple<const T extends readonly RunType[], const O extends readonly RunType[], R>(items: CompTimeArgs<T>, optionalItems: CompTimeArgs<O>, rest: CompTimeArgs<RunType<R>>, id?: InjectRunTypeId<[...MapTuple<T>, ...Partial<MapTuple<O>>, ...R[]]>): RunType<[...MapTuple<T>, ...Partial<MapTuple<O>>, ...R[]]>;
-export declare function tuple<const T extends readonly RunType[], R>(items: CompTimeArgs<T>, rest: CompTimeArgs<RunType<R>>, id?: InjectRunTypeId<[...MapTuple<T>, ...R[]]>): RunType<[...MapTuple<T>, ...R[]]>;
+export declare function array<T, const P extends FormattedArrayParamsValueFirst>(item: CompTimeArgs<RunType<T>>, params: CompTimeArgs<ExactParams<P, FormattedArrayParamsValueFirst>>, id?: InjectRunTypeId<FormattedArrayFrom<T[], P>>): RunType<FormattedArrayFrom<T[], P>>;
+export declare function slot<const Label extends string, Value>(label: CompTimeArgs<Label>, value: CompTimeArgs<RunType<Value>>): SlotCarrier<Label, Value>;
+export declare function tuple<const T extends readonly RunType[] = [], const O extends readonly RunType[] = [], RestValue = never>(parts: CompTimeArgs<{
+    readonly required?: T;
+    readonly optional?: O;
+    readonly rest?: RunType<RestValue>;
+}>, id?: InjectRunTypeId<TupleFromGroups<T, O, RestValue>>): RunType<TupleFromGroups<T, O, RestValue>>;
+export declare function tuple<const T extends readonly SlotCarrier<string, unknown>[] = [], const O extends readonly SlotCarrier<string, unknown>[] = [], const RestLabel extends string = never, RestValue = never>(parts: CompTimeArgs<{
+    readonly required?: T;
+    readonly optional?: O;
+    readonly rest?: SlotCarrier<RestLabel, RestValue>;
+}>, id?: InjectRunTypeId<LabeledTupleFromGroups<T, O, RestLabel, RestValue>>): RunType<LabeledTupleFromGroups<T, O, RestLabel, RestValue>>;
 export declare function union<A, B>(members: CompTimeArgs<readonly [RunType<A>, RunType<B>]>, id?: InjectRunTypeId<A | B>): RunType<A | B>;
 export declare function union<A, B, C>(members: CompTimeArgs<readonly [RunType<A>, RunType<B>, RunType<C>]>, id?: InjectRunTypeId<A | B | C>): RunType<A | B | C>;
 export declare function union<A, B, C, D>(members: CompTimeArgs<readonly [RunType<A>, RunType<B>, RunType<C>, RunType<D>]>, id?: InjectRunTypeId<A | B | C | D>): RunType<A | B | C | D>;
@@ -15,18 +24,30 @@ export declare function union<A, B, C, D, E, F>(members: CompTimeArgs<readonly [
 export declare function union<A, B, C, D, E, F, G>(members: CompTimeArgs<readonly [RunType<A>, RunType<B>, RunType<C>, RunType<D>, RunType<E>, RunType<F>, RunType<G>]>, id?: InjectRunTypeId<A | B | C | D | E | F | G>): RunType<A | B | C | D | E | F | G>;
 export declare function union<A, B, C, D, E, F, G, H>(members: CompTimeArgs<readonly [RunType<A>, RunType<B>, RunType<C>, RunType<D>, RunType<E>, RunType<F>, RunType<G>, RunType<H>]>, id?: InjectRunTypeId<A | B | C | D | E | F | G | H>): RunType<A | B | C | D | E | F | G | H>;
 export declare function union<const T extends readonly RunType[]>(members: CompTimeArgs<T>, id?: InjectRunTypeId<UnionOf<T>>): RunType<UnionOf<T>>;
+export declare const anyOf: typeof union;
 export declare function intersection<A, B = unknown, C = unknown, D = unknown>(a: CompTimeArgs<RunType<A>>, b?: CompTimeArgs<RunType<B>>, c?: CompTimeArgs<RunType<C>>, d?: CompTimeArgs<RunType<D>>, id?: InjectRunTypeId<A & B & C & D>): RunType<A & B & C & D>;
 export declare function intersection<const T extends readonly RunType[]>(members: CompTimeArgs<T>, id?: InjectRunTypeId<IntersectionOf<T>>): RunType<IntersectionOf<T>>;
 export declare function record<V>(valueSchema: CompTimeArgs<RunType<V>>, id?: InjectRunTypeId<Record<string, V>>): RunType<Record<string, V>>;
+export declare function record<V, const P extends FormattedObjectParamsValueFirst>(valueSchema: CompTimeArgs<RunType<V>>, params: CompTimeArgs<ExactParams<P, FormattedObjectParamsValueFirst>>, id?: InjectRunTypeId<FormattedObjectFrom<Record<string, V>, P>>): RunType<FormattedObjectFrom<Record<string, V>, P>>;
 export declare function record<K extends string | number, V>(keySchema: CompTimeArgs<RunType<K>>, valueSchema: CompTimeArgs<RunType<V>>, id?: InjectRunTypeId<Record<K, V>>): RunType<Record<K, V>>;
+export declare function record<K extends string | number, V, const P extends FormattedObjectParamsValueFirst>(keySchema: CompTimeArgs<RunType<K>>, valueSchema: CompTimeArgs<RunType<V>>, params: CompTimeArgs<ExactParams<P, FormattedObjectParamsValueFirst>>, id?: InjectRunTypeId<FormattedObjectFrom<Record<K, V>, P>>): RunType<FormattedObjectFrom<Record<K, V>, P>>;
 export declare function map<K, V>(keySchema: CompTimeArgs<RunType<K>>, valueSchema: CompTimeArgs<RunType<V>>, id?: InjectRunTypeId<Map<K, V>>): RunType<Map<K, V>>;
 export declare function set<V>(valueSchema: CompTimeArgs<RunType<V>>, id?: InjectRunTypeId<Set<V>>): RunType<Set<V>>;
 export declare function self(id?: InjectRunTypeId<Self>): RunType<Self>;
 export declare function circular<Body>(body: CompTimeArgs<RunType<Body>>, id?: InjectRunTypeId<Recursive<Body>>): RunType<Recursive<Body>>;
 export declare function promise<V>(valueSchema: CompTimeArgs<RunType<V>>, id?: InjectRunTypeId<Promise<V>>): RunType<Promise<V>>;
-export declare function func<R extends RunType = RunType<void>>(params?: CompTimeArgs<readonly []>, ret?: CompTimeArgs<R>, id?: InjectRunTypeId<() => InferType<R>>): RunType<() => InferType<R>>;
-export declare function func<const P extends readonly RunType[] = [], R extends RunType = RunType<void>>(params?: CompTimeArgs<P>, ret?: CompTimeArgs<R>, id?: InjectRunTypeId<(...args: MapTuple<P>) => InferType<R>>): RunType<(...args: MapTuple<P>) => InferType<R>>;
-export declare function func<T extends readonly unknown[], R extends RunType = RunType<void>>(paramsTuple: CompTimeArgs<RunType<T>>, ret?: CompTimeArgs<R>, id?: InjectRunTypeId<(...args: T) => InferType<R>>): RunType<(...args: T) => InferType<R>>;
+export declare function func<const P extends readonly RunType[] = [], R extends RunType = RunType<void>>(parts?: CompTimeArgs<{
+    readonly params?: P;
+    readonly ret?: R;
+}>, id?: InjectRunTypeId<FuncFromParams<P, InferType<R>>>): RunType<FuncFromParams<P, InferType<R>>>;
+export declare function func<const P extends readonly SlotCarrier<string, unknown>[], R extends RunType = RunType<void>>(parts: CompTimeArgs<{
+    readonly params: P;
+    readonly ret?: R;
+}>, id?: InjectRunTypeId<(...args: LabeledTuple<P>) => InferType<R>>): RunType<(...args: LabeledTuple<P>) => InferType<R>>;
+export declare function func<T extends readonly unknown[], R extends RunType = RunType<void>>(parts: CompTimeArgs<{
+    readonly params: RunType<T>;
+    readonly ret?: R;
+}>, id?: InjectRunTypeId<(...args: T) => InferType<R>>): RunType<(...args: T) => InferType<R>>;
 export declare function callable<Fn, Props>(fn: CompTimeArgs<RunType<Fn>>, iface: CompTimeArgs<RunType<Props>>, id?: InjectRunTypeId<Fn & Props>): RunType<Fn & Props>;
 export declare function templateLiteral<const P extends readonly TemplatePart[]>(parts: CompTimeArgs<P>, id?: InjectRunTypeId<AssembleTemplate<P>>): RunType<AssembleTemplate<P>>;
 export declare function propMod<const M extends PropModifiers, const F>(modifiers: CompTimeArgs<ExactParams<M, PropModifiers>>, field: CompTimeArgs<F>): PropModCarrier<M, F>;
@@ -34,3 +55,4 @@ export declare function optional<const F>(field: CompTimeArgs<F>): PropModCarrie
     optional: true;
 }, F>;
 export declare function object<const C extends Record<string, unknown>>(config: CompTimeArgs<C>, id?: InjectRunTypeId<ObjectType<C>>): RunType<ObjectType<C>>;
+export declare function object<const C extends Record<string, unknown>, const P extends FormattedObjectParamsValueFirst>(config: CompTimeArgs<C>, params: CompTimeArgs<ExactParams<P, FormattedObjectParamsValueFirst>>, id?: InjectRunTypeId<FormattedObjectFrom<ObjectType<C>, P>>): RunType<FormattedObjectFrom<ObjectType<C>, P>>;