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

package/dist/dataStructure/index.cjs

@@ -5,6 +5,7 @@ const require_codec = require("./common/codec.cjs");
 const require_error = require("./common/error.cjs");
 const require_errorInterpreter = require("./common/errorInterpreter.cjs");
 const require_base = require("./constraint/base.cjs");
+const require_absolutePath = require("./constraint/defaults/absolutePath.cjs");
 const require_allowedCharacters = require("./constraint/defaults/allowedCharacters.cjs");
 const require_arrayLengthEqual = require("./constraint/defaults/arrayLengthEqual.cjs");
 const require_betweenThan = require("./constraint/defaults/betweenThan.cjs");
@@ -25,6 +26,7 @@ const require_negative = require("./constraint/defaults/negative.cjs");
 const require_notEmpty = require("./constraint/defaults/notEmpty.cjs");
 const require_notZero = require("./constraint/defaults/notZero.cjs");
 const require_odd = require("./constraint/defaults/odd.cjs");
+const require_path = require("./constraint/defaults/path.cjs");
 const require_positive = require("./constraint/defaults/positive.cjs");
 const require_refine = require("./constraint/defaults/refine.cjs");
 const require_safe = require("./constraint/defaults/safe.cjs");
@@ -46,6 +48,7 @@ const require_string = require("./fundamentalType/defaults/string.cjs");
 const require_time = require("./fundamentalType/defaults/time.cjs");
 const require_undefined = require("./fundamentalType/defaults/undefined.cjs");
 const require_identifier$1 = require("./fundamentalType/identifier.cjs");
+const require_absolutePath$1 = require("./helpers/absolutePath.cjs");
 const require_allowedCharacters$1 = require("./helpers/allowedCharacters.cjs");
 const require_base$2 = require("./structure/base.cjs");
 const require_array = require("./structure/defaults/array.cjs");
@@ -106,6 +109,7 @@ const require_odd$1 = require("./helpers/odd.cjs");
 const require_undefined$2 = require("./helpers/undefined.cjs");
 const require_optional = require("./helpers/optional.cjs");
 const require_partial = require("./helpers/partial.cjs");
+const require_path$1 = require("./helpers/path.cjs");
 const require_positive$1 = require("./helpers/positive.cjs");
 const require_record$1 = require("./helpers/record.cjs");
 const require_refine$1 = require("./helpers/refine.cjs");
@@ -122,6 +126,7 @@ const require_uuid$1 = require("./helpers/uuid.cjs");
 const require_regex$1 = require("./helpers/regex.cjs");
 //#region scripts/dataStructure/index.ts
 var dataStructure_exports = /* @__PURE__ */ require_runtime.__exportAll({
+	AbsolutePathConstraint: () => require_absolutePath.AbsolutePathConstraint,
 	AllowedCharactersConstraint: () => require_allowedCharacters.AllowedCharactersConstraint,
 	ArrayLengthEqualConstraint: () => require_arrayLengthEqual.ArrayLengthEqualConstraint,
 	ArrayStructure: () => require_array.ArrayStructure,
@@ -155,6 +160,7 @@ var dataStructure_exports = /* @__PURE__ */ require_runtime.__exportAll({
 	NumberType: () => require_number$1.NumberType,
 	ObjectStructure: () => require_object.ObjectStructure,
 	OddConstraint: () => require_odd.OddConstraint,
+	PathConstraint: () => require_path.PathConstraint,
 	PositiveConstraint: () => require_positive.PositiveConstraint,
 	RecordStructure: () => require_record.RecordStructure,
 	RefineConstraint: () => require_refine.RefineConstraint,
@@ -182,6 +188,8 @@ var dataStructure_exports = /* @__PURE__ */ require_runtime.__exportAll({
 	UnionStructure: () => require_union.UnionStructure,
 	UrlConstraint: () => require_url.UrlConstraint,
 	UuidConstraint: () => require_uuid.UuidConstraint,
+	absolutePath: () => require_absolutePath$1.absolutePath,
+	absolutePathConstraintKind: () => require_absolutePath.absolutePathConstraintKind,
 	allowedCharacters: () => require_allowedCharacters$1.allowedCharacters,
 	allowedCharactersConstraintKind: () => require_allowedCharacters.allowedCharactersConstraintKind,
 	array: () => require_array$1.array,
@@ -273,6 +281,8 @@ var dataStructure_exports = /* @__PURE__ */ require_runtime.__exportAll({
 	oddConstraintKind: () => require_odd.oddConstraintKind,
 	optional: () => require_optional.optional,
 	partial: () => require_partial.partial,
+	path: () => require_path$1.path,
+	pathConstraintKind: () => require_path.pathConstraintKind,
 	positive: () => require_positive$1.positive,
 	positiveConstraintKind: () => require_positive.positiveConstraintKind,
 	record: () => require_record$1.record,
@@ -315,6 +325,7 @@ var dataStructure_exports = /* @__PURE__ */ require_runtime.__exportAll({
 	uuidConstraintKind: () => require_uuid.uuidConstraintKind
 });
 //#endregion
+exports.AbsolutePathConstraint = require_absolutePath.AbsolutePathConstraint;
 exports.AllowedCharactersConstraint = require_allowedCharacters.AllowedCharactersConstraint;
 exports.ArrayLengthEqualConstraint = require_arrayLengthEqual.ArrayLengthEqualConstraint;
 exports.ArrayStructure = require_array.ArrayStructure;
@@ -348,6 +359,7 @@ exports.NumberLiteralType = require_numberLiteral.NumberLiteralType;
 exports.NumberType = require_number$1.NumberType;
 exports.ObjectStructure = require_object.ObjectStructure;
 exports.OddConstraint = require_odd.OddConstraint;
+exports.PathConstraint = require_path.PathConstraint;
 exports.PositiveConstraint = require_positive.PositiveConstraint;
 exports.RecordStructure = require_record.RecordStructure;
 exports.RefineConstraint = require_refine.RefineConstraint;
@@ -375,6 +387,8 @@ exports.UndefinedType = require_undefined$1.UndefinedType;
 exports.UnionStructure = require_union.UnionStructure;
 exports.UrlConstraint = require_url.UrlConstraint;
 exports.UuidConstraint = require_uuid.UuidConstraint;
+exports.absolutePath = require_absolutePath$1.absolutePath;
+exports.absolutePathConstraintKind = require_absolutePath.absolutePathConstraintKind;
 exports.allowedCharacters = require_allowedCharacters$1.allowedCharacters;
 exports.allowedCharactersConstraintKind = require_allowedCharacters.allowedCharactersConstraintKind;
 exports.array = require_array$1.array;
@@ -472,6 +486,8 @@ exports.odd = require_odd$1.odd;
 exports.oddConstraintKind = require_odd.oddConstraintKind;
 exports.optional = require_optional.optional;
 exports.partial = require_partial.partial;
+exports.path = require_path$1.path;
+exports.pathConstraintKind = require_path.pathConstraintKind;
 exports.positive = require_positive$1.positive;
 exports.positiveConstraintKind = require_positive.positiveConstraintKind;
 exports.record = require_record$1.record;

package/dist/dataStructure/index.mjs

@@ -5,6 +5,7 @@ import { codecKind, codecsKind, createCodec, createCodecs } from "./common/codec
 import { createErrorHandler, createGetErrorHandler, decodeIssueKind, encodeIssueKind, issueKind } from "./common/error.mjs";
 import { createErrorInterpreter } from "./common/errorInterpreter.mjs";
 import { constraintKind, createConstraint } from "./constraint/base.mjs";
+import { AbsolutePathConstraint, absolutePathConstraintKind } from "./constraint/defaults/absolutePath.mjs";
 import { AllowedCharactersConstraint, allowedCharactersConstraintKind } from "./constraint/defaults/allowedCharacters.mjs";
 import { ArrayLengthEqualConstraint, arrayLengthEqualConstraintKind } from "./constraint/defaults/arrayLengthEqual.mjs";
 import { BetweenThanConstraint, betweenThanConstraintKind } from "./constraint/defaults/betweenThan.mjs";
@@ -25,6 +26,7 @@ import { NegativeConstraint, negativeConstraintKind } from "./constraint/default
 import { NotEmptyConstraint, notEmptyConstraintKind } from "./constraint/defaults/notEmpty.mjs";
 import { NotZeroConstraint, notZeroConstraintKind } from "./constraint/defaults/notZero.mjs";
 import { OddConstraint, oddConstraintKind } from "./constraint/defaults/odd.mjs";
+import { PathConstraint, pathConstraintKind } from "./constraint/defaults/path.mjs";
 import { PositiveConstraint, positiveConstraintKind } from "./constraint/defaults/positive.mjs";
 import { RefineConstraint, refineConstraintKind } from "./constraint/defaults/refine.mjs";
 import { SafeConstraint, safeConstraintKind } from "./constraint/defaults/safe.mjs";
@@ -46,6 +48,7 @@ import { TheString, stringFundamentalTypeKind } from "./fundamentalType/defaults
 import { TheTime, timeFundamentalTypeKind } from "./fundamentalType/defaults/time.mjs";
 import { TheUndefined, undefinedFundamentalTypeKind } from "./fundamentalType/defaults/undefined.mjs";
 import { fundamentalTypeIdentifier } from "./fundamentalType/identifier.mjs";
+import { absolutePath } from "./helpers/absolutePath.mjs";
 import { allowedCharacters } from "./helpers/allowedCharacters.mjs";
 import { StructureClass, createStructure, structureKind } from "./structure/base.mjs";
 import { ArrayStructure, arrayStructureKind } from "./structure/defaults/array.mjs";
@@ -106,6 +109,7 @@ import { odd } from "./helpers/odd.mjs";
 import { undefined as undefinedHelper } from "./helpers/undefined.mjs";
 import { optional } from "./helpers/optional.mjs";
 import { partial } from "./helpers/partial.mjs";
+import { path } from "./helpers/path.mjs";
 import { positive } from "./helpers/positive.mjs";
 import { record } from "./helpers/record.mjs";
 import { refine } from "./helpers/refine.mjs";
@@ -122,6 +126,7 @@ import { uuid } from "./helpers/uuid.mjs";
 import { regex } from "./helpers/regex.mjs";
 //#region scripts/dataStructure/index.ts
 var dataStructure_exports = /* @__PURE__ */ __exportAll({
+	AbsolutePathConstraint: () => AbsolutePathConstraint,
 	AllowedCharactersConstraint: () => AllowedCharactersConstraint,
 	ArrayLengthEqualConstraint: () => ArrayLengthEqualConstraint,
 	ArrayStructure: () => ArrayStructure,
@@ -155,6 +160,7 @@ var dataStructure_exports = /* @__PURE__ */ __exportAll({
 	NumberType: () => NumberType,
 	ObjectStructure: () => ObjectStructure,
 	OddConstraint: () => OddConstraint,
+	PathConstraint: () => PathConstraint,
 	PositiveConstraint: () => PositiveConstraint,
 	RecordStructure: () => RecordStructure,
 	RefineConstraint: () => RefineConstraint,
@@ -182,6 +188,8 @@ var dataStructure_exports = /* @__PURE__ */ __exportAll({
 	UnionStructure: () => UnionStructure,
 	UrlConstraint: () => UrlConstraint,
 	UuidConstraint: () => UuidConstraint,
+	absolutePath: () => absolutePath,
+	absolutePathConstraintKind: () => absolutePathConstraintKind,
 	allowedCharacters: () => allowedCharacters,
 	allowedCharactersConstraintKind: () => allowedCharactersConstraintKind,
 	array: () => array,
@@ -273,6 +281,8 @@ var dataStructure_exports = /* @__PURE__ */ __exportAll({
 	oddConstraintKind: () => oddConstraintKind,
 	optional: () => optional,
 	partial: () => partial,
+	path: () => path,
+	pathConstraintKind: () => pathConstraintKind,
 	positive: () => positive,
 	positiveConstraintKind: () => positiveConstraintKind,
 	record: () => record,
@@ -315,4 +325,4 @@ var dataStructure_exports = /* @__PURE__ */ __exportAll({
 	uuidConstraintKind: () => uuidConstraintKind
 });
 //#endregion
-export { AllowedCharactersConstraint, ArrayLengthEqualConstraint, ArrayStructure, BetweenThanConstraint, BetweenThanOrEqualConstraint, BigintLiteralType, BigintType, BooleanLiteralType, BooleanType, DateType, EmailConstraint, ErrorSymbol, EvenConstraint, GreaterThanConstraint, GreaterThanOrEqualConstraint, IntegerConstraint, LazyStructure, LessThanConstraint, LessThanOrEqualConstraint, MaxCharactersConstraint, MaxElementsConstraint, MinCharactersConstraint, MinElementsConstraint, MultipleOfConstraint, NegativeConstraint, NonEncodableStringStructure, NotEmptyConstraint, NotZeroConstraint, NullType, NumberLiteralType, NumberType, ObjectStructure, OddConstraint, PositiveConstraint, RecordStructure, RefineConstraint, RegexConstraint, SafeConstraint, StrictNegativeConstraint, StrictPositiveConstraint, StringLengthEqualConstraint, StringLiteralType, StringType, StructureClass, SuccessSymbol, TheBigint, TheBoolean, TheDate, TheNull, TheNumber, TheString, TheTime, TheUndefined, TimeType, TrimmedConstraint, TypeStructure, UndefinedType, UnionStructure, UrlConstraint, UuidConstraint, allowedCharacters, allowedCharactersConstraintKind, array, arrayLengthEqual, arrayLengthEqualConstraintKind, arrayStructureKind, betweenThan, betweenThanConstraintKind, betweenThanOrEqual, betweenThanOrEqualConstraintKind, bigint, bigintFundamentalTypeKind, bigintLiteralTypeKind, bigintTypeKind, boolean, booleanFundamentalTypeKind, booleanLiteralTypeKind, booleanTypeKind, codecKind, codecsKind, constraintIdentifier, constraintKind, createCodec, createCodecs, createConstraint, createErrorHandler, createErrorInterpreter, createFundamentalType, createGetErrorHandler, createKind, createStructure, createType, dataStructure_exports, date, dateFundamentalTypeKind, dateTypeKind, decodeIssueKind, email, emailConstraintKind, encodeIssueKind, even, evenConstraintKind, extend, fundamentalTypeIdentifier, fundamentalTypeKind, greaterThan, greaterThanConstraintKind, greaterThanOrEqual, greaterThanOrEqualConstraintKind, integer, integerConstraintKind, isNullStructure, isUndefinedStructure, issueKind, lazy, lazyStructureKind, lessThan, lessThanConstraintKind, lessThanOrEqual, lessThanOrEqualConstraintKind, literal, maxCharacters, maxCharactersConstraintKind, maxElements, maxElementsConstraintKind, minCharacters, minCharactersConstraintKind, minElements, minElementsConstraintKind, multipleOf, multipleOfConstraintKind, negative, negativeConstraintKind, nonEncodableStringStructureKind, notEmpty, notEmptyConstraintKind, notZero, notZeroConstraintKind, nullHelper as null, nullFundamentalTypeKind, nullTypeKind, nullable, number, numberFundamentalTypeKind, numberLiteralTypeKind, numberTypeKind, object, objectStructureKind, odd, oddConstraintKind, optional, partial, positive, positiveConstraintKind, record, recordStructureKind, refine, refineConstraintKind, regex, regexConstraintKind, required, safe, safeConstraintKind, strictNegative, strictNegativeConstraintKind, strictPositive, strictPositiveConstraintKind, string, stringFundamentalTypeKind, stringLengthEqual, stringLengthEqualConstraintKind, stringLiteralTypeKind, stringTypeKind, structureIdentifier, structureKind, time, timeFundamentalTypeKind, timeTypeKind, trimmed, trimmedConstraintKind, typeIdentifier, typeKind, typeStructureKind, undefinedHelper as undefined, undefinedFundamentalTypeKind, undefinedTypeKind, union, unionStructureKind, url, urlConstraintKind, uuid, uuidConstraintKind };
+export { AbsolutePathConstraint, AllowedCharactersConstraint, ArrayLengthEqualConstraint, ArrayStructure, BetweenThanConstraint, BetweenThanOrEqualConstraint, BigintLiteralType, BigintType, BooleanLiteralType, BooleanType, DateType, EmailConstraint, ErrorSymbol, EvenConstraint, GreaterThanConstraint, GreaterThanOrEqualConstraint, IntegerConstraint, LazyStructure, LessThanConstraint, LessThanOrEqualConstraint, MaxCharactersConstraint, MaxElementsConstraint, MinCharactersConstraint, MinElementsConstraint, MultipleOfConstraint, NegativeConstraint, NonEncodableStringStructure, NotEmptyConstraint, NotZeroConstraint, NullType, NumberLiteralType, NumberType, ObjectStructure, OddConstraint, PathConstraint, PositiveConstraint, RecordStructure, RefineConstraint, RegexConstraint, SafeConstraint, StrictNegativeConstraint, StrictPositiveConstraint, StringLengthEqualConstraint, StringLiteralType, StringType, StructureClass, SuccessSymbol, TheBigint, TheBoolean, TheDate, TheNull, TheNumber, TheString, TheTime, TheUndefined, TimeType, TrimmedConstraint, TypeStructure, UndefinedType, UnionStructure, UrlConstraint, UuidConstraint, absolutePath, absolutePathConstraintKind, allowedCharacters, allowedCharactersConstraintKind, array, arrayLengthEqual, arrayLengthEqualConstraintKind, arrayStructureKind, betweenThan, betweenThanConstraintKind, betweenThanOrEqual, betweenThanOrEqualConstraintKind, bigint, bigintFundamentalTypeKind, bigintLiteralTypeKind, bigintTypeKind, boolean, booleanFundamentalTypeKind, booleanLiteralTypeKind, booleanTypeKind, codecKind, codecsKind, constraintIdentifier, constraintKind, createCodec, createCodecs, createConstraint, createErrorHandler, createErrorInterpreter, createFundamentalType, createGetErrorHandler, createKind, createStructure, createType, dataStructure_exports, date, dateFundamentalTypeKind, dateTypeKind, decodeIssueKind, email, emailConstraintKind, encodeIssueKind, even, evenConstraintKind, extend, fundamentalTypeIdentifier, fundamentalTypeKind, greaterThan, greaterThanConstraintKind, greaterThanOrEqual, greaterThanOrEqualConstraintKind, integer, integerConstraintKind, isNullStructure, isUndefinedStructure, issueKind, lazy, lazyStructureKind, lessThan, lessThanConstraintKind, lessThanOrEqual, lessThanOrEqualConstraintKind, literal, maxCharacters, maxCharactersConstraintKind, maxElements, maxElementsConstraintKind, minCharacters, minCharactersConstraintKind, minElements, minElementsConstraintKind, multipleOf, multipleOfConstraintKind, negative, negativeConstraintKind, nonEncodableStringStructureKind, notEmpty, notEmptyConstraintKind, notZero, notZeroConstraintKind, nullHelper as null, nullFundamentalTypeKind, nullTypeKind, nullable, number, numberFundamentalTypeKind, numberLiteralTypeKind, numberTypeKind, object, objectStructureKind, odd, oddConstraintKind, optional, partial, path, pathConstraintKind, positive, positiveConstraintKind, record, recordStructureKind, refine, refineConstraintKind, regex, regexConstraintKind, required, safe, safeConstraintKind, strictNegative, strictNegativeConstraintKind, strictPositive, strictPositiveConstraintKind, string, stringFundamentalTypeKind, stringLengthEqual, stringLengthEqualConstraintKind, stringLiteralTypeKind, stringTypeKind, structureIdentifier, structureKind, time, timeFundamentalTypeKind, timeTypeKind, trimmed, trimmedConstraintKind, typeIdentifier, typeKind, typeStructureKind, undefinedHelper as undefined, undefinedFundamentalTypeKind, undefinedTypeKind, union, unionStructureKind, url, urlConstraintKind, uuid, uuidConstraintKind };

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

@@ -1,7 +1,4 @@
 import { Structure } from './base';
 import { Structures } from './types';
 import * as DKind from '../../kind';
-export declare const structureIdentifier: {
-    <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>;
-    <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>;
-};
+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

@@ -1,7 +1,4 @@
 import { Type } from './base';
 import { Types } from './types';
 import * as DKind from '../../kind';
-export declare const typeIdentifier: {
-    <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>;
-    <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>;
-};
+export declare const typeIdentifier: DKind.KindIdentifier<Type<import('..').FundamentalType<unknown>, unknown, import('..').TypeDefinition>, Types>;

package/dist/index.cjs

@@ -15,6 +15,7 @@ const require_callThen = require("./common/callThen.cjs");
 const require_index$1 = require("./object/index.cjs");
 const require_clone = require("./common/clone.cjs");
 const require_index$2 = require("./common/constraint/cast/index.cjs");
+const require_index$3 = require("./common/constraint/infer/index.cjs");
 const require_remove = require("./common/constraint/remove.cjs");
 const require_detachObjectMethod = require("./common/detachObjectMethod.cjs");
 const require_enum = require("./common/enum.cjs");
@@ -22,10 +23,10 @@ const require_equal = require("./common/equal.cjs");
 const require_escapeRegExp = require("./common/escapeRegExp.cjs");
 const require_externalPromise = require("./common/externalPromise.cjs");
 const require_falsy = require("./common/falsy.cjs");
-const require_index$3 = require("./array/index.cjs");
-const require_index$4 = require("./generator/index.cjs");
-const require_index$5 = require("./either/index.cjs");
-const require_index$6 = require("./chrono/index.cjs");
+const require_index$4 = require("./array/index.cjs");
+const require_index$5 = require("./generator/index.cjs");
+const require_index$6 = require("./either/index.cjs");
+const require_index$7 = require("./chrono/index.cjs");
 const require_formData = require("./common/formData.cjs");
 const require_forward = require("./common/forward.cjs");
 const require_forwardAsserts = require("./common/forwardAsserts.cjs");
@@ -50,7 +51,7 @@ const require_promiseAll = require("./common/promiseAll.cjs");
 const require_promiseObject = require("./common/promiseObject.cjs");
 const require_queue = require("./common/queue.cjs");
 const require_simpleClone = require("./common/simpleClone.cjs");
-const require_index$7 = require("./string/index.cjs");
+const require_index$8 = require("./string/index.cjs");
 const require_stringToBytes = require("./common/stringToBytes.cjs");
 const require_stringToMillisecond = require("./common/stringToMillisecond.cjs");
 const require_toCurriedPredicate = require("./common/toCurriedPredicate.cjs");
@@ -60,68 +61,68 @@ const require_truthy = require("./common/truthy.cjs");
 const require_when = require("./common/when.cjs");
 const require_whenElse = require("./common/whenElse.cjs");
 const require_whenNot = require("./common/whenNot.cjs");
-const require_index$8 = require("./common/index.cjs");
-const require_index$9 = require("./number/index.cjs");
-const require_index$10 = require("./dataStructure/index.cjs");
-const require_index$11 = require("./tuple/index.cjs");
-const require_index$12 = require("./modeling/index.cjs");
-const require_index$13 = require("./pattern/index.cjs");
-const require_index$14 = require("./invocation/index.cjs");
-const require_index$15 = require("./path/index.cjs");
-const require_index$16 = require("./printer/index.cjs");
+const require_index$9 = require("./common/index.cjs");
+const require_index$10 = require("./path/index.cjs");
+const require_index$11 = require("./number/index.cjs");
+const require_index$12 = require("./dataStructure/index.cjs");
+const require_index$13 = require("./tuple/index.cjs");
+const require_index$14 = require("./modeling/index.cjs");
+const require_index$15 = require("./pattern/index.cjs");
+const require_index$16 = require("./invocation/index.cjs");
+const require_index$17 = require("./printer/index.cjs");
 Object.defineProperty(exports, "A", {
 	enumerable: true,
 	get: function() {
-		return require_index$3.array_exports;
+		return require_index$4.array_exports;
 	}
 });
 exports.AssertsError = require_asserts.AssertsError;
 Object.defineProperty(exports, "C", {
 	enumerable: true,
 	get: function() {
-		return require_index$6.chrono_exports;
+		return require_index$7.chrono_exports;
 	}
 });
 Object.defineProperty(exports, "DArray", {
 	enumerable: true,
 	get: function() {
-		return require_index$3.array_exports;
+		return require_index$4.array_exports;
 	}
 });
 Object.defineProperty(exports, "DChrono", {
 	enumerable: true,
 	get: function() {
-		return require_index$6.chrono_exports;
+		return require_index$7.chrono_exports;
 	}
 });
 Object.defineProperty(exports, "DCommon", {
 	enumerable: true,
 	get: function() {
-		return require_index$8.common_exports;
+		return require_index$9.common_exports;
 	}
 });
 Object.defineProperty(exports, "DDataStructure", {
 	enumerable: true,
 	get: function() {
-		return require_index$10.dataStructure_exports;
+		return require_index$12.dataStructure_exports;
 	}
 });
 Object.defineProperty(exports, "DEither", {
 	enumerable: true,
 	get: function() {
-		return require_index$5.either_exports;
+		return require_index$6.either_exports;
 	}
 });
 Object.defineProperty(exports, "DGenerator", {
 	enumerable: true,
 	get: function() {
-		return require_index$4.generator_exports;
+		return require_index$5.generator_exports;
 	}
 });
 Object.defineProperty(exports, "DInvocation", {
 	enumerable: true,
 	get: function() {
-		return require_index$14.invocation_exports;
+		return require_index$16.invocation_exports;
 	}
 });
 Object.defineProperty(exports, "DKind", {
@@ -133,13 +134,13 @@ Object.defineProperty(exports, "DKind", {
 Object.defineProperty(exports, "DModeling", {
 	enumerable: true,
 	get: function() {
-		return require_index$12.modeling_exports;
+		return require_index$14.modeling_exports;
 	}
 });
 Object.defineProperty(exports, "DNumber", {
 	enumerable: true,
 	get: function() {
-		return require_index$9.number_exports;
+		return require_index$11.number_exports;
 	}
 });
 Object.defineProperty(exports, "DObject", {
@@ -151,55 +152,55 @@ Object.defineProperty(exports, "DObject", {
 Object.defineProperty(exports, "DPath", {
 	enumerable: true,
 	get: function() {
-		return require_index$15.path_exports;
+		return require_index$10.path_exports;
 	}
 });
 Object.defineProperty(exports, "DPattern", {
 	enumerable: true,
 	get: function() {
-		return require_index$13.pattern_exports;
+		return require_index$15.pattern_exports;
 	}
 });
 Object.defineProperty(exports, "DPrinter", {
 	enumerable: true,
 	get: function() {
-		return require_index$16.printer_exports;
+		return require_index$17.printer_exports;
 	}
 });
 Object.defineProperty(exports, "DS", {
 	enumerable: true,
 	get: function() {
-		return require_index$10.dataStructure_exports;
+		return require_index$12.dataStructure_exports;
 	}
 });
 Object.defineProperty(exports, "DString", {
 	enumerable: true,
 	get: function() {
-		return require_index$7.string_exports;
+		return require_index$8.string_exports;
 	}
 });
 Object.defineProperty(exports, "DTuple", {
 	enumerable: true,
 	get: function() {
-		return require_index$11.tuple_exports;
+		return require_index$13.tuple_exports;
 	}
 });
 Object.defineProperty(exports, "E", {
 	enumerable: true,
 	get: function() {
-		return require_index$5.either_exports;
+		return require_index$6.either_exports;
 	}
 });
 Object.defineProperty(exports, "G", {
 	enumerable: true,
 	get: function() {
-		return require_index$4.generator_exports;
+		return require_index$5.generator_exports;
 	}
 });
 Object.defineProperty(exports, "I", {
 	enumerable: true,
 	get: function() {
-		return require_index$14.invocation_exports;
+		return require_index$16.invocation_exports;
 	}
 });
 exports.InvalidBytesInStringError = require_stringToBytes.InvalidBytesInStringError;
@@ -207,14 +208,14 @@ exports.InvalidMillisecondInStringError = require_stringToMillisecond.InvalidMil
 Object.defineProperty(exports, "M", {
 	enumerable: true,
 	get: function() {
-		return require_index$12.modeling_exports;
+		return require_index$14.modeling_exports;
 	}
 });
 exports.MissingBuilderMethodsError = require_builder.MissingBuilderMethodsError;
 Object.defineProperty(exports, "N", {
 	enumerable: true,
 	get: function() {
-		return require_index$9.number_exports;
+		return require_index$11.number_exports;
 	}
 });
 Object.defineProperty(exports, "O", {
@@ -226,19 +227,19 @@ Object.defineProperty(exports, "O", {
 Object.defineProperty(exports, "P", {
 	enumerable: true,
 	get: function() {
-		return require_index$13.pattern_exports;
+		return require_index$15.pattern_exports;
 	}
 });
 Object.defineProperty(exports, "S", {
 	enumerable: true,
 	get: function() {
-		return require_index$7.string_exports;
+		return require_index$8.string_exports;
 	}
 });
 Object.defineProperty(exports, "T", {
 	enumerable: true,
 	get: function() {
-		return require_index$11.tuple_exports;
+		return require_index$13.tuple_exports;
 	}
 });
 exports.TheFormData = require_formData.TheFormData;
@@ -269,6 +270,7 @@ exports.falsy = require_falsy.falsy;
 exports.forward = require_forward.forward;
 exports.forwardAsserts = require_forwardAsserts.forwardAsserts;
 exports.forwardLog = require_forwardLog.forwardLog;
+exports.infer = require_index$3.infer;
 exports.innerPipe = require_innerPipe.innerPipe;
 exports.instanceOf = require_instanceOf.instanceOf;
 exports.isType = require_isType.isType;

package/dist/index.mjs

@@ -14,6 +14,7 @@ import { callThen } from "./common/callThen.mjs";
 import { object_exports } from "./object/index.mjs";
 import { clone } from "./common/clone.mjs";
 import { cast, shameOnYou } from "./common/constraint/cast/index.mjs";
+import { infer } from "./common/constraint/infer/index.mjs";
 import { removeConstraint } from "./common/constraint/remove.mjs";
 import { detachObjectMethod } from "./common/detachObjectMethod.mjs";
 import { createEnum } from "./common/enum.mjs";
@@ -60,12 +61,12 @@ import { when } from "./common/when.mjs";
 import { whenElse } from "./common/whenElse.mjs";
 import { whenNot } from "./common/whenNot.mjs";
 import { common_exports } from "./common/index.mjs";
+import { path_exports } from "./path/index.mjs";
 import { number_exports } from "./number/index.mjs";
 import { dataStructure_exports } from "./dataStructure/index.mjs";
 import { tuple_exports } from "./tuple/index.mjs";
 import { modeling_exports } from "./modeling/index.mjs";
 import { pattern_exports } from "./pattern/index.mjs";
 import { invocation_exports } from "./invocation/index.mjs";
-import { path_exports } from "./path/index.mjs";
 import { printer_exports } from "./printer/index.mjs";
-export { array_exports as A, AssertsError, chrono_exports as C, array_exports as DArray, chrono_exports as DChrono, common_exports as DCommon, dataStructure_exports as DDataStructure, either_exports as DEither, generator_exports as DGenerator, invocation_exports as DInvocation, kind_exports as DKind, modeling_exports as DModeling, number_exports as DNumber, object_exports as DObject, path_exports as DPath, pattern_exports as DPattern, printer_exports as DPrinter, dataStructure_exports as DS, string_exports as DString, tuple_exports as DTuple, either_exports as E, generator_exports as G, invocation_exports as I, InvalidBytesInStringError, InvalidMillisecondInStringError, modeling_exports as M, MissingBuilderMethodsError, number_exports as N, object_exports as O, pattern_exports as P, string_exports as S, tuple_exports as T, TheFormData, and, asserts, asyncInnerPipe, asyncLoop, asyncPipe, bindPrototypeMethods, builderKind, callThen, cast, clone, createAsyncRetry, createBuilder, createEnum, createExternalPromise, createFormData, createGlobalStore, createInterpolation, createKind, createQueue, createTransformer, detachObjectMethod, equal, escapeRegExp, falsy, forward, forwardAsserts, forwardLog, innerPipe, instanceOf, isType, justExec, justReturn, loop, memo, memoObject, memoPromise, mimeType, or, pipe, pipeCall, prepareAsyncPipe, preparePipe, promiseAll, promiseObject, queueKind, removeConstraint, shameOnYou, simpleClone, stringToBytes, stringToMillisecond, timeout, toCurriedPredicate, toJSON, toNative, toRegExp, transformer, truthy, useAsyncRetry, when, whenElse, whenNot };
+export { array_exports as A, AssertsError, chrono_exports as C, array_exports as DArray, chrono_exports as DChrono, common_exports as DCommon, dataStructure_exports as DDataStructure, either_exports as DEither, generator_exports as DGenerator, invocation_exports as DInvocation, kind_exports as DKind, modeling_exports as DModeling, number_exports as DNumber, object_exports as DObject, path_exports as DPath, pattern_exports as DPattern, printer_exports as DPrinter, dataStructure_exports as DS, string_exports as DString, tuple_exports as DTuple, either_exports as E, generator_exports as G, invocation_exports as I, InvalidBytesInStringError, InvalidMillisecondInStringError, modeling_exports as M, MissingBuilderMethodsError, number_exports as N, object_exports as O, pattern_exports as P, string_exports as S, tuple_exports as T, TheFormData, and, asserts, asyncInnerPipe, asyncLoop, asyncPipe, bindPrototypeMethods, builderKind, callThen, cast, clone, createAsyncRetry, createBuilder, createEnum, createExternalPromise, createFormData, createGlobalStore, createInterpolation, createKind, createQueue, createTransformer, detachObjectMethod, equal, escapeRegExp, falsy, forward, forwardAsserts, forwardLog, infer, innerPipe, instanceOf, isType, justExec, justReturn, loop, memo, memoObject, memoPromise, mimeType, or, pipe, pipeCall, prepareAsyncPipe, preparePipe, promiseAll, promiseObject, queueKind, removeConstraint, shameOnYou, simpleClone, stringToBytes, stringToMillisecond, timeout, toCurriedPredicate, toJSON, toNative, toRegExp, transformer, truthy, useAsyncRetry, when, whenElse, whenNot };

package/dist/kind/createIdentifier.d.ts

@@ -1,7 +1,11 @@
 import { Kind, Handler } from './base';
 import { GetHandler } from './types';
 import type * as DCommon from '../common';
-export declare function createKindIdentifier<GenericParent extends Kind<Handler>, GenericChildren extends GenericParent>(): {
-    <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>);
-    <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>);
-};
+type KindIdentifierHandlers<GenericParent extends Kind<Handler>, GenericChildren extends GenericParent> = GenericChildren extends infer InferredChildren ? InferredChildren extends GenericParent ? GetHandler<InferredChildren> : never : never;
+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>);
+export interface KindIdentifier<GenericParent extends Kind<Handler>, GenericChildren extends GenericParent> {
+    <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>;
+    <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>;
+}
+export declare function createKindIdentifier<GenericParent extends Kind<Handler>, GenericChildren extends GenericParent>(): KindIdentifier<GenericParent, GenericChildren>;
+export {};

package/dist/number/index.cjs

@@ -3,7 +3,6 @@ const require_betweenThan = require("./betweenThan.cjs");
 const require_betweenThanOrEqual = require("./betweenThanOrEqual.cjs");
 const require_greaterThan = require("./greaterThan.cjs");
 const require_greaterThanOrEqual = require("./greaterThanOrEqual.cjs");
-const require_infer = require("./infer.cjs");
 const require_isEven = require("./isEven.cjs");
 const require_isInteger = require("./isInteger.cjs");
 const require_isMultipleOf = require("./isMultipleOf.cjs");
@@ -28,7 +27,6 @@ var number_exports = /* @__PURE__ */ require_runtime.__exportAll({
 	betweenThanOrEqual: () => require_betweenThanOrEqual.betweenThanOrEqual,
 	greaterThan: () => require_greaterThan.greaterThan,
 	greaterThanOrEqual: () => require_greaterThanOrEqual.greaterThanOrEqual,
-	infer: () => require_infer.infer,
 	isEven: () => require_isEven.isEven,
 	isInteger: () => require_isInteger.isInteger,
 	isMultipleOf: () => require_isMultipleOf.isMultipleOf,
@@ -53,7 +51,6 @@ exports.betweenThan = require_betweenThan.betweenThan;
 exports.betweenThanOrEqual = require_betweenThanOrEqual.betweenThanOrEqual;
 exports.greaterThan = require_greaterThan.greaterThan;
 exports.greaterThanOrEqual = require_greaterThanOrEqual.greaterThanOrEqual;
-exports.infer = require_infer.infer;
 exports.isEven = require_isEven.isEven;
 exports.isInteger = require_isInteger.isInteger;
 exports.isMultipleOf = require_isMultipleOf.isMultipleOf;

package/dist/number/index.d.ts

@@ -3,7 +3,6 @@ export * from './betweenThanOrEqual';
 export type * from './constraints';
 export * from './greaterThan';
 export * from './greaterThanOrEqual';
-export * from './infer';
 export * from './isEven';
 export * from './isInteger';
 export * from './isMultipleOf';

package/dist/number/index.mjs

@@ -3,7 +3,6 @@ import { betweenThan } from "./betweenThan.mjs";
 import { betweenThanOrEqual } from "./betweenThanOrEqual.mjs";
 import { greaterThan } from "./greaterThan.mjs";
 import { greaterThanOrEqual } from "./greaterThanOrEqual.mjs";
-import { infer } from "./infer.mjs";
 import { isEven } from "./isEven.mjs";
 import { isInteger } from "./isInteger.mjs";
 import { isMultipleOf } from "./isMultipleOf.mjs";
@@ -28,7 +27,6 @@ var number_exports = /* @__PURE__ */ __exportAll({
 	betweenThanOrEqual: () => betweenThanOrEqual,
 	greaterThan: () => greaterThan,
 	greaterThanOrEqual: () => greaterThanOrEqual,
-	infer: () => infer,
 	isEven: () => isEven,
 	isInteger: () => isInteger,
 	isMultipleOf: () => isMultipleOf,
@@ -49,4 +47,4 @@ var number_exports = /* @__PURE__ */ __exportAll({
 	sum: () => sum
 });
 //#endregion
-export { betweenThan, betweenThanOrEqual, greaterThan, greaterThanOrEqual, infer, isEven, isInteger, isMultipleOf, isNegative, isNotZero, isOdd, isPositive, isSafe, isStrictNegative, isStrictPositive, lessThan, lessThanOrEqual, max, maxOf, min, minOf, number_exports, sort, sum };
+export { betweenThan, betweenThanOrEqual, greaterThan, greaterThanOrEqual, isEven, isInteger, isMultipleOf, isNegative, isNotZero, isOdd, isPositive, isSafe, isStrictNegative, isStrictPositive, lessThan, lessThanOrEqual, max, maxOf, min, minOf, number_exports, sort, sum };