@duplojs/lang 0.0.1-beta.1 → 0.0.1-beta.10

package/dist/chrono/theDate.cjs

@@ -20,96 +20,95 @@ var TheDate = class TheDate extends require_parentClass.parentClass(require_kind
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setDate(_date) {
+	setDate() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setFullYear(_year, _month, _date) {
+	setFullYear() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setHours(_hours, _min, _sec, _ms) {
+	setHours() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setMilliseconds(_ms) {
+	setMilliseconds() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setMinutes(_min, _sec, _ms) {
+	setMinutes() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setMonth(_month, _date) {
+	setMonth() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setSeconds(_sec, _ms) {
+	setSeconds() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setTime(_time) {
+	setTime() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setUTCDate(_date) {
+	setUTCDate() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setUTCFullYear(_year, _month, _date) {
+	setUTCFullYear() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setUTCHours(_hours, _min, _sec, _ms) {
+	setUTCHours() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setUTCMilliseconds(_ms) {
+	setUTCMilliseconds() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setUTCMinutes(_min, _sec, _ms) {
+	setUTCMinutes() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setUTCMonth(_month, _date) {
+	setUTCMonth() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setUTCSeconds(_sec, _ms) {
+	setUTCSeconds() {
 		return this.getTime();
 	}
 	/**
 	* @internal
-	* @deprecated use DChrono.createDate | DChrono.createDateOrThrow function
 	*/
 	static "new"(timestamp) {
 		return new TheDate(require_makeSafeTimestamp.makeSafeTimestamp(timestamp));

package/dist/chrono/theDate.d.ts

@@ -9,62 +9,62 @@ export declare class TheDate extends TheDate_base {
     /**
      * @deprecated this method does not work on ImmutableDate
      */
-    setDate(_date: number): number;
+    setDate(): number;
     /**
      * @deprecated this method does not work on ImmutableDate
      */
-    setFullYear(_year: number, _month?: number, _date?: number): number;
+    setFullYear(): number;
     /**
      * @deprecated this method does not work on ImmutableDate
      */
-    setHours(_hours: number, _min?: number, _sec?: number, _ms?: number): number;
+    setHours(): number;
     /**
      * @deprecated this method does not work on ImmutableDate
      */
-    setMilliseconds(_ms: number): number;
+    setMilliseconds(): number;
     /**
      * @deprecated this method does not work on ImmutableDate
      */
-    setMinutes(_min: number, _sec?: number, _ms?: number): number;
+    setMinutes(): number;
     /**
      * @deprecated this method does not work on ImmutableDate
      */
-    setMonth(_month: number, _date?: number): number;
+    setMonth(): number;
     /**
      * @deprecated this method does not work on ImmutableDate
      */
-    setSeconds(_sec: number, _ms?: number): number;
+    setSeconds(): number;
     /**
      * @deprecated this method does not work on ImmutableDate
      */
-    setTime(_time: number): number;
+    setTime(): number;
     /**
      * @deprecated this method does not work on ImmutableDate
      */
-    setUTCDate(_date: number): number;
+    setUTCDate(): number;
     /**
      * @deprecated this method does not work on ImmutableDate
      */
-    setUTCFullYear(_year: number, _month?: number, _date?: number): number;
+    setUTCFullYear(): number;
     /**
      * @deprecated this method does not work on ImmutableDate
      */
-    setUTCHours(_hours: number, _min?: number, _sec?: number, _ms?: number): number;
+    setUTCHours(): number;
     /**
      * @deprecated this method does not work on ImmutableDate
      */
-    setUTCMilliseconds(_ms: number): number;
+    setUTCMilliseconds(): number;
     /**
      * @deprecated this method does not work on ImmutableDate
      */
-    setUTCMinutes(_min: number, _sec?: number, _ms?: number): number;
+    setUTCMinutes(): number;
     /**
      * @deprecated this method does not work on ImmutableDate
      */
-    setUTCMonth(_month: number, _date?: number): number;
+    setUTCMonth(): number;
     /**
      * @deprecated this method does not work on ImmutableDate
      */
-    setUTCSeconds(_sec: number, _ms?: number): number;
+    setUTCSeconds(): number;
 }
 export {};

package/dist/chrono/theDate.mjs

@@ -20,96 +20,95 @@ var TheDate = class TheDate extends parentClass(createKind("the-date"), Date) {
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setDate(_date) {
+	setDate() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setFullYear(_year, _month, _date) {
+	setFullYear() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setHours(_hours, _min, _sec, _ms) {
+	setHours() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setMilliseconds(_ms) {
+	setMilliseconds() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setMinutes(_min, _sec, _ms) {
+	setMinutes() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setMonth(_month, _date) {
+	setMonth() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setSeconds(_sec, _ms) {
+	setSeconds() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setTime(_time) {
+	setTime() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setUTCDate(_date) {
+	setUTCDate() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setUTCFullYear(_year, _month, _date) {
+	setUTCFullYear() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setUTCHours(_hours, _min, _sec, _ms) {
+	setUTCHours() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setUTCMilliseconds(_ms) {
+	setUTCMilliseconds() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setUTCMinutes(_min, _sec, _ms) {
+	setUTCMinutes() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setUTCMonth(_month, _date) {
+	setUTCMonth() {
 		return this.getTime();
 	}
 	/**
 	* @deprecated this method does not work on ImmutableDate
 	*/
-	setUTCSeconds(_sec, _ms) {
+	setUTCSeconds() {
 		return this.getTime();
 	}
 	/**
 	* @internal
-	* @deprecated use DChrono.createDate | DChrono.createDateOrThrow function
 	*/
 	static "new"(timestamp) {
 		return new TheDate(makeSafeTimestamp(timestamp));

package/dist/chrono/theTime.cjs

@@ -21,7 +21,6 @@ var TheTime = class TheTime extends require_parentClass.parentClass(require_kind
 	}
 	/**
 	* @internal
-	* @deprecated use DDate.createTime | DDate.createTimeOrThrow function
 	*/
 	static "new"(time) {
 		return new TheTime(require_makeSafeTimeValue.makeSafeTimeValue(time));

package/dist/chrono/theTime.mjs

@@ -21,7 +21,6 @@ var TheTime = class TheTime extends parentClass(createKind("the-time")) {
 	}
 	/**
 	* @internal
-	* @deprecated use DDate.createTime | DDate.createTimeOrThrow function
 	*/
 	static "new"(time) {
 		return new TheTime(makeSafeTimeValue(time));

package/dist/chrono/types/spoolingTime.d.ts

@@ -1,5 +1,6 @@
+import { TheTime } from '../theTime';
 export interface SpoolingTime {
-    value?: string | number;
+    value?: string | number | TheTime;
     week?: number;
     day?: number;
     hour?: number;

package/dist/common/constraint/cast/index.d.ts

@@ -3,7 +3,7 @@ import { UnbundlesConstraint, BaseConstraint, RemoveConstraint } from '../types'
 import { CastError, RemoveCastError } from './error';
 import { ComputeCastConstraintNumberRule } from './number';
 import { ComputeCastConstraintStringRule } from './string';
-import { AnyTuple, IsExtends, BreakGenericLink, NeverCoalescing, UnionContain, IsEqual } from '../../types';
+import { IsExtends, BreakGenericLink, NeverCoalescing, UnionContain, IsEqual } from '../../types';
 import type * as DArray from '../../../array';
 import type * as DTuple from '../../../tuple';
 import type * as DObject from '../../../object';
@@ -17,7 +17,7 @@ export interface ComputeCastConstraintRule<GenericValue extends unknown, Generic
     array: GenericValue extends readonly unknown[] ? DObject.Values<ComputeCastConstraintArrayRule<GenericValue, GenericConstraint>> : never;
 }
 export type ComputeCastConstraint<GenericValue extends unknown, GenericExpectedValue extends unknown> = (GenericExpectedValue extends any ? [UnbundlesConstraint<GenericExpectedValue>] : never) extends infer InferredComputedExpectedValue extends [BaseConstraint] ? DArray.Unwrap<NeverCoalescing<Extract<GenericValue extends any ? (InferredComputedExpectedValue extends [infer InferredConstraint extends BaseConstraint] ? NeverCoalescing<Extract<InferredConstraint extends any ? [
-    NeverCoalescing<DObject.Values<ComputeCastConstraintRule<GenericValue, InferredConstraint>>, CastError<"None of the intended constraints is possible on the current value.", GenericValue, InferredConstraint>>
+    GenericValue extends InferredConstraint ? unknown : NeverCoalescing<DObject.Values<ComputeCastConstraintRule<GenericValue, InferredConstraint>>, CastError<"None of the intended constraints is possible on the current value.", GenericValue, InferredConstraint>>
 ] : never, [
     CastError<any, any, any>
 ]>, [
@@ -25,7 +25,7 @@ export type ComputeCastConstraint<GenericValue extends unknown, GenericExpectedV
 ]> : never) extends infer InferredResult ? UnionContain<InferredResult, [unknown]> extends true ? [unknown] : InferredResult : never : never, [
     CastError<any, any, any>
 ]>, unknown>> : never;
-type ComputeTransformCastValue<GenericValue extends unknown> = GenericValue extends (string | number | AnyTuple) ? RemoveConstraint<GenericValue> : GenericValue extends readonly unknown[] ? DArray.ExtractLengthEqual<GenericValue, unknown> extends DArray.LengthEqual<infer InferredLength> ? DTuple.Create<GenericValue[number], InferredLength> : DArray.ExtractMinElements<GenericValue, unknown> extends DArray.MinElements<infer InferredMin> ? readonly [...DTuple.Create<GenericValue[number], InferredMin>, ...GenericValue] : RemoveConstraint<GenericValue> : never;
+type ComputeTransformCastValue<GenericValue extends unknown> = GenericValue extends readonly unknown[] ? DArray.ExtractLengthEqual<GenericValue, unknown> extends DArray.LengthEqual<infer InferredLength> ? DTuple.Create<GenericValue[number], InferredLength> : DArray.ExtractMinElements<GenericValue, unknown> extends DArray.MinElements<infer InferredMin> ? readonly [...DTuple.Create<GenericValue[number], InferredMin>, ...GenericValue] : RemoveConstraint<GenericValue> : RemoveConstraint<GenericValue>;
 export type ComputeCastValue<GenericValue extends unknown, GenericExpectedValue extends unknown> = [
     ComputeTransformCastValue<GenericValue>,
     ComputeTransformCastValue<GenericExpectedValue>

package/dist/common/constraint/cast/number.d.ts

@@ -7,4 +7,19 @@ export interface ComputeCastConstraintNumberRule<GenericValue extends number, Ge
     greaterThanOrEqual: GenericExpectedConstraint extends DNumber.GreaterThanOrEqual<number> ? DCommon.NeverCoalescing<(DNumber.ComputeGreaterThanOrEqualCompatibility<GenericValue, GenericExpectedConstraint, unknown> extends infer InferredResult extends CompatibilityConstraintResult<boolean, number, number> ? InferredResult extends CompatibilityConstraintResult<true> ? unknown : DCommon.IsNever<DNumber.ExtractGreaterThanOrEqual<GenericValue>> extends true ? CastError<`Impossible to cast on GreaterThanOrEqual<${InferredResult["to"]}> because constraint GreaterThan<${InferredResult["from"]}> from the value is less than.`, GenericValue, GenericExpectedConstraint> : CastError<`Impossible to cast on GreaterThanOrEqual<${InferredResult["to"]}> because constraint GreaterThanOrEqual<${InferredResult["from"]}> from the value is less than.`, GenericValue, GenericExpectedConstraint> : never), CastError<"Impossible to cast on GreaterThanOrEqual because value does not have compatible constraint.", GenericValue, GenericExpectedConstraint>> : never;
     lessThan: GenericExpectedConstraint extends DNumber.LessThan<number> ? DCommon.NeverCoalescing<(DNumber.ComputeLessThanCompatibility<GenericValue, GenericExpectedConstraint, unknown> extends infer InferredResult extends CompatibilityConstraintResult<boolean, number, number> ? InferredResult extends CompatibilityConstraintResult<true> ? unknown : DCommon.IsNever<DNumber.ExtractLessThanOrEqual<GenericValue>> extends true ? CastError<`Impossible to cast on LessThan<${InferredResult["to"]}> because constraint LessThan<${InferredResult["from"]}> from the value is greater than.`, GenericValue, GenericExpectedConstraint> : CastError<`Impossible to cast on LessThan<${InferredResult["to"]}> because constraint LessThanOrEqual<${InferredResult["from"]}> from the value is greater than or equal.`, GenericValue, GenericExpectedConstraint> : never), CastError<"Impossible to cast on LessThan because value does not have compatible constraint.", GenericValue, GenericExpectedConstraint>> : never;
     lessThanOrEqual: GenericExpectedConstraint extends DNumber.LessThanOrEqual<number> ? DCommon.NeverCoalescing<(DNumber.ComputeLessThanOrEqualCompatibility<GenericValue, GenericExpectedConstraint, unknown> extends infer InferredResult extends CompatibilityConstraintResult<boolean, number, number> ? InferredResult extends CompatibilityConstraintResult<true> ? unknown : DCommon.IsNever<DNumber.ExtractLessThanOrEqual<GenericValue>> extends true ? CastError<`Impossible to cast on LessThanOrEqual<${InferredResult["to"]}> because constraint LessThan<${InferredResult["from"]}> from the value is greater than.`, GenericValue, GenericExpectedConstraint> : CastError<`Impossible to cast on LessThanOrEqual<${InferredResult["to"]}> because constraint LessThanOrEqual<${InferredResult["from"]}> from the value is greater than.`, GenericValue, GenericExpectedConstraint> : never), CastError<"Impossible to cast on LessThanOrEqual because value does not have compatible constraint.", GenericValue, GenericExpectedConstraint>> : never;
+    integer: GenericExpectedConstraint extends DNumber.Integer ? DCommon.Or<[
+        DNumber.IsInteger<GenericValue>,
+        DCommon.IsExtends<GenericValue, DNumber.Integer>
+    ]> extends true ? unknown : CastError<`Impossible to cast on Integer because value ${GenericValue} is not an integer.`, GenericValue, GenericExpectedConstraint> : never;
+    notZero: GenericExpectedConstraint extends DNumber.NotZero ? DCommon.Or<[
+        DCommon.And<[
+            DCommon.Not<DNumber.IsZero<GenericValue>>,
+            DNumber.IsLiteral<GenericValue>
+        ]>,
+        DCommon.IsExtends<GenericValue, DNumber.NotZero>
+    ]> extends true ? unknown : CastError<`Impossible to cast on NotZero because value ${GenericValue} is equal to zero.`, GenericValue, GenericExpectedConstraint> : never;
+    safe: GenericExpectedConstraint extends DNumber.Safe ? DCommon.Or<[
+        DNumber.IsSafe<GenericValue>,
+        DCommon.IsExtends<GenericValue, DNumber.Safe>
+    ]> extends true ? unknown : CastError<`Impossible to cast on Safe because value ${GenericValue} is not safe.`, GenericValue, GenericExpectedConstraint> : never;
 }

package/dist/common/constraint/cast/string.d.ts

@@ -2,8 +2,29 @@ import { CastError } from './error';
 import { CompatibilityConstraintResult, BaseConstraint } from '../types';
 import type * as DString from '../../../string';
 import type * as DCommon from '../..';
+import type * as DPath from '../../../path';
 export interface ComputeCastConstraintStringRule<GenericValue extends string, GenericExpectedConstraint extends BaseConstraint> {
     maxCharacters: GenericExpectedConstraint extends DString.MaxCharacters<number> ? DCommon.NeverCoalescing<(DString.ComputeMaxCharactersCompatibility<GenericValue, GenericExpectedConstraint, unknown> extends infer InferredResult extends CompatibilityConstraintResult<boolean, number, number> ? InferredResult extends CompatibilityConstraintResult<true> ? unknown : DCommon.IsNever<DString.ExtractLengthEqual<GenericValue>> extends true ? CastError<`Impossible to cast on MaxCharacters<${InferredResult["to"]}> because constraint MaxCharacters<${InferredResult["from"]}> from the value is more than.`, GenericValue, GenericExpectedConstraint> : CastError<`Impossible to cast on MaxCharacters<${InferredResult["to"]}> because constraint LengthEqual<${InferredResult["from"]}> from the value is more than.`, GenericValue, GenericExpectedConstraint> : never), CastError<"Impossible to cast on MaxCharacters because value does not have MaxCharacters constraint.", GenericValue, GenericExpectedConstraint>> : never;
     minCharacters: GenericExpectedConstraint extends DString.MinCharacters<number> ? DCommon.NeverCoalescing<(DString.ComputeMinCharactersCompatibility<GenericValue, GenericExpectedConstraint, unknown> extends infer InferredResult extends CompatibilityConstraintResult<boolean, number, number> ? InferredResult extends CompatibilityConstraintResult<true> ? unknown : DCommon.IsNever<DString.ExtractLengthEqual<GenericValue>> extends true ? CastError<`Impossible to cast on MinCharacters<${InferredResult["to"]}> because constraint MinCharacters<${InferredResult["from"]}> from the value is less than.`, GenericValue, GenericExpectedConstraint> : CastError<`Impossible to cast on MinCharacters<${InferredResult["to"]}> because constraint LengthEqual<${InferredResult["from"]}> from the value is less than.`, GenericValue, GenericExpectedConstraint> : never), CastError<"Impossible to cast on MinCharacters because value does not have MinCharacters constraint.", GenericValue, GenericExpectedConstraint>> : never;
     lengthEqual: GenericExpectedConstraint extends DString.LengthEqual<number> ? DCommon.NeverCoalescing<(DString.ComputeLengthEqualCompatibility<GenericValue, GenericExpectedConstraint, unknown> extends infer InferredResult extends CompatibilityConstraintResult<boolean, number, number> ? InferredResult extends CompatibilityConstraintResult<true> ? unknown : CastError<`Impossible to cast on LengthEqual<${InferredResult["to"]}> because constraint LengthEqual<${InferredResult["from"]}> from the value is not equal.`, GenericValue, GenericExpectedConstraint> : never), CastError<"Impossible to cast on LengthEqual because value does not have LengthEqual constraint.", GenericValue, GenericExpectedConstraint>> : never;
+    allowedCharacters: GenericExpectedConstraint extends DString.AllowedCharacters<infer InferredCharactersRange> ? DCommon.Or<[
+        DString.IsAllowedString<Extract<DCommon.RemoveConstraint<GenericValue>, string>, DString.CharactersRangeStore[InferredCharactersRange]>,
+        DCommon.IsExtends<GenericValue, GenericExpectedConstraint>
+    ]> extends true ? unknown : CastError<`Impossible to cast on AllowedCharacters because value ${GenericValue} contains forbidden characters.`, GenericValue, GenericExpectedConstraint> : never;
+    number: DCommon.IsExtends<GenericExpectedConstraint, DString.Number> extends true ? DCommon.Or<[
+        DCommon.IsExtends<GenericValue, DString.NumberInString>,
+        DCommon.IsExtends<GenericValue, DString.Number>
+    ]> extends true ? unknown : CastError<`Impossible to cast on Number because value ${GenericValue} is not a number.`, GenericValue, GenericExpectedConstraint> : never;
+    path: DCommon.IsExtends<GenericExpectedConstraint, DPath.Path> extends true ? DCommon.Or<[
+        DPath.IsLiteralPath<GenericValue>,
+        DCommon.IsExtends<GenericValue, DPath.Path | DPath.Absolute | DPath.Segment>
+    ]> extends true ? unknown : CastError<`Impossible to cast on Path because value ${GenericValue} is not path.`, GenericValue, GenericExpectedConstraint> : never;
+    absolutePath: DCommon.IsExtends<GenericExpectedConstraint, DPath.Absolute> extends true ? DCommon.Or<[
+        DPath.IsLiteralAbsolutePath<GenericValue>,
+        DCommon.IsExtends<GenericValue, DPath.Absolute>
+    ]> extends true ? unknown : CastError<`Impossible to cast on AbsolutePath because value ${GenericValue} is not absolute path.`, GenericValue, GenericExpectedConstraint> : never;
+    segment: DCommon.IsExtends<GenericExpectedConstraint, DPath.Segment> extends true ? DCommon.Or<[
+        DPath.IsLiteralSegmentPath<GenericValue>,
+        DCommon.IsExtends<GenericValue, DPath.Segment>
+    ]> extends true ? unknown : CastError<`Impossible to cast on SegmentPath because value ${GenericValue} is not segment path.`, GenericValue, GenericExpectedConstraint> : never;
 }

package/dist/common/constraint/index.d.ts

@@ -1,2 +1,4 @@
 export * from './cast';
+export * from './infer';
+export * from './remove';
 export * from './types';

package/dist/common/constraint/infer/array.d.ts

@@ -0,0 +1,7 @@
+import type * as DArray from '../../../array';
+import type * as DCommon from '../..';
+export interface ComputeInferConstraintArrayRule<GenericInput extends readonly unknown[], GenericOutput extends unknown> {
+    maxElements: DArray.ComputeMaxElementsCompatibility<GenericInput, GenericOutput, unknown> extends infer InferredResult extends DCommon.CompatibilityConstraintResult<boolean, number, number> ? InferredResult extends DCommon.CompatibilityConstraintResult<true> ? DArray.MaxElements<InferredResult["to"]> : DCommon.ComputedTypeError<`Impossible to cast on MaxElements<${InferredResult["to"]}> because constraint MaxElements<${InferredResult["from"]}> from the value is more than.`> : never;
+    minElements: DArray.ComputeMinElementsCompatibility<GenericInput, GenericOutput, unknown> extends infer InferredResult extends DCommon.CompatibilityConstraintResult<boolean, number, number> ? InferredResult extends DCommon.CompatibilityConstraintResult<true> ? DArray.MinElements<InferredResult["to"]> : DCommon.ComputedTypeError<`Impossible to cast on MinElements<${InferredResult["to"]}> because constraint MinElements<${InferredResult["from"]}> from the value is less than.`> : never;
+    lengthEqual: DArray.ComputeLengthEqualCompatibility<GenericInput, GenericOutput, unknown> extends infer InferredResult extends DCommon.CompatibilityConstraintResult<boolean, number, number> ? InferredResult extends DCommon.CompatibilityConstraintResult<true> ? DArray.LengthEqual<InferredResult["to"]> : DCommon.ComputedTypeError<`Impossible to cast on LengthEqual<${InferredResult["to"]}> because constraint LengthEqual<${InferredResult["from"]}> from the value is not equal.`> : never;
+}

package/dist/{array/infer.cjs → common/constraint/infer/index.cjs}

@@ -1,4 +1,4 @@
-//#region scripts/array/infer.ts
+//#region scripts/common/constraint/infer/index.ts
 function infer(input) {
 	return input;
 }

package/dist/common/constraint/infer/index.d.ts

@@ -0,0 +1,26 @@
+import { ComputeInferConstraintArrayRule } from './array';
+import { ComputeInferConstraintNumberRule } from './number';
+import { ComputeInferConstraintStringRule } from './string';
+import type * as DCommon from '../..';
+import type * as DNumber from '../../../number';
+import type * as DObject from '../../../object';
+import type * as DString from '../../../string';
+import type * as DTuple from '../../../tuple';
+export type * from './array';
+export type * from './number';
+export type * from './string';
+export interface ComputeInferConstraintRule<GenericInput extends unknown, GenericOutput extends unknown> {
+    string: GenericInput extends string ? DObject.Values<ComputeInferConstraintStringRule<GenericInput, GenericOutput>> : never;
+    number: GenericInput extends number ? DObject.Values<ComputeInferConstraintNumberRule<GenericInput, GenericOutput>> : never;
+    array: GenericInput extends readonly unknown[] ? DObject.Values<ComputeInferConstraintArrayRule<GenericInput, GenericOutput>> : never;
+}
+export type ComputeInferConstraint<GenericInput extends unknown, GenericOutput extends unknown> = DCommon.Or<[
+    DCommon.IsNever<GenericInput>,
+    DCommon.IsNever<GenericOutput>
+]> extends true ? unknown : (GenericInput extends unknown ? (GenericOutput extends unknown ? DObject.Values<ComputeInferConstraintRule<GenericInput, GenericOutput>> extends infer InferredResult ? DCommon.ContainExtends<InferredResult, DCommon.ComputedTypeError<string>> extends true ? Extract<InferredResult, DCommon.ComputedTypeError<string>> : GenericInput & DCommon.UnionToIntersection<InferredResult> : never : never) extends infer InferredResult ? DCommon.IsExtends<InferredResult, DCommon.ComputedTypeError<string>> extends true ? InferredResult : Extract<InferredResult, DCommon.BaseConstraint> : never : never) extends infer InferredResult ? DCommon.IsExtends<InferredResult, DCommon.BaseConstraint> extends true ? Extract<InferredResult, DCommon.BaseConstraint> : InferredResult : never;
+export type SupportedOutputInfer = (string | readonly unknown[] | number);
+type ComputeInferInputRequirement<GenericInput extends unknown> = GenericInput extends string ? DString.RequireLiteral<GenericInput> : GenericInput extends number ? DNumber.RequireLiteral<GenericInput> : GenericInput extends readonly unknown[] ? DTuple.Require<GenericInput> : never;
+export declare function infer<GenericOutput extends SupportedOutputInfer, const GenericInput extends DCommon.RemoveConstraint<GenericOutput> = never, GenericComputedOutput = ComputeInferConstraint<GenericInput, GenericOutput>>(input: (GenericInput & ComputeInferInputRequirement<GenericInput> & DCommon.BreakGenericLink<DCommon.NeverCoalescing<GenericComputedOutput extends DCommon.ComputedTypeError<string> ? GenericComputedOutput : never, unknown>>)): DCommon.Or<[
+    DCommon.IsNever<GenericInput>,
+    DCommon.ContainExtends<GenericComputedOutput, DCommon.ComputedTypeError<string>>
+]> extends true ? GenericOutput : DCommon.BreakGenericLink<DCommon.NeverCoalescing<GenericComputedOutput, GenericInput>>;

package/dist/{string/infer.mjs → common/constraint/infer/index.mjs}

@@ -1,4 +1,4 @@
-//#region scripts/string/infer.ts
+//#region scripts/common/constraint/infer/index.ts
 function infer(input) {
 	return input;
 }

package/dist/common/constraint/infer/number.d.ts

@@ -0,0 +1,11 @@
+import type * as DCommon from '../..';
+import type * as DNumber from '../../../number';
+export interface ComputeInferConstraintNumberRule<GenericInput extends number, GenericOutput extends unknown> {
+    greaterThan: DNumber.ComputeGreaterThanCompatibility<GenericInput, GenericOutput, unknown> extends infer InferredResult extends DCommon.CompatibilityConstraintResult<boolean, number, number> ? InferredResult extends DCommon.CompatibilityConstraintResult<true> ? DNumber.GreaterThan<InferredResult["to"]> : DCommon.ComputedTypeError<`Impossible to cast on GreaterThan<${InferredResult["to"]}> because value ${InferredResult["from"]} is less than or equal.`> : never;
+    greaterThanOrEqual: DNumber.ComputeGreaterThanOrEqualCompatibility<GenericInput, GenericOutput, unknown> extends infer InferredResult extends DCommon.CompatibilityConstraintResult<boolean, number, number> ? InferredResult extends DCommon.CompatibilityConstraintResult<true> ? DNumber.GreaterThanOrEqual<InferredResult["to"]> : DCommon.ComputedTypeError<`Impossible to cast on GreaterThanOrEqual<${InferredResult["to"]}> because value ${InferredResult["from"]} is less than.`> : never;
+    lessThan: DNumber.ComputeLessThanCompatibility<GenericInput, GenericOutput, unknown> extends infer InferredResult extends DCommon.CompatibilityConstraintResult<boolean, number, number> ? InferredResult extends DCommon.CompatibilityConstraintResult<true> ? DNumber.LessThan<InferredResult["to"]> : DCommon.ComputedTypeError<`Impossible to cast on LessThan<${InferredResult["to"]}> because value ${InferredResult["from"]} is greater than or equal.`> : never;
+    lessThanOrEqual: DNumber.ComputeLessThanOrEqualCompatibility<GenericInput, GenericOutput, unknown> extends infer InferredResult extends DCommon.CompatibilityConstraintResult<boolean, number, number> ? InferredResult extends DCommon.CompatibilityConstraintResult<true> ? DNumber.LessThanOrEqual<InferredResult["to"]> : DCommon.ComputedTypeError<`Impossible to cast on LessThanOrEqual<${InferredResult["to"]}> because value ${InferredResult["from"]} is greater than.`> : never;
+    integer: DCommon.IsExtends<GenericOutput, DNumber.Integer> extends true ? DNumber.IsInteger<GenericInput> extends true ? DNumber.Integer : DCommon.ComputedTypeError<`Impossible to cast on Integer because value ${GenericInput} is not an integer.`> : never;
+    notZero: DCommon.IsExtends<GenericOutput, DNumber.NotZero> extends true ? DNumber.IsZero<GenericInput> extends true ? DCommon.ComputedTypeError<`Impossible to cast on NotZero because value ${GenericInput} is equal to zero.`> : DNumber.NotZero : never;
+    safe: DCommon.IsExtends<GenericOutput, DNumber.Safe> extends true ? DNumber.IsSafe<GenericInput> extends true ? DNumber.Safe : DCommon.ComputedTypeError<`Impossible to cast on Safe because value ${GenericInput} is not safe.`> : never;
+}

package/dist/common/constraint/infer/string.d.ts

@@ -0,0 +1,13 @@
+import type * as DCommon from '../..';
+import type * as DString from '../../../string';
+import type * as DPath from '../../../path';
+export interface ComputeInferConstraintStringRule<GenericInput extends string, GenericOutput extends unknown> {
+    maxCharacters: DString.ComputeMaxCharactersCompatibility<GenericInput, GenericOutput, unknown> extends infer InferredResult extends DCommon.CompatibilityConstraintResult<boolean, number, number> ? InferredResult extends DCommon.CompatibilityConstraintResult<true> ? DString.MaxCharacters<InferredResult["to"]> : DCommon.ComputedTypeError<`Impossible to cast on MaxCharacters<${InferredResult["to"]}> because constraint MaxCharacters<${InferredResult["from"]}> from the value is more than.`> : never;
+    minCharacters: DString.ComputeMinCharactersCompatibility<GenericInput, GenericOutput, unknown> extends infer InferredResult extends DCommon.CompatibilityConstraintResult<boolean, number, number> ? InferredResult extends DCommon.CompatibilityConstraintResult<true> ? DString.MinCharacters<InferredResult["to"]> : DCommon.ComputedTypeError<`Impossible to cast on MinCharacters<${InferredResult["to"]}> because constraint MinCharacters<${InferredResult["from"]}> from the value is less than.`> : never;
+    lengthEqual: DString.ComputeLengthEqualCompatibility<GenericInput, GenericOutput, unknown> extends infer InferredResult extends DCommon.CompatibilityConstraintResult<boolean, number, number> ? InferredResult extends DCommon.CompatibilityConstraintResult<true> ? DString.LengthEqual<InferredResult["to"]> : DCommon.ComputedTypeError<`Impossible to cast on LengthEqual<${InferredResult["to"]}> because constraint LengthEqual<${InferredResult["from"]}> from the value is not equal.`> : never;
+    allowedCharacters: GenericOutput extends DString.AllowedCharacters<infer InferredCharactersRange> ? DString.IsAllowedString<GenericInput, DString.CharactersRangeStore[InferredCharactersRange]> extends true ? DString.AllowedCharacters<InferredCharactersRange> : DCommon.ComputedTypeError<`Impossible to cast on AllowedCharacters because value ${GenericInput} contains forbidden characters.`> : never;
+    number: DCommon.IsExtends<GenericOutput, DString.Number> extends true ? GenericInput extends DString.NumberInString ? DString.Number : DCommon.ComputedTypeError<`Impossible to cast on Number because value ${GenericInput} is not a number.`> : never;
+    path: DCommon.IsExtends<GenericOutput, DPath.Path> extends true ? DPath.IsLiteralPath<GenericInput> extends true ? DPath.Path : DCommon.ComputedTypeError<`Impossible to cast on Path because value ${GenericInput} is not path.`> : never;
+    absolutePath: DCommon.IsExtends<GenericOutput, DPath.Absolute> extends true ? DPath.IsLiteralAbsolutePath<GenericInput> extends true ? DPath.Absolute : DCommon.ComputedTypeError<`Impossible to cast on AbsolutePath because value ${GenericInput} is not absolute path.`> : never;
+    segment: DCommon.IsExtends<GenericOutput, DPath.Segment> extends true ? DPath.IsLiteralSegmentPath<GenericInput> extends true ? DPath.Segment : DCommon.ComputedTypeError<`Impossible to cast on SegmentPath because value ${GenericInput} is not segment path.`> : never;
+}

package/dist/common/constraint/remove.cjs

@@ -0,0 +1,6 @@
+//#region scripts/common/constraint/remove.ts
+function removeConstraint(value) {
+	return value;
+}
+//#endregion
+exports.removeConstraint = removeConstraint;

package/dist/common/constraint/remove.d.ts

@@ -0,0 +1,2 @@
+import { RemoveConstraint } from './types';
+export declare function removeConstraint<GenericValue extends unknown>(value: GenericValue): GenericValue extends unknown ? RemoveConstraint<GenericValue> : never;

package/dist/common/constraint/remove.mjs

@@ -0,0 +1,6 @@
+//#region scripts/common/constraint/remove.ts
+function removeConstraint(value) {
+	return value;
+}
+//#endregion
+export { removeConstraint };

package/dist/common/index.cjs

@@ -13,6 +13,8 @@ const require_builder = require("./builder.cjs");
 const require_callThen = require("./callThen.cjs");
 const require_clone = require("./clone.cjs");
 const require_index = require("./constraint/cast/index.cjs");
+const require_index$1 = require("./constraint/infer/index.cjs");
+const require_remove = require("./constraint/remove.cjs");
 const require_detachObjectMethod = require("./detachObjectMethod.cjs");
 const require_enum = require("./enum.cjs");
 const require_equal = require("./equal.cjs");
@@ -86,6 +88,7 @@ var common_exports = /* @__PURE__ */ require_runtime.__exportAll({
 	forward: () => require_forward.forward,
 	forwardAsserts: () => require_forwardAsserts.forwardAsserts,
 	forwardLog: () => require_forwardLog.forwardLog,
+	infer: () => require_index$1.infer,
 	innerPipe: () => require_innerPipe.innerPipe,
 	instanceOf: () => require_instanceOf.instanceOf,
 	isType: () => require_isType.isType,
@@ -104,6 +107,7 @@ var common_exports = /* @__PURE__ */ require_runtime.__exportAll({
 	promiseAll: () => require_promiseAll.promiseAll,
 	promiseObject: () => require_promiseObject.promiseObject,
 	queueKind: () => require_queue.queueKind,
+	removeConstraint: () => require_remove.removeConstraint,
 	shameOnYou: () => require_index.shameOnYou,
 	simpleClone: () => require_simpleClone.simpleClone,
 	stringToBytes: () => require_stringToBytes.stringToBytes,
@@ -159,6 +163,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$1.infer;
 exports.innerPipe = require_innerPipe.innerPipe;
 exports.instanceOf = require_instanceOf.instanceOf;
 exports.isType = require_isType.isType;
@@ -177,6 +182,7 @@ exports.preparePipe = require_preparePipe.preparePipe;
 exports.promiseAll = require_promiseAll.promiseAll;
 exports.promiseObject = require_promiseObject.promiseObject;
 exports.queueKind = require_queue.queueKind;
+exports.removeConstraint = require_remove.removeConstraint;
 exports.shameOnYou = require_index.shameOnYou;
 exports.simpleClone = require_simpleClone.simpleClone;
 exports.stringToBytes = require_stringToBytes.stringToBytes;

package/dist/common/index.mjs

@@ -13,6 +13,8 @@ import { MissingBuilderMethodsError, builderKind, createBuilder } from "./builde
 import { callThen } from "./callThen.mjs";
 import { clone } from "./clone.mjs";
 import { cast, shameOnYou } from "./constraint/cast/index.mjs";
+import { infer } from "./constraint/infer/index.mjs";
+import { removeConstraint } from "./constraint/remove.mjs";
 import { detachObjectMethod } from "./detachObjectMethod.mjs";
 import { createEnum } from "./enum.mjs";
 import { equal } from "./equal.mjs";
@@ -86,6 +88,7 @@ var common_exports = /* @__PURE__ */ __exportAll({
 	forward: () => forward,
 	forwardAsserts: () => forwardAsserts,
 	forwardLog: () => forwardLog,
+	infer: () => infer,
 	innerPipe: () => innerPipe,
 	instanceOf: () => instanceOf,
 	isType: () => isType,
@@ -104,6 +107,7 @@ var common_exports = /* @__PURE__ */ __exportAll({
 	promiseAll: () => promiseAll,
 	promiseObject: () => promiseObject,
 	queueKind: () => queueKind,
+	removeConstraint: () => removeConstraint,
 	shameOnYou: () => shameOnYou,
 	simpleClone: () => simpleClone,
 	stringToBytes: () => stringToBytes,
@@ -121,4 +125,4 @@ var common_exports = /* @__PURE__ */ __exportAll({
 	whenNot: () => whenNot
 });
 //#endregion
-export { AssertsError, InvalidBytesInStringError, InvalidMillisecondInStringError, MissingBuilderMethodsError, TheFormData, and, asserts, asyncInnerPipe, asyncLoop, asyncPipe, bindPrototypeMethods, builderKind, callThen, cast, clone, common_exports, 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, shameOnYou, simpleClone, stringToBytes, stringToMillisecond, timeout, toCurriedPredicate, toJSON, toNative, toRegExp, transformer, truthy, useAsyncRetry, when, whenElse, whenNot };
+export { AssertsError, InvalidBytesInStringError, InvalidMillisecondInStringError, MissingBuilderMethodsError, TheFormData, and, asserts, asyncInnerPipe, asyncLoop, asyncPipe, bindPrototypeMethods, builderKind, callThen, cast, clone, common_exports, 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/common/isType.d.ts

@@ -1,3 +1,4 @@
+import { RemoveConstraint } from './constraint';
 import { IsEqual, AnyFunction, AnyValue, BreakGenericLink } from './types';
 interface Type {
     string: [string, never];
@@ -17,6 +18,6 @@ type ComputeResult<GenericInput extends unknown, GenericTypeEntry extends Type[k
 type EligibleType<GenericInput extends unknown> = {
     [Prop in keyof Type]: IsEqual<ComputeResult<GenericInput, Type[Prop]>, never> extends true ? never : Prop;
 }[keyof Type];
-export declare function isType<GenericInput extends AnyValue, GenericType extends EligibleType<GenericInput>>(type: GenericType): (input: GenericInput) => input is ComputeResult<BreakGenericLink<GenericInput>, Type[GenericType]>;
-export declare function isType<GenericInput extends AnyValue, GenericType extends EligibleType<GenericInput>>(input: GenericInput, type: GenericType): input is ComputeResult<GenericInput, Type[GenericType]>;
+export declare function isType<GenericInput extends AnyValue, GenericType extends EligibleType<RemoveConstraint<GenericInput>>>(type: GenericType): (input: GenericInput) => input is ComputeResult<BreakGenericLink<GenericInput>, Type[GenericType]>;
+export declare function isType<GenericInput extends AnyValue, GenericType extends EligibleType<RemoveConstraint<GenericInput>>>(input: GenericInput, type: GenericType): input is ComputeResult<GenericInput, Type[GenericType]>;
 export {};

package/dist/common/types/forward.d.ts

@@ -0,0 +1 @@
+export type Forward<GenericValue extends unknown> = GenericValue;