@duplojs/lang 0.0.1-beta.6 → 0.0.1-beta.8

package/dist/dataStructure/index.cjs

@@ -1,10 +1,22 @@
 const require_runtime = require("../_virtual/_rolldown/runtime.cjs");
 const require_kind = require("./kind.cjs");
 const require_resultSymbol = require("./common/resultSymbol.cjs");
-const require_codec = require("./common/codec.cjs");
+const require_base = require("./common/codec/base.cjs");
+const require_base$1 = require("./fundamentalType/base.cjs");
+const require_bigint = require("./fundamentalType/defaults/bigint.cjs");
+const require_boolean = require("./fundamentalType/defaults/boolean.cjs");
+const require_date = require("./fundamentalType/defaults/date.cjs");
+const require_null = require("./fundamentalType/defaults/null.cjs");
+const require_number = require("./fundamentalType/defaults/number.cjs");
+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 = require("./fundamentalType/identifier.cjs");
+const require_json = require("./common/codec/defaults/json.cjs");
+const require_string$1 = require("./common/codec/defaults/string.cjs");
 const require_error = require("./common/error.cjs");
 const require_errorInterpreter = require("./common/errorInterpreter.cjs");
-const require_base = require("./constraint/base.cjs");
+const require_base$2 = 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");
@@ -25,6 +37,7 @@ const require_multipleOf = require("./constraint/defaults/multipleOf.cjs");
 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_numberInString = require("./constraint/defaults/numberInString.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");
@@ -38,20 +51,10 @@ const require_trimmed = require("./constraint/defaults/trimmed.cjs");
 const require_url = require("./constraint/defaults/url.cjs");
 const require_uuid = require("./constraint/defaults/uuid.cjs");
 const require_regex = require("./constraint/defaults/regex.cjs");
-const require_identifier = require("./constraint/identifier.cjs");
-const require_base$1 = require("./fundamentalType/base.cjs");
-const require_bigint = require("./fundamentalType/defaults/bigint.cjs");
-const require_boolean = require("./fundamentalType/defaults/boolean.cjs");
-const require_date = require("./fundamentalType/defaults/date.cjs");
-const require_null = require("./fundamentalType/defaults/null.cjs");
-const require_number = require("./fundamentalType/defaults/number.cjs");
-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_identifier$1 = require("./constraint/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_base$3 = require("./structure/base.cjs");
 const require_array = require("./structure/defaults/array.cjs");
 const require_identifier$2 = require("./structure/identifier.cjs");
 const require_lazy = require("./structure/defaults/lazy.cjs");
@@ -59,7 +62,7 @@ const require_nonEncodableString = require("./structure/defaults/nonEncodableStr
 const require_object = require("./structure/defaults/object.cjs");
 const require_union = require("./structure/defaults/union.cjs");
 const require_type = require("./structure/defaults/type.cjs");
-const require_base$3 = require("./type/base.cjs");
+const require_base$4 = require("./type/base.cjs");
 const require_bigint$1 = require("./type/defaults/bigint.cjs");
 const require_bigintLiteral = require("./type/defaults/bigintLiteral.cjs");
 const require_boolean$1 = require("./type/defaults/boolean.cjs");
@@ -68,7 +71,7 @@ const require_date$1 = require("./type/defaults/date.cjs");
 const require_null$1 = require("./type/defaults/null.cjs");
 const require_number$1 = require("./type/defaults/number.cjs");
 const require_numberLiteral = require("./type/defaults/numberLiteral.cjs");
-const require_string$1 = require("./type/defaults/string.cjs");
+const require_string$2 = require("./type/defaults/string.cjs");
 const require_stringLiteral = require("./type/defaults/stringLiteral.cjs");
 const require_time$1 = require("./type/defaults/time.cjs");
 const require_undefined$1 = require("./type/defaults/undefined.cjs");
@@ -105,6 +108,7 @@ const require_notZero$1 = require("./helpers/notZero.cjs");
 const require_null$2 = require("./helpers/null.cjs");
 const require_nullable = require("./helpers/nullable.cjs");
 const require_number$2 = require("./helpers/number.cjs");
+const require_numberInString$1 = require("./helpers/numberInString.cjs");
 const require_object$1 = require("./helpers/object.cjs");
 const require_odd$1 = require("./helpers/odd.cjs");
 const require_undefined$2 = require("./helpers/undefined.cjs");
@@ -117,7 +121,7 @@ const require_refine$1 = require("./helpers/refine.cjs");
 const require_required = require("./helpers/required.cjs");
 const require_safe$1 = require("./helpers/safe.cjs");
 const require_segmentPath$1 = require("./helpers/segmentPath.cjs");
-const require_string$2 = require("./helpers/string.cjs");
+const require_string$3 = require("./helpers/string.cjs");
 const require_strictNegative$1 = require("./helpers/strictNegative.cjs");
 const require_strictPositive$1 = require("./helpers/strictPositive.cjs");
 const require_stringLengthEqual$1 = require("./helpers/stringLengthEqual.cjs");
@@ -138,6 +142,7 @@ var dataStructure_exports = /* @__PURE__ */ require_runtime.__exportAll({
 	BigintType: () => require_bigint$1.BigintType,
 	BooleanLiteralType: () => require_booleanLiteral.BooleanLiteralType,
 	BooleanType: () => require_boolean$1.BooleanType,
+	ConstraintBase: () => require_base$2.ConstraintBase,
 	DateType: () => require_date$1.DateType,
 	EmailConstraint: () => require_email.EmailConstraint,
 	ErrorSymbol: () => require_resultSymbol.ErrorSymbol,
@@ -158,6 +163,7 @@ var dataStructure_exports = /* @__PURE__ */ require_runtime.__exportAll({
 	NotEmptyConstraint: () => require_notEmpty.NotEmptyConstraint,
 	NotZeroConstraint: () => require_notZero.NotZeroConstraint,
 	NullType: () => require_null$1.NullType,
+	NumberInStringConstraint: () => require_numberInString.NumberInStringConstraint,
 	NumberLiteralType: () => require_numberLiteral.NumberLiteralType,
 	NumberType: () => require_number$1.NumberType,
 	ObjectStructure: () => require_object.ObjectStructure,
@@ -173,8 +179,8 @@ var dataStructure_exports = /* @__PURE__ */ require_runtime.__exportAll({
 	StrictPositiveConstraint: () => require_strictPositive.StrictPositiveConstraint,
 	StringLengthEqualConstraint: () => require_stringLengthEqual.StringLengthEqualConstraint,
 	StringLiteralType: () => require_stringLiteral.StringLiteralType,
-	StringType: () => require_string$1.StringType,
-	StructureClass: () => require_base$2.StructureClass,
+	StringType: () => require_string$2.StringType,
+	StructureClass: () => require_base$3.StructureClass,
 	SuccessSymbol: () => require_resultSymbol.SuccessSymbol,
 	TheBigint: () => require_bigint.TheBigint,
 	TheBoolean: () => require_boolean.TheBoolean,
@@ -211,20 +217,22 @@ var dataStructure_exports = /* @__PURE__ */ require_runtime.__exportAll({
 	booleanFundamentalTypeKind: () => require_boolean.booleanFundamentalTypeKind,
 	booleanLiteralTypeKind: () => require_booleanLiteral.booleanLiteralTypeKind,
 	booleanTypeKind: () => require_boolean$1.booleanTypeKind,
-	codecKind: () => require_codec.codecKind,
-	codecsKind: () => require_codec.codecsKind,
-	constraintIdentifier: () => require_identifier.constraintIdentifier,
-	constraintKind: () => require_base.constraintKind,
-	createCodec: () => require_codec.createCodec,
-	createCodecs: () => require_codec.createCodecs,
-	createConstraint: () => require_base.createConstraint,
+	codecKind: () => require_base.codecKind,
+	codecsJson: () => require_json.codecsJson,
+	codecsKind: () => require_base.codecsKind,
+	codecsString: () => require_string$1.codecsString,
+	constraintIdentifier: () => require_identifier$1.constraintIdentifier,
+	constraintKind: () => require_base$2.constraintKind,
+	createCodec: () => require_base.createCodec,
+	createCodecs: () => require_base.createCodecs,
+	createConstraint: () => require_base$2.createConstraint,
 	createErrorHandler: () => require_error.createErrorHandler,
 	createErrorInterpreter: () => require_errorInterpreter.createErrorInterpreter,
 	createFundamentalType: () => require_base$1.createFundamentalType,
 	createGetErrorHandler: () => require_error.createGetErrorHandler,
 	createKind: () => require_kind.createKind,
-	createStructure: () => require_base$2.createStructure,
-	createType: () => require_base$3.createType,
+	createStructure: () => require_base$3.createStructure,
+	createType: () => require_base$4.createType,
 	date: () => require_date$2.date,
 	dateFundamentalTypeKind: () => require_date.dateFundamentalTypeKind,
 	dateTypeKind: () => require_date$1.dateTypeKind,
@@ -235,7 +243,7 @@ var dataStructure_exports = /* @__PURE__ */ require_runtime.__exportAll({
 	even: () => require_even$1.even,
 	evenConstraintKind: () => require_even.evenConstraintKind,
 	extend: () => require_extend.extend,
-	fundamentalTypeIdentifier: () => require_identifier$1.fundamentalTypeIdentifier,
+	fundamentalTypeIdentifier: () => require_identifier.fundamentalTypeIdentifier,
 	fundamentalTypeKind: () => require_base$1.fundamentalTypeKind,
 	greaterThan: () => require_greaterThan$1.greaterThan,
 	greaterThanConstraintKind: () => require_greaterThan.greaterThanConstraintKind,
@@ -276,6 +284,8 @@ var dataStructure_exports = /* @__PURE__ */ require_runtime.__exportAll({
 	nullable: () => require_nullable.nullable,
 	number: () => require_number$2.number,
 	numberFundamentalTypeKind: () => require_number.numberFundamentalTypeKind,
+	numberInString: () => require_numberInString$1.numberInString,
+	numberInStringConstraintKind: () => require_numberInString.numberInStringConstraintKind,
 	numberLiteralTypeKind: () => require_numberLiteral.numberLiteralTypeKind,
 	numberTypeKind: () => require_number$1.numberTypeKind,
 	object: () => require_object$1.object,
@@ -303,21 +313,21 @@ var dataStructure_exports = /* @__PURE__ */ require_runtime.__exportAll({
 	strictNegativeConstraintKind: () => require_strictNegative.strictNegativeConstraintKind,
 	strictPositive: () => require_strictPositive$1.strictPositive,
 	strictPositiveConstraintKind: () => require_strictPositive.strictPositiveConstraintKind,
-	string: () => require_string$2.string,
+	string: () => require_string$3.string,
 	stringFundamentalTypeKind: () => require_string.stringFundamentalTypeKind,
 	stringLengthEqual: () => require_stringLengthEqual$1.stringLengthEqual,
 	stringLengthEqualConstraintKind: () => require_stringLengthEqual.stringLengthEqualConstraintKind,
 	stringLiteralTypeKind: () => require_stringLiteral.stringLiteralTypeKind,
-	stringTypeKind: () => require_string$1.stringTypeKind,
+	stringTypeKind: () => require_string$2.stringTypeKind,
 	structureIdentifier: () => require_identifier$2.structureIdentifier,
-	structureKind: () => require_base$2.structureKind,
+	structureKind: () => require_base$3.structureKind,
 	time: () => require_time$2.time,
 	timeFundamentalTypeKind: () => require_time.timeFundamentalTypeKind,
 	timeTypeKind: () => require_time$1.timeTypeKind,
 	trimmed: () => require_trimmed$1.trimmed,
 	trimmedConstraintKind: () => require_trimmed.trimmedConstraintKind,
 	typeIdentifier: () => require_identifier$3.typeIdentifier,
-	typeKind: () => require_base$3.typeKind,
+	typeKind: () => require_base$4.typeKind,
 	typeStructureKind: () => require_type.typeStructureKind,
 	undefined: () => require_undefined$2.undefined,
 	undefinedFundamentalTypeKind: () => require_undefined.undefinedFundamentalTypeKind,
@@ -340,6 +350,7 @@ exports.BigintLiteralType = require_bigintLiteral.BigintLiteralType;
 exports.BigintType = require_bigint$1.BigintType;
 exports.BooleanLiteralType = require_booleanLiteral.BooleanLiteralType;
 exports.BooleanType = require_boolean$1.BooleanType;
+exports.ConstraintBase = require_base$2.ConstraintBase;
 exports.DateType = require_date$1.DateType;
 exports.EmailConstraint = require_email.EmailConstraint;
 exports.ErrorSymbol = require_resultSymbol.ErrorSymbol;
@@ -360,6 +371,7 @@ exports.NonEncodableStringStructure = require_nonEncodableString.NonEncodableStr
 exports.NotEmptyConstraint = require_notEmpty.NotEmptyConstraint;
 exports.NotZeroConstraint = require_notZero.NotZeroConstraint;
 exports.NullType = require_null$1.NullType;
+exports.NumberInStringConstraint = require_numberInString.NumberInStringConstraint;
 exports.NumberLiteralType = require_numberLiteral.NumberLiteralType;
 exports.NumberType = require_number$1.NumberType;
 exports.ObjectStructure = require_object.ObjectStructure;
@@ -375,8 +387,8 @@ exports.StrictNegativeConstraint = require_strictNegative.StrictNegativeConstrai
 exports.StrictPositiveConstraint = require_strictPositive.StrictPositiveConstraint;
 exports.StringLengthEqualConstraint = require_stringLengthEqual.StringLengthEqualConstraint;
 exports.StringLiteralType = require_stringLiteral.StringLiteralType;
-exports.StringType = require_string$1.StringType;
-exports.StructureClass = require_base$2.StructureClass;
+exports.StringType = require_string$2.StringType;
+exports.StructureClass = require_base$3.StructureClass;
 exports.SuccessSymbol = require_resultSymbol.SuccessSymbol;
 exports.TheBigint = require_bigint.TheBigint;
 exports.TheBoolean = require_boolean.TheBoolean;
@@ -413,20 +425,22 @@ exports.boolean = require_boolean$2.boolean;
 exports.booleanFundamentalTypeKind = require_boolean.booleanFundamentalTypeKind;
 exports.booleanLiteralTypeKind = require_booleanLiteral.booleanLiteralTypeKind;
 exports.booleanTypeKind = require_boolean$1.booleanTypeKind;
-exports.codecKind = require_codec.codecKind;
-exports.codecsKind = require_codec.codecsKind;
-exports.constraintIdentifier = require_identifier.constraintIdentifier;
-exports.constraintKind = require_base.constraintKind;
-exports.createCodec = require_codec.createCodec;
-exports.createCodecs = require_codec.createCodecs;
-exports.createConstraint = require_base.createConstraint;
+exports.codecKind = require_base.codecKind;
+exports.codecsJson = require_json.codecsJson;
+exports.codecsKind = require_base.codecsKind;
+exports.codecsString = require_string$1.codecsString;
+exports.constraintIdentifier = require_identifier$1.constraintIdentifier;
+exports.constraintKind = require_base$2.constraintKind;
+exports.createCodec = require_base.createCodec;
+exports.createCodecs = require_base.createCodecs;
+exports.createConstraint = require_base$2.createConstraint;
 exports.createErrorHandler = require_error.createErrorHandler;
 exports.createErrorInterpreter = require_errorInterpreter.createErrorInterpreter;
 exports.createFundamentalType = require_base$1.createFundamentalType;
 exports.createGetErrorHandler = require_error.createGetErrorHandler;
 exports.createKind = require_kind.createKind;
-exports.createStructure = require_base$2.createStructure;
-exports.createType = require_base$3.createType;
+exports.createStructure = require_base$3.createStructure;
+exports.createType = require_base$4.createType;
 Object.defineProperty(exports, "dataStructure_exports", {
 	enumerable: true,
 	get: function() {
@@ -443,7 +457,7 @@ exports.encodeIssueKind = require_error.encodeIssueKind;
 exports.even = require_even$1.even;
 exports.evenConstraintKind = require_even.evenConstraintKind;
 exports.extend = require_extend.extend;
-exports.fundamentalTypeIdentifier = require_identifier$1.fundamentalTypeIdentifier;
+exports.fundamentalTypeIdentifier = require_identifier.fundamentalTypeIdentifier;
 exports.fundamentalTypeKind = require_base$1.fundamentalTypeKind;
 exports.greaterThan = require_greaterThan$1.greaterThan;
 exports.greaterThanConstraintKind = require_greaterThan.greaterThanConstraintKind;
@@ -484,6 +498,8 @@ exports.nullTypeKind = require_null$1.nullTypeKind;
 exports.nullable = require_nullable.nullable;
 exports.number = require_number$2.number;
 exports.numberFundamentalTypeKind = require_number.numberFundamentalTypeKind;
+exports.numberInString = require_numberInString$1.numberInString;
+exports.numberInStringConstraintKind = require_numberInString.numberInStringConstraintKind;
 exports.numberLiteralTypeKind = require_numberLiteral.numberLiteralTypeKind;
 exports.numberTypeKind = require_number$1.numberTypeKind;
 exports.object = require_object$1.object;
@@ -511,21 +527,21 @@ exports.strictNegative = require_strictNegative$1.strictNegative;
 exports.strictNegativeConstraintKind = require_strictNegative.strictNegativeConstraintKind;
 exports.strictPositive = require_strictPositive$1.strictPositive;
 exports.strictPositiveConstraintKind = require_strictPositive.strictPositiveConstraintKind;
-exports.string = require_string$2.string;
+exports.string = require_string$3.string;
 exports.stringFundamentalTypeKind = require_string.stringFundamentalTypeKind;
 exports.stringLengthEqual = require_stringLengthEqual$1.stringLengthEqual;
 exports.stringLengthEqualConstraintKind = require_stringLengthEqual.stringLengthEqualConstraintKind;
 exports.stringLiteralTypeKind = require_stringLiteral.stringLiteralTypeKind;
-exports.stringTypeKind = require_string$1.stringTypeKind;
+exports.stringTypeKind = require_string$2.stringTypeKind;
 exports.structureIdentifier = require_identifier$2.structureIdentifier;
-exports.structureKind = require_base$2.structureKind;
+exports.structureKind = require_base$3.structureKind;
 exports.time = require_time$2.time;
 exports.timeFundamentalTypeKind = require_time.timeFundamentalTypeKind;
 exports.timeTypeKind = require_time$1.timeTypeKind;
 exports.trimmed = require_trimmed$1.trimmed;
 exports.trimmedConstraintKind = require_trimmed.trimmedConstraintKind;
 exports.typeIdentifier = require_identifier$3.typeIdentifier;
-exports.typeKind = require_base$3.typeKind;
+exports.typeKind = require_base$4.typeKind;
 exports.typeStructureKind = require_type.typeStructureKind;
 exports.undefined = require_undefined$2.undefined;
 exports.undefinedFundamentalTypeKind = require_undefined.undefinedFundamentalTypeKind;

package/dist/dataStructure/index.mjs

@@ -1,10 +1,22 @@
 import { __exportAll } from "../_virtual/_rolldown/runtime.mjs";
 import { createKind } from "./kind.mjs";
 import { ErrorSymbol, SuccessSymbol } from "./common/resultSymbol.mjs";
-import { codecKind, codecsKind, createCodec, createCodecs } from "./common/codec.mjs";
+import { codecKind, codecsKind, createCodec, createCodecs } from "./common/codec/base.mjs";
+import { createFundamentalType, fundamentalTypeKind } from "./fundamentalType/base.mjs";
+import { TheBigint, bigintFundamentalTypeKind } from "./fundamentalType/defaults/bigint.mjs";
+import { TheBoolean, booleanFundamentalTypeKind } from "./fundamentalType/defaults/boolean.mjs";
+import { TheDate, dateFundamentalTypeKind } from "./fundamentalType/defaults/date.mjs";
+import { TheNull, nullFundamentalTypeKind } from "./fundamentalType/defaults/null.mjs";
+import { TheNumber, numberFundamentalTypeKind } from "./fundamentalType/defaults/number.mjs";
+import { TheString, stringFundamentalTypeKind } from "./fundamentalType/defaults/string.mjs";
+import { TheTime, timeFundamentalTypeKind } from "./fundamentalType/defaults/time.mjs";
+import { TheUndefined, undefinedFundamentalTypeKind } from "./fundamentalType/defaults/undefined.mjs";
+import { fundamentalTypeIdentifier } from "./fundamentalType/identifier.mjs";
+import { codecsJson } from "./common/codec/defaults/json.mjs";
+import { codecsString } from "./common/codec/defaults/string.mjs";
 import { createErrorHandler, createGetErrorHandler, decodeIssueKind, encodeIssueKind, issueKind } from "./common/error.mjs";
 import { createErrorInterpreter } from "./common/errorInterpreter.mjs";
-import { constraintKind, createConstraint } from "./constraint/base.mjs";
+import { ConstraintBase, 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";
@@ -25,6 +37,7 @@ import { MultipleOfConstraint, multipleOfConstraintKind } from "./constraint/def
 import { NegativeConstraint, negativeConstraintKind } from "./constraint/defaults/negative.mjs";
 import { NotEmptyConstraint, notEmptyConstraintKind } from "./constraint/defaults/notEmpty.mjs";
 import { NotZeroConstraint, notZeroConstraintKind } from "./constraint/defaults/notZero.mjs";
+import { NumberInStringConstraint, numberInStringConstraintKind } from "./constraint/defaults/numberInString.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";
@@ -39,16 +52,6 @@ import { UrlConstraint, urlConstraintKind } from "./constraint/defaults/url.mjs"
 import { UuidConstraint, uuidConstraintKind } from "./constraint/defaults/uuid.mjs";
 import { RegexConstraint, regexConstraintKind } from "./constraint/defaults/regex.mjs";
 import { constraintIdentifier } from "./constraint/identifier.mjs";
-import { createFundamentalType, fundamentalTypeKind } from "./fundamentalType/base.mjs";
-import { TheBigint, bigintFundamentalTypeKind } from "./fundamentalType/defaults/bigint.mjs";
-import { TheBoolean, booleanFundamentalTypeKind } from "./fundamentalType/defaults/boolean.mjs";
-import { TheDate, dateFundamentalTypeKind } from "./fundamentalType/defaults/date.mjs";
-import { TheNull, nullFundamentalTypeKind } from "./fundamentalType/defaults/null.mjs";
-import { TheNumber, numberFundamentalTypeKind } from "./fundamentalType/defaults/number.mjs";
-import { TheString, stringFundamentalTypeKind } from "./fundamentalType/defaults/string.mjs";
-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";
@@ -105,6 +108,7 @@ import { notZero } from "./helpers/notZero.mjs";
 import { null as nullHelper } from "./helpers/null.mjs";
 import { nullable } from "./helpers/nullable.mjs";
 import { number } from "./helpers/number.mjs";
+import { numberInString } from "./helpers/numberInString.mjs";
 import { object } from "./helpers/object.mjs";
 import { odd } from "./helpers/odd.mjs";
 import { undefined as undefinedHelper } from "./helpers/undefined.mjs";
@@ -138,6 +142,7 @@ var dataStructure_exports = /* @__PURE__ */ __exportAll({
 	BigintType: () => BigintType,
 	BooleanLiteralType: () => BooleanLiteralType,
 	BooleanType: () => BooleanType,
+	ConstraintBase: () => ConstraintBase,
 	DateType: () => DateType,
 	EmailConstraint: () => EmailConstraint,
 	ErrorSymbol: () => ErrorSymbol,
@@ -158,6 +163,7 @@ var dataStructure_exports = /* @__PURE__ */ __exportAll({
 	NotEmptyConstraint: () => NotEmptyConstraint,
 	NotZeroConstraint: () => NotZeroConstraint,
 	NullType: () => NullType,
+	NumberInStringConstraint: () => NumberInStringConstraint,
 	NumberLiteralType: () => NumberLiteralType,
 	NumberType: () => NumberType,
 	ObjectStructure: () => ObjectStructure,
@@ -212,7 +218,9 @@ var dataStructure_exports = /* @__PURE__ */ __exportAll({
 	booleanLiteralTypeKind: () => booleanLiteralTypeKind,
 	booleanTypeKind: () => booleanTypeKind,
 	codecKind: () => codecKind,
+	codecsJson: () => codecsJson,
 	codecsKind: () => codecsKind,
+	codecsString: () => codecsString,
 	constraintIdentifier: () => constraintIdentifier,
 	constraintKind: () => constraintKind,
 	createCodec: () => createCodec,
@@ -276,6 +284,8 @@ var dataStructure_exports = /* @__PURE__ */ __exportAll({
 	nullable: () => nullable,
 	number: () => number,
 	numberFundamentalTypeKind: () => numberFundamentalTypeKind,
+	numberInString: () => numberInString,
+	numberInStringConstraintKind: () => numberInStringConstraintKind,
 	numberLiteralTypeKind: () => numberLiteralTypeKind,
 	numberTypeKind: () => numberTypeKind,
 	object: () => object,
@@ -330,4 +340,4 @@ var dataStructure_exports = /* @__PURE__ */ __exportAll({
 	uuidConstraintKind: () => uuidConstraintKind
 });
 //#endregion
-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, SegmentPathConstraint, 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, segmentPath, segmentPathConstraintKind, 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, ConstraintBase, DateType, EmailConstraint, ErrorSymbol, EvenConstraint, GreaterThanConstraint, GreaterThanOrEqualConstraint, IntegerConstraint, LazyStructure, LessThanConstraint, LessThanOrEqualConstraint, MaxCharactersConstraint, MaxElementsConstraint, MinCharactersConstraint, MinElementsConstraint, MultipleOfConstraint, NegativeConstraint, NonEncodableStringStructure, NotEmptyConstraint, NotZeroConstraint, NullType, NumberInStringConstraint, NumberLiteralType, NumberType, ObjectStructure, OddConstraint, PathConstraint, PositiveConstraint, RecordStructure, RefineConstraint, RegexConstraint, SafeConstraint, SegmentPathConstraint, 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, codecsJson, codecsKind, codecsString, 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, numberInString, numberInStringConstraintKind, numberLiteralTypeKind, numberTypeKind, object, objectStructureKind, odd, oddConstraintKind, optional, partial, path, pathConstraintKind, positive, positiveConstraintKind, record, recordStructureKind, refine, refineConstraintKind, regex, regexConstraintKind, required, safe, safeConstraintKind, segmentPath, segmentPathConstraintKind, 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/modeling/entity/base.d.ts

@@ -24,14 +24,14 @@ export declare const entityStructureKind: DKind.Handler<DKind.Definition<"@Duplo
 export interface EntityStructureDefinition extends DDataStructure.StructureDefinition<readonly []> {
     readonly inner: DCommon.Memoized<DDataStructure.ObjectStructure>;
 }
-export type EntityMap<GenericValue extends unknown, GenericRawValue = DCommon.RemoveConstraint<GenericValue>> = GenericRawValue extends NewType ? NewTypeMap<GenericRawValue> : GenericRawValue extends Entity ? GenericRawValue : GenericRawValue extends object ? DCommon.Or<[
+export type EntityMap<GenericValue extends unknown, GenericRawValue = DCommon.RemoveConstraint<GenericValue>> = GenericRawValue extends NewType ? NewTypeMap<GenericRawValue> : GenericRawValue extends object ? DCommon.Or<[
     DCommon.IsExtends<GenericRawValue, readonly any[]>,
     DCommon.And<[
         DCommon.IsExtends<keyof GenericRawValue, string>,
         DCommon.Not<DCommon.IsExtends<DCommon.AnyFunction, GenericRawValue[keyof GenericRawValue]>>
     ]>
 ]> extends true ? {
-    [Prop in keyof GenericRawValue]: NewTypeMap<GenericRawValue[Prop]>;
+    [Prop in keyof GenericRawValue]: EntityMap<GenericRawValue[Prop]>;
 } : GenericRawValue : GenericRawValue;
 export interface EntityStructure<GenericName extends string = string, GenericProperties extends Record<string, unknown> = Record<string, unknown>> extends DCommon.Forward<DDataStructure.Structure<Entity<GenericName> & GenericProperties, EntityStructureDefinition> & DKind.Kind<typeof entityStructureKind>> {
     readonly name: GenericName;

package/dist/modeling/taggedObject/base.cjs

@@ -1,3 +1,9 @@
+const require_isSimple = require("../../object/isSimple.cjs");
+const require_create = require("../../either/left/create.cjs");
+const require_create$1 = require("../../either/right/create.cjs");
+const require_justExec = require("../../common/justExec.cjs");
+const require_resultSymbol = require("../../dataStructure/common/resultSymbol.cjs");
+const require_error = require("../../dataStructure/common/error.cjs");
 const require_base = require("../../dataStructure/structure/base.cjs");
 const require_nonEncodableString = require("../../dataStructure/structure/defaults/nonEncodableString.cjs");
 const require_object = require("../../dataStructure/structure/defaults/object.cjs");
@@ -16,7 +22,64 @@ const TaggedObjectStructure = require_base.createStructure(taggedObjectStructure
 	executeEncode: (self, codecContext, data, errorHandler) => self.definition.inner.executeEncode(codecContext, data, errorHandler),
 	executeDecode: (self, codecContext, data, errorHandler) => self.definition.inner.executeDecode(codecContext, data, errorHandler),
 	isAsynchronous: (self) => self.definition.inner.isAsynchronous()
-}, { name }));
+}, {
+	name,
+	new: (self, properties) => ({
+		...properties,
+		[objectTagKind.runTimeKey]: name
+	}),
+	decodeMap: (self, ...args) => {
+		if (args.length === 1) {
+			const [codecs] = args;
+			return (value) => self.decodeMap(codecs, value);
+		}
+		const errorHandler = require_error.createGetErrorHandler();
+		const [codecs, data] = args;
+		const result = self.executeDecode(codecs.context.value, require_isSimple.isSimple(data) ? {
+			...data,
+			[objectTagKind.runTimeKey]: name
+		} : data, errorHandler);
+		if (result instanceof Promise) return require_create.left("async-error", void 0);
+		if (result === require_resultSymbol.ErrorSymbol) return require_create.left("map-error", errorHandler().createError());
+		return require_create$1.right("map-success", result);
+	},
+	map: (self, data) => {
+		const errorHandler = require_error.createGetErrorHandler();
+		const formattedData = require_isSimple.isSimple(data) ? {
+			...data,
+			[objectTagKind.runTimeKey]: name
+		} : data;
+		const result = self.executeCheck(formattedData, errorHandler);
+		if (result instanceof Promise) return require_create.left("async-error", void 0);
+		if (result === require_resultSymbol.ErrorSymbol) return require_create.left("map-error", errorHandler().createError());
+		return require_create$1.right("map-success", formattedData);
+	},
+	asyncDecodeMap: (self, ...args) => {
+		if (args.length === 1) {
+			const [codecs] = args;
+			return (value) => self.asyncDecodeMap(codecs, value);
+		}
+		return require_justExec.justExec(async () => {
+			const errorHandler = require_error.createGetErrorHandler();
+			const [codecs, data] = args;
+			const result = await self.executeDecode(codecs.context.value, require_isSimple.isSimple(data) ? {
+				...data,
+				[objectTagKind.runTimeKey]: name
+			} : data, errorHandler);
+			if (result === require_resultSymbol.ErrorSymbol) return require_create.left("map-error", errorHandler().createError());
+			return require_create$1.right("map-success", result);
+		});
+	},
+	asyncMap: (self, data) => require_justExec.justExec(async () => {
+		const errorHandler = require_error.createGetErrorHandler();
+		const formattedData = require_isSimple.isSimple(data) ? {
+			...data,
+			[objectTagKind.runTimeKey]: name
+		} : data;
+		if (await self.executeCheck(formattedData, errorHandler) === require_resultSymbol.ErrorSymbol) return require_create.left("map-error", errorHandler().createError());
+		return require_create$1.right("map-success", formattedData);
+	})
+}));
 //#endregion
 exports.TaggedObjectStructure = TaggedObjectStructure;
 exports.objectTagKind = objectTagKind;

package/dist/modeling/taggedObject/base.d.ts

@@ -1,5 +1,7 @@
+import { NewType, NewTypeMap } from '../newType';
 import type * as DKind from '../../kind';
-import type * as DCommon from '../../common';
+import * as DCommon from '../../common';
+import * as DEither from '../../either';
 import * as DDataStructure from '../../dataStructure';
 declare module '../../dataStructure' {
     interface StructuresStore {
@@ -25,7 +27,23 @@ export declare const taggedObjectStructureKind: DKind.Handler<DKind.Definition<"
 export interface TaggedObjectStructureDefinition extends DDataStructure.StructureDefinition<readonly []> {
     readonly inner: DDataStructure.ObjectStructure;
 }
+export type TaggedObjectMap<GenericValue extends unknown, GenericRawValue = DCommon.RemoveConstraint<GenericValue>> = GenericRawValue extends NewType ? NewTypeMap<GenericRawValue> : GenericRawValue extends object ? DCommon.Or<[
+    DCommon.IsExtends<GenericRawValue, readonly any[]>,
+    DCommon.And<[
+        DCommon.IsExtends<keyof GenericRawValue, string>,
+        DCommon.Not<DCommon.IsExtends<DCommon.AnyFunction, GenericRawValue[keyof GenericRawValue]>>
+    ]>
+]> extends true ? {
+    [Prop in keyof GenericRawValue]: TaggedObjectMap<GenericRawValue[Prop]>;
+} : GenericRawValue : GenericRawValue;
 export interface TaggedObjectStructure<GenericTaggedObject extends ObjectTag = ObjectTag> extends DCommon.Forward<DDataStructure.Structure<GenericTaggedObject, TaggedObjectStructureDefinition> & DKind.Kind<typeof taggedObjectStructureKind>> {
     readonly name: GetTagValue<GenericTaggedObject>;
+    "new"(properties: DCommon.SimplifyTopLevel<DKind.Remove<GenericTaggedObject>>): GenericTaggedObject;
+    decodeMap<GenericCodecs extends DDataStructure.Codecs>(codecs: GenericCodecs): (data: DDataStructure.EncodedValue<TaggedObjectMap<DKind.Remove<DDataStructure.StructureValue<this>>>, GenericCodecs>) => (DEither.Right<"map-success", DDataStructure.StructureValue<this>> | DEither.Left<"async-error", undefined> | DEither.Left<"map-error", DDataStructure.Error>);
+    decodeMap<GenericCodecs extends DDataStructure.Codecs>(codecs: GenericCodecs, data: DDataStructure.EncodedValue<TaggedObjectMap<DKind.Remove<DDataStructure.StructureValue<this>>>, GenericCodecs>): (DEither.Right<"map-success", DDataStructure.StructureValue<this>> | DEither.Left<"async-error", undefined> | DEither.Left<"map-error", DDataStructure.Error>);
+    map(data: TaggedObjectMap<DKind.Remove<DDataStructure.StructureValue<this>>>): (DEither.Right<"map-success", DDataStructure.StructureValue<this>> | DEither.Left<"async-error", undefined> | DEither.Left<"map-error", DDataStructure.Error>);
+    asyncDecodeMap<GenericCodecs extends DDataStructure.Codecs>(codecs: GenericCodecs): (data: DDataStructure.EncodedValue<TaggedObjectMap<DKind.Remove<DDataStructure.StructureValue<this>>>, GenericCodecs>) => Promise<DEither.Right<"map-success", DDataStructure.StructureValue<this>> | DEither.Left<"map-error", DDataStructure.Error>>;
+    asyncDecodeMap<GenericCodecs extends DDataStructure.Codecs>(codecs: GenericCodecs, data: DDataStructure.EncodedValue<TaggedObjectMap<DKind.Remove<DDataStructure.StructureValue<this>>>, GenericCodecs>): Promise<DEither.Right<"map-success", DDataStructure.StructureValue<this>> | DEither.Left<"map-error", DDataStructure.Error>>;
+    asyncMap(data: TaggedObjectMap<DKind.Remove<DDataStructure.StructureValue<this>>>): Promise<DEither.Right<"map-success", DDataStructure.StructureValue<this>> | DEither.Left<"map-error", DDataStructure.Error>>;
 }
 export declare const TaggedObjectStructure: <GenericTaggedObject extends ObjectTag, GenericName extends string = never, GenericShape extends DDataStructure.ShapeObjectStructure = never>(name: GetTagValue<GenericTaggedObject> | GenericName, shape: ShapeTaggedObjectStructure<GenericTaggedObject> | GenericShape) => TaggedObjectStructure<ObjectTag extends GenericTaggedObject ? (ObjectTag<GenericName> & DDataStructure.ShapeObjectStructureValue<GenericShape>) : GenericTaggedObject>;

package/dist/modeling/taggedObject/base.mjs

@@ -1,3 +1,9 @@
+import { isSimple } from "../../object/isSimple.mjs";
+import { left } from "../../either/left/create.mjs";
+import { right } from "../../either/right/create.mjs";
+import { justExec } from "../../common/justExec.mjs";
+import { ErrorSymbol } from "../../dataStructure/common/resultSymbol.mjs";
+import { createGetErrorHandler } from "../../dataStructure/common/error.mjs";
 import { createStructure } from "../../dataStructure/structure/base.mjs";
 import { NonEncodableStringStructure } from "../../dataStructure/structure/defaults/nonEncodableString.mjs";
 import { ObjectStructure } from "../../dataStructure/structure/defaults/object.mjs";
@@ -16,6 +22,63 @@ const TaggedObjectStructure = createStructure(taggedObjectStructureKind, ({ init
 	executeEncode: (self, codecContext, data, errorHandler) => self.definition.inner.executeEncode(codecContext, data, errorHandler),
 	executeDecode: (self, codecContext, data, errorHandler) => self.definition.inner.executeDecode(codecContext, data, errorHandler),
 	isAsynchronous: (self) => self.definition.inner.isAsynchronous()
-}, { name }));
+}, {
+	name,
+	new: (self, properties) => ({
+		...properties,
+		[objectTagKind.runTimeKey]: name
+	}),
+	decodeMap: (self, ...args) => {
+		if (args.length === 1) {
+			const [codecs] = args;
+			return (value) => self.decodeMap(codecs, value);
+		}
+		const errorHandler = createGetErrorHandler();
+		const [codecs, data] = args;
+		const result = self.executeDecode(codecs.context.value, isSimple(data) ? {
+			...data,
+			[objectTagKind.runTimeKey]: name
+		} : data, errorHandler);
+		if (result instanceof Promise) return left("async-error", void 0);
+		if (result === ErrorSymbol) return left("map-error", errorHandler().createError());
+		return right("map-success", result);
+	},
+	map: (self, data) => {
+		const errorHandler = createGetErrorHandler();
+		const formattedData = isSimple(data) ? {
+			...data,
+			[objectTagKind.runTimeKey]: name
+		} : data;
+		const result = self.executeCheck(formattedData, errorHandler);
+		if (result instanceof Promise) return left("async-error", void 0);
+		if (result === ErrorSymbol) return left("map-error", errorHandler().createError());
+		return right("map-success", formattedData);
+	},
+	asyncDecodeMap: (self, ...args) => {
+		if (args.length === 1) {
+			const [codecs] = args;
+			return (value) => self.asyncDecodeMap(codecs, value);
+		}
+		return justExec(async () => {
+			const errorHandler = createGetErrorHandler();
+			const [codecs, data] = args;
+			const result = await self.executeDecode(codecs.context.value, isSimple(data) ? {
+				...data,
+				[objectTagKind.runTimeKey]: name
+			} : data, errorHandler);
+			if (result === ErrorSymbol) return left("map-error", errorHandler().createError());
+			return right("map-success", result);
+		});
+	},
+	asyncMap: (self, data) => justExec(async () => {
+		const errorHandler = createGetErrorHandler();
+		const formattedData = isSimple(data) ? {
+			...data,
+			[objectTagKind.runTimeKey]: name
+		} : data;
+		if (await self.executeCheck(formattedData, errorHandler) === ErrorSymbol) return left("map-error", errorHandler().createError());
+		return right("map-success", formattedData);
+	})
+}));
 //#endregion
 export { TaggedObjectStructure, objectTagKind, taggedObjectStructureKind };