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

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (6) hide show
  1. package/dist/dataStructure/constraint/identifier.d.ts +1 -4
  2. package/dist/dataStructure/fundamentalType/identifier.d.ts +1 -4
  3. package/dist/dataStructure/structure/identifier.d.ts +1 -4
  4. package/dist/dataStructure/type/identifier.d.ts +1 -4
  5. package/dist/kind/createIdentifier.d.ts +8 -4
  6. package/package.json +1 -1
package/dist/dataStructure/constraint/identifier.d.ts CHANGED
@@ -1,7 +1,4 @@
1
1
  import { Constraint } from './base';
2
2
  import { Constraints } from './types';
3
3
  import * as DKind from '../../kind';
4
- export declare const constraintIdentifier: {
5
- <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>;
6
- <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>;
7
- };
4
+ export declare const constraintIdentifier: DKind.KindIdentifier<Constraint<unknown, unknown, import('..').ConstraintDefinition>, Constraints>;
package/dist/dataStructure/fundamentalType/identifier.d.ts CHANGED
@@ -1,7 +1,4 @@
1
1
  import { FundamentalType } from './base';
2
2
  import { FundamentalTypes } from './types';
3
3
  import * as DKind from '../../kind';
4
- export declare const fundamentalTypeIdentifier: {
5
- <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>;
6
- <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>;
7
- };
4
+ export declare const fundamentalTypeIdentifier: DKind.KindIdentifier<FundamentalType<unknown>, FundamentalTypes>;
package/dist/dataStructure/structure/identifier.d.ts CHANGED
@@ -1,7 +1,4 @@
1
1
  import { Structure } from './base';
2
2
  import { Structures } from './types';
3
3
  import * as DKind from '../../kind';
4
- export declare const structureIdentifier: {
5
- <GenericKindHandler extends DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/structure", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/array-structure", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/object-structure", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/type-structure", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangModeling/entity-structure", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangModeling/tagged-object-structure", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/lazy-structure", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/record-structure", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/union-structure", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/non-encodable-string-structure", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangModeling/new-type-structure", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/structure", Record<string, unknown>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/structure", readonly unknown[]>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/structure", import('../../modeling').Entity<string> & Record<string, unknown>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/structure", import('../../modeling').ObjectTag<string>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/structure", String>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/structure", import('../../modeling').NewType<string, never>>>, 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 Structure<unknown, import('..').StructureDefinition<readonly import('..').Constraint<unknown, unknown, import('..').ConstraintDefinition>[]>> ? (Structure<unknown, import('..').StructureDefinition<readonly import('..').Constraint<unknown, unknown, import('..').ConstraintDefinition>[]>> extends infer T ? T extends Structure<unknown, import('..').StructureDefinition<readonly import('..').Constraint<unknown, unknown, import('..').ConstraintDefinition>[]>> ? T extends GenericInput ? GenericInput & Structures extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Structures : never : never : never : never) | (import('..').ObjectStructure<Record<string, unknown>, readonly import('..').Constraint<Record<string, unknown>, Record<string, unknown>, import('..').ConstraintDefinition>[]> extends infer T_1 ? T_1 extends import('..').ObjectStructure<Record<string, unknown>, readonly import('..').Constraint<Record<string, unknown>, Record<string, unknown>, import('..').ConstraintDefinition>[]> ? T_1 extends GenericInput ? GenericInput & Structures extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Structures : never : never : never : never) | (import('..').ArrayStructure<readonly unknown[], readonly import('..').Constraint<readonly unknown[], readonly unknown[], import('..').ConstraintDefinition>[]> extends infer T_2 ? T_2 extends import('..').ArrayStructure<readonly unknown[], readonly import('..').Constraint<readonly unknown[], readonly unknown[], import('..').ConstraintDefinition>[]> ? T_2 extends GenericInput ? GenericInput & Structures extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Structures : never : never : never : never) | (import('..').TypeStructure<unknown, readonly import('..').Constraint<unknown, unknown, import('..').ConstraintDefinition>[]> extends infer T_3 ? T_3 extends import('..').TypeStructure<unknown, readonly import('..').Constraint<unknown, unknown, import('..').ConstraintDefinition>[]> ? T_3 extends GenericInput ? GenericInput & Structures extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Structures : never : never : never : never) | (import('../../modeling').EntityStructure<string, Record<string, unknown>> extends infer T_4 ? T_4 extends import('../../modeling').EntityStructure<string, Record<string, unknown>> ? T_4 extends GenericInput ? GenericInput & Structures extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Structures : never : never : never : never) | (import('../../modeling').TaggedObjectStructure<import('../../modeling').ObjectTag<string>> extends infer T_5 ? T_5 extends import('../../modeling').TaggedObjectStructure<import('../../modeling').ObjectTag<string>> ? T_5 extends GenericInput ? GenericInput & Structures extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Structures : never : never : never : never) | (import('..').LazyStructure<unknown, readonly import('..').Constraint<unknown, unknown, import('..').ConstraintDefinition>[]> extends infer T_6 ? T_6 extends import('..').LazyStructure<unknown, readonly import('..').Constraint<unknown, unknown, import('..').ConstraintDefinition>[]> ? T_6 extends GenericInput ? GenericInput & Structures extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Structures : never : never : never : never) | (import('..').RecordStructure<Record<string, unknown>, readonly import('..').Constraint<Record<string, unknown>, Record<string, unknown>, import('..').ConstraintDefinition>[]> extends infer T_7 ? T_7 extends import('..').RecordStructure<Record<string, unknown>, readonly import('..').Constraint<Record<string, unknown>, Record<string, unknown>, import('..').ConstraintDefinition>[]> ? T_7 extends GenericInput ? GenericInput & Structures extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Structures : never : never : never : never) | (import('..').UnionStructure<unknown, readonly import('..').Constraint<unknown, unknown, import('..').ConstraintDefinition>[]> extends infer T_8 ? T_8 extends import('..').UnionStructure<unknown, readonly import('..').Constraint<unknown, unknown, import('..').ConstraintDefinition>[]> ? T_8 extends GenericInput ? GenericInput & Structures extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Structures : never : never : never : never) | (import('..').NonEncodableStringStructure extends infer T_9 ? T_9 extends import('..').NonEncodableStringStructure ? T_9 extends GenericInput ? GenericInput & Structures extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Structures : never : never : never : never) | (import('../../modeling').NewTypeStructure<string, unknown, readonly import('..').Constraint<unknown, unknown, import('..').ConstraintDefinition>[]> extends infer T_10 ? T_10 extends import('../../modeling').NewTypeStructure<string, unknown, readonly import('..').Constraint<unknown, unknown, import('..').ConstraintDefinition>[]> ? T_10 extends GenericInput ? GenericInput & Structures extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Structures : never : never : never : never) : never) | Extract<GenericInput, GenericGroupedKind>;
6
- <GenericKindHandler extends DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/structure", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/array-structure", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/object-structure", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/type-structure", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangModeling/entity-structure", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangModeling/tagged-object-structure", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/lazy-structure", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/record-structure", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/union-structure", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/non-encodable-string-structure", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangModeling/new-type-structure", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/structure", Record<string, unknown>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/structure", readonly unknown[]>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/structure", import('../../modeling').Entity<string> & Record<string, unknown>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/structure", import('../../modeling').ObjectTag<string>>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/structure", String>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/structure", import('../../modeling').NewType<string, never>>>, 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 Structure<unknown, import('..').StructureDefinition<readonly import('..').Constraint<unknown, unknown, import('..').ConstraintDefinition>[]>> ? (Structure<unknown, import('..').StructureDefinition<readonly import('..').Constraint<unknown, unknown, import('..').ConstraintDefinition>[]>> extends infer T ? T extends Structure<unknown, import('..').StructureDefinition<readonly import('..').Constraint<unknown, unknown, import('..').ConstraintDefinition>[]>> ? T extends GenericInput ? GenericInput & Structures extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Structures : never : never : never : never) | (import('..').ObjectStructure<Record<string, unknown>, readonly import('..').Constraint<Record<string, unknown>, Record<string, unknown>, import('..').ConstraintDefinition>[]> extends infer T_1 ? T_1 extends import('..').ObjectStructure<Record<string, unknown>, readonly import('..').Constraint<Record<string, unknown>, Record<string, unknown>, import('..').ConstraintDefinition>[]> ? T_1 extends GenericInput ? GenericInput & Structures extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Structures : never : never : never : never) | (import('..').ArrayStructure<readonly unknown[], readonly import('..').Constraint<readonly unknown[], readonly unknown[], import('..').ConstraintDefinition>[]> extends infer T_2 ? T_2 extends import('..').ArrayStructure<readonly unknown[], readonly import('..').Constraint<readonly unknown[], readonly unknown[], import('..').ConstraintDefinition>[]> ? T_2 extends GenericInput ? GenericInput & Structures extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Structures : never : never : never : never) | (import('..').TypeStructure<unknown, readonly import('..').Constraint<unknown, unknown, import('..').ConstraintDefinition>[]> extends infer T_3 ? T_3 extends import('..').TypeStructure<unknown, readonly import('..').Constraint<unknown, unknown, import('..').ConstraintDefinition>[]> ? T_3 extends GenericInput ? GenericInput & Structures extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Structures : never : never : never : never) | (import('../../modeling').EntityStructure<string, Record<string, unknown>> extends infer T_4 ? T_4 extends import('../../modeling').EntityStructure<string, Record<string, unknown>> ? T_4 extends GenericInput ? GenericInput & Structures extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Structures : never : never : never : never) | (import('../../modeling').TaggedObjectStructure<import('../../modeling').ObjectTag<string>> extends infer T_5 ? T_5 extends import('../../modeling').TaggedObjectStructure<import('../../modeling').ObjectTag<string>> ? T_5 extends GenericInput ? GenericInput & Structures extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Structures : never : never : never : never) | (import('..').LazyStructure<unknown, readonly import('..').Constraint<unknown, unknown, import('..').ConstraintDefinition>[]> extends infer T_6 ? T_6 extends import('..').LazyStructure<unknown, readonly import('..').Constraint<unknown, unknown, import('..').ConstraintDefinition>[]> ? T_6 extends GenericInput ? GenericInput & Structures extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Structures : never : never : never : never) | (import('..').RecordStructure<Record<string, unknown>, readonly import('..').Constraint<Record<string, unknown>, Record<string, unknown>, import('..').ConstraintDefinition>[]> extends infer T_7 ? T_7 extends import('..').RecordStructure<Record<string, unknown>, readonly import('..').Constraint<Record<string, unknown>, Record<string, unknown>, import('..').ConstraintDefinition>[]> ? T_7 extends GenericInput ? GenericInput & Structures extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Structures : never : never : never : never) | (import('..').UnionStructure<unknown, readonly import('..').Constraint<unknown, unknown, import('..').ConstraintDefinition>[]> extends infer T_8 ? T_8 extends import('..').UnionStructure<unknown, readonly import('..').Constraint<unknown, unknown, import('..').ConstraintDefinition>[]> ? T_8 extends GenericInput ? GenericInput & Structures extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Structures : never : never : never : never) | (import('..').NonEncodableStringStructure extends infer T_9 ? T_9 extends import('..').NonEncodableStringStructure ? T_9 extends GenericInput ? GenericInput & Structures extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Structures : never : never : never : never) | (import('../../modeling').NewTypeStructure<string, unknown, readonly import('..').Constraint<unknown, unknown, import('..').ConstraintDefinition>[]> extends infer T_10 ? T_10 extends import('../../modeling').NewTypeStructure<string, unknown, readonly import('..').Constraint<unknown, unknown, import('..').ConstraintDefinition>[]> ? T_10 extends GenericInput ? GenericInput & Structures extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Structures : never : never : never : never) : never) | Extract<GenericInput, GenericGroupedKind>;
7
- };
4
+ export declare const structureIdentifier: DKind.KindIdentifier<Structure<unknown, import('..').StructureDefinition<readonly import('..').Constraint<unknown, unknown, import('..').ConstraintDefinition>[]>>, Structures>;
package/dist/dataStructure/type/identifier.d.ts CHANGED
@@ -1,7 +1,4 @@
1
1
  import { Type } from './base';
2
2
  import { Types } from './types';
3
3
  import * as DKind from '../../kind';
4
- export declare const typeIdentifier: {
5
- <GenericKindHandler extends DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/bigint-type", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/bigint-literal-type", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/boolean-type", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/boolean-literal-type", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/date-type", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/null-type", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/number-type", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/number-literal-type", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/string-type", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/string-literal-type", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/time-type", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/undefined-type", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/type", bigint>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/type", boolean>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/type", import('../../chrono').TheDate>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/type", null>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/type", number>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/type", string>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/type", import('../../chrono').TheTime>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/type", undefined>>, 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 Type<import('..').FundamentalType<unknown>, unknown, import('..').TypeDefinition> ? (import('..').BigintType extends infer T ? T extends import('..').BigintType ? T extends GenericInput ? GenericInput & Types extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Types : never : never : never : never) | (import('..').BooleanType extends infer T_1 ? T_1 extends import('..').BooleanType ? T_1 extends GenericInput ? GenericInput & Types extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Types : never : never : never : never) | (import('..').DateType extends infer T_2 ? T_2 extends import('..').DateType ? T_2 extends GenericInput ? GenericInput & Types extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Types : never : never : never : never) | (import('..').NullType extends infer T_3 ? T_3 extends import('..').NullType ? T_3 extends GenericInput ? GenericInput & Types extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Types : never : never : never : never) | (import('..').NumberType extends infer T_4 ? T_4 extends import('..').NumberType ? T_4 extends GenericInput ? GenericInput & Types extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Types : never : never : never : never) | (import('..').StringType extends infer T_5 ? T_5 extends import('..').StringType ? T_5 extends GenericInput ? GenericInput & Types extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Types : never : never : never : never) | (import('..').TimeType extends infer T_6 ? T_6 extends import('..').TimeType ? T_6 extends GenericInput ? GenericInput & Types extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Types : never : never : never : never) | (import('..').UndefinedType extends infer T_7 ? T_7 extends import('..').UndefinedType ? T_7 extends GenericInput ? GenericInput & Types extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Types : never : never : never : never) | (import('..').BigintLiteralType<bigint> extends infer T_8 ? T_8 extends import('..').BigintLiteralType<bigint> ? T_8 extends GenericInput ? GenericInput & Types extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Types : never : never : never : never) | (import('..').BooleanLiteralType<boolean> extends infer T_9 ? T_9 extends import('..').BooleanLiteralType<boolean> ? T_9 extends GenericInput ? GenericInput & Types extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Types : never : never : never : never) | (import('..').NumberLiteralType<number> extends infer T_10 ? T_10 extends import('..').NumberLiteralType<number> ? T_10 extends GenericInput ? GenericInput & Types extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Types : never : never : never : never) | (import('..').StringLiteralType<string> extends infer T_11 ? T_11 extends import('..').StringLiteralType<string> ? T_11 extends GenericInput ? GenericInput & Types extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Types : never : never : never : never) : never) | Extract<GenericInput, GenericGroupedKind>;
6
- <GenericKindHandler extends DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/bigint-type", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/bigint-literal-type", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/boolean-type", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/boolean-literal-type", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/date-type", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/null-type", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/number-type", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/number-literal-type", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/string-type", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/string-literal-type", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/time-type", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/undefined-type", unknown>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/type", bigint>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/type", boolean>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/type", import('../../chrono').TheDate>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/type", null>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/type", number>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/type", string>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/type", import('../../chrono').TheTime>> | DKind.Handler<DKind.Definition<"@DuplojsLangDataStructure/type", undefined>>, 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 Type<import('..').FundamentalType<unknown>, unknown, import('..').TypeDefinition> ? (import('..').BigintType extends infer T ? T extends import('..').BigintType ? T extends GenericInput ? GenericInput & Types extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Types : never : never : never : never) | (import('..').BooleanType extends infer T_1 ? T_1 extends import('..').BooleanType ? T_1 extends GenericInput ? GenericInput & Types extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Types : never : never : never : never) | (import('..').DateType extends infer T_2 ? T_2 extends import('..').DateType ? T_2 extends GenericInput ? GenericInput & Types extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Types : never : never : never : never) | (import('..').NullType extends infer T_3 ? T_3 extends import('..').NullType ? T_3 extends GenericInput ? GenericInput & Types extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Types : never : never : never : never) | (import('..').NumberType extends infer T_4 ? T_4 extends import('..').NumberType ? T_4 extends GenericInput ? GenericInput & Types extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Types : never : never : never : never) | (import('..').StringType extends infer T_5 ? T_5 extends import('..').StringType ? T_5 extends GenericInput ? GenericInput & Types extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Types : never : never : never : never) | (import('..').TimeType extends infer T_6 ? T_6 extends import('..').TimeType ? T_6 extends GenericInput ? GenericInput & Types extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Types : never : never : never : never) | (import('..').UndefinedType extends infer T_7 ? T_7 extends import('..').UndefinedType ? T_7 extends GenericInput ? GenericInput & Types extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Types : never : never : never : never) | (import('..').BigintLiteralType<bigint> extends infer T_8 ? T_8 extends import('..').BigintLiteralType<bigint> ? T_8 extends GenericInput ? GenericInput & Types extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Types : never : never : never : never) | (import('..').BooleanLiteralType<boolean> extends infer T_9 ? T_9 extends import('..').BooleanLiteralType<boolean> ? T_9 extends GenericInput ? GenericInput & Types extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Types : never : never : never : never) | (import('..').NumberLiteralType<number> extends infer T_10 ? T_10 extends import('..').NumberLiteralType<number> ? T_10 extends GenericInput ? GenericInput & Types extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Types : never : never : never : never) | (import('..').StringLiteralType<string> extends infer T_11 ? T_11 extends import('..').StringLiteralType<string> ? T_11 extends GenericInput ? GenericInput & Types extends GenericGroupedKind ? GenericGroupedKind & GenericInput & Types : never : never : never : never) : never) | Extract<GenericInput, GenericGroupedKind>;
7
- };
4
+ export declare const typeIdentifier: DKind.KindIdentifier<Type<import('..').FundamentalType<unknown>, unknown, import('..').TypeDefinition>, Types>;
package/dist/kind/createIdentifier.d.ts CHANGED
@@ -1,7 +1,11 @@
1
1
  import { Kind, Handler } from './base';
2
2
  import { GetHandler } from './types';
3
3
  import type * as DCommon from '../common';
4
- export declare function createKindIdentifier<GenericParent extends Kind<Handler>, GenericChildren extends GenericParent>(): {
5
- <GenericKindHandler extends GenericChildren extends infer InferredChildren ? InferredChildren extends GenericParent ? GetHandler<InferredChildren> : never : never, GenericInput extends unknown, GenericGroupedKind extends DCommon.Forward<GenericKindHandler extends Handler ? Kind<GenericKindHandler> : never>>(kind: GenericKindHandler | GenericKindHandler[]): (input: GenericInput) => input is ((GenericInput extends GenericParent ? GenericChildren extends GenericInput ? GenericChildren extends GenericGroupedKind ? GenericChildren : never : never : never) | Extract<GenericInput, GenericGroupedKind>);
6
- <GenericKindHandler extends GenericChildren extends infer InferredChildren ? InferredChildren extends GenericParent ? GetHandler<InferredChildren> : never : never, GenericInput extends unknown, GenericGroupedKind extends DCommon.Forward<GenericKindHandler extends Handler ? Kind<GenericKindHandler> : never>>(input: GenericInput, kind: GenericKindHandler | GenericKindHandler[]): input is ((GenericInput extends GenericParent ? GenericChildren extends GenericInput ? GenericChildren extends GenericGroupedKind ? GenericChildren : never : never : never) | Extract<GenericInput, GenericGroupedKind>);
7
- };
4
+ type KindIdentifierHandlers<GenericParent extends Kind<Handler>, GenericChildren extends GenericParent> = GenericChildren extends infer InferredChildren ? InferredChildren extends GenericParent ? GetHandler<InferredChildren> : never : never;
5
+ type KindIdentifierResult<GenericParent extends Kind<Handler>, GenericChildren extends GenericParent, GenericInput extends unknown, GenericGroupedKind extends unknown> = ((GenericInput extends GenericParent ? GenericChildren extends GenericInput ? GenericChildren extends GenericGroupedKind ? GenericChildren : never : never : never) | Extract<GenericInput, GenericGroupedKind>);
6
+ export interface KindIdentifier<GenericParent extends Kind<Handler>, GenericChildren extends GenericParent> {
7
+ <GenericKindHandler extends KindIdentifierHandlers<GenericParent, GenericChildren>, GenericInput extends unknown, GenericGroupedKind extends DCommon.Forward<GenericKindHandler extends Handler ? Kind<GenericKindHandler> : never>>(kind: GenericKindHandler | GenericKindHandler[]): (input: GenericInput) => input is KindIdentifierResult<GenericParent, GenericChildren, GenericInput, GenericGroupedKind>;
8
+ <GenericKindHandler extends KindIdentifierHandlers<GenericParent, GenericChildren>, GenericInput extends unknown, GenericGroupedKind extends DCommon.Forward<GenericKindHandler extends Handler ? Kind<GenericKindHandler> : never>>(input: GenericInput, kind: GenericKindHandler | GenericKindHandler[]): input is KindIdentifierResult<GenericParent, GenericChildren, GenericInput, GenericGroupedKind>;
9
+ }
10
+ export declare function createKindIdentifier<GenericParent extends Kind<Handler>, GenericChildren extends GenericParent>(): KindIdentifier<GenericParent, GenericChildren>;
11
+ export {};
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@duplojs/lang",
3
- "version": "0.0.1-beta.3",
3
+ "version": "0.0.1-beta.4",
4
4
  "license": "MIT",
5
5
  "type": "module",
6
6
  "author": {