@depup/typebox 1.1.23-depup.0 → 1.3.8-depup.0

package/build/type/action/_add_readonly.d.mts

@@ -0,0 +1,11 @@
+import { type TSchema, type TSchemaOptions } from '../types/schema.mjs';
+import { type TDeferred } from '../types/deferred.mjs';
+import { type TAddReadonlyAction } from '../engine/readonly/instantiate_add.mjs';
+/** Creates a deferred AddReadonly action. */
+export type TAddReadonlyDeferred<Type extends TSchema> = (TDeferred<'AddReadonly', [Type]>);
+/** Creates a deferred AddReadonly action. */
+export declare function AddReadonlyDeferred<Type extends TSchema>(type: Type, options?: TSchemaOptions): TAddReadonlyDeferred<Type>;
+/** Applies an AddReadonly action to a type. */
+export type TAddReadonly<Type extends TSchema> = (TAddReadonlyAction<Type>);
+/** Applies an AddReadonly action to a type. */
+export declare function AddReadonly<Type extends TSchema>(type: Type, options?: TSchemaOptions): TAddReadonly<Type>;

package/build/type/action/_add_readonly.mjs

@@ -0,0 +1,11 @@
+// deno-fmt-ignore-file
+import { Deferred } from '../types/deferred.mjs';
+import { AddReadonlyAction } from '../engine/readonly/instantiate_add.mjs';
+/** Creates a deferred AddReadonly action. */
+export function AddReadonlyDeferred(type, options = {}) {
+    return Deferred('AddReadonly', [type], options);
+}
+/** Applies an AddReadonly action to a type. */
+export function AddReadonly(type, options = {}) {
+    return AddReadonlyAction(type, options);
+}

package/build/type/action/_remove_immutable.d.mts

@@ -0,0 +1,11 @@
+import { type TSchema, type TSchemaOptions } from '../types/schema.mjs';
+import { type TDeferred } from '../types/deferred.mjs';
+import { type TRemoveImmutableAction } from '../engine/immutable/instantiate_remove.mjs';
+/** Creates a deferred RemoveImmutable action. */
+export type TRemoveImmutableDeferred<Type extends TSchema> = (TDeferred<'RemoveImmutable', [Type]>);
+/** Creates a deferred RemoveImmutable action. */
+export declare function RemoveImmutableDeferred<Type extends TSchema>(type: Type, options?: TSchemaOptions): TRemoveImmutableDeferred<Type>;
+/** Applies an RemoveImmutable action to a type. */
+export type TRemoveImmutable<Type extends TSchema> = (TRemoveImmutableAction<Type>);
+/** Applies an RemoveImmutable action to a type. */
+export declare function RemoveImmutable<Type extends TSchema>(type: Type, options?: TSchemaOptions): TRemoveImmutable<Type>;

package/build/type/action/_remove_immutable.mjs

@@ -0,0 +1,11 @@
+// deno-fmt-ignore-file
+import { Deferred } from '../types/deferred.mjs';
+import { RemoveImmutableAction } from '../engine/immutable/instantiate_remove.mjs';
+/** Creates a deferred RemoveImmutable action. */
+export function RemoveImmutableDeferred(type, options = {}) {
+    return Deferred('RemoveImmutable', [type], options);
+}
+/** Applies an RemoveImmutable action to a type. */
+export function RemoveImmutable(type, options = {}) {
+    return RemoveImmutableAction(type, options);
+}

package/build/type/action/_remove_optional.d.mts

@@ -0,0 +1,11 @@
+import { type TSchema, type TSchemaOptions } from '../types/schema.mjs';
+import { type TDeferred } from '../types/deferred.mjs';
+import { type TRemoveOptionalAction } from '../engine/optional/instantiate_remove.mjs';
+/** Creates a deferred RemoveOptional action. */
+export type TRemoveOptionalDeferred<Type extends TSchema> = (TDeferred<'RemoveOptional', [Type]>);
+/** Creates a deferred RemoveOptional action. */
+export declare function RemoveOptionalDeferred<Type extends TSchema>(type: Type, options?: TSchemaOptions): TRemoveOptionalDeferred<Type>;
+/** Applies an RemoveOptional action to a type. */
+export type TRemoveOptional<Type extends TSchema> = (TRemoveOptionalAction<Type>);
+/** Applies an RemoveOptional action to a type. */
+export declare function RemoveOptional<Type extends TSchema>(type: Type, options?: TSchemaOptions): TRemoveOptional<Type>;

package/build/type/action/_remove_optional.mjs

@@ -0,0 +1,11 @@
+// deno-fmt-ignore-file
+import { Deferred } from '../types/deferred.mjs';
+import { RemoveOptionalAction } from '../engine/optional/instantiate_remove.mjs';
+/** Creates a deferred RemoveOptional action. */
+export function RemoveOptionalDeferred(type, options = {}) {
+    return Deferred('RemoveOptional', [type], options);
+}
+/** Applies an RemoveOptional action to a type. */
+export function RemoveOptional(type, options = {}) {
+    return RemoveOptionalAction(type, options);
+}

package/build/type/action/_remove_readonly.d.mts

@@ -0,0 +1,11 @@
+import { type TSchema, type TSchemaOptions } from '../types/schema.mjs';
+import { type TDeferred } from '../types/deferred.mjs';
+import { type TRemoveReadonlyAction } from '../engine/readonly/instantiate_remove.mjs';
+/** Creates a deferred RemoveReadonly action. */
+export type TRemoveReadonlyDeferred<Type extends TSchema> = (TDeferred<'RemoveReadonly', [Type]>);
+/** Creates a deferred RemoveReadonly action. */
+export declare function RemoveReadonlyDeferred<Type extends TSchema>(type: Type, options?: TSchemaOptions): TRemoveReadonlyDeferred<Type>;
+/** Applies an RemoveReadonly action to a type. */
+export type TRemoveReadonly<Type extends TSchema> = (TRemoveReadonlyAction<Type>);
+/** Applies an RemoveReadonly action to a type. */
+export declare function RemoveReadonly<Type extends TSchema>(type: Type, options?: TSchemaOptions): TRemoveReadonly<Type>;

package/build/type/action/_remove_readonly.mjs

@@ -0,0 +1,11 @@
+// deno-fmt-ignore-file
+import { Deferred } from '../types/deferred.mjs';
+import { RemoveReadonlyAction } from '../engine/readonly/instantiate_remove.mjs';
+/** Creates a deferred RemoveReadonly action. */
+export function RemoveReadonlyDeferred(type, options = {}) {
+    return Deferred('RemoveReadonly', [type], options);
+}
+/** Applies an RemoveReadonly action to a type. */
+export function RemoveReadonly(type, options = {}) {
+    return RemoveReadonlyAction(type, options);
+}

package/build/type/action/capitalize.d.mts

@@ -1,11 +1,11 @@
 import { type TSchema, type TSchemaOptions } from '../types/schema.mjs';
 import { type TDeferred } from '../types/deferred.mjs';
-import { type TInstantiate } from '../engine/instantiate.mjs';
+import { type TCapitalizeAction } from '../engine/intrinsics/instantiate.mjs';
 /** Creates a deferred Capitalize action. */
 export type TCapitalizeDeferred<Type extends TSchema> = (TDeferred<'Capitalize', [Type]>);
 /** Creates a deferred Capitalize action. */
 export declare function CapitalizeDeferred<Type extends TSchema>(type: Type, options?: TSchemaOptions): TCapitalizeDeferred<Type>;
 /** Applies a Capitalize action to the given type. */
-export type TCapitalize<Type extends TSchema> = (TInstantiate<{}, TCapitalizeDeferred<Type>>);
+export type TCapitalize<Type extends TSchema> = (TCapitalizeAction<Type>);
 /** Applies a Capitalize action to the given type. */
 export declare function Capitalize<Type extends TSchema>(type: Type, options?: TSchemaOptions): TCapitalize<Type>;

package/build/type/action/capitalize.mjs

@@ -1,12 +1,11 @@
-// deno-lint-ignore-file ban-types
 // deno-fmt-ignore-file
 import { Deferred } from '../types/deferred.mjs';
-import { Instantiate } from '../engine/instantiate.mjs';
+import { CapitalizeAction } from '../engine/intrinsics/instantiate.mjs';
 /** Creates a deferred Capitalize action. */
 export function CapitalizeDeferred(type, options = {}) {
     return Deferred('Capitalize', [type], options);
 }
 /** Applies a Capitalize action to the given type. */
 export function Capitalize(type, options = {}) {
-    return Instantiate({}, CapitalizeDeferred(type, options));
+    return CapitalizeAction(type, options);
 }

package/build/type/action/conditional.d.mts

@@ -1,11 +1,12 @@
 import { type TSchema, type TSchemaOptions } from '../types/schema.mjs';
 import { type TDeferred } from '../types/deferred.mjs';
-import { type TInstantiate } from '../engine/instantiate.mjs';
+import { type TConditionalAction } from '../engine/conditional/instantiate.mjs';
+import { type TState } from '../engine/instantiate.mjs';
 /** Creates a deferred Conditional action. */
 export type TConditionalDeferred<Left extends TSchema, Right extends TSchema, True extends TSchema, False extends TSchema> = (TDeferred<'Conditional', [Left, Right, True, False]>);
 /** Creates a deferred Conditional action. */
 export declare function ConditionalDeferred<Left extends TSchema, Right extends TSchema, True extends TSchema, False extends TSchema>(left: Left, right: Right, true_: True, false_: False, options?: TSchemaOptions): TConditionalDeferred<Left, Right, True, False>;
 /** Applies a Conditional action to the given types. */
-export type TConditional<Left extends TSchema, Right extends TSchema, True extends TSchema, False extends TSchema> = (TInstantiate<{}, TConditionalDeferred<Left, Right, True, False>>);
+export type TConditional<Left extends TSchema, Right extends TSchema, True extends TSchema, False extends TSchema> = (TConditionalAction<{}, TState<[], []>, Left, Right, True, False>);
 /** Applies a Conditional action to the given types. */
 export declare function Conditional<Left extends TSchema, Right extends TSchema, True extends TSchema, False extends TSchema>(left: Left, right: Right, true_: True, false_: False, options?: TSchemaOptions): TConditional<Left, Right, True, False>;

package/build/type/action/conditional.mjs

@@ -1,12 +1,13 @@
 // deno-lint-ignore-file ban-types
 // deno-fmt-ignore-file
 import { Deferred } from '../types/deferred.mjs';
-import { Instantiate } from '../engine/instantiate.mjs';
+import { ConditionalAction } from '../engine/conditional/instantiate.mjs';
+import { State } from '../engine/instantiate.mjs';
 /** Creates a deferred Conditional action. */
 export function ConditionalDeferred(left, right, true_, false_, options = {}) {
     return Deferred('Conditional', [left, right, true_, false_], options);
 }
 /** Applies a Conditional action to the given types. */
 export function Conditional(left, right, true_, false_, options = {}) {
-    return Instantiate({}, ConditionalDeferred(left, right, true_, false_, options));
+    return ConditionalAction({}, State([], []), left, right, true_, false_, options);
 }

package/build/type/action/{constructor-parameters.d.mts → constructor_parameters.d.mts}

@@ -1,11 +1,11 @@
 import { type TSchema, type TSchemaOptions } from '../types/schema.mjs';
 import { type TDeferred } from '../types/deferred.mjs';
-import { type TInstantiate } from '../engine/instantiate.mjs';
+import { type TConstructorParametersAction } from '../engine/constructor_parameters/instantiate.mjs';
 /** Creates a deferred ConstructorParameters action. */
 export type TConstructorParametersDeferred<Type extends TSchema> = (TDeferred<'ConstructorParameters', [Type]>);
 /** Creates a deferred ConstructorParameters action. */
 export declare function ConstructorParametersDeferred<Type extends TSchema>(type: Type, options?: TSchemaOptions): TConstructorParametersDeferred<Type>;
 /** Applies a ConstructorParameters action to a type. */
-export type TConstructorParameters<Type extends TSchema> = (TInstantiate<{}, TConstructorParametersDeferred<Type>>);
+export type TConstructorParameters<Type extends TSchema> = (TConstructorParametersAction<Type>);
 /** Applies a ConstructorParameters action to a type. */
 export declare function ConstructorParameters<Type extends TSchema>(type: Type, options?: TSchemaOptions): TConstructorParameters<Type>;

package/build/type/action/{constructor-parameters.mjs → constructor_parameters.mjs}

@@ -1,12 +1,11 @@
-// deno-lint-ignore-file ban-types
 // deno-fmt-ignore-file
 import { Deferred } from '../types/deferred.mjs';
-import { Instantiate } from '../engine/instantiate.mjs';
+import { ConstructorParametersAction } from '../engine/constructor_parameters/instantiate.mjs';
 /** Creates a deferred ConstructorParameters action. */
 export function ConstructorParametersDeferred(type, options = {}) {
     return Deferred('ConstructorParameters', [type], options);
 }
 /** Applies a ConstructorParameters action to a type. */
 export function ConstructorParameters(type, options = {}) {
-    return Instantiate({}, ConstructorParametersDeferred(type, options));
+    return ConstructorParametersAction(type, options);
 }

package/build/type/action/evaluate.d.mts

@@ -1,11 +1,11 @@
 import { type TSchema, type TSchemaOptions } from '../types/schema.mjs';
 import { type TDeferred } from '../types/deferred.mjs';
-import { type TInstantiate } from '../engine/instantiate.mjs';
+import { type TEvaluateAction } from '../engine/evaluate/instantiate.mjs';
 /** Creates a deferred Evaluate action. */
 export type TEvaluateDeferred<Type extends TSchema> = (TDeferred<'Evaluate', [Type]>);
 /** Creates a deferred Evaluate action. */
 export declare function EvaluateDeferred<Type extends TSchema>(type: Type, options?: TSchemaOptions): TEvaluateDeferred<Type>;
 /** Applies an Evaluate action to a type. */
-export type TEvaluate<Type extends TSchema> = (TInstantiate<{}, TEvaluateDeferred<Type>>);
+export type TEvaluate<Type extends TSchema> = (TEvaluateAction<Type>);
 /** Applies an Evaluate action to a type. */
 export declare function Evaluate<Type extends TSchema>(type: Type, options?: TSchemaOptions): TEvaluate<Type>;

package/build/type/action/evaluate.mjs

@@ -1,12 +1,11 @@
-// deno-lint-ignore-file ban-types
 // deno-fmt-ignore-file
 import { Deferred } from '../types/deferred.mjs';
-import { Instantiate } from '../engine/instantiate.mjs';
+import { EvaluateAction } from '../engine/evaluate/instantiate.mjs';
 /** Creates a deferred Evaluate action. */
 export function EvaluateDeferred(type, options = {}) {
     return Deferred('Evaluate', [type], options);
 }
 /** Applies an Evaluate action to a type. */
 export function Evaluate(type, options = {}) {
-    return Instantiate({}, EvaluateDeferred(type, options));
+    return EvaluateAction(type, options);
 }

package/build/type/action/exclude.d.mts

@@ -1,11 +1,11 @@
 import { type TSchema, type TSchemaOptions } from '../types/schema.mjs';
 import { type TDeferred } from '../types/deferred.mjs';
-import { type TInstantiate } from '../engine/instantiate.mjs';
+import { type TExcludeAction } from '../engine/exclude/instantiate.mjs';
 /** Creates a deferred Exclude action. */
 export type TExcludeDeferred<Left extends TSchema, Right extends TSchema> = (TDeferred<'Exclude', [Left, Right]>);
 /** Creates a deferred Exclude action. */
 export declare function ExcludeDeferred<Left extends TSchema, Right extends TSchema>(left: Left, right: Right, options?: TSchemaOptions): TExcludeDeferred<Left, Right>;
 /** Applies a Exclude action using the given types */
-export type TExclude<Left extends TSchema, Right extends TSchema> = (TInstantiate<{}, TExcludeDeferred<Left, Right>>);
+export type TExclude<Left extends TSchema, Right extends TSchema> = (TExcludeAction<Left, Right>);
 /** Applies a Exclude action using the given types */
 export declare function Exclude<Left extends TSchema, Right extends TSchema>(left: Left, right: Right, options?: TSchemaOptions): TExclude<Left, Right>;

package/build/type/action/exclude.mjs

@@ -1,12 +1,11 @@
-// deno-lint-ignore-file ban-types
 // deno-fmt-ignore-file
 import { Deferred } from '../types/deferred.mjs';
-import { Instantiate } from '../engine/instantiate.mjs';
+import { ExcludeAction } from '../engine/exclude/instantiate.mjs';
 /** Creates a deferred Exclude action. */
 export function ExcludeDeferred(left, right, options = {}) {
     return Deferred('Exclude', [left, right], options);
 }
 /** Applies a Exclude action using the given types */
 export function Exclude(left, right, options = {}) {
-    return Instantiate({}, ExcludeDeferred(left, right, options));
+    return ExcludeAction(left, right, options);
 }

package/build/type/action/extract.d.mts

@@ -1,11 +1,11 @@
 import { type TSchema, type TSchemaOptions } from '../types/schema.mjs';
 import { type TDeferred } from '../types/deferred.mjs';
-import { type TInstantiate } from '../engine/instantiate.mjs';
+import { type TExtractAction } from '../engine/extract/instantiate.mjs';
 /** Creates a deferred Extract action. */
 export type TExtractDeferred<Left extends TSchema, Right extends TSchema> = (TDeferred<'Extract', [Left, Right]>);
 /** Creates a deferred Extract action. */
 export declare function ExtractDeferred<Left extends TSchema, Right extends TSchema>(left: Left, right: Right, options?: TSchemaOptions): TExtractDeferred<Left, Right>;
 /** Applies an Extract action using the given types. */
-export type TExtract<Left extends TSchema, Right extends TSchema> = (TInstantiate<{}, TExtractDeferred<Left, Right>>);
+export type TExtract<Left extends TSchema, Right extends TSchema> = (TExtractAction<Left, Right>);
 /** Applies an Extract action using the given types. */
 export declare function Extract<Left extends TSchema, Right extends TSchema>(left: Left, right: Right, options?: TSchemaOptions): TExtract<Left, Right>;

package/build/type/action/extract.mjs

@@ -1,12 +1,11 @@
-// deno-lint-ignore-file ban-types
 // deno-fmt-ignore-file
 import { Deferred } from '../types/deferred.mjs';
-import { Instantiate } from '../engine/instantiate.mjs';
+import { ExtractAction } from '../engine/extract/instantiate.mjs';
 /** Creates a deferred Extract action. */
 export function ExtractDeferred(left, right, options = {}) {
     return Deferred('Extract', [left, right], options);
 }
 /** Applies an Extract action using the given types. */
 export function Extract(left, right, options = {}) {
-    return Instantiate({}, ExtractDeferred(left, right, options));
+    return ExtractAction(left, right, options);
 }

package/build/type/action/index.d.mts

@@ -1,27 +1,30 @@
-export * from './_optional.mjs';
-export * from './_readonly.mjs';
-export * from './awaited.mjs';
+export * from './_add_immutable.mjs';
+export * from './_add_readonly.mjs';
+export * from './_add_optional.mjs';
+export * from './_remove_immutable.mjs';
+export * from './_remove_readonly.mjs';
+export * from './_remove_optional.mjs';
 export * from './capitalize.mjs';
 export * from './conditional.mjs';
-export * from './constructor-parameters.mjs';
+export * from './constructor_parameters.mjs';
 export * from './evaluate.mjs';
 export * from './exclude.mjs';
 export * from './extract.mjs';
 export * from './indexed.mjs';
-export * from './instance-type.mjs';
+export * from './instance_type.mjs';
 export * from './interface.mjs';
 export * from './keyof.mjs';
 export * from './lowercase.mjs';
 export * from './mapped.mjs';
 export * from './module.mjs';
-export * from './non-nullable.mjs';
+export * from './non_nullable.mjs';
 export * from './omit.mjs';
-export * from './options.mjs';
 export * from './parameters.mjs';
 export * from './partial.mjs';
 export * from './pick.mjs';
-export * from './readonly-type.mjs';
+export * from './readonly_object.mjs';
 export * from './required.mjs';
-export * from './return-type.mjs';
+export * from './return_type.mjs';
 export * from './uncapitalize.mjs';
 export * from './uppercase.mjs';
+export * from './with.mjs';

package/build/type/action/index.mjs

@@ -1,27 +1,30 @@
-export * from './_optional.mjs';
-export * from './_readonly.mjs';
-export * from './awaited.mjs';
+export * from './_add_immutable.mjs';
+export * from './_add_readonly.mjs';
+export * from './_add_optional.mjs';
+export * from './_remove_immutable.mjs';
+export * from './_remove_readonly.mjs';
+export * from './_remove_optional.mjs';
 export * from './capitalize.mjs';
 export * from './conditional.mjs';
-export * from './constructor-parameters.mjs';
+export * from './constructor_parameters.mjs';
 export * from './evaluate.mjs';
 export * from './exclude.mjs';
 export * from './extract.mjs';
 export * from './indexed.mjs';
-export * from './instance-type.mjs';
+export * from './instance_type.mjs';
 export * from './interface.mjs';
 export * from './keyof.mjs';
 export * from './lowercase.mjs';
 export * from './mapped.mjs';
 export * from './module.mjs';
-export * from './non-nullable.mjs';
+export * from './non_nullable.mjs';
 export * from './omit.mjs';
-export * from './options.mjs';
 export * from './parameters.mjs';
 export * from './partial.mjs';
 export * from './pick.mjs';
-export * from './readonly-type.mjs';
+export * from './readonly_object.mjs';
 export * from './required.mjs';
-export * from './return-type.mjs';
+export * from './return_type.mjs';
 export * from './uncapitalize.mjs';
 export * from './uppercase.mjs';
+export * from './with.mjs';

package/build/type/action/indexed.d.mts

@@ -1,13 +1,13 @@
 import { type TSchema, type TSchemaOptions } from '../types/schema.mjs';
 import { type TDeferred } from '../types/deferred.mjs';
-import { type TKeysToIndexer } from '../engine/helpers/keys-to-indexer.mjs';
-import { type TInstantiate } from '../engine/instantiate.mjs';
+import { type TKeysToIndexer } from '../engine/helpers/keys_to_indexer.mjs';
+import { type TIndexAction } from '../engine/indexed/instantiate.mjs';
 /** Creates a deferred Index action. */
 export type TIndexDeferred<Type extends TSchema, Indexer extends TSchema> = (TDeferred<'Index', [Type, Indexer]>);
 /** Creates a deferred Index action. */
 export declare function IndexDeferred<Type extends TSchema, Indexer extends TSchema>(type: Type, indexer: Indexer, options?: TSchemaOptions): TIndexDeferred<Type, Indexer>;
 /** Applies a Index action using the given types. */
-export type TIndex<Type extends TSchema, Indexer extends TSchema> = (TInstantiate<{}, TIndexDeferred<Type, Indexer>>);
+export type TIndex<Type extends TSchema, Indexer extends TSchema> = (TIndexAction<Type, Indexer>);
 /** Applies a Index action using the given types. */
 export declare function Index<Type extends TSchema, Indexer extends PropertyKey[]>(type: Type, indexer: readonly [...Indexer], options?: TSchemaOptions): TIndex<Type, TKeysToIndexer<Indexer>>;
 /** Applies a Index action using the given types. */

package/build/type/action/indexed.mjs

@@ -1,9 +1,8 @@
-// deno-lint-ignore-file ban-types
 // deno-fmt-ignore-file
 import { Guard } from '../../guard/index.mjs';
 import { Deferred } from '../types/deferred.mjs';
-import { KeysToIndexer } from '../engine/helpers/keys-to-indexer.mjs';
-import { Instantiate } from '../engine/instantiate.mjs';
+import { KeysToIndexer } from '../engine/helpers/keys_to_indexer.mjs';
+import { IndexAction } from '../engine/indexed/instantiate.mjs';
 /** Creates a deferred Index action. */
 export function IndexDeferred(type, indexer, options = {}) {
     return Deferred('Index', [type, indexer], options);
@@ -11,5 +10,5 @@ export function IndexDeferred(type, indexer, options = {}) {
 /** Applies a Index action using the given types. */
 export function Index(type, indexer_or_keys, options = {}) {
     const indexer = Guard.IsArray(indexer_or_keys) ? KeysToIndexer(indexer_or_keys) : indexer_or_keys;
-    return Instantiate({}, IndexDeferred(type, indexer, options));
+    return IndexAction(type, indexer, options);
 }

package/build/type/action/{instance-type.d.mts → instance_type.d.mts}

@@ -1,11 +1,11 @@
 import { type TSchema, type TSchemaOptions } from '../types/schema.mjs';
 import { type TDeferred } from '../types/deferred.mjs';
-import { type TInstantiate } from '../engine/instantiate.mjs';
+import { type TInstanceTypeAction } from '../engine/instance_type/instantiate.mjs';
 /** Creates a deferred InstanceType action. */
 export type TInstanceTypeDeferred<Type extends TSchema> = (TDeferred<'InstanceType', [Type]>);
 /** Creates a deferred InstanceType action. */
 export declare function InstanceTypeDeferred<Type extends TSchema>(type: Type, options?: TSchemaOptions): TInstanceTypeDeferred<Type>;
 /** Applies a InstanceType action to the given type. */
-export type TInstanceType<Type extends TSchema> = (TInstantiate<{}, TInstanceTypeDeferred<Type>>);
+export type TInstanceType<Type extends TSchema> = (TInstanceTypeAction<Type>);
 /** Applies a InstanceType action to the given type. */
 export declare function InstanceType<Type extends TSchema>(type: Type, options?: TSchemaOptions): TInstanceType<Type>;

package/build/type/action/{instance-type.mjs → instance_type.mjs}

@@ -1,12 +1,11 @@
-// deno-lint-ignore-file ban-types
 // deno-fmt-ignore-file
 import { Deferred } from '../types/deferred.mjs';
-import { Instantiate } from '../engine/instantiate.mjs';
+import { InstanceTypeAction } from '../engine/instance_type/instantiate.mjs';
 /** Creates a deferred InstanceType action. */
 export function InstanceTypeDeferred(type, options = {}) {
     return Deferred('InstanceType', [type], options);
 }
 /** Applies a InstanceType action to the given type. */
 export function InstanceType(type, options = {}) {
-    return Instantiate({}, InstanceTypeDeferred(type, options));
+    return InstanceTypeAction(type, options);
 }

package/build/type/action/interface.d.mts

@@ -1,7 +1,7 @@
 import { type TSchema, type TSchemaOptions } from '../types/schema.mjs';
 import { type TProperties } from '../types/properties.mjs';
 import { type TDeferred } from '../types/deferred.mjs';
-import { type TInstantiate } from '../engine/instantiate.mjs';
+import { type TInterfaceAction } from '../engine/interface/instantiate.mjs';
 /** Creates a deferred Interface action. */
 export type TInterfaceDeferred<Heritage extends TSchema[] = TSchema[], Properties extends TProperties = TProperties> = (TDeferred<'Interface', [Heritage, Properties]>);
 /** Creates a deferred Interface action. */
@@ -9,6 +9,6 @@ export declare function InterfaceDeferred<Heritage extends TSchema[], Properties
 /** Returns true if this value is a deferred Interface action. */
 export declare function IsInterfaceDeferred(value: unknown): value is TInterfaceDeferred;
 /** Creates an Interface using the given heritage and properties. */
-export type TInterface<Heritage extends TSchema[], Properties extends TProperties> = (TInstantiate<{}, TInterfaceDeferred<Heritage, Properties>>);
+export type TInterface<Heritage extends TSchema[], Properties extends TProperties> = (TInterfaceAction<Heritage, Properties>);
 /** Creates an Interface using the given heritage and properties. */
 export declare function Interface<Heritage extends TSchema[], Properties extends TProperties>(heritage: [...Heritage], properties: Properties, options?: TSchemaOptions): TInterface<Heritage, Properties>;

package/build/type/action/interface.mjs

@@ -1,13 +1,15 @@
-// deno-lint-ignore-file ban-types
 // deno-fmt-ignore-file
 import { Guard } from '../../guard/index.mjs';
 import { IsSchema } from '../types/schema.mjs';
 import { Deferred } from '../types/deferred.mjs';
-import { Instantiate } from '../engine/instantiate.mjs';
+import { InterfaceAction } from '../engine/interface/instantiate.mjs';
 /** Creates a deferred Interface action. */
 export function InterfaceDeferred(heritage, properties, options = {}) {
     return Deferred('Interface', [heritage, properties], options);
 }
+// ------------------------------------------------------------------
+// Guard
+// ------------------------------------------------------------------
 /** Returns true if this value is a deferred Interface action. */
 export function IsInterfaceDeferred(value) {
     return IsSchema(value)
@@ -16,5 +18,5 @@ export function IsInterfaceDeferred(value) {
 }
 /** Creates an Interface using the given heritage and properties. */
 export function Interface(heritage, properties, options = {}) {
-    return Instantiate({}, InterfaceDeferred(heritage, properties, options));
+    return InterfaceAction(heritage, properties, options);
 }

package/build/type/action/keyof.d.mts

@@ -1,11 +1,11 @@
 import { type TSchema, type TSchemaOptions } from '../types/schema.mjs';
 import { type TDeferred } from '../types/deferred.mjs';
-import { type TInstantiate } from '../engine/instantiate.mjs';
+import { type TKeyOfAction } from '../engine/keyof/instantiate.mjs';
 /** Creates a deferred KeyOf action. */
 export type TKeyOfDeferred<Type extends TSchema> = (TDeferred<'KeyOf', [Type]>);
 /** Creates a deferred KeyOf action. */
 export declare function KeyOfDeferred<Type extends TSchema>(type: Type, options?: TSchemaOptions): TKeyOfDeferred<Type>;
 /** Applies a KeyOf action to the given type. */
-export type TKeyOf<Type extends TSchema> = (TInstantiate<{}, TKeyOfDeferred<Type>>);
+export type TKeyOf<Type extends TSchema> = (TKeyOfAction<Type>);
 /** Applies a KeyOf action to the given type. */
 export declare function KeyOf<Type extends TSchema>(type: Type, options?: TSchemaOptions): TKeyOf<Type>;

package/build/type/action/keyof.mjs

@@ -1,12 +1,11 @@
-// deno-lint-ignore-file ban-types
 // deno-fmt-ignore-file
 import { Deferred } from '../types/deferred.mjs';
-import { Instantiate } from '../engine/instantiate.mjs';
+import { KeyOfAction } from '../engine/keyof/instantiate.mjs';
 /** Creates a deferred KeyOf action. */
 export function KeyOfDeferred(type, options = {}) {
     return Deferred('KeyOf', [type], options);
 }
 /** Applies a KeyOf action to the given type. */
 export function KeyOf(type, options = {}) {
-    return Instantiate({}, KeyOfDeferred(type, options));
+    return KeyOfAction(type, options);
 }

package/build/type/action/lowercase.d.mts

@@ -1,11 +1,11 @@
 import { type TSchema, type TSchemaOptions } from '../types/schema.mjs';
 import { type TDeferred } from '../types/deferred.mjs';
-import { type TInstantiate } from '../engine/instantiate.mjs';
+import { type TLowercaseAction } from '../engine/intrinsics/instantiate.mjs';
 /** Creates a deferred Lowercase action. */
 export type TLowercaseDeferred<Type extends TSchema> = (TDeferred<'Lowercase', [Type]>);
 /** Creates a deferred Lowercase action. */
 export declare function LowercaseDeferred<Type extends TSchema>(type: Type, options?: TSchemaOptions): TLowercaseDeferred<Type>;
 /** Applies a Lowercase action to the given type. */
-export type TLowercase<Type extends TSchema> = (TInstantiate<{}, TLowercaseDeferred<Type>>);
+export type TLowercase<Type extends TSchema> = (TLowercaseAction<Type>);
 /** Applies a Lowercase action to the given type. */
 export declare function Lowercase<Type extends TSchema>(type: Type, options?: TSchemaOptions): TLowercase<Type>;

package/build/type/action/lowercase.mjs

@@ -1,12 +1,11 @@
-// deno-lint-ignore-file ban-types
 // deno-fmt-ignore-file
 import { Deferred } from '../types/deferred.mjs';
-import { Instantiate } from '../engine/instantiate.mjs';
+import { LowercaseAction } from '../engine/intrinsics/instantiate.mjs';
 /** Creates a deferred Lowercase action. */
 export function LowercaseDeferred(type, options = {}) {
     return Deferred('Lowercase', [type], options);
 }
 /** Applies a Lowercase action to the given type. */
 export function Lowercase(type, options = {}) {
-    return Instantiate({}, LowercaseDeferred(type, options));
+    return LowercaseAction(type, options);
 }

package/build/type/action/mapped.d.mts

@@ -1,12 +1,13 @@
 import { type TSchema, type TSchemaOptions } from '../types/schema.mjs';
 import { type TIdentifier } from '../types/identifier.mjs';
 import { type TDeferred } from '../types/deferred.mjs';
-import { type TInstantiate } from '../engine/instantiate.mjs';
+import { type TMappedAction } from '../engine/mapped/instantiate.mjs';
+import { type TState } from '../engine/instantiate.mjs';
 /** Creates a deferred Mapped action. */
 export type TMappedDeferred<Identifier extends TIdentifier, Type extends TSchema, As extends TSchema, Property extends TSchema> = (TDeferred<'Mapped', [Identifier, Type, As, Property]>);
 /** Creates a deferred Mapped action. */
 export declare function MappedDeferred<Identifier extends TIdentifier, Type extends TSchema, As extends TSchema, Property extends TSchema>(identifier: Identifier, type: Type, as: As, property: Property, options?: TSchemaOptions): TMappedDeferred<Identifier, Type, As, Property>;
 /** Applies a Mapped action using the given types. */
-export type TMapped<Identifier extends TIdentifier, Type extends TSchema, As extends TSchema, Property extends TSchema> = (TInstantiate<{}, TMappedDeferred<Identifier, Type, As, Property>>);
+export type TMapped<Identifier extends TIdentifier, Type extends TSchema, As extends TSchema, Property extends TSchema> = (TMappedAction<{}, TState<[], []>, Identifier, Type, As, Property>);
 /** Applies a Mapped action using the given types. */
 export declare function Mapped<Identifier extends TIdentifier, Type extends TSchema, As extends TSchema, Property extends TSchema>(identifier: Identifier, type: Type, as: As, property: Property, options?: TSchemaOptions): TMapped<Identifier, Type, As, Property>;

package/build/type/action/mapped.mjs

@@ -1,12 +1,13 @@
 // deno-lint-ignore-file ban-types
 // deno-fmt-ignore-file
 import { Deferred } from '../types/deferred.mjs';
-import { Instantiate } from '../engine/instantiate.mjs';
+import { MappedAction } from '../engine/mapped/instantiate.mjs';
+import { State } from '../engine/instantiate.mjs';
 /** Creates a deferred Mapped action. */
 export function MappedDeferred(identifier, type, as, property, options = {}) {
     return Deferred('Mapped', [identifier, type, as, property], options);
 }
 /** Applies a Mapped action using the given types. */
 export function Mapped(identifier, type, as, property, options = {}) {
-    return Instantiate({}, MappedDeferred(identifier, type, as, property, options));
+    return MappedAction({}, State([], []), identifier, type, as, property, options);
 }

package/build/type/action/module.d.mts

@@ -1,12 +1,13 @@
 import { type TSchemaOptions } from '../types/schema.mjs';
 import { type TProperties } from '../types/properties.mjs';
 import { type TDeferred } from '../types/deferred.mjs';
-import { type TInstantiate } from '../engine/instantiate.mjs';
+import { type TState } from '../engine/instantiate.mjs';
+import { type TModuleInstantiate } from '../engine/module/instantiate.mjs';
 /** Creates a deferred Module action. */
-export type TModuleDeferred<Context extends TProperties> = (TDeferred<'Module', [Context]>);
+export type TModuleDeferred<Declarations extends TProperties> = (TDeferred<'Module', [Declarations]>);
 /** Creates a deferred Module action. */
-export declare function ModuleDeferred<Context extends TProperties>(context: Context, options?: TSchemaOptions): TModuleDeferred<Context>;
-/** Applies a Module transformation action to the embedded property types. */
-export type TModule<Context extends TProperties> = (TInstantiate<{}, TModuleDeferred<Context>>);
-/** Applies a Module transformation action to the embedded property types. */
-export declare function Module<Context extends TProperties>(context: Context, options?: TSchemaOptions): TModule<Context>;
+export declare function ModuleDeferred<Declarations extends TProperties>(declarations: Declarations, options?: TSchemaOptions): TModuleDeferred<Declarations>;
+/** Creates a Module with the given declarations */
+export type TModule<Declarations extends TProperties> = (TModuleInstantiate<{}, TState<[], []>, Declarations>);
+/** Creates a Module with the given declarations */
+export declare function Module<Declarations extends TProperties>(declarations: Declarations, options?: TSchemaOptions): TModule<Declarations>;