@duplojs/lang 0.0.1-beta.2 → 0.0.1-beta.3

package/dist/dataStructure/constraint/identifier.d.ts

@@ -1,5 +1,7 @@
 import { Constraint } from './base';
+import { Constraints } from './types';
+import * as DKind from '../../kind';
 export declare const constraintIdentifier: {
-    <GenericKindHandler extends import('../../kind').GetHandler<import('..').EmailConstraint> | import('../../kind').GetHandler<import('..').EvenConstraint> | import('../../kind').GetHandler<import('..').IntegerConstraint> | import('../../kind').GetHandler<import('..').NegativeConstraint> | import('../../kind').GetHandler<import('..').NotEmptyConstraint> | import('../../kind').GetHandler<import('..').NotZeroConstraint> | import('../../kind').GetHandler<import('..').OddConstraint> | import('../../kind').GetHandler<import('..').PositiveConstraint> | import('../../kind').GetHandler<import('..').SafeConstraint> | import('../../kind').GetHandler<import('..').StrictNegativeConstraint> | import('../../kind').GetHandler<import('..').StrictPositiveConstraint> | import('../../kind').GetHandler<import('..').UrlConstraint> | import('../../kind').GetHandler<import('..').UuidConstraint> | import('../../kind').GetHandler<import('..').AllowedCharactersConstraint<import('../../string').CharactersRange>> | import('../../kind').GetHandler<import('..').ArrayLengthEqualConstraint<number>> | import('../../kind').GetHandler<import('..').BetweenThanConstraint<number, number>> | import('../../kind').GetHandler<import('..').BetweenThanOrEqualConstraint<number, number>> | import('../../kind').GetHandler<import('..').GreaterThanConstraint<number>> | import('../../kind').GetHandler<import('..').GreaterThanOrEqualConstraint<number>> | import('../../kind').GetHandler<import('..').LessThanConstraint<number>> | import('../../kind').GetHandler<import('..').LessThanOrEqualConstraint<number>> | import('../../kind').GetHandler<import('..').MaxCharactersConstraint<number>> | import('../../kind').GetHandler<import('..').MaxElementsConstraint<number>> | import('../../kind').GetHandler<import('..').MinElementsConstraint<number>> | import('../../kind').GetHandler<import('..').MultipleOfConstraint<number>> | import('../../kind').GetHandler<import('..').StringLengthEqualConstraint<number>> | import('../../kind').GetHandler<import('..').MinCharactersConstraint<number>>, GenericInput extends unknown, GenericGroupedKind extends import('../..').UnionToIntersection<GenericKindHandler extends import('../../kind').Handler<import('../../kind').Definition<string, unknown>> ? import('../../kind').Kind<GenericKindHandler, GenericKindHandler["definition"]["value"]> : never>>(kind: GenericKindHandler | GenericKindHandler[]): (input: GenericInput) => input is (import('../..').UnionContain<GenericInput, Constraint<unknown, unknown, import('..').ConstraintDefinition>> extends true ? Extract<import('..').EmailConstraint, GenericGroupedKind> | Extract<import('..').EvenConstraint, GenericGroupedKind> | Extract<import('..').IntegerConstraint, GenericGroupedKind> | Extract<import('..').NegativeConstraint, GenericGroupedKind> | Extract<import('..').NotEmptyConstraint, GenericGroupedKind> | Extract<import('..').NotZeroConstraint, GenericGroupedKind> | Extract<import('..').OddConstraint, GenericGroupedKind> | Extract<import('..').PositiveConstraint, GenericGroupedKind> | Extract<import('..').SafeConstraint, GenericGroupedKind> | Extract<import('..').StrictNegativeConstraint, GenericGroupedKind> | Extract<import('..').StrictPositiveConstraint, GenericGroupedKind> | Extract<import('..').UrlConstraint, GenericGroupedKind> | Extract<import('..').UuidConstraint, GenericGroupedKind> | Extract<import('..').AllowedCharactersConstraint<import('../../string').CharactersRange>, GenericGroupedKind> | Extract<import('..').ArrayLengthEqualConstraint<number>, GenericGroupedKind> | Extract<import('..').BetweenThanConstraint<number, number>, GenericGroupedKind> | Extract<import('..').BetweenThanOrEqualConstraint<number, number>, GenericGroupedKind> | Extract<import('..').GreaterThanConstraint<number>, GenericGroupedKind> | Extract<import('..').GreaterThanOrEqualConstraint<number>, GenericGroupedKind> | Extract<import('..').LessThanConstraint<number>, GenericGroupedKind> | Extract<import('..').LessThanOrEqualConstraint<number>, GenericGroupedKind> | Extract<import('..').MaxCharactersConstraint<number>, GenericGroupedKind> | Extract<import('..').MaxElementsConstraint<number>, GenericGroupedKind> | Extract<import('..').MinElementsConstraint<number>, GenericGroupedKind> | Extract<import('..').MultipleOfConstraint<number>, GenericGroupedKind> | Extract<import('..').StringLengthEqualConstraint<number>, GenericGroupedKind> | Extract<import('..').MinCharactersConstraint<number>, GenericGroupedKind> : never) | Extract<GenericInput, GenericGroupedKind>;
-    <GenericKindHandler extends import('../../kind').GetHandler<import('..').EmailConstraint> | import('../../kind').GetHandler<import('..').EvenConstraint> | import('../../kind').GetHandler<import('..').IntegerConstraint> | import('../../kind').GetHandler<import('..').NegativeConstraint> | import('../../kind').GetHandler<import('..').NotEmptyConstraint> | import('../../kind').GetHandler<import('..').NotZeroConstraint> | import('../../kind').GetHandler<import('..').OddConstraint> | import('../../kind').GetHandler<import('..').PositiveConstraint> | import('../../kind').GetHandler<import('..').SafeConstraint> | import('../../kind').GetHandler<import('..').StrictNegativeConstraint> | import('../../kind').GetHandler<import('..').StrictPositiveConstraint> | import('../../kind').GetHandler<import('..').UrlConstraint> | import('../../kind').GetHandler<import('..').UuidConstraint> | import('../../kind').GetHandler<import('..').AllowedCharactersConstraint<import('../../string').CharactersRange>> | import('../../kind').GetHandler<import('..').ArrayLengthEqualConstraint<number>> | import('../../kind').GetHandler<import('..').BetweenThanConstraint<number, number>> | import('../../kind').GetHandler<import('..').BetweenThanOrEqualConstraint<number, number>> | import('../../kind').GetHandler<import('..').GreaterThanConstraint<number>> | import('../../kind').GetHandler<import('..').GreaterThanOrEqualConstraint<number>> | import('../../kind').GetHandler<import('..').LessThanConstraint<number>> | import('../../kind').GetHandler<import('..').LessThanOrEqualConstraint<number>> | import('../../kind').GetHandler<import('..').MaxCharactersConstraint<number>> | import('../../kind').GetHandler<import('..').MaxElementsConstraint<number>> | import('../../kind').GetHandler<import('..').MinElementsConstraint<number>> | import('../../kind').GetHandler<import('..').MultipleOfConstraint<number>> | import('../../kind').GetHandler<import('..').StringLengthEqualConstraint<number>> | import('../../kind').GetHandler<import('..').MinCharactersConstraint<number>>, GenericInput extends unknown, GenericGroupedKind extends import('../..').UnionToIntersection<GenericKindHandler extends import('../../kind').Handler<import('../../kind').Definition<string, unknown>> ? import('../../kind').Kind<GenericKindHandler, GenericKindHandler["definition"]["value"]> : never>>(input: GenericInput, kind: GenericKindHandler | GenericKindHandler[]): input is (import('../..').UnionContain<GenericInput, Constraint<unknown, unknown, import('..').ConstraintDefinition>> extends true ? Extract<import('..').EmailConstraint, GenericGroupedKind> | Extract<import('..').EvenConstraint, GenericGroupedKind> | Extract<import('..').IntegerConstraint, GenericGroupedKind> | Extract<import('..').NegativeConstraint, GenericGroupedKind> | Extract<import('..').NotEmptyConstraint, GenericGroupedKind> | Extract<import('..').NotZeroConstraint, GenericGroupedKind> | Extract<import('..').OddConstraint, GenericGroupedKind> | Extract<import('..').PositiveConstraint, GenericGroupedKind> | Extract<import('..').SafeConstraint, GenericGroupedKind> | Extract<import('..').StrictNegativeConstraint, GenericGroupedKind> | Extract<import('..').StrictPositiveConstraint, GenericGroupedKind> | Extract<import('..').UrlConstraint, GenericGroupedKind> | Extract<import('..').UuidConstraint, GenericGroupedKind> | Extract<import('..').AllowedCharactersConstraint<import('../../string').CharactersRange>, GenericGroupedKind> | Extract<import('..').ArrayLengthEqualConstraint<number>, GenericGroupedKind> | Extract<import('..').BetweenThanConstraint<number, number>, GenericGroupedKind> | Extract<import('..').BetweenThanOrEqualConstraint<number, number>, GenericGroupedKind> | Extract<import('..').GreaterThanConstraint<number>, GenericGroupedKind> | Extract<import('..').GreaterThanOrEqualConstraint<number>, GenericGroupedKind> | Extract<import('..').LessThanConstraint<number>, GenericGroupedKind> | Extract<import('..').LessThanOrEqualConstraint<number>, GenericGroupedKind> | Extract<import('..').MaxCharactersConstraint<number>, GenericGroupedKind> | Extract<import('..').MaxElementsConstraint<number>, GenericGroupedKind> | Extract<import('..').MinElementsConstraint<number>, GenericGroupedKind> | Extract<import('..').MultipleOfConstraint<number>, GenericGroupedKind> | Extract<import('..').StringLengthEqualConstraint<number>, GenericGroupedKind> | Extract<import('..').MinCharactersConstraint<number>, GenericGroupedKind> : never) | Extract<GenericInput, GenericGroupedKind>;
+    <GenericKindHandler extends DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/allowed-characters-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/array-length-equal-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/between-than-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/between-than-or-equal-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/email-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/even-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/greater-than-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/greater-than-or-equal-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/integer-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/less-than-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/less-than-or-equal-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/max-characters-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/max-elements-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/min-characters-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/min-elements-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/multiple-of-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/negative-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/not-empty-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/not-zero-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/odd-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/positive-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/refine-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/safe-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/strict-negative-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/strict-positive-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/string-length-equal-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/trimmed-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/url-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/uuid-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/regex-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", string & import('../../string').Email>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').Even>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').Integer>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').Negative>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", string & import('../../string').NotEmpty>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').NotZero>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').Odd>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').Positive>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').Safe>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').StrictNegative>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').StrictPositive>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", string & import('../../string').Trimmed>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", string & import('../../string').Url>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", string & import('../../string').Uuid>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", any>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", string & import('../../string').AllowedCharacters<"a-z"> & import('../../string').AllowedCharacters<"A-Z"> & import('../../string').AllowedCharacters<"A-z"> & import('../../string').AllowedCharacters<"0-9">>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", string & import('../../string').MinCharacters<number>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", string & import('../../string').MaxCharacters<number>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", string & import('../../string').LengthEqual<number>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", readonly unknown[] & import('../../array').MinElements<number>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", readonly unknown[] & import('../../array').MaxElements<number>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", readonly unknown[] & import('../../array').LengthEqual<number>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').MultipleOf<number>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').GreaterThan<number> & import('../../number').LessThan<number>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').GreaterThanOrEqual<number> & import('../../number').LessThanOrEqual<number>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').GreaterThan<number>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').GreaterThanOrEqual<number>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').LessThan<number>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').LessThanOrEqual<number>>>, GenericInput extends unknown, GenericGroupedKind extends GenericKindHandler extends DKind.Handler<DKind.Definition<string, unknown>> ? DKind.Kind<GenericKindHandler, GenericKindHandler["definition"]["value"]> : never>(kind: GenericKindHandler | GenericKindHandler[]): (input: GenericInput) => input is (GenericInput extends Constraint<unknown, unknown, import('..').ConstraintDefinition> ? (import('..').EmailConstraint extends infer T ? T extends import('..').EmailConstraint ? T extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').EvenConstraint extends infer T_1 ? T_1 extends import('..').EvenConstraint ? T_1 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').IntegerConstraint extends infer T_2 ? T_2 extends import('..').IntegerConstraint ? T_2 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').NegativeConstraint extends infer T_3 ? T_3 extends import('..').NegativeConstraint ? T_3 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').NotEmptyConstraint extends infer T_4 ? T_4 extends import('..').NotEmptyConstraint ? T_4 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').NotZeroConstraint extends infer T_5 ? T_5 extends import('..').NotZeroConstraint ? T_5 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').OddConstraint extends infer T_6 ? T_6 extends import('..').OddConstraint ? T_6 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').PositiveConstraint extends infer T_7 ? T_7 extends import('..').PositiveConstraint ? T_7 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').SafeConstraint extends infer T_8 ? T_8 extends import('..').SafeConstraint ? T_8 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').StrictNegativeConstraint extends infer T_9 ? T_9 extends import('..').StrictNegativeConstraint ? T_9 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').StrictPositiveConstraint extends infer T_10 ? T_10 extends import('..').StrictPositiveConstraint ? T_10 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').TrimmedConstraint extends infer T_11 ? T_11 extends import('..').TrimmedConstraint ? T_11 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').UrlConstraint extends infer T_12 ? T_12 extends import('..').UrlConstraint ? T_12 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').UuidConstraint extends infer T_13 ? T_13 extends import('..').UuidConstraint ? T_13 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').RegexConstraint extends infer T_14 ? T_14 extends import('..').RegexConstraint ? T_14 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').AllowedCharactersConstraint<import('../../string').CharactersRange> extends infer T_15 ? T_15 extends import('..').AllowedCharactersConstraint<import('../../string').CharactersRange> ? T_15 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').MinCharactersConstraint<number> extends infer T_16 ? T_16 extends import('..').MinCharactersConstraint<number> ? T_16 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').MaxCharactersConstraint<number> extends infer T_17 ? T_17 extends import('..').MaxCharactersConstraint<number> ? T_17 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').StringLengthEqualConstraint<number> extends infer T_18 ? T_18 extends import('..').StringLengthEqualConstraint<number> ? T_18 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').MinElementsConstraint<number> extends infer T_19 ? T_19 extends import('..').MinElementsConstraint<number> ? T_19 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').MaxElementsConstraint<number> extends infer T_20 ? T_20 extends import('..').MaxElementsConstraint<number> ? T_20 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').ArrayLengthEqualConstraint<number> extends infer T_21 ? T_21 extends import('..').ArrayLengthEqualConstraint<number> ? T_21 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').MultipleOfConstraint<number> extends infer T_22 ? T_22 extends import('..').MultipleOfConstraint<number> ? T_22 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').BetweenThanConstraint<number, number> extends infer T_23 ? T_23 extends import('..').BetweenThanConstraint<number, number> ? T_23 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').BetweenThanOrEqualConstraint<number, number> extends infer T_24 ? T_24 extends import('..').BetweenThanOrEqualConstraint<number, number> ? T_24 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').GreaterThanConstraint<number> extends infer T_25 ? T_25 extends import('..').GreaterThanConstraint<number> ? T_25 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').GreaterThanOrEqualConstraint<number> extends infer T_26 ? T_26 extends import('..').GreaterThanOrEqualConstraint<number> ? T_26 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').LessThanConstraint<number> extends infer T_27 ? T_27 extends import('..').LessThanConstraint<number> ? T_27 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').LessThanOrEqualConstraint<number> extends infer T_28 ? T_28 extends import('..').LessThanOrEqualConstraint<number> ? T_28 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').RefineConstraint<unknown, unknown> extends infer T_29 ? T_29 extends import('..').RefineConstraint<unknown, unknown> ? T_29 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) : never) | Extract<GenericInput, GenericGroupedKind>;
+    <GenericKindHandler extends DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/allowed-characters-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/array-length-equal-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/between-than-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/between-than-or-equal-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/email-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/even-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/greater-than-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/greater-than-or-equal-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/integer-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/less-than-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/less-than-or-equal-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/max-characters-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/max-elements-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/min-characters-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/min-elements-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/multiple-of-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/negative-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/not-empty-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/not-zero-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/odd-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/positive-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/refine-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/safe-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/strict-negative-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/strict-positive-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/string-length-equal-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/trimmed-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/url-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/uuid-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/regex-constraint", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", string & import('../../string').Email>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').Even>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').Integer>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').Negative>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", string & import('../../string').NotEmpty>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').NotZero>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').Odd>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').Positive>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').Safe>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').StrictNegative>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').StrictPositive>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", string & import('../../string').Trimmed>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", string & import('../../string').Url>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", string & import('../../string').Uuid>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", any>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", string & import('../../string').AllowedCharacters<"a-z"> & import('../../string').AllowedCharacters<"A-Z"> & import('../../string').AllowedCharacters<"A-z"> & import('../../string').AllowedCharacters<"0-9">>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", string & import('../../string').MinCharacters<number>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", string & import('../../string').MaxCharacters<number>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", string & import('../../string').LengthEqual<number>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", readonly unknown[] & import('../../array').MinElements<number>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", readonly unknown[] & import('../../array').MaxElements<number>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", readonly unknown[] & import('../../array').LengthEqual<number>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').MultipleOf<number>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').GreaterThan<number> & import('../../number').LessThan<number>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').GreaterThanOrEqual<number> & import('../../number').LessThanOrEqual<number>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').GreaterThan<number>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').GreaterThanOrEqual<number>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').LessThan<number>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/constraint", number & import('../../number').LessThanOrEqual<number>>>, GenericInput extends unknown, GenericGroupedKind extends GenericKindHandler extends DKind.Handler<DKind.Definition<string, unknown>> ? DKind.Kind<GenericKindHandler, GenericKindHandler["definition"]["value"]> : never>(input: GenericInput, kind: GenericKindHandler | GenericKindHandler[]): input is (GenericInput extends Constraint<unknown, unknown, import('..').ConstraintDefinition> ? (import('..').EmailConstraint extends infer T ? T extends import('..').EmailConstraint ? T extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').EvenConstraint extends infer T_1 ? T_1 extends import('..').EvenConstraint ? T_1 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').IntegerConstraint extends infer T_2 ? T_2 extends import('..').IntegerConstraint ? T_2 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').NegativeConstraint extends infer T_3 ? T_3 extends import('..').NegativeConstraint ? T_3 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').NotEmptyConstraint extends infer T_4 ? T_4 extends import('..').NotEmptyConstraint ? T_4 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').NotZeroConstraint extends infer T_5 ? T_5 extends import('..').NotZeroConstraint ? T_5 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').OddConstraint extends infer T_6 ? T_6 extends import('..').OddConstraint ? T_6 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').PositiveConstraint extends infer T_7 ? T_7 extends import('..').PositiveConstraint ? T_7 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').SafeConstraint extends infer T_8 ? T_8 extends import('..').SafeConstraint ? T_8 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').StrictNegativeConstraint extends infer T_9 ? T_9 extends import('..').StrictNegativeConstraint ? T_9 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').StrictPositiveConstraint extends infer T_10 ? T_10 extends import('..').StrictPositiveConstraint ? T_10 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').TrimmedConstraint extends infer T_11 ? T_11 extends import('..').TrimmedConstraint ? T_11 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').UrlConstraint extends infer T_12 ? T_12 extends import('..').UrlConstraint ? T_12 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').UuidConstraint extends infer T_13 ? T_13 extends import('..').UuidConstraint ? T_13 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').RegexConstraint extends infer T_14 ? T_14 extends import('..').RegexConstraint ? T_14 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').AllowedCharactersConstraint<import('../../string').CharactersRange> extends infer T_15 ? T_15 extends import('..').AllowedCharactersConstraint<import('../../string').CharactersRange> ? T_15 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').MinCharactersConstraint<number> extends infer T_16 ? T_16 extends import('..').MinCharactersConstraint<number> ? T_16 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').MaxCharactersConstraint<number> extends infer T_17 ? T_17 extends import('..').MaxCharactersConstraint<number> ? T_17 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').StringLengthEqualConstraint<number> extends infer T_18 ? T_18 extends import('..').StringLengthEqualConstraint<number> ? T_18 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').MinElementsConstraint<number> extends infer T_19 ? T_19 extends import('..').MinElementsConstraint<number> ? T_19 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').MaxElementsConstraint<number> extends infer T_20 ? T_20 extends import('..').MaxElementsConstraint<number> ? T_20 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').ArrayLengthEqualConstraint<number> extends infer T_21 ? T_21 extends import('..').ArrayLengthEqualConstraint<number> ? T_21 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').MultipleOfConstraint<number> extends infer T_22 ? T_22 extends import('..').MultipleOfConstraint<number> ? T_22 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').BetweenThanConstraint<number, number> extends infer T_23 ? T_23 extends import('..').BetweenThanConstraint<number, number> ? T_23 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').BetweenThanOrEqualConstraint<number, number> extends infer T_24 ? T_24 extends import('..').BetweenThanOrEqualConstraint<number, number> ? T_24 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').GreaterThanConstraint<number> extends infer T_25 ? T_25 extends import('..').GreaterThanConstraint<number> ? T_25 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').GreaterThanOrEqualConstraint<number> extends infer T_26 ? T_26 extends import('..').GreaterThanOrEqualConstraint<number> ? T_26 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').LessThanConstraint<number> extends infer T_27 ? T_27 extends import('..').LessThanConstraint<number> ? T_27 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').LessThanOrEqualConstraint<number> extends infer T_28 ? T_28 extends import('..').LessThanOrEqualConstraint<number> ? T_28 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) | (import('..').RefineConstraint<unknown, unknown> extends infer T_29 ? T_29 extends import('..').RefineConstraint<unknown, unknown> ? T_29 extends GenericInput ? GenericInput & Constraints extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Constraints : never : never : never : never) : never) | Extract<GenericInput, GenericGroupedKind>;
 };

package/dist/dataStructure/constraint/types/constraints.d.ts

@@ -2,31 +2,34 @@ import { Constraint } from '../base';
 import type * as DDefaults from "../defaults";
 export interface ConstraintsStore {
     allowedCharacters: DDefaults.AllowedCharactersConstraint;
-    arrayLengthEqual: DDefaults.ArrayLengthEqualConstraint;
-    betweenThan: DDefaults.BetweenThanConstraint;
-    betweenThanOrEqual: DDefaults.BetweenThanOrEqualConstraint;
     email: DDefaults.EmailConstraint;
-    even: DDefaults.EvenConstraint;
-    greaterThan: DDefaults.GreaterThanConstraint;
-    greaterThanOrEqual: DDefaults.GreaterThanOrEqualConstraint;
-    integer: DDefaults.IntegerConstraint;
-    lessThan: DDefaults.LessThanConstraint;
-    lessThanOrEqual: DDefaults.LessThanOrEqualConstraint;
+    url: DDefaults.UrlConstraint;
+    uuid: DDefaults.UuidConstraint;
+    trimmed: DDefaults.TrimmedConstraint;
+    notEmpty: DDefaults.NotEmptyConstraint;
+    regex: DDefaults.RegexConstraint;
+    minCharacters: DDefaults.MinCharactersConstraint;
     maxCharacters: DDefaults.MaxCharactersConstraint;
-    maxElements: DDefaults.MaxElementsConstraint;
+    stringLengthEqual: DDefaults.StringLengthEqualConstraint;
     minElements: DDefaults.MinElementsConstraint;
+    maxElements: DDefaults.MaxElementsConstraint;
+    arrayLengthEqual: DDefaults.ArrayLengthEqualConstraint;
+    integer: DDefaults.IntegerConstraint;
+    even: DDefaults.EvenConstraint;
     multipleOf: DDefaults.MultipleOfConstraint;
     negative: DDefaults.NegativeConstraint;
-    notEmpty: DDefaults.NotEmptyConstraint;
     notZero: DDefaults.NotZeroConstraint;
     odd: DDefaults.OddConstraint;
     positive: DDefaults.PositiveConstraint;
     safe: DDefaults.SafeConstraint;
     strictNegative: DDefaults.StrictNegativeConstraint;
     strictPositive: DDefaults.StrictPositiveConstraint;
-    stringLengthEqual: DDefaults.StringLengthEqualConstraint;
-    stringMin: DDefaults.MinCharactersConstraint;
-    url: DDefaults.UrlConstraint;
-    uuid: DDefaults.UuidConstraint;
+    betweenThan: DDefaults.BetweenThanConstraint;
+    betweenThanOrEqual: DDefaults.BetweenThanOrEqualConstraint;
+    greaterThan: DDefaults.GreaterThanConstraint;
+    greaterThanOrEqual: DDefaults.GreaterThanOrEqualConstraint;
+    lessThan: DDefaults.LessThanConstraint;
+    lessThanOrEqual: DDefaults.LessThanOrEqualConstraint;
+    refine: DDefaults.RefineConstraint;
 }
 export type Constraints = Extract<ConstraintsStore[keyof ConstraintsStore], Constraint>;

package/dist/dataStructure/fundamentalType/defaults/bigint.d.ts

@@ -2,6 +2,6 @@ import { FundamentalType } from '../base';
 import type * as DCommon from '../../../common';
 import type * as DKind from '../../../kind';
 export declare const bigintFundamentalTypeKind: DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/bigint-fundamental-type", unknown>>;
-export interface TheBigint extends DCommon.UnionToIntersection<FundamentalType<bigint> & DKind.Kind<typeof bigintFundamentalTypeKind>> {
+export interface TheBigint extends DCommon.Forward<FundamentalType<bigint> & DKind.Kind<typeof bigintFundamentalTypeKind>> {
 }
 export declare const TheBigint: TheBigint;

package/dist/dataStructure/fundamentalType/defaults/boolean.d.ts

@@ -2,6 +2,6 @@ import { FundamentalType } from '../base';
 import type * as DCommon from '../../../common';
 import type * as DKind from '../../../kind';
 export declare const booleanFundamentalTypeKind: DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/boolean-fundamental-type", unknown>>;
-export interface TheBoolean extends DCommon.UnionToIntersection<FundamentalType<boolean> & DKind.Kind<typeof booleanFundamentalTypeKind>> {
+export interface TheBoolean extends DCommon.Forward<FundamentalType<boolean> & DKind.Kind<typeof booleanFundamentalTypeKind>> {
 }
 export declare const TheBoolean: TheBoolean;

package/dist/dataStructure/fundamentalType/defaults/date.d.ts

@@ -3,6 +3,6 @@ import * as DChrono from '../../../chrono';
 import type * as DCommon from '../../../common';
 import type * as DKind from '../../../kind';
 export declare const dateFundamentalTypeKind: DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/date-fundamental-type", unknown>>;
-export interface TheDate extends DCommon.UnionToIntersection<FundamentalType<DChrono.TheDate> & DKind.Kind<typeof dateFundamentalTypeKind>> {
+export interface TheDate extends DCommon.Forward<FundamentalType<DChrono.TheDate> & DKind.Kind<typeof dateFundamentalTypeKind>> {
 }
 export declare const TheDate: TheDate;

package/dist/dataStructure/fundamentalType/defaults/null.d.ts

@@ -2,6 +2,6 @@ import { FundamentalType } from '../base';
 import type * as DCommon from '../../../common';
 import type * as DKind from '../../../kind';
 export declare const nullFundamentalTypeKind: DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/null-fundamental-type", unknown>>;
-export interface TheNull extends DCommon.UnionToIntersection<FundamentalType<null> & DKind.Kind<typeof nullFundamentalTypeKind>> {
+export interface TheNull extends DCommon.Forward<FundamentalType<null> & DKind.Kind<typeof nullFundamentalTypeKind>> {
 }
 export declare const TheNull: TheNull;

package/dist/dataStructure/fundamentalType/defaults/number.d.ts

@@ -2,6 +2,6 @@ import { FundamentalType } from '../base';
 import type * as DCommon from '../../../common';
 import type * as DKind from '../../../kind';
 export declare const numberFundamentalTypeKind: DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/number-fundamental-type", unknown>>;
-export interface TheNumber extends DCommon.UnionToIntersection<FundamentalType<number> & DKind.Kind<typeof numberFundamentalTypeKind>> {
+export interface TheNumber extends DCommon.Forward<FundamentalType<number> & DKind.Kind<typeof numberFundamentalTypeKind>> {
 }
 export declare const TheNumber: TheNumber;

package/dist/dataStructure/fundamentalType/defaults/string.d.ts

@@ -2,6 +2,6 @@ import { FundamentalType } from '../base';
 import type * as DCommon from '../../../common';
 import type * as DKind from '../../../kind';
 export declare const stringFundamentalTypeKind: DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/string-fundamental-type", unknown>>;
-export interface TheString extends DCommon.UnionToIntersection<FundamentalType<string> & DKind.Kind<typeof stringFundamentalTypeKind>> {
+export interface TheString extends DCommon.Forward<FundamentalType<string> & DKind.Kind<typeof stringFundamentalTypeKind>> {
 }
 export declare const TheString: TheString;

package/dist/dataStructure/fundamentalType/defaults/time.d.ts

@@ -3,6 +3,6 @@ import * as DChrono from '../../../chrono';
 import type * as DCommon from '../../../common';
 import type * as DKind from '../../../kind';
 export declare const timeFundamentalTypeKind: DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/time-fundamental-type", unknown>>;
-export interface TheTime extends DCommon.UnionToIntersection<FundamentalType<DChrono.TheTime> & DKind.Kind<typeof timeFundamentalTypeKind>> {
+export interface TheTime extends DCommon.Forward<FundamentalType<DChrono.TheTime> & DKind.Kind<typeof timeFundamentalTypeKind>> {
 }
 export declare const TheTime: TheTime;

package/dist/dataStructure/fundamentalType/defaults/undefined.d.ts

@@ -2,6 +2,6 @@ import { FundamentalType } from '../base';
 import type * as DCommon from '../../../common';
 import type * as DKind from '../../../kind';
 export declare const undefinedFundamentalTypeKind: DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/undefined-fundamental-type", unknown>>;
-export interface TheUndefined extends DCommon.UnionToIntersection<FundamentalType<undefined> & DKind.Kind<typeof undefinedFundamentalTypeKind>> {
+export interface TheUndefined extends DCommon.Forward<FundamentalType<undefined> & DKind.Kind<typeof undefinedFundamentalTypeKind>> {
 }
 export declare const TheUndefined: TheUndefined;

package/dist/dataStructure/fundamentalType/identifier.d.ts

@@ -1,5 +1,7 @@
 import { FundamentalType } from './base';
+import { FundamentalTypes } from './types';
+import * as DKind from '../../kind';
 export declare const fundamentalTypeIdentifier: {
-    <GenericKindHandler extends import('../../kind').GetHandler<import('..').TheBigint> | import('../../kind').GetHandler<import('..').TheBoolean> | import('../../kind').GetHandler<import('..').TheDate> | import('../../kind').GetHandler<import('..').TheNull> | import('../../kind').GetHandler<import('..').TheNumber> | import('../../kind').GetHandler<import('..').TheString> | import('../../kind').GetHandler<import('..').TheTime> | import('../../kind').GetHandler<import('..').TheUndefined>, GenericInput extends unknown, GenericGroupedKind extends import('../..').UnionToIntersection<GenericKindHandler extends import('../../kind').Handler<import('../../kind').Definition<string, unknown>> ? import('../../kind').Kind<GenericKindHandler, GenericKindHandler["definition"]["value"]> : never>>(kind: GenericKindHandler | GenericKindHandler[]): (input: GenericInput) => input is (import('../..').UnionContain<GenericInput, FundamentalType<unknown>> extends true ? Extract<import('..').TheBigint, GenericGroupedKind> | Extract<import('..').TheBoolean, GenericGroupedKind> | Extract<import('..').TheDate, GenericGroupedKind> | Extract<import('..').TheNull, GenericGroupedKind> | Extract<import('..').TheNumber, GenericGroupedKind> | Extract<import('..').TheString, GenericGroupedKind> | Extract<import('..').TheTime, GenericGroupedKind> | Extract<import('..').TheUndefined, GenericGroupedKind> : never) | Extract<GenericInput, GenericGroupedKind>;
-    <GenericKindHandler extends import('../../kind').GetHandler<import('..').TheBigint> | import('../../kind').GetHandler<import('..').TheBoolean> | import('../../kind').GetHandler<import('..').TheDate> | import('../../kind').GetHandler<import('..').TheNull> | import('../../kind').GetHandler<import('..').TheNumber> | import('../../kind').GetHandler<import('..').TheString> | import('../../kind').GetHandler<import('..').TheTime> | import('../../kind').GetHandler<import('..').TheUndefined>, GenericInput extends unknown, GenericGroupedKind extends import('../..').UnionToIntersection<GenericKindHandler extends import('../../kind').Handler<import('../../kind').Definition<string, unknown>> ? import('../../kind').Kind<GenericKindHandler, GenericKindHandler["definition"]["value"]> : never>>(input: GenericInput, kind: GenericKindHandler | GenericKindHandler[]): input is (import('../..').UnionContain<GenericInput, FundamentalType<unknown>> extends true ? Extract<import('..').TheBigint, GenericGroupedKind> | Extract<import('..').TheBoolean, GenericGroupedKind> | Extract<import('..').TheDate, GenericGroupedKind> | Extract<import('..').TheNull, GenericGroupedKind> | Extract<import('..').TheNumber, GenericGroupedKind> | Extract<import('..').TheString, GenericGroupedKind> | Extract<import('..').TheTime, GenericGroupedKind> | Extract<import('..').TheUndefined, GenericGroupedKind> : never) | Extract<GenericInput, GenericGroupedKind>;
+    <GenericKindHandler extends DKind.GetHandler<import('..').TheBigint> | DKind.GetHandler<import('..').TheBoolean> | DKind.GetHandler<import('..').TheDate> | DKind.GetHandler<import('..').TheNull> | DKind.GetHandler<import('..').TheNumber> | DKind.GetHandler<import('..').TheString> | DKind.GetHandler<import('..').TheTime> | DKind.GetHandler<import('..').TheUndefined>, GenericInput extends unknown, GenericGroupedKind extends GenericKindHandler extends DKind.Handler<DKind.Definition<string, unknown>> ? DKind.Kind<GenericKindHandler, GenericKindHandler["definition"]["value"]> : never>(kind: GenericKindHandler | GenericKindHandler[]): (input: GenericInput) => input is (GenericInput extends FundamentalType<unknown> ? (import('..').TheBigint extends infer T ? T extends import('..').TheBigint ? T extends GenericInput ? GenericInput & FundamentalTypes extends GenericGroupedKind ? GenericGroupedKind & GenericInput & FundamentalTypes : never : never : never : never) | (import('..').TheBoolean extends infer T_1 ? T_1 extends import('..').TheBoolean ? T_1 extends GenericInput ? GenericInput & FundamentalTypes extends GenericGroupedKind ? GenericGroupedKind & GenericInput & FundamentalTypes : never : never : never : never) | (import('..').TheDate extends infer T_2 ? T_2 extends import('..').TheDate ? T_2 extends GenericInput ? GenericInput & FundamentalTypes extends GenericGroupedKind ? GenericGroupedKind & GenericInput & FundamentalTypes : never : never : never : never) | (import('..').TheNull extends infer T_3 ? T_3 extends import('..').TheNull ? T_3 extends GenericInput ? GenericInput & FundamentalTypes extends GenericGroupedKind ? GenericGroupedKind & GenericInput & FundamentalTypes : never : never : never : never) | (import('..').TheNumber extends infer T_4 ? T_4 extends import('..').TheNumber ? T_4 extends GenericInput ? GenericInput & FundamentalTypes extends GenericGroupedKind ? GenericGroupedKind & GenericInput & FundamentalTypes : never : never : never : never) | (import('..').TheString extends infer T_5 ? T_5 extends import('..').TheString ? T_5 extends GenericInput ? GenericInput & FundamentalTypes extends GenericGroupedKind ? GenericGroupedKind & GenericInput & FundamentalTypes : never : never : never : never) | (import('..').TheTime extends infer T_6 ? T_6 extends import('..').TheTime ? T_6 extends GenericInput ? GenericInput & FundamentalTypes extends GenericGroupedKind ? GenericGroupedKind & GenericInput & FundamentalTypes : never : never : never : never) | (import('..').TheUndefined extends infer T_7 ? T_7 extends import('..').TheUndefined ? T_7 extends GenericInput ? GenericInput & FundamentalTypes extends GenericGroupedKind ? GenericGroupedKind & GenericInput & FundamentalTypes : never : never : never : never) : never) | Extract<GenericInput, GenericGroupedKind>;
+    <GenericKindHandler extends DKind.GetHandler<import('..').TheBigint> | DKind.GetHandler<import('..').TheBoolean> | DKind.GetHandler<import('..').TheDate> | DKind.GetHandler<import('..').TheNull> | DKind.GetHandler<import('..').TheNumber> | DKind.GetHandler<import('..').TheString> | DKind.GetHandler<import('..').TheTime> | DKind.GetHandler<import('..').TheUndefined>, GenericInput extends unknown, GenericGroupedKind extends GenericKindHandler extends DKind.Handler<DKind.Definition<string, unknown>> ? DKind.Kind<GenericKindHandler, GenericKindHandler["definition"]["value"]> : never>(input: GenericInput, kind: GenericKindHandler | GenericKindHandler[]): input is (GenericInput extends FundamentalType<unknown> ? (import('..').TheBigint extends infer T ? T extends import('..').TheBigint ? T extends GenericInput ? GenericInput & FundamentalTypes extends GenericGroupedKind ? GenericGroupedKind & GenericInput & FundamentalTypes : never : never : never : never) | (import('..').TheBoolean extends infer T_1 ? T_1 extends import('..').TheBoolean ? T_1 extends GenericInput ? GenericInput & FundamentalTypes extends GenericGroupedKind ? GenericGroupedKind & GenericInput & FundamentalTypes : never : never : never : never) | (import('..').TheDate extends infer T_2 ? T_2 extends import('..').TheDate ? T_2 extends GenericInput ? GenericInput & FundamentalTypes extends GenericGroupedKind ? GenericGroupedKind & GenericInput & FundamentalTypes : never : never : never : never) | (import('..').TheNull extends infer T_3 ? T_3 extends import('..').TheNull ? T_3 extends GenericInput ? GenericInput & FundamentalTypes extends GenericGroupedKind ? GenericGroupedKind & GenericInput & FundamentalTypes : never : never : never : never) | (import('..').TheNumber extends infer T_4 ? T_4 extends import('..').TheNumber ? T_4 extends GenericInput ? GenericInput & FundamentalTypes extends GenericGroupedKind ? GenericGroupedKind & GenericInput & FundamentalTypes : never : never : never : never) | (import('..').TheString extends infer T_5 ? T_5 extends import('..').TheString ? T_5 extends GenericInput ? GenericInput & FundamentalTypes extends GenericGroupedKind ? GenericGroupedKind & GenericInput & FundamentalTypes : never : never : never : never) | (import('..').TheTime extends infer T_6 ? T_6 extends import('..').TheTime ? T_6 extends GenericInput ? GenericInput & FundamentalTypes extends GenericGroupedKind ? GenericGroupedKind & GenericInput & FundamentalTypes : never : never : never : never) | (import('..').TheUndefined extends infer T_7 ? T_7 extends import('..').TheUndefined ? T_7 extends GenericInput ? GenericInput & FundamentalTypes extends GenericGroupedKind ? GenericGroupedKind & GenericInput & FundamentalTypes : never : never : never : never) : never) | Extract<GenericInput, GenericGroupedKind>;
 };

package/dist/dataStructure/helpers/index.d.ts

@@ -48,3 +48,4 @@ export * from './undefined';
 export * from './union';
 export * from './url';
 export * from './uuid';
+export * from './regex';

package/dist/dataStructure/helpers/nullable.cjs

@@ -1,12 +1,15 @@
 const require_identifier = require("../structure/identifier.cjs");
 const require_union = require("../structure/defaults/union.cjs");
 const require_isNullStructure = require("./isNullStructure.cjs");
+const require_lazy = require("./lazy.cjs");
 const require_union$1 = require("./union.cjs");
 const require_null = require("./null.cjs");
 //#region scripts/dataStructure/helpers/nullable.ts
 function nullable(structure) {
-	if (require_identifier.structureIdentifier(structure, require_union.unionStructureKind)) return structure.definition.values.some(require_isNullStructure.isNullStructure) ? require_union$1.union(structure.definition.values) : require_union$1.union([require_null.null(), ...structure.definition.values]);
-	return require_union$1.union([require_null.null(), structure]);
+	return require_union$1.union([require_lazy.lazy(() => {
+		if (require_identifier.structureIdentifier(structure, require_union.unionStructureKind)) return structure.definition.values.value.some(require_isNullStructure.isNullStructure) ? structure : require_union$1.union([require_null.null(), require_union$1.union(structure.definition.values.value)]);
+		return require_union$1.union([require_null.null(), structure]);
+	})]);
 }
 //#endregion
 exports.nullable = nullable;

package/dist/dataStructure/helpers/nullable.mjs

@@ -1,12 +1,15 @@
 import { structureIdentifier } from "../structure/identifier.mjs";
 import { unionStructureKind } from "../structure/defaults/union.mjs";
 import { isNullStructure } from "./isNullStructure.mjs";
+import { lazy } from "./lazy.mjs";
 import { union } from "./union.mjs";
 import { null as nullHelper } from "./null.mjs";
 //#region scripts/dataStructure/helpers/nullable.ts
 function nullable(structure) {
-	if (structureIdentifier(structure, unionStructureKind)) return structure.definition.values.some(isNullStructure) ? union(structure.definition.values) : union([nullHelper(), ...structure.definition.values]);
-	return union([nullHelper(), structure]);
+	return union([lazy(() => {
+		if (structureIdentifier(structure, unionStructureKind)) return structure.definition.values.value.some(isNullStructure) ? structure : union([nullHelper(), union(structure.definition.values.value)]);
+		return union([nullHelper(), structure]);
+	})]);
 }
 //#endregion
 export { nullable };

package/dist/dataStructure/helpers/optional.cjs

@@ -1,12 +1,15 @@
 const require_identifier = require("../structure/identifier.cjs");
 const require_union = require("../structure/defaults/union.cjs");
 const require_isUndefinedStructure = require("./isUndefinedStructure.cjs");
+const require_lazy = require("./lazy.cjs");
 const require_union$1 = require("./union.cjs");
 const require_undefined = require("./undefined.cjs");
 //#region scripts/dataStructure/helpers/optional.ts
 function optional(structure) {
-	if (require_identifier.structureIdentifier(structure, require_union.unionStructureKind)) return structure.definition.values.some(require_isUndefinedStructure.isUndefinedStructure) ? require_union$1.union(structure.definition.values) : require_union$1.union([require_undefined.undefined(), ...structure.definition.values]);
-	return require_union$1.union([require_undefined.undefined(), structure]);
+	return require_union$1.union([require_lazy.lazy(() => {
+		if (require_identifier.structureIdentifier(structure, require_union.unionStructureKind)) return structure.definition.values.value.some(require_isUndefinedStructure.isUndefinedStructure) ? structure : require_union$1.union([require_undefined.undefined(), require_union$1.union(structure.definition.values.value)]);
+		return require_union$1.union([require_undefined.undefined(), structure]);
+	})]);
 }
 //#endregion
 exports.optional = optional;

package/dist/dataStructure/helpers/optional.mjs

@@ -1,12 +1,15 @@
 import { structureIdentifier } from "../structure/identifier.mjs";
 import { unionStructureKind } from "../structure/defaults/union.mjs";
 import { isUndefinedStructure } from "./isUndefinedStructure.mjs";
+import { lazy } from "./lazy.mjs";
 import { union } from "./union.mjs";
 import { undefined as undefinedHelper } from "./undefined.mjs";
 //#region scripts/dataStructure/helpers/optional.ts
 function optional(structure) {
-	if (structureIdentifier(structure, unionStructureKind)) return structure.definition.values.some(isUndefinedStructure) ? union(structure.definition.values) : union([undefinedHelper(), ...structure.definition.values]);
-	return union([undefinedHelper(), structure]);
+	return union([lazy(() => {
+		if (structureIdentifier(structure, unionStructureKind)) return structure.definition.values.value.some(isUndefinedStructure) ? structure : union([undefinedHelper(), union(structure.definition.values.value)]);
+		return union([undefinedHelper(), structure]);
+	})]);
 }
 //#endregion
 export { optional };

package/dist/dataStructure/helpers/partial.cjs

@@ -1,17 +1,20 @@
 const require_identifier = require("../structure/identifier.cjs");
+const require_lazy = require("../structure/defaults/lazy.cjs");
 const require_union = require("../structure/defaults/union.cjs");
 const require_isUndefinedStructure = require("./isUndefinedStructure.cjs");
+const require_lazy$1 = require("./lazy.cjs");
 const require_union$1 = require("./union.cjs");
 const require_object = require("./object.cjs");
 const require_undefined = require("./undefined.cjs");
 //#region scripts/dataStructure/helpers/partial.ts
 function partialStructure(structure) {
+	if (require_identifier.structureIdentifier(structure, require_lazy.lazyStructureKind)) return partialStructure(structure.definition.getter.value);
 	if (require_isUndefinedStructure.isUndefinedStructure(structure)) return structure;
-	if (require_identifier.structureIdentifier(structure, require_union.unionStructureKind)) return structure.definition.values.some(require_isUndefinedStructure.isUndefinedStructure) ? structure : require_union$1.union([require_undefined.undefined(), ...structure.definition.values]);
+	if (require_identifier.structureIdentifier(structure, require_union.unionStructureKind)) return structure.definition.values.value.some(require_isUndefinedStructure.isUndefinedStructure) ? structure : require_union$1.union([require_undefined.undefined(), ...structure.definition.values.value]);
 	return require_union$1.union([require_undefined.undefined(), structure]);
 }
 function partial(structure) {
-	return require_object.object(Object.fromEntries(structure.definition.shape.value.map((entry) => [entry.key, partialStructure(entry.value)])));
+	return require_object.object(Object.fromEntries(structure.definition.shape.value.map((entry) => [entry.key, require_lazy$1.lazy(() => partialStructure(entry.value))])));
 }
 //#endregion
 exports.partial = partial;

package/dist/dataStructure/helpers/partial.mjs

@@ -1,17 +1,20 @@
 import { structureIdentifier } from "../structure/identifier.mjs";
+import { lazyStructureKind } from "../structure/defaults/lazy.mjs";
 import { unionStructureKind } from "../structure/defaults/union.mjs";
 import { isUndefinedStructure } from "./isUndefinedStructure.mjs";
+import { lazy } from "./lazy.mjs";
 import { union } from "./union.mjs";
 import { object } from "./object.mjs";
 import { undefined as undefinedHelper } from "./undefined.mjs";
 //#region scripts/dataStructure/helpers/partial.ts
 function partialStructure(structure) {
+	if (structureIdentifier(structure, lazyStructureKind)) return partialStructure(structure.definition.getter.value);
 	if (isUndefinedStructure(structure)) return structure;
-	if (structureIdentifier(structure, unionStructureKind)) return structure.definition.values.some(isUndefinedStructure) ? structure : union([undefinedHelper(), ...structure.definition.values]);
+	if (structureIdentifier(structure, unionStructureKind)) return structure.definition.values.value.some(isUndefinedStructure) ? structure : union([undefinedHelper(), ...structure.definition.values.value]);
 	return union([undefinedHelper(), structure]);
 }
 function partial(structure) {
-	return object(Object.fromEntries(structure.definition.shape.value.map((entry) => [entry.key, partialStructure(entry.value)])));
+	return object(Object.fromEntries(structure.definition.shape.value.map((entry) => [entry.key, lazy(() => partialStructure(entry.value))])));
 }
 //#endregion
 export { partial };

package/dist/dataStructure/helpers/regex.cjs

@@ -0,0 +1,7 @@
+const require_regex = require("../constraint/defaults/regex.cjs");
+//#region scripts/dataStructure/helpers/regex.ts
+function regex(regex) {
+	return require_regex.RegexConstraint(regex);
+}
+//#endregion
+exports.regex = regex;

package/dist/dataStructure/helpers/regex.d.ts

@@ -0,0 +1,2 @@
+import { RegexConstraint } from '../constraint';
+export declare function regex(regex: RegExp): RegexConstraint;

package/dist/dataStructure/helpers/regex.mjs

@@ -0,0 +1,7 @@
+import { RegexConstraint } from "../constraint/defaults/regex.mjs";
+//#region scripts/dataStructure/helpers/regex.ts
+function regex(regex) {
+	return RegexConstraint(regex);
+}
+//#endregion
+export { regex };

package/dist/dataStructure/helpers/required.cjs

@@ -1,18 +1,21 @@
 const require_identifier = require("../structure/identifier.cjs");
+const require_lazy = require("../structure/defaults/lazy.cjs");
 const require_union = require("../structure/defaults/union.cjs");
 const require_isUndefinedStructure = require("./isUndefinedStructure.cjs");
+const require_lazy$1 = require("./lazy.cjs");
 const require_union$1 = require("./union.cjs");
 const require_object = require("./object.cjs");
 //#region scripts/dataStructure/helpers/required.ts
 function requiredStructure(structure) {
+	if (require_identifier.structureIdentifier(structure, require_lazy.lazyStructureKind)) return requiredStructure(structure.definition.getter.value);
 	if (!require_identifier.structureIdentifier(structure, require_union.unionStructureKind)) return structure;
-	const values = structure.definition.values.filter((value) => !require_isUndefinedStructure.isUndefinedStructure(value));
+	const values = structure.definition.values.value.filter((value) => !require_isUndefinedStructure.isUndefinedStructure(value));
 	if (values.length === 1) return values[0];
-	if (values.length === structure.definition.values.length) return structure;
+	if (values.length === structure.definition.values.value.length) return structure;
 	return require_union$1.union(values);
 }
 function required(structure) {
-	return require_object.object(Object.fromEntries(structure.definition.shape.value.map((entry) => [entry.key, requiredStructure(entry.value)])));
+	return require_object.object(Object.fromEntries(structure.definition.shape.value.map((entry) => [entry.key, require_lazy$1.lazy(() => requiredStructure(entry.value))])));
 }
 //#endregion
 exports.required = required;

package/dist/dataStructure/helpers/required.d.ts

@@ -1,4 +1,5 @@
 import { ObjectStructure, StructureInitialValue } from '../structure';
+import type * as DCommon from '../../common';
 export declare function required<GenericObjectStructure extends ObjectStructure, GenericObjectStructureValue extends StructureInitialValue<GenericObjectStructure>>(structure: GenericObjectStructure): ObjectStructure<{
-    readonly [Prop in keyof GenericObjectStructureValue]-?: Exclude<GenericObjectStructureValue[Prop], undefined>;
+    readonly [Prop in keyof GenericObjectStructureValue]-?: DCommon.IsEqual<GenericObjectStructureValue[Prop], undefined> extends true ? undefined : Exclude<GenericObjectStructureValue[Prop], undefined>;
 }, readonly []>;

package/dist/dataStructure/helpers/required.mjs

@@ -1,18 +1,21 @@
 import { structureIdentifier } from "../structure/identifier.mjs";
+import { lazyStructureKind } from "../structure/defaults/lazy.mjs";
 import { unionStructureKind } from "../structure/defaults/union.mjs";
 import { isUndefinedStructure } from "./isUndefinedStructure.mjs";
+import { lazy } from "./lazy.mjs";
 import { union } from "./union.mjs";
 import { object } from "./object.mjs";
 //#region scripts/dataStructure/helpers/required.ts
 function requiredStructure(structure) {
+	if (structureIdentifier(structure, lazyStructureKind)) return requiredStructure(structure.definition.getter.value);
 	if (!structureIdentifier(structure, unionStructureKind)) return structure;
-	const values = structure.definition.values.filter((value) => !isUndefinedStructure(value));
+	const values = structure.definition.values.value.filter((value) => !isUndefinedStructure(value));
 	if (values.length === 1) return values[0];
-	if (values.length === structure.definition.values.length) return structure;
+	if (values.length === structure.definition.values.value.length) return structure;
 	return union(values);
 }
 function required(structure) {
-	return object(Object.fromEntries(structure.definition.shape.value.map((entry) => [entry.key, requiredStructure(entry.value)])));
+	return object(Object.fromEntries(structure.definition.shape.value.map((entry) => [entry.key, lazy(() => requiredStructure(entry.value))])));
 }
 //#endregion
 export { required };

package/dist/dataStructure/helpers/url.cjs

@@ -1,7 +1,7 @@
 const require_url = require("../constraint/defaults/url.cjs");
 //#region scripts/dataStructure/helpers/url.ts
-function url(params) {
-	return require_url.UrlConstraint(params);
+function url() {
+	return require_url.UrlConstraint();
 }
 //#endregion
 exports.url = url;

package/dist/dataStructure/helpers/url.d.ts

@@ -1,3 +1,2 @@
 import { UrlConstraint } from '../constraint';
-import type * as DString from '../../string';
-export declare function url(params?: DString.IsUrlParams): UrlConstraint;
+export declare function url(): UrlConstraint;

package/dist/dataStructure/helpers/url.mjs

@@ -1,7 +1,7 @@
 import { UrlConstraint } from "../constraint/defaults/url.mjs";
 //#region scripts/dataStructure/helpers/url.ts
-function url(params) {
-	return UrlConstraint(params);
+function url() {
+	return UrlConstraint();
 }
 //#endregion
 export { url };