ts-fortress 8.5.2 → 9.0.0

package/README.md

@@ -277,17 +277,20 @@ Slug.is('feature-beta'); // true
 
 Slug.is('Feature-Flag'); // false (fails regex)
 
-type SlugType = t.TypeOf<typeof Slug>; // inferred as `feature${string}`
+type SlugType = t.TypeOf<typeof Slug>;
+// inferred as a `feature${string}` template literal branded with
+// `NonEmptyString`, `MinLengthString<6>` and `MaxLengthString<32>`
 ```
 
 String constraints:
 
-- `startsWith`, `endsWith`, `includes`
-- `lowercase`, `uppercase`, `nonempty`
-- `minLength`, `maxLength`
+- `startsWith`, `endsWith`, `includes` — narrow the result to the corresponding template literal type
+- `lowercase`, `uppercase`
+- `nonempty` — brands the result as `NonEmptyString` (from [ts-type-forge](https://github.com/noshiro-pf/ts-type-forge))
+- `minLength`, `maxLength` — brand the result as `MinLengthString<N>` / `MaxLengthString<N>` (from ts-type-forge), which preserve the natural subtyping between length bounds
 - `regex`
 
-A negative `minLength` is ignored so you can enable or disable the bound dynamically without branching.
+`minLength` / `maxLength` accept plain `number`s, which must be positive integers (`>= 1`) — passing a non-integer or a value less than `1` throws a `TypeError` when the type is constructed. Number literals in the range `1..39` are encoded in the result brand (`MinLengthString<N>` / `MaxLengthString<N>`); larger literals and dynamically computed `number`s are still enforced at runtime, but the result type falls back to plain `string` to keep the type-level computation cheap.
 
 ### Number constraints
 

package/dist/predefined/brand/string/email.d.mts

@@ -1,6 +1,6 @@
-import { type Brand } from 'ts-type-forge';
+import { type Brand, type NonEmptyString } from 'ts-type-forge';
 import { type Type } from '../../../type.mjs';
-export type Email = Brand<string, 'Email' | 'NonEmptyString'>;
+export type Email = Brand<NonEmptyString, 'Email'>;
 /**
  * @link https://html.spec.whatwg.org/multipage/input.html#valid-e-mail-address
  */

package/dist/predefined/brand/string/email.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"email.d.mts","sourceRoot":"","sources":["../../../../src/predefined/brand/string/email.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,KAAK,EAAE,MAAM,eAAe,CAAC;AAG3C,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAG9C,MAAM,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,OAAO,GAAG,gBAAgB,CAAC,CAAC;AAE9D;;GAEG;AACH,eAAO,MAAM,KAAK,GAChB,UAAU,OAAO,CACf,QAAQ,CAAC;IACP,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC,CACH,KACA,IAAI,CAAC,KAAK,CAOT,CAAC"}
+{"version":3,"file":"email.d.mts","sourceRoot":"","sources":["../../../../src/predefined/brand/string/email.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,KAAK,EAAE,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAGhE,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAI9C,MAAM,MAAM,KAAK,GAAG,KAAK,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;AAEnD;;GAEG;AACH,eAAO,MAAM,KAAK,GAChB,UAAU,OAAO,CACf,QAAQ,CAAC;IACP,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC,CACH,KACA,IAAI,CAAC,KAAK,CAQT,CAAC"}

package/dist/predefined/brand/string/email.mjs

@@ -8,10 +8,11 @@ import { string } from '../../../primitives/string.mjs';
  * @link https://html.spec.whatwg.org/multipage/input.html#valid-e-mail-address
  */
 const email = (options) => brand({
-    baseType: string(options?.defaultValue ?? defaultEmail),
+    baseType: string(options?.defaultValue ?? defaultEmail, {
+        nonempty: true,
+    }),
     is: (s) => regexpEmailAddress.test(s),
-    defaultValue: options?.defaultValue ?? defaultEmail,
-    brandKeys: ['Email', 'NonEmptyString'],
+    brandKeys: ['Email'],
     typeName: 'Email',
 });
 const defaultEmail = 'ts-f.o.r.t.r.e.s.s@gmail.com';

package/dist/predefined/brand/string/email.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"email.mjs","sources":["../../../../src/predefined/brand/string/email.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;AAQA;;AAEG;AACI,MAAM,KAAK,GAAG,CACnB,OAIC,KAED,KAAK,CAAC;IACJ,QAAQ,EAAE,MAAM,CAAC,OAAO,EAAE,YAAY,IAAI,YAAY,CAAC;IACvD,EAAE,EAAE,CAAC,CAAC,KAAiB,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC;AACjD,IAAA,YAAY,EAAE,OAAO,EAAE,YAAY,IAAI,YAAY;AACnD,IAAA,SAAS,EAAE,CAAC,OAAO,EAAE,gBAAgB,CAAC;AACtC,IAAA,QAAQ,EAAE,OAAO;AAClB,CAAA;AAEH,MAAM,YAAY,GAAG,8BAA8B;AAEnD,MAAM,kBAAkB;AACtB;AACA,uIAAuI;;;;"}
+{"version":3,"file":"email.mjs","sources":["../../../../src/predefined/brand/string/email.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;AASA;;AAEG;AACI,MAAM,KAAK,GAAG,CACnB,OAIC,KAED,KAAK,CAAqC;IACxC,QAAQ,EAAE,MAAM,CAAC,OAAO,EAAE,YAAY,IAAI,YAAY,EAAE;AACtD,QAAA,QAAQ,EAAE,IAAI;KACf,CAAC;IACF,EAAE,EAAE,CAAC,CAAC,KAAiB,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC;IACjD,SAAS,EAAE,CAAC,OAAO,CAAC;AACpB,IAAA,QAAQ,EAAE,OAAO;AAClB,CAAA;AAEH,MAAM,YAAY,GAAG,8BAA8B;AAEnD,MAAM,kBAAkB;AACtB;AACA,uIAAuI;;;;"}

package/dist/predefined/brand/string/iso-8601.d.mts

@@ -1,6 +1,6 @@
-import { type Brand } from 'ts-type-forge';
+import { type Brand, type NonEmptyString } from 'ts-type-forge';
 import { type Type, type TypeOf } from '../../../type.mjs';
-export type Iso8601 = Brand<string, 'Iso8601' | 'NonEmptyString'>;
+export type Iso8601 = Brand<NonEmptyString, 'Iso8601'>;
 /**
  * @link https://github.com/validatorjs/validator.js/tree/v13.1.17?tab=readme-ov-file#validators
  * @link https://developer.mozilla.org/ja/docs/Web/JavaScript/Reference/Global_Objects/Date/toISOString

package/dist/predefined/brand/string/iso-8601.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"iso-8601.d.mts","sourceRoot":"","sources":["../../../../src/predefined/brand/string/iso-8601.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,KAAK,EAAmB,MAAM,eAAe,CAAC;AAI5D,OAAO,EAAE,KAAK,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAI3D,MAAM,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,EAAE,SAAS,GAAG,gBAAgB,CAAC,CAAC;AAElE;;;;GAIG;AACH,eAAO,MAAM,OAAO,GAAI,UAAU,sBAAsB,KAAG,IAAI,CAAC,OAAO,CAYtE,CAAC;AAEF,QAAA,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgB1B,CAAC;AAEH,KAAK,sBAAsB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAC"}
+{"version":3,"file":"iso-8601.d.mts","sourceRoot":"","sources":["../../../../src/predefined/brand/string/iso-8601.mts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,KAAK,EACV,KAAK,cAAc,EAEpB,MAAM,eAAe,CAAC;AAIvB,OAAO,EAAE,KAAK,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAI3D,MAAM,MAAM,OAAO,GAAG,KAAK,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;AAEvD;;;;GAIG;AACH,eAAO,MAAM,OAAO,GAAI,UAAU,sBAAsB,KAAG,IAAI,CAAC,OAAO,CAWtE,CAAC;AAEF,QAAA,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgB1B,CAAC;AAEH,KAAK,sBAAsB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAC"}

package/dist/predefined/brand/string/iso-8601.mjs

@@ -15,10 +15,9 @@ const iso8601 = (options) => {
     const filledOptions = ISO8601ValidatorOption.fill(options);
     const is = isISO8601(filledOptions);
     return brand({
-        baseType: string(filledOptions.defaultValue),
+        baseType: string(filledOptions.defaultValue, { nonempty: true }),
         is,
-        defaultValue: filledOptions.defaultValue,
-        brandKeys: ['Iso8601', 'NonEmptyString'],
+        brandKeys: ['Iso8601'],
         typeName: 'Iso8601',
     });
 };

package/dist/predefined/brand/string/iso-8601.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"iso-8601.mjs","sources":["../../../../src/predefined/brand/string/iso-8601.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;AAUA;;;;AAIG;AACI,MAAM,OAAO,GAAG,CAAC,OAAgC,KAAmB;IACzE,MAAM,aAAa,GAAG,sBAAsB,CAAC,IAAI,CAAC,OAAO,CAAC;AAE1D,IAAA,MAAM,EAAE,GAAG,SAAS,CAAC,aAAa,CAAC;AAEnC,IAAA,OAAO,KAAK,CAAC;AACX,QAAA,QAAQ,EAAE,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC;QAC5C,EAAE;QACF,YAAY,EAAE,aAAa,CAAC,YAAY;AACxC,QAAA,SAAS,EAAE,CAAC,SAAS,EAAE,gBAAgB,CAAC;AACxC,QAAA,QAAQ,EAAE,SAAS;AACpB,KAAA,CAAC;AACJ;AAEA,MAAM,sBAAsB,GAAG,MAAM,CAAC;AACpC;;AAEG;AACH,IAAA,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC;AAEtB;;AAEG;AACH,IAAA,eAAe,EAAE,OAAO,CAAC,KAAK,CAAC;AAE/B;;AAEG;;IAEH,YAAY,EAAE,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;AAC/C,CAAA,CAAC;AAIF,MAAM,SAAS,GACb,CAAC,OAAqE,KACtE,CAAC,GAAW,KAAoB;IAC9B,MAAM,aAAa,GAAG,sBAAsB,CAAC,IAAI,CAAC,OAAO,CAAC;AAE1D,IAAA,MAAM,KAAK,GAAG,aAAa,CAAC;AAC1B,UAAE,4BAA4B,CAAC,IAAI,CAAC,GAAG;AACvC,UAAE,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC;AAE3B,IAAA,IAAI,KAAK,IAAI,aAAa,CAAC,MAAM;AAAE,QAAA,OAAO,WAAW,CAAC,GAAG,CAAC;AAE1D,IAAA,OAAO,KAAK;AACd,CAAC;AAEH;AACA,MAAM,aAAa;AACjB;AACA,yRAAyR;AAE3R;AACA,MAAM,4BAA4B;AAChC;AACA,qRAAqR;AAEvR,MAAM,WAAW,GAAG,CAAC,GAAW,KAAa;;;;;IAK3C,MAAM,YAAY,GAAG,+BAA+B,CAAC,IAAI,CAAC,GAAG,CAAC;AAE9D,IAAA,IAAI,YAAY,KAAK,IAAI,EAAE;QACzB,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAErC,MAAM,IAAI,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;;AAGpC,QAAA,IAAI,CAAC,KAAK,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,GAAG,KAAK,CAAC,KAAK,KAAK,GAAG,GAAG,KAAK,CAAC;YAC7D,OAAO,IAAI,IAAI,GAAG;QAEpB,OAAO,IAAI,IAAI,GAAG;IACpB;AAEA,IAAA,MAAM,KAAK,GAAG,4BAA4B,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC;AAEjE,IAAA,MAAM,IAAI,GAAG,KAAK,GAAG,CAAC,CAAC;AAEvB,IAAA,MAAM,KAAK,GAAuB,KAAK,GAAG,CAAC,CAAC;AAE5C,IAAA,MAAM,IAAI,GAAuB,KAAK,GAAG,CAAC,CAAC;;AAG3C,IAAA,MAAM,CAAC,GAAG,IAAI,IAAI,CAChB,CAAA,EAAG,IAAI,CAAA,CAAA,EAAI,CAAA,CAAA,EAAI,KAAK,IAAI,CAAC,CAAA,CAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA,CAAA,EAAI,CAAA,CAAA,EAAI,IAAI,IAAI,CAAC,CAAA,CAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA,CAAE,CACrE;IAED,IAAI,KAAK,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE;AAC7C,QAAA,QACE,CAAC,CAAC,cAAc,EAAE,KAAK,IAAI;AAC3B,YAAA,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,KAAK,KAAK;AAC7B,YAAA,CAAC,CAAC,UAAU,EAAE,KAAK,IAAI;IAE3B;AAEA,IAAA,OAAO,IAAI;AACb,CAAC;;;;"}
+{"version":3,"file":"iso-8601.mjs","sources":["../../../../src/predefined/brand/string/iso-8601.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;AAcA;;;;AAIG;AACI,MAAM,OAAO,GAAG,CAAC,OAAgC,KAAmB;IACzE,MAAM,aAAa,GAAG,sBAAsB,CAAC,IAAI,CAAC,OAAO,CAAC;AAE1D,IAAA,MAAM,EAAE,GAAG,SAAS,CAAC,aAAa,CAAC;AAEnC,IAAA,OAAO,KAAK,CAAuC;AACjD,QAAA,QAAQ,EAAE,MAAM,CAAC,aAAa,CAAC,YAAY,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QAChE,EAAE;QACF,SAAS,EAAE,CAAC,SAAS,CAAC;AACtB,QAAA,QAAQ,EAAE,SAAS;AACpB,KAAA,CAAC;AACJ;AAEA,MAAM,sBAAsB,GAAG,MAAM,CAAC;AACpC;;AAEG;AACH,IAAA,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC;AAEtB;;AAEG;AACH,IAAA,eAAe,EAAE,OAAO,CAAC,KAAK,CAAC;AAE/B;;AAEG;;IAEH,YAAY,EAAE,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;AAC/C,CAAA,CAAC;AAIF,MAAM,SAAS,GACb,CAAC,OAAqE,KACtE,CAAC,GAAW,KAAoB;IAC9B,MAAM,aAAa,GAAG,sBAAsB,CAAC,IAAI,CAAC,OAAO,CAAC;AAE1D,IAAA,MAAM,KAAK,GAAG,aAAa,CAAC;AAC1B,UAAE,4BAA4B,CAAC,IAAI,CAAC,GAAG;AACvC,UAAE,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC;AAE3B,IAAA,IAAI,KAAK,IAAI,aAAa,CAAC,MAAM;AAAE,QAAA,OAAO,WAAW,CAAC,GAAG,CAAC;AAE1D,IAAA,OAAO,KAAK;AACd,CAAC;AAEH;AACA,MAAM,aAAa;AACjB;AACA,yRAAyR;AAE3R;AACA,MAAM,4BAA4B;AAChC;AACA,qRAAqR;AAEvR,MAAM,WAAW,GAAG,CAAC,GAAW,KAAa;;;;;IAK3C,MAAM,YAAY,GAAG,+BAA+B,CAAC,IAAI,CAAC,GAAG,CAAC;AAE9D,IAAA,IAAI,YAAY,KAAK,IAAI,EAAE;QACzB,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAErC,MAAM,IAAI,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;;AAGpC,QAAA,IAAI,CAAC,KAAK,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,GAAG,KAAK,CAAC,KAAK,KAAK,GAAG,GAAG,KAAK,CAAC;YAC7D,OAAO,IAAI,IAAI,GAAG;QAEpB,OAAO,IAAI,IAAI,GAAG;IACpB;AAEA,IAAA,MAAM,KAAK,GAAG,4BAA4B,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC;AAEjE,IAAA,MAAM,IAAI,GAAG,KAAK,GAAG,CAAC,CAAC;AAEvB,IAAA,MAAM,KAAK,GAAuB,KAAK,GAAG,CAAC,CAAC;AAE5C,IAAA,MAAM,IAAI,GAAuB,KAAK,GAAG,CAAC,CAAC;;AAG3C,IAAA,MAAM,CAAC,GAAG,IAAI,IAAI,CAChB,CAAA,EAAG,IAAI,CAAA,CAAA,EAAI,CAAA,CAAA,EAAI,KAAK,IAAI,CAAC,CAAA,CAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA,CAAA,EAAI,CAAA,CAAA,EAAI,IAAI,IAAI,CAAC,CAAA,CAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA,CAAE,CACrE;IAED,IAAI,KAAK,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE;AAC7C,QAAA,QACE,CAAC,CAAC,cAAc,EAAE,KAAK,IAAI;AAC3B,YAAA,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,KAAK,KAAK;AAC7B,YAAA,CAAC,CAAC,UAAU,EAAE,KAAK,IAAI;IAE3B;AAEA,IAAA,OAAO,IAAI;AACb,CAAC;;;;"}

package/dist/predefined/brand/string/json-string.d.mts

@@ -1,6 +1,6 @@
-import { type Brand } from 'ts-type-forge';
+import { type Brand, type NonEmptyString } from 'ts-type-forge';
 import { type Type } from '../../../type.mjs';
-export type JsonString = Brand<string, 'JsonString' | 'NonEmptyString'>;
+export type JsonString = Brand<NonEmptyString, 'JsonString'>;
 /**
  * @link https://github.com/validatorjs/validator.js/tree/v13.1.17?tab=readme-ov-file#validators
  */

package/dist/predefined/brand/string/json-string.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"json-string.d.mts","sourceRoot":"","sources":["../../../../src/predefined/brand/string/json-string.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,KAAK,EAAE,MAAM,eAAe,CAAC;AAG3C,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAI9C,MAAM,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,EAAE,YAAY,GAAG,gBAAgB,CAAC,CAAC;AAExE;;GAEG;AACH,eAAO,MAAM,UAAU,GACrB,UAAU,OAAO,CACf,QAAQ,CAAC;IACP,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC,CACH,KACA,IAAI,CAAC,UAAU,CAOd,CAAC"}
+{"version":3,"file":"json-string.d.mts","sourceRoot":"","sources":["../../../../src/predefined/brand/string/json-string.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,KAAK,EAAE,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAGhE,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAI9C,MAAM,MAAM,UAAU,GAAG,KAAK,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;AAE7D;;GAEG;AACH,eAAO,MAAM,UAAU,GACrB,UAAU,OAAO,CACf,QAAQ,CAAC;IACP,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC,CACH,KACA,IAAI,CAAC,UAAU,CAQd,CAAC"}

package/dist/predefined/brand/string/json-string.mjs

@@ -8,10 +8,11 @@ import { string } from '../../../primitives/string.mjs';
  * @link https://github.com/validatorjs/validator.js/tree/v13.1.17?tab=readme-ov-file#validators
  */
 const jsonString = (options) => brand({
-    baseType: string(options?.defaultValue ?? defaultJsonString),
+    baseType: string(options?.defaultValue ?? defaultJsonString, {
+        nonempty: true,
+    }),
     is: isJsonString,
-    defaultValue: options?.defaultValue ?? defaultJsonString,
-    brandKeys: ['JsonString', 'NonEmptyString'],
+    brandKeys: ['JsonString'],
     typeName: 'JsonString',
 });
 const defaultJsonString = '{}';

package/dist/predefined/brand/string/json-string.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"json-string.mjs","sources":["../../../../src/predefined/brand/string/json-string.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;AAUA;;AAEG;AACI,MAAM,UAAU,GAAG,CACxB,OAIC,KAED,KAAK,CAAC;IACJ,QAAQ,EAAE,MAAM,CAAC,OAAO,EAAE,YAAY,IAAI,iBAAiB,CAAC;AAC5D,IAAA,EAAE,EAAE,YAAY;AAChB,IAAA,YAAY,EAAE,OAAO,EAAE,YAAY,IAAI,iBAAiB;AACxD,IAAA,SAAS,EAAE,CAAC,YAAY,EAAE,gBAAgB,CAAC;AAC3C,IAAA,QAAQ,EAAE,YAAY;AACvB,CAAA;AAEH,MAAM,iBAAiB,GAAG,IAAI;AAE9B,MAAM,YAAY,GAAG,CAAC,GAAW,KAAuB;AACtD,IAAA,IAAI;QACF,OAAO,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACzC;AAAE,IAAA,MAAM;AACN,QAAA,OAAO,KAAK;IACd;AACF,CAAC;;;;"}
+{"version":3,"file":"json-string.mjs","sources":["../../../../src/predefined/brand/string/json-string.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;AAUA;;AAEG;AACI,MAAM,UAAU,GAAG,CACxB,OAIC,KAED,KAAK,CAA0C;IAC7C,QAAQ,EAAE,MAAM,CAAC,OAAO,EAAE,YAAY,IAAI,iBAAiB,EAAE;AAC3D,QAAA,QAAQ,EAAE,IAAI;KACf,CAAC;AACF,IAAA,EAAE,EAAE,YAAY;IAChB,SAAS,EAAE,CAAC,YAAY,CAAC;AACzB,IAAA,QAAQ,EAAE,YAAY;AACvB,CAAA;AAEH,MAAM,iBAAiB,GAAG,IAAI;AAE9B,MAAM,YAAY,GAAG,CAAC,GAAW,KAAuB;AACtD,IAAA,IAAI;QACF,OAAO,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACzC;AAAE,IAAA,MAAM;AACN,QAAA,OAAO,KAAK;IACd;AACF,CAAC;;;;"}

package/dist/predefined/brand/string/uri.d.mts

@@ -1,6 +1,6 @@
-import { type Brand } from 'ts-type-forge';
+import { type Brand, type NonEmptyString } from 'ts-type-forge';
 import { type Type } from '../../../type.mjs';
-export type Uri = Brand<string, 'Uri' | 'NonEmptyString'>;
+export type Uri = Brand<NonEmptyString, 'Uri'>;
 /**
  * @link https://url.spec.whatwg.org/
  */

package/dist/predefined/brand/string/uri.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"uri.d.mts","sourceRoot":"","sources":["../../../../src/predefined/brand/string/uri.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,KAAK,EAAE,MAAM,eAAe,CAAC;AAG3C,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAG9C,MAAM,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,GAAG,gBAAgB,CAAC,CAAC;AAE1D;;GAEG;AACH,eAAO,MAAM,GAAG,GACd,UAAU,OAAO,CACf,QAAQ,CAAC;IACP,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC,CACH,KACA,IAAI,CAAC,GAAG,CAOP,CAAC"}
+{"version":3,"file":"uri.d.mts","sourceRoot":"","sources":["../../../../src/predefined/brand/string/uri.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,KAAK,EAAE,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAGhE,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAI9C,MAAM,MAAM,GAAG,GAAG,KAAK,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;AAE/C;;GAEG;AACH,eAAO,MAAM,GAAG,GACd,UAAU,OAAO,CACf,QAAQ,CAAC;IACP,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC,CACH,KACA,IAAI,CAAC,GAAG,CAMP,CAAC"}

package/dist/predefined/brand/string/uri.mjs

@@ -8,10 +8,9 @@ import { string } from '../../../primitives/string.mjs';
  * @link https://url.spec.whatwg.org/
  */
 const uri = (options) => brand({
-    baseType: string(options?.defaultValue ?? defaultUri),
+    baseType: string(options?.defaultValue ?? defaultUri, { nonempty: true }),
     is: isUri,
-    defaultValue: options?.defaultValue ?? defaultUri,
-    brandKeys: ['Uri', 'NonEmptyString'],
+    brandKeys: ['Uri'],
     typeName: 'Uri',
 });
 const defaultUri = 'https://example.com';

package/dist/predefined/brand/string/uri.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"uri.mjs","sources":["../../../../src/predefined/brand/string/uri.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;AAQA;;AAEG;AACI,MAAM,GAAG,GAAG,CACjB,OAIC,KAED,KAAK,CAAC;IACJ,QAAQ,EAAE,MAAM,CAAC,OAAO,EAAE,YAAY,IAAI,UAAU,CAAC;AACrD,IAAA,EAAE,EAAE,KAAK;AACT,IAAA,YAAY,EAAE,OAAO,EAAE,YAAY,IAAI,UAAU;AACjD,IAAA,SAAS,EAAE,CAAC,KAAK,EAAE,gBAAgB,CAAC;AACpC,IAAA,QAAQ,EAAE,KAAK;AAChB,CAAA;AAEH,MAAM,UAAU,GAAG,qBAAqB;AAExC;AACA;AACA,MAAM,KAAK,GAAG,CAAC,CAAS,KAAe,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;;;;"}
+{"version":3,"file":"uri.mjs","sources":["../../../../src/predefined/brand/string/uri.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;AASA;;AAEG;AACI,MAAM,GAAG,GAAG,CACjB,OAIC,KAED,KAAK,CAAmC;AACtC,IAAA,QAAQ,EAAE,MAAM,CAAC,OAAO,EAAE,YAAY,IAAI,UAAU,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AACzE,IAAA,EAAE,EAAE,KAAK;IACT,SAAS,EAAE,CAAC,KAAK,CAAC;AAClB,IAAA,QAAQ,EAAE,KAAK;AAChB,CAAA;AAEH,MAAM,UAAU,GAAG,qBAAqB;AAExC;AACA;AACA,MAAM,KAAK,GAAG,CAAC,CAAS,KAAe,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;;;;"}

package/dist/predefined/brand/string/uuid.d.mts

@@ -1,11 +1,11 @@
-import { type Brand, type TypeEq, type UintRangeInclusive } from 'ts-type-forge';
+import { type Brand, type NonEmptyString, type TypeEq, type UintRangeInclusive } from 'ts-type-forge';
 import { type Type } from '../../../type.mjs';
 export type UuidVersion = UintRangeInclusive<1, 8>;
 export type UuidBaseString<V extends UuidVersion = UuidVersion> = `${string}-${string}-${V}${string}-${string}-${string}` | '00000000-0000-0000-0000-000000000000' | 'ffffffff-ffff-ffff-ffff-ffffffffffff';
-export type Uuid = Brand<UuidBaseString, 'Uuid' | 'NonEmptyString'>;
-export type Uuid4 = Brand<UuidBaseString<4>, 'Uuid' | 'NonEmptyString'>;
-export type Uuid6 = Brand<UuidBaseString<6>, 'Uuid' | 'NonEmptyString'>;
-export type Uuid7 = Brand<UuidBaseString<7>, 'Uuid' | 'NonEmptyString'>;
+export type Uuid = Brand<UuidBaseString & NonEmptyString, 'Uuid'>;
+export type Uuid4 = Brand<UuidBaseString<4> & NonEmptyString, 'Uuid'>;
+export type Uuid6 = Brand<UuidBaseString<6> & NonEmptyString, 'Uuid'>;
+export type Uuid7 = Brand<UuidBaseString<7> & NonEmptyString, 'Uuid'>;
 /**
  * @link https://github.com/validatorjs/validator.js/tree/v13.1.17?tab=readme-ov-file#validators
  */

package/dist/predefined/brand/string/uuid.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"uuid.d.mts","sourceRoot":"","sources":["../../../../src/predefined/brand/string/uuid.mts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,KAAK,EAEV,KAAK,MAAM,EACX,KAAK,kBAAkB,EACxB,MAAM,eAAe,CAAC;AAGvB,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAE9C,MAAM,MAAM,WAAW,GAAG,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAEnD,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,WAAW,GAAG,WAAW,IAC1D,GAAG,MAAM,IAAI,MAAM,IAAI,CAAC,GAAG,MAAM,IAAI,MAAM,IAAI,MAAM,EAAE,GACvD,sCAAsC,GACtC,sCAAsC,CAAC;AAI3C,MAAM,MAAM,IAAI,GAAG,KAAK,CAAC,cAAc,EAAE,MAAM,GAAG,gBAAgB,CAAC,CAAC;AAEpE,MAAM,MAAM,KAAK,GAAG,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,MAAM,GAAG,gBAAgB,CAAC,CAAC;AAExE,MAAM,MAAM,KAAK,GAAG,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,MAAM,GAAG,gBAAgB,CAAC,CAAC;AAExE,MAAM,MAAM,KAAK,GAAG,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,MAAM,GAAG,gBAAgB,CAAC,CAAC;AAExE;;GAEG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,SAAS,WAAW,GAAG,2BAA2B,EACtE,UAAU,mBAAmB,CAAC,CAAC,CAAC,KAC/B,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAyBhB,CAAC;AAEF,KAAK,2BAA2B,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,OAAO,CAAC;AAEnE,KAAK,MAAM,CAAC,CAAC,SAAS,WAAW,GAAG,2BAA2B,IAC7D,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACrB,KAAK,GACL,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACvB,KAAK,GACL,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACvB,KAAK,GACL,IAAI,CAAC;AAEf,eAAO,MAAM,MAAM,GAAI,eAAe,MAAM,KAAG,IAAI,CAAC,KAAK,CAIrD,CAAC;AAEL,eAAO,MAAM,MAAM,GAAI,eAAe,MAAM,KAAG,IAAI,CAAC,KAAK,CAIrD,CAAC;AAEL,eAAO,MAAM,MAAM,GAAI,eAAe,MAAM,KAAG,IAAI,CAAC,KAAK,CAIrD,CAAC;AAEL,KAAK,mBAAmB,CAAC,CAAC,SAAS,WAAW,GAAG,2BAA2B,IAC1E,OAAO,CACL,QAAQ,CAAC;IACP;;OAEG;IACH,OAAO,EAAE,CAAC,CAAC;IAEX,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC,CACH,CAAC"}
+{"version":3,"file":"uuid.d.mts","sourceRoot":"","sources":["../../../../src/predefined/brand/string/uuid.mts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,KAAK,EACV,KAAK,cAAc,EAEnB,KAAK,MAAM,EACX,KAAK,kBAAkB,EACxB,MAAM,eAAe,CAAC;AAGvB,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAE9C,MAAM,MAAM,WAAW,GAAG,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAEnD,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,WAAW,GAAG,WAAW,IAC1D,GAAG,MAAM,IAAI,MAAM,IAAI,CAAC,GAAG,MAAM,IAAI,MAAM,IAAI,MAAM,EAAE,GACvD,sCAAsC,GACtC,sCAAsC,CAAC;AAK3C,MAAM,MAAM,IAAI,GAAG,KAAK,CAAC,cAAc,GAAG,cAAc,EAAE,MAAM,CAAC,CAAC;AAElE,MAAM,MAAM,KAAK,GAAG,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,GAAG,cAAc,EAAE,MAAM,CAAC,CAAC;AAEtE,MAAM,MAAM,KAAK,GAAG,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,GAAG,cAAc,EAAE,MAAM,CAAC,CAAC;AAEtE,MAAM,MAAM,KAAK,GAAG,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,GAAG,cAAc,EAAE,MAAM,CAAC,CAAC;AAEtE;;GAEG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,SAAS,WAAW,GAAG,2BAA2B,EACtE,UAAU,mBAAmB,CAAC,CAAC,CAAC,KAC/B,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CA2BhB,CAAC;AAEF,KAAK,2BAA2B,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,OAAO,CAAC;AAEnE,KAAK,MAAM,CAAC,CAAC,SAAS,WAAW,GAAG,2BAA2B,IAC7D,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACrB,KAAK,GACL,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACvB,KAAK,GACL,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACvB,KAAK,GACL,IAAI,CAAC;AAEf,eAAO,MAAM,MAAM,GAAI,eAAe,MAAM,KAAG,IAAI,CAAC,KAAK,CAIrD,CAAC;AAEL,eAAO,MAAM,MAAM,GAAI,eAAe,MAAM,KAAG,IAAI,CAAC,KAAK,CAIrD,CAAC;AAEL,eAAO,MAAM,MAAM,GAAI,eAAe,MAAM,KAAG,IAAI,CAAC,KAAK,CAIrD,CAAC;AAEL,KAAK,mBAAmB,CAAC,CAAC,SAAS,WAAW,GAAG,2BAA2B,IAC1E,OAAO,CACL,QAAQ,CAAC;IACP;;OAEG;IACH,OAAO,EAAE,CAAC,CAAC;IAEX,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC,CACH,CAAC"}

package/dist/predefined/brand/string/uuid.mjs

@@ -13,11 +13,11 @@ const uuid = (options) => {
     // eslint-disable-next-line total-functions/no-unsafe-type-assertion
     return brand({
         // eslint-disable-next-line total-functions/no-unsafe-type-assertion
-        baseType: string(defaultValue),
+        baseType: string(defaultValue, { nonempty: true }),
         is: (s) => uuidDef[version](s),
         // eslint-disable-next-line total-functions/no-unsafe-type-assertion
         defaultValue: defaultValue,
-        brandKeys: ['Uuid', 'NonEmptyString'],
+        brandKeys: ['Uuid'],
         typeName: options?.typeName ??
             (version === 4
                 ? 'UuidV4'

package/dist/predefined/brand/string/uuid.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"uuid.mjs","sources":["../../../../src/predefined/brand/string/uuid.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;AA2BA;;AAEG;AACI,MAAM,IAAI,GAAG,CAClB,OAAgC,KACb;AAGnB,IAAA,MAAM,YAAY,GAAG,OAAO,EAAE,YAAY,IAAI,OAAO;AAErD,IAAA,MAAM,OAAO,GAAG,OAAO,EAAE,OAAO,IAAI,KAAK;;AAGzC,IAAA,OAAO,KAAK,CAAsD;;AAEhE,QAAA,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAyB;AACtD,QAAA,EAAE,EAAE,CAAC,CAAC,KAAa,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;;AAEtC,QAAA,YAAY,EAAE,YAA8B;AAC5C,QAAA,SAAS,EAAE,CAAC,MAAM,EAAE,gBAAgB,CAAC;QACrC,QAAQ,EACN,OAAO,EAAE,QAAQ;aAChB,OAAO,KAAK;AACX,kBAAE;kBACA,OAAO,KAAK;AACZ,sBAAE;sBACA,OAAO,KAAK;AACZ,0BAAE;0BACA,MAAM,CAAC;AAClB,KAAA,CAAsC;AACzC;AAaO,MAAM,MAAM,GAAG,CAAC,YAAqB,KAC1C,IAAI,CAAC;IACH,YAAY,EAAE,YAAY,IAAI,sCAAsC;AACpE,IAAA,OAAO,EAAE,CAAC;AACX,CAAA;AAEI,MAAM,MAAM,GAAG,CAAC,YAAqB,KAC1C,IAAI,CAAC;IACH,YAAY,EAAE,YAAY,IAAI,sCAAsC;AACpE,IAAA,OAAO,EAAE,CAAC;AACX,CAAA;AAEI,MAAM,MAAM,GAAG,CAAC,YAAqB,KAC1C,IAAI,CAAC;IACH,YAAY,EAAE,YAAY,IAAI,sCAAsC;AACpE,IAAA,OAAO,EAAE,CAAC;AACX,CAAA;AAeH,MAAM,OAAO,GAAG,sCAA+D;AAE/E,MAAM,OAAO,GAAG,sCAA+D;AAE/E,MAAM,QAAQ,GAAG;AACf,IAAA,CAAC,EAAE,mEAAmE;AACtE,IAAA,CAAC,EAAE,mEAAmE;AACtE,IAAA,CAAC,EAAE,mEAAmE;AACtE,IAAA,CAAC,EAAE,mEAAmE;AACtE,IAAA,CAAC,EAAE,mEAAmE;AACtE,IAAA,CAAC,EAAE,mEAAmE;AACtE,IAAA,CAAC,EAAE,mEAAmE;AACtE,IAAA,CAAC,EAAE,mEAAmE;AACtE,IAAA,KAAK,EAAE,4DAA4D;AACnE,IAAA,KAAK,EACH,4EAA4E;CACtE;AAEV,MAAM,OAAO,GAGT;AACF,IAAA,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7B,IAAA,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7B,IAAA,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7B,IAAA,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7B,IAAA,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7B,IAAA,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7B,IAAA,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7B,IAAA,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7B,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,OAAO;IACzB,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,OAAO;AACzB,IAAA,KAAK,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACpC,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,OAAO,IAAI,CAAC,KAAK,OAAO,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;CAC7D;;;;"}
+{"version":3,"file":"uuid.mjs","sources":["../../../../src/predefined/brand/string/uuid.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;AA6BA;;AAEG;AACI,MAAM,IAAI,GAAG,CAClB,OAAgC,KACb;AAGnB,IAAA,MAAM,YAAY,GAAG,OAAO,EAAE,YAAY,IAAI,OAAO;AAErD,IAAA,MAAM,OAAO,GAAG,OAAO,EAAE,OAAO,IAAI,KAAK;;AAGzC,IAAA,OAAO,KAAK,CAAqD;;QAE/D,QAAQ,EAAE,MAAM,CAAC,YAAY,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAEhD;AACD,QAAA,EAAE,EAAE,CAAC,CAAC,KAAa,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;;AAEtC,QAAA,YAAY,EAAE,YAA+C;QAC7D,SAAS,EAAE,CAAC,MAAM,CAAC;QACnB,QAAQ,EACN,OAAO,EAAE,QAAQ;aAChB,OAAO,KAAK;AACX,kBAAE;kBACA,OAAO,KAAK;AACZ,sBAAE;sBACA,OAAO,KAAK;AACZ,0BAAE;0BACA,MAAM,CAAC;AAClB,KAAA,CAAsC;AACzC;AAaO,MAAM,MAAM,GAAG,CAAC,YAAqB,KAC1C,IAAI,CAAC;IACH,YAAY,EAAE,YAAY,IAAI,sCAAsC;AACpE,IAAA,OAAO,EAAE,CAAC;AACX,CAAA;AAEI,MAAM,MAAM,GAAG,CAAC,YAAqB,KAC1C,IAAI,CAAC;IACH,YAAY,EAAE,YAAY,IAAI,sCAAsC;AACpE,IAAA,OAAO,EAAE,CAAC;AACX,CAAA;AAEI,MAAM,MAAM,GAAG,CAAC,YAAqB,KAC1C,IAAI,CAAC;IACH,YAAY,EAAE,YAAY,IAAI,sCAAsC;AACpE,IAAA,OAAO,EAAE,CAAC;AACX,CAAA;AAeH,MAAM,OAAO,GAAG,sCAA+D;AAE/E,MAAM,OAAO,GAAG,sCAA+D;AAE/E,MAAM,QAAQ,GAAG;AACf,IAAA,CAAC,EAAE,mEAAmE;AACtE,IAAA,CAAC,EAAE,mEAAmE;AACtE,IAAA,CAAC,EAAE,mEAAmE;AACtE,IAAA,CAAC,EAAE,mEAAmE;AACtE,IAAA,CAAC,EAAE,mEAAmE;AACtE,IAAA,CAAC,EAAE,mEAAmE;AACtE,IAAA,CAAC,EAAE,mEAAmE;AACtE,IAAA,CAAC,EAAE,mEAAmE;AACtE,IAAA,KAAK,EAAE,4DAA4D;AACnE,IAAA,KAAK,EACH,4EAA4E;CACtE;AAEV,MAAM,OAAO,GAGT;AACF,IAAA,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7B,IAAA,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7B,IAAA,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7B,IAAA,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7B,IAAA,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7B,IAAA,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7B,IAAA,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7B,IAAA,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7B,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,OAAO;IACzB,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,OAAO;AACzB,IAAA,KAAK,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACpC,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,OAAO,IAAI,CAAC,KAAK,OAAO,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;CAC7D;;;;"}

package/dist/primitives/string.d.mts

@@ -1,8 +1,8 @@
-import { type NonEmptyString } from 'ts-type-forge';
+import { type MaxLengthString, type MinLengthString, type NonEmptyString, type SmallInt } from 'ts-type-forge';
 import { type Type } from '../type.mjs';
 export declare function string(defaultValue?: string): Type<string>;
-export declare function string<S extends string, const C extends Constraints>(defaultValue: S & DefaultValueType<S, C>, constraints: C): Type<ConstraintsResultType<C>>;
-type Constraints = Partial<Readonly<{
+export declare function string<S extends string, const C extends RawConstraints>(defaultValue: S & DefaultValueType<S, C>, constraints: C): Type<ConstraintsResultType<C>>;
+type RawConstraints = Partial<Readonly<{
     nonempty: true;
     minLength: number;
     maxLength: number;
@@ -16,49 +16,64 @@ type Constraints = Partial<Readonly<{
 /**
  * The set of constraints accepted by {@link string}.
  */
-export type StringTypeConstraints = Constraints;
+export type StringTypeConstraints = RawConstraints;
 /**
  * The result type produced by {@link string} for a given set of constraints
- * `C` (e.g. `nonempty` yields {@link NonEmptyString}, `startsWith` narrows to a
- * template literal type, etc.).
+ * `C` (e.g. `nonempty` yields {@link NonEmptyString}, `minLength` /
+ * `maxLength` yield {@link MinLengthString} / {@link MaxLengthString},
+ * `startsWith` narrows to a template literal type, etc.).
  */
 export type StringConstraintsResultType<C extends StringTypeConstraints> = ConstraintsResultType<C>;
-type DefaultValueType<S extends string, C extends Constraints> = DefaultValueWhenNonemptyIsOn<S, C> & DefaultValueWhenMinLengthIsOn<S, C> & DefaultValueWhenMaxLengthIsOn<S, C> & DefaultValueWhenStartsWithIsOn<C> & DefaultValueWhenEndsWithIsOn<C> & DefaultValueWhenIncludesIsOn<C> & DefaultValueWhenUppercaseIsOn<S, C> & DefaultValueWhenLowercaseIsOn<S, C>;
-type ConstraintsResultType<C extends Constraints> = ConstraintsResultTypeWhenNonemptyIsOn<C> & DefaultValueWhenStartsWithIsOn<C> & DefaultValueWhenEndsWithIsOn<C> & DefaultValueWhenIncludesIsOn<C>;
-type DefaultValueWhenStartsWithIsOn<C extends Constraints> = C extends Readonly<{
+type DefaultValueType<S extends string, C extends RawConstraints> = DefaultValueWhenNonemptyIsOn<S, C> & DefaultValueWhenMinLengthIsOn<S, C> & DefaultValueWhenMaxLengthIsOn<S, C> & DefaultValueWhenStartsWithIsOn<C> & DefaultValueWhenEndsWithIsOn<C> & DefaultValueWhenIncludesIsOn<C> & DefaultValueWhenUppercaseIsOn<S, C> & DefaultValueWhenLowercaseIsOn<S, C>;
+type ConstraintsResultType<C extends RawConstraints> = ConstraintsResultTypeWhenNonemptyIsOn<C> & ConstraintsResultTypeWhenMinLengthIsOn<C> & ConstraintsResultTypeWhenMaxLengthIsOn<C> & DefaultValueWhenStartsWithIsOn<C> & DefaultValueWhenEndsWithIsOn<C> & DefaultValueWhenIncludesIsOn<C>;
+type DefaultValueWhenStartsWithIsOn<C extends RawConstraints> = C extends Readonly<{
     startsWith: infer S extends string;
 }> ? `${S}${string}` : string;
-type DefaultValueWhenEndsWithIsOn<C extends Constraints> = C extends Readonly<{
+type DefaultValueWhenEndsWithIsOn<C extends RawConstraints> = C extends Readonly<{
     endsWith: infer E extends string;
 }> ? `${string}${E}` : string;
-type DefaultValueWhenIncludesIsOn<C extends Constraints> = C extends Readonly<{
+type DefaultValueWhenIncludesIsOn<C extends RawConstraints> = C extends Readonly<{
     includes: infer M extends string;
 }> ? `${string}${M}${string}` : string;
-type DefaultValueWhenUppercaseIsOn<S extends string, C extends Constraints> = C extends Readonly<{
+type DefaultValueWhenUppercaseIsOn<S extends string, C extends RawConstraints> = C extends Readonly<{
     uppercase: true;
 }> ? CastUppercase<S> : string;
-type DefaultValueWhenLowercaseIsOn<S extends string, C extends Constraints> = C extends Readonly<{
+type DefaultValueWhenLowercaseIsOn<S extends string, C extends RawConstraints> = C extends Readonly<{
     lowercase: true;
 }> ? CastLowercase<S> : string;
 type CastLowercase<S extends string> = S extends Lowercase<S> ? S : never;
 type CastUppercase<S extends string> = S extends Uppercase<S> ? S : never;
-type DefaultValueWhenNonemptyIsOn<S extends string, C extends Constraints> = C extends Readonly<{
+type DefaultValueWhenNonemptyIsOn<S extends string, C extends RawConstraints> = C extends Readonly<{
     nonempty: true;
 }> ? RejectEmptyString<S> : string;
 type RejectEmptyString<S extends string> = S extends '' ? never : S;
-type ConstraintsResultTypeWhenNonemptyIsOn<C extends Constraints> = C extends Readonly<{
+type ConstraintsResultTypeWhenNonemptyIsOn<C extends RawConstraints> = C extends Readonly<{
     nonempty: true;
 }> ? NonEmptyString : string;
-type DefaultValueWhenMinLengthIsOn<S extends string, C extends Constraints> = C extends Readonly<{
+/**
+ * The length-bound literals supported at the type level: `SmallInt<'>0'>`
+ * (i.e. `1 | 2 | ... | 39`). Only bounds within this range are encoded in
+ * the result brand; larger literals and non-literal `number`s collapse to
+ * plain `string` to keep the type-level computation cheap (the runtime
+ * constraint applies regardless). Non-integer bounds and bounds less than 1
+ * throw a `TypeError` when the type is constructed.
+ */
+type SupportedLengthLiteral = SmallInt<'>0'>;
+type ConstraintsResultTypeWhenMinLengthIsOn<C extends RawConstraints> = C extends Readonly<{
+    minLength: infer M extends number;
+}> ? [M] extends [SupportedLengthLiteral] ? MinLengthString<M> : string : string;
+type ConstraintsResultTypeWhenMaxLengthIsOn<C extends RawConstraints> = C extends Readonly<{
+    maxLength: infer M extends number;
+}> ? [M] extends [SupportedLengthLiteral] ? MaxLengthString<M> : string : string;
+type DefaultValueWhenMinLengthIsOn<S extends string, C extends RawConstraints> = C extends Readonly<{
     minLength: infer M extends number;
-}> ? StringWithMinLength<S, M> : string;
-type DefaultValueWhenMaxLengthIsOn<S extends string, C extends Constraints> = C extends Readonly<{
+}> ? [M] extends [SupportedLengthLiteral] ? StringWithMinLength<S, M> : string : string;
+type DefaultValueWhenMaxLengthIsOn<S extends string, C extends RawConstraints> = C extends Readonly<{
     maxLength: infer M extends number;
-}> ? StringWithMaxLength<S, M> : string;
+}> ? [M] extends [SupportedLengthLiteral] ? StringWithMaxLength<S, M> : string : string;
 type StringWithMinLength<S extends string, N extends number> = HasLengthAtLeast<S, N> extends true ? S : never;
 type StringWithMaxLength<S extends string, N extends number> = HasLengthAtMost<S, N> extends true ? S : never;
-type HasLengthAtLeast<S extends string, N extends number, Acc extends readonly unknown[] = readonly []> = string extends S ? true : IsNegative<N> extends true ? true : Acc['length'] extends N ? true : S extends '' ? false : S extends `${infer _}${infer Rest}` ? HasLengthAtLeast<Rest, N, readonly [...Acc, unknown]> : false;
-type HasLengthAtMost<S extends string, N extends number, Acc extends readonly unknown[] = readonly []> = string extends S ? true : IsNegative<N> extends true ? false : S extends '' ? true : Acc['length'] extends N ? false : S extends `${infer _}${infer Rest}` ? HasLengthAtMost<Rest, N, readonly [...Acc, unknown]> : false;
-type IsNegative<N extends number> = `${N}` extends `-${string}` ? true : false;
+type HasLengthAtLeast<S extends string, N extends number, Acc extends readonly unknown[] = readonly []> = string extends S ? true : Acc['length'] extends N ? true : S extends '' ? false : S extends `${infer _}${infer Rest}` ? HasLengthAtLeast<Rest, N, readonly [...Acc, unknown]> : false;
+type HasLengthAtMost<S extends string, N extends number, Acc extends readonly unknown[] = readonly []> = string extends S ? true : S extends '' ? true : Acc['length'] extends N ? false : S extends `${infer _}${infer Rest}` ? HasLengthAtMost<Rest, N, readonly [...Acc, unknown]> : false;
 export {};
 //# sourceMappingURL=string.d.mts.map

package/dist/primitives/string.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"string.d.mts","sourceRoot":"","sources":["../../src/primitives/string.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAEpD,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAGxC,wBAAgB,MAAM,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;AAE5D,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,CAAC,CAAC,SAAS,WAAW,EAClE,YAAY,EAAE,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,EACxC,WAAW,EAAE,CAAC,GACb,IAAI,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;AAmClC,KAAK,WAAW,GAAG,OAAO,CACxB,QAAQ,CAAC;IACP,QAAQ,EAAE,IAAI,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,IAAI,CAAC;IAChB,SAAS,EAAE,IAAI,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;CACf,CAAC,CACH,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG,WAAW,CAAC;AAEhD;;;;GAIG;AACH,MAAM,MAAM,2BAA2B,CAAC,CAAC,SAAS,qBAAqB,IACrE,qBAAqB,CAAC,CAAC,CAAC,CAAC;AAE3B,KAAK,gBAAgB,CACnB,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,WAAW,IACnB,4BAA4B,CAAC,CAAC,EAAE,CAAC,CAAC,GACpC,6BAA6B,CAAC,CAAC,EAAE,CAAC,CAAC,GACnC,6BAA6B,CAAC,CAAC,EAAE,CAAC,CAAC,GACnC,8BAA8B,CAAC,CAAC,CAAC,GACjC,4BAA4B,CAAC,CAAC,CAAC,GAC/B,4BAA4B,CAAC,CAAC,CAAC,GAC/B,6BAA6B,CAAC,CAAC,EAAE,CAAC,CAAC,GACnC,6BAA6B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAEtC,KAAK,qBAAqB,CAAC,CAAC,SAAS,WAAW,IAC9C,qCAAqC,CAAC,CAAC,CAAC,GACtC,8BAA8B,CAAC,CAAC,CAAC,GACjC,4BAA4B,CAAC,CAAC,CAAC,GAC/B,4BAA4B,CAAC,CAAC,CAAC,CAAC;AAEpC,KAAK,8BAA8B,CAAC,CAAC,SAAS,WAAW,IACvD,CAAC,SAAS,QAAQ,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC;CACpC,CAAC,GACE,GAAG,CAAC,GAAG,MAAM,EAAE,GACf,MAAM,CAAC;AAEb,KAAK,4BAA4B,CAAC,CAAC,SAAS,WAAW,IACrD,CAAC,SAAS,QAAQ,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC;CAClC,CAAC,GACE,GAAG,MAAM,GAAG,CAAC,EAAE,GACf,MAAM,CAAC;AAEb,KAAK,4BAA4B,CAAC,CAAC,SAAS,WAAW,IACrD,CAAC,SAAS,QAAQ,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC;CAClC,CAAC,GACE,GAAG,MAAM,GAAG,CAAC,GAAG,MAAM,EAAE,GACxB,MAAM,CAAC;AAEb,KAAK,6BAA6B,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,WAAW,IACxE,CAAC,SAAS,QAAQ,CAAC;IAAE,SAAS,EAAE,IAAI,CAAA;CAAE,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC;AAEtE,KAAK,6BAA6B,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,WAAW,IACxE,CAAC,SAAS,QAAQ,CAAC;IAAE,SAAS,EAAE,IAAI,CAAA;CAAE,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC;AAEtE,KAAK,aAAa,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE1E,KAAK,aAAa,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE1E,KAAK,4BAA4B,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,WAAW,IACvE,CAAC,SAAS,QAAQ,CAAC;IAAE,QAAQ,EAAE,IAAI,CAAA;CAAE,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC;AAEzE,KAAK,iBAAiB,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,EAAE,GAAG,KAAK,GAAG,CAAC,CAAC;AAEpE,KAAK,qCAAqC,CAAC,CAAC,SAAS,WAAW,IAC9D,CAAC,SAAS,QAAQ,CAAC;IAAE,QAAQ,EAAE,IAAI,CAAA;CAAE,CAAC,GAAG,cAAc,GAAG,MAAM,CAAC;AAEnE,KAAK,6BAA6B,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,WAAW,IACxE,CAAC,SAAS,QAAQ,CAAC;IAAE,SAAS,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;CAAE,CAAC,GACrD,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC,GACzB,MAAM,CAAC;AAEb,KAAK,6BAA6B,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,WAAW,IACxE,CAAC,SAAS,QAAQ,CAAC;IAAE,SAAS,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;CAAE,CAAC,GACrD,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC,GACzB,MAAM,CAAC;AAEb,KAAK,mBAAmB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IACzD,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC;AAElD,KAAK,mBAAmB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IACzD,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC;AAEjD,KAAK,gBAAgB,CACnB,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,MAAM,EAChB,GAAG,SAAS,SAAS,OAAO,EAAE,GAAG,SAAS,EAAE,IAC1C,MAAM,SAAS,CAAC,GAChB,IAAI,GACJ,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GACxB,IAAI,GACJ,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,IAAI,GACJ,CAAC,SAAS,EAAE,GACV,KAAK,GACL,CAAC,SAAS,GAAG,MAAM,CAAC,GAAG,MAAM,IAAI,EAAE,GACjC,gBAAgB,CAAC,IAAI,EAAE,CAAC,EAAE,SAAS,CAAC,GAAG,GAAG,EAAE,OAAO,CAAC,CAAC,GACrD,KAAK,CAAC;AAElB,KAAK,eAAe,CAClB,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,MAAM,EAChB,GAAG,SAAS,SAAS,OAAO,EAAE,GAAG,SAAS,EAAE,IAC1C,MAAM,SAAS,CAAC,GAChB,IAAI,GACJ,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GACxB,KAAK,GACL,CAAC,SAAS,EAAE,GACV,IAAI,GACJ,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,KAAK,GACL,CAAC,SAAS,GAAG,MAAM,CAAC,GAAG,MAAM,IAAI,EAAE,GACjC,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,SAAS,CAAC,GAAG,GAAG,EAAE,OAAO,CAAC,CAAC,GACpD,KAAK,CAAC;AAElB,KAAK,UAAU,CAAC,CAAC,SAAS,MAAM,IAAI,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAAG,IAAI,GAAG,KAAK,CAAC"}
+{"version":3,"file":"string.d.mts","sourceRoot":"","sources":["../../src/primitives/string.mts"],"names":[],"mappings":"AAEA,OAAO,EACL,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,QAAQ,EACd,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAGxC,wBAAgB,MAAM,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;AAE5D,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,CAAC,CAAC,SAAS,cAAc,EACrE,YAAY,EAAE,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,EACxC,WAAW,EAAE,CAAC,GACb,IAAI,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;AA2ClC,KAAK,cAAc,GAAG,OAAO,CAC3B,QAAQ,CAAC;IACP,QAAQ,EAAE,IAAI,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,IAAI,CAAC;IAChB,SAAS,EAAE,IAAI,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;CACf,CAAC,CACH,CAAC;AAgBF;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG,cAAc,CAAC;AAEnD;;;;;GAKG;AACH,MAAM,MAAM,2BAA2B,CAAC,CAAC,SAAS,qBAAqB,IACrE,qBAAqB,CAAC,CAAC,CAAC,CAAC;AAE3B,KAAK,gBAAgB,CACnB,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,cAAc,IACtB,4BAA4B,CAAC,CAAC,EAAE,CAAC,CAAC,GACpC,6BAA6B,CAAC,CAAC,EAAE,CAAC,CAAC,GACnC,6BAA6B,CAAC,CAAC,EAAE,CAAC,CAAC,GACnC,8BAA8B,CAAC,CAAC,CAAC,GACjC,4BAA4B,CAAC,CAAC,CAAC,GAC/B,4BAA4B,CAAC,CAAC,CAAC,GAC/B,6BAA6B,CAAC,CAAC,EAAE,CAAC,CAAC,GACnC,6BAA6B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAEtC,KAAK,qBAAqB,CAAC,CAAC,SAAS,cAAc,IACjD,qCAAqC,CAAC,CAAC,CAAC,GACtC,sCAAsC,CAAC,CAAC,CAAC,GACzC,sCAAsC,CAAC,CAAC,CAAC,GACzC,8BAA8B,CAAC,CAAC,CAAC,GACjC,4BAA4B,CAAC,CAAC,CAAC,GAC/B,4BAA4B,CAAC,CAAC,CAAC,CAAC;AAEpC,KAAK,8BAA8B,CAAC,CAAC,SAAS,cAAc,IAC1D,CAAC,SAAS,QAAQ,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC;CACpC,CAAC,GACE,GAAG,CAAC,GAAG,MAAM,EAAE,GACf,MAAM,CAAC;AAEb,KAAK,4BAA4B,CAAC,CAAC,SAAS,cAAc,IACxD,CAAC,SAAS,QAAQ,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC;CAClC,CAAC,GACE,GAAG,MAAM,GAAG,CAAC,EAAE,GACf,MAAM,CAAC;AAEb,KAAK,4BAA4B,CAAC,CAAC,SAAS,cAAc,IACxD,CAAC,SAAS,QAAQ,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC;CAClC,CAAC,GACE,GAAG,MAAM,GAAG,CAAC,GAAG,MAAM,EAAE,GACxB,MAAM,CAAC;AAEb,KAAK,6BAA6B,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,cAAc,IAC3E,CAAC,SAAS,QAAQ,CAAC;IAAE,SAAS,EAAE,IAAI,CAAA;CAAE,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC;AAEtE,KAAK,6BAA6B,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,cAAc,IAC3E,CAAC,SAAS,QAAQ,CAAC;IAAE,SAAS,EAAE,IAAI,CAAA;CAAE,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC;AAEtE,KAAK,aAAa,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE1E,KAAK,aAAa,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE1E,KAAK,4BAA4B,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,cAAc,IAC1E,CAAC,SAAS,QAAQ,CAAC;IAAE,QAAQ,EAAE,IAAI,CAAA;CAAE,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC;AAEzE,KAAK,iBAAiB,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,EAAE,GAAG,KAAK,GAAG,CAAC,CAAC;AAEpE,KAAK,qCAAqC,CAAC,CAAC,SAAS,cAAc,IACjE,CAAC,SAAS,QAAQ,CAAC;IAAE,QAAQ,EAAE,IAAI,CAAA;CAAE,CAAC,GAAG,cAAc,GAAG,MAAM,CAAC;AAEnE;;;;;;;GAOG;AACH,KAAK,sBAAsB,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;AAE7C,KAAK,sCAAsC,CAAC,CAAC,SAAS,cAAc,IAClE,CAAC,SAAS,QAAQ,CAAC;IAAE,SAAS,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;CAAE,CAAC,GACrD,CAAC,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,GAClC,eAAe,CAAC,CAAC,CAAC,GAClB,MAAM,GACR,MAAM,CAAC;AAEb,KAAK,sCAAsC,CAAC,CAAC,SAAS,cAAc,IAClE,CAAC,SAAS,QAAQ,CAAC;IAAE,SAAS,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;CAAE,CAAC,GACrD,CAAC,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,GAClC,eAAe,CAAC,CAAC,CAAC,GAClB,MAAM,GACR,MAAM,CAAC;AAEb,KAAK,6BAA6B,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,cAAc,IAC3E,CAAC,SAAS,QAAQ,CAAC;IAAE,SAAS,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;CAAE,CAAC,GACrD,CAAC,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,GAClC,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC,GACzB,MAAM,GACR,MAAM,CAAC;AAEb,KAAK,6BAA6B,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,cAAc,IAC3E,CAAC,SAAS,QAAQ,CAAC;IAAE,SAAS,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;CAAE,CAAC,GACrD,CAAC,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,GAClC,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC,GACzB,MAAM,GACR,MAAM,CAAC;AAEb,KAAK,mBAAmB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IACzD,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC;AAElD,KAAK,mBAAmB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IACzD,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC;AAEjD,KAAK,gBAAgB,CACnB,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,MAAM,EAChB,GAAG,SAAS,SAAS,OAAO,EAAE,GAAG,SAAS,EAAE,IAC1C,MAAM,SAAS,CAAC,GAChB,IAAI,GACJ,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,IAAI,GACJ,CAAC,SAAS,EAAE,GACV,KAAK,GACL,CAAC,SAAS,GAAG,MAAM,CAAC,GAAG,MAAM,IAAI,EAAE,GACjC,gBAAgB,CAAC,IAAI,EAAE,CAAC,EAAE,SAAS,CAAC,GAAG,GAAG,EAAE,OAAO,CAAC,CAAC,GACrD,KAAK,CAAC;AAEhB,KAAK,eAAe,CAClB,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,MAAM,EAChB,GAAG,SAAS,SAAS,OAAO,EAAE,GAAG,SAAS,EAAE,IAC1C,MAAM,SAAS,CAAC,GAChB,IAAI,GACJ,CAAC,SAAS,EAAE,GACV,IAAI,GACJ,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,KAAK,GACL,CAAC,SAAS,GAAG,MAAM,CAAC,GAAG,MAAM,IAAI,EAAE,GACjC,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,SAAS,CAAC,GAAG,GAAG,EAAE,OAAO,CAAC,CAAC,GACpD,KAAK,CAAC"}

package/dist/primitives/string.mjs

@@ -1,5 +1,5 @@
 import { isRegExp } from '@sindresorhus/is';
-import { isString, Arr, Result } from 'ts-data-forge';
+import { isString, Arr, Result, PositiveInt } from 'ts-data-forge';
 import { createPrimitiveType } from '../utils/create-primitive-type.mjs';
 import { refine } from '../other-types/refine.mjs';
 import '../other-types/unknown.mjs';
@@ -14,7 +14,11 @@ function string(defaultValue = '', constraints) {
         Arr.isArrayOfLength(Object.keys(constraints), 0)) {
         return baseType;
     }
-    const constraintsPredicate = createConstraintsPredicate(constraints);
+    const constraintsResult = validateConstraints(constraints);
+    if (Result.isErr(constraintsResult)) {
+        throw new TypeError(constraintsResult.value);
+    }
+    const constraintsPredicate = createConstraintsPredicate(constraintsResult.value);
     const defaultValueConstraintsCheck = constraintsPredicate(defaultValue);
     if (Result.isErr(defaultValueConstraintsCheck)) {
         throw new Error(defaultValueConstraintsCheck.value);
@@ -26,6 +30,24 @@ function string(defaultValue = '', constraints) {
         typeName: 'string',
     });
 }
+const validateConstraints = (constraints) => {
+    const result1 = validateLengthConstraint('minLength', constraints.minLength);
+    if (Result.isErr(result1)) {
+        return Result.err(result1.value);
+    }
+    const result2 = validateLengthConstraint('maxLength', constraints.maxLength);
+    if (Result.isErr(result2)) {
+        return Result.err(result2.value);
+    }
+    // eslint-disable-next-line total-functions/no-unsafe-type-assertion
+    return Result.ok(constraints);
+};
+const validateLengthConstraint = (constraintName, constraintValue) => {
+    if (constraintValue !== undefined && !PositiveInt.is(constraintValue)) {
+        return Result.err(`${constraintName} constraint for string must be a positive integer, but ${constraintValue} was passed.`);
+    }
+    return Result.ok(true);
+};
 const createConstraintsPredicate = (constraints) => (value) => {
     const { nonempty, minLength, maxLength, startsWith, endsWith, includes, uppercase, lowercase, regex, ..._rest } = constraints;
     if (nonempty === true && value.length === 0) {

package/dist/primitives/string.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"string.mjs","sources":["../../src/primitives/string.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;SAcgB,MAAM,CACpB,YAAA,GAAuB,EAAE,EACzB,WAAe,EAAA;IAEf,MAAM,QAAQ,GAAG,mBAAmB,CAAC;AACnC,QAAA,QAAQ,EAAE,QAAQ;QAClB,YAAY;AACZ,QAAA,EAAE,EAAE,QAAQ;AACb,KAAA,CAAC;IAEF,IACE,WAAW,KAAK,SAAS;AACzB,QAAA,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,EAChD;AACA,QAAA,OAAO,QAAQ;;AAGjB,IAAA,MAAM,oBAAoB,GAAG,0BAA0B,CAAC,WAAW,CAAC;AAEpE,IAAA,MAAM,4BAA4B,GAAG,oBAAoB,CAAC,YAAY,CAAC;AAEvE,IAAA,IAAI,MAAM,CAAC,KAAK,CAAC,4BAA4B,CAAC,EAAE;AAC9C,QAAA,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,KAAK,CAAC;;AAGrD,IAAA,OAAO,MAAM,CAAC;QACZ,QAAQ;QACR,YAAY;AACZ,QAAA,EAAE,EAAE,CAAC,KAAK,KAAsB,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC;AACxE,QAAA,QAAQ,EAAE,QAAQ;AACnB,KAAA,CAAC;AACJ;AAwIA,MAAM,0BAA0B,GAC9B,CAAC,WAAwB,KACzB,CAAC,KAAa,KAA0B;IACtC,MAAM,EACJ,QAAQ,EACR,SAAS,EACT,SAAS,EACT,UAAU,EACV,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,SAAS,EACT,KAAK,EACL,GAAG,KAAK,EACT,GAAG,WAAW;IAIf,IAAI,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE;AAC3C,QAAA,OAAO,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;;IAG1D,IAAI,SAAS,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,SAAS,EAAE;AACvD,QAAA,OAAO,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC;;IAGhE,IAAI,SAAS,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,SAAS,EAAE;AACvD,QAAA,OAAO,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC;;AAGhE,IAAA,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE;AAC7D,QAAA,OAAO,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC;;AAGlE,IAAA,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE;AACvD,QAAA,OAAO,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;;AAG9D,IAAA,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE;AACvD,QAAA,OAAO,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;;IAG9D,IAAI,SAAS,KAAK,IAAI,IAAI,KAAK,KAAK,KAAK,CAAC,WAAW,EAAE,EAAE;AACvD,QAAA,OAAO,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;;IAG3D,IAAI,SAAS,KAAK,IAAI,IAAI,KAAK,KAAK,KAAK,CAAC,WAAW,EAAE,EAAE;AACvD,QAAA,OAAO,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;;AAG3D,IAAA,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE;AAC7C,QAAA,OAAO,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;;AAGxD,IAAA,OAAO,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC;AACxB,CAAC;AAEH,MAAM,YAAY,GAAG,CACnB,KAAa,EACb,cAAsB,EACtB,eAAmD,KAEnD,CAAA,cAAA,EAAiB,KAAK,CAAA,6CAAA,EAAgD,cAAc,CAAA,GAAA,EAAM,QAAQ,CAAC,eAAe,CAAC,GAAG,eAAe,CAAC,MAAM,GAAG,eAAe,EAAW;;;;"}
+{"version":3,"file":"string.mjs","sources":["../../src/primitives/string.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;SAmBgB,MAAM,CACpB,YAAA,GAAuB,EAAE,EACzB,WAAe,EAAA;IAEf,MAAM,QAAQ,GAAG,mBAAmB,CAAC;AACnC,QAAA,QAAQ,EAAE,QAAQ;QAClB,YAAY;AACZ,QAAA,EAAE,EAAE,QAAQ;AACb,KAAA,CAAC;IAEF,IACE,WAAW,KAAK,SAAS;AACzB,QAAA,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,EAChD;AACA,QAAA,OAAO,QAAQ;;AAGjB,IAAA,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,WAAW,CAAC;AAE1D,IAAA,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,EAAE;AACnC,QAAA,MAAM,IAAI,SAAS,CAAC,iBAAiB,CAAC,KAAK,CAAC;;IAG9C,MAAM,oBAAoB,GAAG,0BAA0B,CACrD,iBAAiB,CAAC,KAAK,CACxB;AAED,IAAA,MAAM,4BAA4B,GAAG,oBAAoB,CAAC,YAAY,CAAC;AAEvE,IAAA,IAAI,MAAM,CAAC,KAAK,CAAC,4BAA4B,CAAC,EAAE;AAC9C,QAAA,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,KAAK,CAAC;;AAGrD,IAAA,OAAO,MAAM,CAAC;QACZ,QAAQ;QACR,YAAY;AACZ,QAAA,EAAE,EAAE,CAAC,KAAK,KAAsB,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC;AACxE,QAAA,QAAQ,EAAE,QAAQ;AACnB,KAAA,CAAC;AACJ;AA+KA,MAAM,mBAAmB,GAAG,CAC1B,WAA2B,KACI;IAC/B,MAAM,OAAO,GAAG,wBAAwB,CAAC,WAAW,EAAE,WAAW,CAAC,SAAS,CAAC;AAE5E,IAAA,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE;QACzB,OAAO,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC;;IAGlC,MAAM,OAAO,GAAG,wBAAwB,CAAC,WAAW,EAAE,WAAW,CAAC,SAAS,CAAC;AAE5E,IAAA,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE;QACzB,OAAO,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC;;;AAIlC,IAAA,OAAO,MAAM,CAAC,EAAE,CAAC,WAA0B,CAAC;AAC9C,CAAC;AAED,MAAM,wBAAwB,GAAG,CAC/B,cAAyC,EACzC,eAAmC,KACX;AACxB,IAAA,IAAI,eAAe,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE;QACrE,OAAO,MAAM,CAAC,GAAG,CACf,CAAA,EAAG,cAAc,CAAA,uDAAA,EAA0D,eAAe,CAAA,YAAA,CAAc,CACzG;;AAGH,IAAA,OAAO,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC;AACxB,CAAC;AAED,MAAM,0BAA0B,GAC9B,CAAC,WAAwB,KACzB,CAAC,KAAa,KAA0B;IACtC,MAAM,EACJ,QAAQ,EACR,SAAS,EACT,SAAS,EACT,UAAU,EACV,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,SAAS,EACT,KAAK,EACL,GAAG,KAAK,EACT,GAAG,WAAW;IAIf,IAAI,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE;AAC3C,QAAA,OAAO,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;;IAG1D,IAAI,SAAS,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,SAAS,EAAE;AACvD,QAAA,OAAO,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC;;IAGhE,IAAI,SAAS,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,SAAS,EAAE;AACvD,QAAA,OAAO,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC;;AAGhE,IAAA,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE;AAC7D,QAAA,OAAO,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC;;AAGlE,IAAA,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE;AACvD,QAAA,OAAO,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;;AAG9D,IAAA,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE;AACvD,QAAA,OAAO,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;;IAG9D,IAAI,SAAS,KAAK,IAAI,IAAI,KAAK,KAAK,KAAK,CAAC,WAAW,EAAE,EAAE;AACvD,QAAA,OAAO,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;;IAG3D,IAAI,SAAS,KAAK,IAAI,IAAI,KAAK,KAAK,KAAK,CAAC,WAAW,EAAE,EAAE;AACvD,QAAA,OAAO,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;;AAG3D,IAAA,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE;AAC7C,QAAA,OAAO,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;;AAGxD,IAAA,OAAO,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC;AACxB,CAAC;AAEH,MAAM,YAAY,GAAG,CACnB,KAAa,EACb,cAAsB,EACtB,eAAmD,KAEnD,CAAA,cAAA,EAAiB,KAAK,CAAA,6CAAA,EAAgD,cAAc,CAAA,GAAA,EAAM,QAAQ,CAAC,eAAe,CAAC,GAAG,eAAe,CAAC,MAAM,GAAG,eAAe,EAAW;;;;"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ts-fortress",
-  "version": "8.5.2",
+  "version": "9.0.0",
   "private": false,
   "keywords": [
     "typescript"
@@ -76,8 +76,8 @@
   },
   "dependencies": {
     "@sindresorhus/is": "^8.1.0",
-    "ts-data-forge": "^7.1.1",
-    "ts-type-forge": "^4.0.0"
+    "ts-data-forge": "^9.0.0",
+    "ts-type-forge": "^5.0.0"
   },
   "devDependencies": {
     "@rollup/plugin-replace": "6.0.3",

package/src/predefined/brand/string/email.mts

@@ -1,10 +1,11 @@
-import { type Brand } from 'ts-type-forge';
+import { type Brand, type NonEmptyString } from 'ts-type-forge';
 import { brand } from '../../../brand/index.mjs';
 import { string } from '../../../primitives/index.mjs';
 import { type Type } from '../../../type.mjs';
 
-// A valid e-mail address is always non-empty, so it also satisfies `NonEmptyString`.
-export type Email = Brand<string, 'Email' | 'NonEmptyString'>;
+// A valid e-mail address is always non-empty, so `Email` is branded on top of
+// `NonEmptyString` and is assignable to it.
+export type Email = Brand<NonEmptyString, 'Email'>;
 
 /**
  * @link https://html.spec.whatwg.org/multipage/input.html#valid-e-mail-address
@@ -16,11 +17,12 @@ export const email = (
     }>
   >,
 ): Type<Email> =>
-  brand({
-    baseType: string(options?.defaultValue ?? defaultEmail),
+  brand<NonEmptyString, readonly ['Email']>({
+    baseType: string(options?.defaultValue ?? defaultEmail, {
+      nonempty: true,
+    }),
     is: (s): s is Email => regexpEmailAddress.test(s),
-    defaultValue: options?.defaultValue ?? defaultEmail,
-    brandKeys: ['Email', 'NonEmptyString'],
+    brandKeys: ['Email'],
     typeName: 'Email',
   });
 

package/src/predefined/brand/string/iso-8601.mts

@@ -1,12 +1,16 @@
-import { type Brand, type StrictOmit } from 'ts-type-forge';
+import {
+  type Brand,
+  type NonEmptyString,
+  type StrictOmit,
+} from 'ts-type-forge';
 import { brand } from '../../../brand/index.mjs';
 import { boolean, string } from '../../../primitives/index.mjs';
 import { record } from '../../../record/index.mjs';
 import { type Type, type TypeOf } from '../../../type.mjs';
 
-// A valid ISO 8601 string always begins with a 4-digit year, so it is always
-// non-empty and also satisfies `NonEmptyString`.
-export type Iso8601 = Brand<string, 'Iso8601' | 'NonEmptyString'>;
+// A valid ISO 8601 string always begins with a 4-digit year, so `Iso8601` is
+// branded on top of `NonEmptyString` and is assignable to it.
+export type Iso8601 = Brand<NonEmptyString, 'Iso8601'>;
 
 /**
  * @link https://github.com/validatorjs/validator.js/tree/v13.1.17?tab=readme-ov-file#validators
@@ -18,11 +22,10 @@ export const iso8601 = (options?: ISO8601ValidatorOption): Type<Iso8601> => {
 
   const is = isISO8601(filledOptions);
 
-  return brand({
-    baseType: string(filledOptions.defaultValue),
+  return brand<NonEmptyString, readonly ['Iso8601']>({
+    baseType: string(filledOptions.defaultValue, { nonempty: true }),
     is,
-    defaultValue: filledOptions.defaultValue,
-    brandKeys: ['Iso8601', 'NonEmptyString'],
+    brandKeys: ['Iso8601'],
     typeName: 'Iso8601',
   });
 };

package/src/predefined/brand/string/json-string.mts

@@ -1,12 +1,12 @@
 import { isNonNullObject } from 'ts-data-forge';
-import { type Brand } from 'ts-type-forge';
+import { type Brand, type NonEmptyString } from 'ts-type-forge';
 import { brand } from '../../../brand/index.mjs';
 import { string } from '../../../primitives/index.mjs';
 import { type Type } from '../../../type.mjs';
 
-// A valid JSON string (an object or array literal) is always non-empty, so it
-// also satisfies `NonEmptyString`.
-export type JsonString = Brand<string, 'JsonString' | 'NonEmptyString'>;
+// A valid JSON string (an object or array literal) is always non-empty, so
+// `JsonString` is branded on top of `NonEmptyString` and is assignable to it.
+export type JsonString = Brand<NonEmptyString, 'JsonString'>;
 
 /**
  * @link https://github.com/validatorjs/validator.js/tree/v13.1.17?tab=readme-ov-file#validators
@@ -18,11 +18,12 @@ export const jsonString = (
     }>
   >,
 ): Type<JsonString> =>
-  brand({
-    baseType: string(options?.defaultValue ?? defaultJsonString),
+  brand<NonEmptyString, readonly ['JsonString']>({
+    baseType: string(options?.defaultValue ?? defaultJsonString, {
+      nonempty: true,
+    }),
     is: isJsonString,
-    defaultValue: options?.defaultValue ?? defaultJsonString,
-    brandKeys: ['JsonString', 'NonEmptyString'],
+    brandKeys: ['JsonString'],
     typeName: 'JsonString',
   });
 

package/src/predefined/brand/string/non-empty-string.test.mts

@@ -1,5 +1,5 @@
 import { expectType } from 'ts-data-forge';
-import { type NonEmptyString } from 'ts-type-forge';
+import { type MinLengthString, type NonEmptyString } from 'ts-type-forge';
 import { type TypeOf } from '../../../type.mjs';
 import { type Email } from './email.mjs';
 import { type Iso8601 } from './iso-8601.mjs';
@@ -57,8 +57,9 @@ describe('nonEmptyString with extra constraints', () => {
   test('forwards constraints to string and still enforces non-emptiness', () => {
     const t = nonEmptyString('abcd', { minLength: 3 });
 
-    // Non-refining constraints (e.g. `minLength`) keep a plain `NonEmptyString`.
-    expectType<TypeOf<typeof t>, NonEmptyString>('=');
+    // Length constraints (e.g. `minLength`) refine the result type with the
+    // corresponding length-constrained brand.
+    expectType<TypeOf<typeof t>, NonEmptyString & MinLengthString<3>>('=');
 
     assert.isTrue(t.is('abcd'));
 

package/src/predefined/brand/string/uri.mts

@@ -1,10 +1,11 @@
-import { type Brand } from 'ts-type-forge';
+import { type Brand, type NonEmptyString } from 'ts-type-forge';
 import { brand } from '../../../brand/index.mjs';
 import { string } from '../../../primitives/index.mjs';
 import { type Type } from '../../../type.mjs';
 
-// An absolute URI/URL always has a non-empty scheme, so it also satisfies `NonEmptyString`.
-export type Uri = Brand<string, 'Uri' | 'NonEmptyString'>;
+// An absolute URI/URL always has a non-empty scheme, so `Uri` is branded on
+// top of `NonEmptyString` and is assignable to it.
+export type Uri = Brand<NonEmptyString, 'Uri'>;
 
 /**
  * @link https://url.spec.whatwg.org/
@@ -16,11 +17,10 @@ export const uri = (
     }>
   >,
 ): Type<Uri> =>
-  brand({
-    baseType: string(options?.defaultValue ?? defaultUri),
+  brand<NonEmptyString, readonly ['Uri']>({
+    baseType: string(options?.defaultValue ?? defaultUri, { nonempty: true }),
     is: isUri,
-    defaultValue: options?.defaultValue ?? defaultUri,
-    brandKeys: ['Uri', 'NonEmptyString'],
+    brandKeys: ['Uri'],
     typeName: 'Uri',
   });
 

package/src/predefined/brand/string/uuid.mts

@@ -1,5 +1,6 @@
 import {
   type Brand,
+  type NonEmptyString,
   type ReadonlyRecord,
   type TypeEq,
   type UintRangeInclusive,
@@ -16,14 +17,15 @@ export type UuidBaseString<V extends UuidVersion = UuidVersion> =
   | 'ffffffff-ffff-ffff-ffff-ffffffffffff';
 
 // A UUID always has the dash-separated hexadecimal form, so it is never an
-// empty string and also satisfies `NonEmptyString`.
-export type Uuid = Brand<UuidBaseString, 'Uuid' | 'NonEmptyString'>;
+// empty string; `Uuid` is branded on top of `NonEmptyString` and is
+// assignable to it.
+export type Uuid = Brand<UuidBaseString & NonEmptyString, 'Uuid'>;
 
-export type Uuid4 = Brand<UuidBaseString<4>, 'Uuid' | 'NonEmptyString'>;
+export type Uuid4 = Brand<UuidBaseString<4> & NonEmptyString, 'Uuid'>;
 
-export type Uuid6 = Brand<UuidBaseString<6>, 'Uuid' | 'NonEmptyString'>;
+export type Uuid6 = Brand<UuidBaseString<6> & NonEmptyString, 'Uuid'>;
 
-export type Uuid7 = Brand<UuidBaseString<7>, 'Uuid' | 'NonEmptyString'>;
+export type Uuid7 = Brand<UuidBaseString<7> & NonEmptyString, 'Uuid'>;
 
 /**
  * @link https://github.com/validatorjs/validator.js/tree/v13.1.17?tab=readme-ov-file#validators
@@ -31,20 +33,22 @@ export type Uuid7 = Brand<UuidBaseString<7>, 'Uuid' | 'NonEmptyString'>;
 export const uuid = <V extends UuidVersion | UuidVersionAdditionalOption>(
   options?: UuidValidatorOption<V>,
 ): Type<UuidOf<V>> => {
-  type T = Brand<UuidBaseString, 'Uuid' | 'NonEmptyString'>;
+  type T = Brand<UuidBaseString & NonEmptyString, 'Uuid'>;
 
   const defaultValue = options?.defaultValue ?? nilUuid;
 
   const version = options?.version ?? 'all';
 
   // eslint-disable-next-line total-functions/no-unsafe-type-assertion
-  return brand<UuidBaseString, readonly ['Uuid', 'NonEmptyString']>({
+  return brand<UuidBaseString & NonEmptyString, readonly ['Uuid']>({
     // eslint-disable-next-line total-functions/no-unsafe-type-assertion
-    baseType: string(defaultValue) as Type<UuidBaseString>,
+    baseType: string(defaultValue, { nonempty: true }) as Type<
+      UuidBaseString & NonEmptyString
+    >,
     is: (s): s is T => uuidDef[version](s),
     // eslint-disable-next-line total-functions/no-unsafe-type-assertion
-    defaultValue: defaultValue as UuidBaseString,
-    brandKeys: ['Uuid', 'NonEmptyString'],
+    defaultValue: defaultValue as UuidBaseString & NonEmptyString,
+    brandKeys: ['Uuid'],
     typeName:
       options?.typeName ??
       (version === 4

package/src/primitives/string.mts

@@ -1,18 +1,23 @@
 import { isRegExp } from '@sindresorhus/is';
-import { Arr, expectType, isString, Result } from 'ts-data-forge';
-import { type NonEmptyString } from 'ts-type-forge';
+import { Arr, expectType, isString, PositiveInt, Result } from 'ts-data-forge';
+import {
+  type MaxLengthString,
+  type MinLengthString,
+  type NonEmptyString,
+  type SmallInt,
+} from 'ts-type-forge';
 import { refine } from '../other-types/index.mjs';
 import { type Type } from '../type.mjs';
 import { createPrimitiveType } from '../utils/index.mjs';
 
 export function string(defaultValue?: string): Type<string>;
 
-export function string<S extends string, const C extends Constraints>(
+export function string<S extends string, const C extends RawConstraints>(
   defaultValue: S & DefaultValueType<S, C>,
   constraints: C,
 ): Type<ConstraintsResultType<C>>;
 
-export function string<C extends Constraints>(
+export function string<C extends RawConstraints>(
   defaultValue: string = '',
   constraints?: C,
 ): Type<string> {
@@ -29,7 +34,15 @@ export function string<C extends Constraints>(
     return baseType;
   }
 
-  const constraintsPredicate = createConstraintsPredicate(constraints);
+  const constraintsResult = validateConstraints(constraints);
+
+  if (Result.isErr(constraintsResult)) {
+    throw new TypeError(constraintsResult.value);
+  }
+
+  const constraintsPredicate = createConstraintsPredicate(
+    constraintsResult.value,
+  );
 
   const defaultValueConstraintsCheck = constraintsPredicate(defaultValue);
 
@@ -45,7 +58,7 @@ export function string<C extends Constraints>(
   });
 }
 
-type Constraints = Partial<
+type RawConstraints = Partial<
   Readonly<{
     nonempty: true;
     minLength: number;
@@ -59,22 +72,37 @@ type Constraints = Partial<
   }>
 >;
 
+type Constraints = Partial<
+  Readonly<{
+    nonempty: true;
+    minLength: PositiveInt;
+    maxLength: PositiveInt;
+    startsWith: string;
+    endsWith: string;
+    includes: string;
+    uppercase: true;
+    lowercase: true;
+    regex: RegExp;
+  }>
+>;
+
 /**
  * The set of constraints accepted by {@link string}.
  */
-export type StringTypeConstraints = Constraints;
+export type StringTypeConstraints = RawConstraints;
 
 /**
  * The result type produced by {@link string} for a given set of constraints
- * `C` (e.g. `nonempty` yields {@link NonEmptyString}, `startsWith` narrows to a
- * template literal type, etc.).
+ * `C` (e.g. `nonempty` yields {@link NonEmptyString}, `minLength` /
+ * `maxLength` yield {@link MinLengthString} / {@link MaxLengthString},
+ * `startsWith` narrows to a template literal type, etc.).
  */
 export type StringConstraintsResultType<C extends StringTypeConstraints> =
   ConstraintsResultType<C>;
 
 type DefaultValueType<
   S extends string,
-  C extends Constraints,
+  C extends RawConstraints,
 > = DefaultValueWhenNonemptyIsOn<S, C> &
   DefaultValueWhenMinLengthIsOn<S, C> &
   DefaultValueWhenMaxLengthIsOn<S, C> &
@@ -84,59 +112,89 @@ type DefaultValueType<
   DefaultValueWhenUppercaseIsOn<S, C> &
   DefaultValueWhenLowercaseIsOn<S, C>;
 
-type ConstraintsResultType<C extends Constraints> =
+type ConstraintsResultType<C extends RawConstraints> =
   ConstraintsResultTypeWhenNonemptyIsOn<C> &
+    ConstraintsResultTypeWhenMinLengthIsOn<C> &
+    ConstraintsResultTypeWhenMaxLengthIsOn<C> &
     DefaultValueWhenStartsWithIsOn<C> &
     DefaultValueWhenEndsWithIsOn<C> &
     DefaultValueWhenIncludesIsOn<C>;
 
-type DefaultValueWhenStartsWithIsOn<C extends Constraints> =
+type DefaultValueWhenStartsWithIsOn<C extends RawConstraints> =
   C extends Readonly<{
     startsWith: infer S extends string;
   }>
     ? `${S}${string}`
     : string;
 
-type DefaultValueWhenEndsWithIsOn<C extends Constraints> =
+type DefaultValueWhenEndsWithIsOn<C extends RawConstraints> =
   C extends Readonly<{
     endsWith: infer E extends string;
   }>
     ? `${string}${E}`
     : string;
 
-type DefaultValueWhenIncludesIsOn<C extends Constraints> =
+type DefaultValueWhenIncludesIsOn<C extends RawConstraints> =
   C extends Readonly<{
     includes: infer M extends string;
   }>
     ? `${string}${M}${string}`
     : string;
 
-type DefaultValueWhenUppercaseIsOn<S extends string, C extends Constraints> =
+type DefaultValueWhenUppercaseIsOn<S extends string, C extends RawConstraints> =
   C extends Readonly<{ uppercase: true }> ? CastUppercase<S> : string;
 
-type DefaultValueWhenLowercaseIsOn<S extends string, C extends Constraints> =
+type DefaultValueWhenLowercaseIsOn<S extends string, C extends RawConstraints> =
   C extends Readonly<{ lowercase: true }> ? CastLowercase<S> : string;
 
 type CastLowercase<S extends string> = S extends Lowercase<S> ? S : never;
 
 type CastUppercase<S extends string> = S extends Uppercase<S> ? S : never;
 
-type DefaultValueWhenNonemptyIsOn<S extends string, C extends Constraints> =
+type DefaultValueWhenNonemptyIsOn<S extends string, C extends RawConstraints> =
   C extends Readonly<{ nonempty: true }> ? RejectEmptyString<S> : string;
 
 type RejectEmptyString<S extends string> = S extends '' ? never : S;
 
-type ConstraintsResultTypeWhenNonemptyIsOn<C extends Constraints> =
+type ConstraintsResultTypeWhenNonemptyIsOn<C extends RawConstraints> =
   C extends Readonly<{ nonempty: true }> ? NonEmptyString : string;
 
-type DefaultValueWhenMinLengthIsOn<S extends string, C extends Constraints> =
+/**
+ * The length-bound literals supported at the type level: `SmallInt<'>0'>`
+ * (i.e. `1 | 2 | ... | 39`). Only bounds within this range are encoded in
+ * the result brand; larger literals and non-literal `number`s collapse to
+ * plain `string` to keep the type-level computation cheap (the runtime
+ * constraint applies regardless). Non-integer bounds and bounds less than 1
+ * throw a `TypeError` when the type is constructed.
+ */
+type SupportedLengthLiteral = SmallInt<'>0'>;
+
+type ConstraintsResultTypeWhenMinLengthIsOn<C extends RawConstraints> =
   C extends Readonly<{ minLength: infer M extends number }>
-    ? StringWithMinLength<S, M>
+    ? [M] extends [SupportedLengthLiteral]
+      ? MinLengthString<M>
+      : string // minLength outside the supported literal range is not encoded in the brand
     : string;
 
-type DefaultValueWhenMaxLengthIsOn<S extends string, C extends Constraints> =
+type ConstraintsResultTypeWhenMaxLengthIsOn<C extends RawConstraints> =
   C extends Readonly<{ maxLength: infer M extends number }>
-    ? StringWithMaxLength<S, M>
+    ? [M] extends [SupportedLengthLiteral]
+      ? MaxLengthString<M>
+      : string // maxLength outside the supported literal range is not encoded in the brand
+    : string;
+
+type DefaultValueWhenMinLengthIsOn<S extends string, C extends RawConstraints> =
+  C extends Readonly<{ minLength: infer M extends number }>
+    ? [M] extends [SupportedLengthLiteral]
+      ? StringWithMinLength<S, M>
+      : string // the default's length is only checked at runtime for such bounds
+    : string;
+
+type DefaultValueWhenMaxLengthIsOn<S extends string, C extends RawConstraints> =
+  C extends Readonly<{ maxLength: infer M extends number }>
+    ? [M] extends [SupportedLengthLiteral]
+      ? StringWithMaxLength<S, M>
+      : string // the default's length is only checked at runtime for such bounds
     : string;
 
 type StringWithMinLength<S extends string, N extends number> =
@@ -151,15 +209,13 @@ type HasLengthAtLeast<
   Acc extends readonly unknown[] = readonly [],
 > = string extends S
   ? true
-  : IsNegative<N> extends true
+  : Acc['length'] extends N
     ? true
-    : Acc['length'] extends N
-      ? true
-      : S extends ''
-        ? false
-        : S extends `${infer _}${infer Rest}`
-          ? HasLengthAtLeast<Rest, N, readonly [...Acc, unknown]>
-          : false;
+    : S extends ''
+      ? false
+      : S extends `${infer _}${infer Rest}`
+        ? HasLengthAtLeast<Rest, N, readonly [...Acc, unknown]>
+        : false;
 
 type HasLengthAtMost<
   S extends string,
@@ -167,17 +223,45 @@ type HasLengthAtMost<
   Acc extends readonly unknown[] = readonly [],
 > = string extends S
   ? true
-  : IsNegative<N> extends true
-    ? false
-    : S extends ''
-      ? true
-      : Acc['length'] extends N
-        ? false
-        : S extends `${infer _}${infer Rest}`
-          ? HasLengthAtMost<Rest, N, readonly [...Acc, unknown]>
-          : false;
-
-type IsNegative<N extends number> = `${N}` extends `-${string}` ? true : false;
+  : S extends ''
+    ? true
+    : Acc['length'] extends N
+      ? false
+      : S extends `${infer _}${infer Rest}`
+        ? HasLengthAtMost<Rest, N, readonly [...Acc, unknown]>
+        : false;
+
+const validateConstraints = (
+  constraints: RawConstraints,
+): Result<Constraints, string> => {
+  const result1 = validateLengthConstraint('minLength', constraints.minLength);
+
+  if (Result.isErr(result1)) {
+    return Result.err(result1.value);
+  }
+
+  const result2 = validateLengthConstraint('maxLength', constraints.maxLength);
+
+  if (Result.isErr(result2)) {
+    return Result.err(result2.value);
+  }
+
+  // eslint-disable-next-line total-functions/no-unsafe-type-assertion
+  return Result.ok(constraints as Constraints);
+};
+
+const validateLengthConstraint = (
+  constraintName: 'maxLength' | 'minLength',
+  constraintValue: number | undefined,
+): Result<true, string> => {
+  if (constraintValue !== undefined && !PositiveInt.is(constraintValue)) {
+    return Result.err(
+      `${constraintName} constraint for string must be a positive integer, but ${constraintValue} was passed.`,
+    );
+  }
+
+  return Result.ok(true);
+};
 
 const createConstraintsPredicate =
   (constraints: Constraints) =>

package/src/primitives/string.test.mts

@@ -1,7 +1,12 @@
 /* cSpell:disable */
 
 import { expectType, Result } from 'ts-data-forge';
-import { type NonEmptyString } from 'ts-type-forge';
+import {
+  type BoundedLengthString,
+  type MaxLengthString,
+  type MinLengthString,
+  type NonEmptyString,
+} from 'ts-type-forge';
 import { type Type, type TypeOf } from '../type.mjs';
 import { string } from './string.mjs';
 
@@ -380,7 +385,7 @@ describe('string with constraints', () => {
     test('accepts valid default value', () => {
       const type = string('minimum', { minLength: 3 });
 
-      expectType<typeof type, Type<string>>('=');
+      expectType<typeof type, Type<MinLengthString<3>>>('=');
 
       assert.isTrue(type.is('hello'));
 
@@ -396,14 +401,20 @@ describe('string with constraints', () => {
       );
     });
 
-    test('negative minLength', () => {
-      const type = string('minimum', { minLength: -1 });
-
-      expectType<typeof type, Type<string>>('=');
+    test('throws for a minLength less than 1', () => {
+      expect(() => string('minimum', { minLength: -1 })).toThrow(
+        /^minLength constraint for string must be a positive integer, but -1 was passed\.$/u,
+      );
 
-      assert.isTrue(type.is('hello'));
+      expect(() => string('minimum', { minLength: 0 })).toThrow(
+        /^minLength constraint for string must be a positive integer, but 0 was passed\.$/u,
+      );
+    });
 
-      assert.isTrue(type.is('hi'));
+    test('throws for a non-integer minLength', () => {
+      expect(() => string('minimum', { minLength: 1.5 })).toThrow(
+        /^minLength constraint for string must be a positive integer, but 1\.5 was passed\.$/u,
+      );
     });
   });
 
@@ -411,7 +422,7 @@ describe('string with constraints', () => {
     test('accepts valid default value', () => {
       const type = string('short', { maxLength: 5 });
 
-      expectType<typeof type, Type<string>>('=');
+      expectType<typeof type, Type<MaxLengthString<5>>>('=');
 
       assert.isTrue(type.is('tiny'));
 
@@ -428,6 +439,76 @@ describe('string with constraints', () => {
     });
   });
 
+  describe('minLength/maxLength outside the supported literal range', () => {
+    // Only the number literals `1..39` (`SmallInt<'>0'>`) are encoded in the
+    // result brand. A larger literal or a non-literal `number` collapses the
+    // result type to plain `string` to keep the type-level computation
+    // cheap, while the runtime constraint applies regardless. Non-integer
+    // bounds and bounds less than 1 throw at construction time.
+
+    test('the largest supported literal (39) is encoded in the brand', () => {
+      const type = string('x'.repeat(39), { minLength: 39 });
+
+      expectType<typeof type, Type<MinLengthString<39>>>('=');
+
+      assert.isTrue(type.is('x'.repeat(39)));
+
+      assert.isFalse(type.is('x'.repeat(38)));
+    });
+
+    test('a minLength literal outside the range (>= 40) falls back to plain string', () => {
+      const type = string('x'.repeat(40), { minLength: 40 });
+
+      expectType<typeof type, Type<string>>('=');
+
+      // The runtime constraint still applies.
+      assert.isTrue(type.is('x'.repeat(40)));
+
+      assert.isFalse(type.is('x'.repeat(39)));
+    });
+
+    test('a maxLength literal outside the range (>= 40) falls back to plain string', () => {
+      const type = string('', { maxLength: 100 });
+
+      expectType<typeof type, Type<string>>('=');
+
+      assert.isTrue(type.is('x'.repeat(100)));
+
+      assert.isFalse(type.is('x'.repeat(101)));
+    });
+
+    test('throws for a maxLength less than 1 or a non-integer maxLength', () => {
+      expect(() => string('', { maxLength: 0 })).toThrow(
+        /^maxLength constraint for string must be a positive integer, but 0 was passed\.$/u,
+      );
+
+      expect(() => string('', { maxLength: 2.5 })).toThrow(
+        /^maxLength constraint for string must be a positive integer, but 2\.5 was passed\.$/u,
+      );
+    });
+
+    test('a non-literal bound falls back to plain string', () => {
+      const getBound = (): number => 5;
+
+      const type = string('', { maxLength: getBound() });
+
+      expectType<typeof type, Type<string>>('=');
+
+      assert.isTrue(type.is('12345'));
+
+      assert.isFalse(type.is('123456'));
+    });
+
+    test('the default value is only length-checked at runtime for an out-of-range bound', () => {
+      // With an in-range literal bound, a too-short default is already a
+      // compile error; with an out-of-range bound it compiles and the check
+      // is deferred to runtime.
+      expect(() => string('hi', { minLength: 100 })).toThrow(
+        /^defaultValue "hi" for string does not satisfy the constraint minLength = 100$/u,
+      );
+    });
+  });
+
   describe('string constrained by regex', () => {
     test('accepts valid default value', () => {
       const numeric = /^\d+$/u;
@@ -556,7 +637,10 @@ describe('string with constraints', () => {
           maxLength: 8,
         });
 
-        expectType<typeof type, Type<NonEmptyString>>('=');
+        expectType<
+          typeof type,
+          Type<NonEmptyString & BoundedLengthString<3, 8>>
+        >('=');
 
         assert.isTrue(type.is('value'));
 
@@ -635,7 +719,7 @@ describe('string with constraints', () => {
           regex: digits,
         });
 
-        expectType<typeof type, Type<string>>('=');
+        expectType<typeof type, Type<BoundedLengthString<4, 6>>>('=');
 
         assert.isTrue(type.is('6789'));
 

package/src/record/key-value-record.test.mts

@@ -197,8 +197,7 @@ describe(keyValueRecord, () => {
 
       assert.isFalse(strNumRecord.is('string'));
 
-      // Empty array is actually treated as empty object (valid)
-      assert.isTrue(strNumRecord.is([]));
+      assert.isFalse(strNumRecord.is([]));
     });
 
     test('rejects record with invalid key types', () => {