ts-fortress 2.9.0 → 3.0.0

package/dist/branded/brand.d.mts

@@ -1,7 +1,7 @@
 import { type Type } from '../type.mjs';
 type ArrayToUnion<A extends readonly unknown[]> = A extends readonly [] ? never : A[number];
-export declare const brand: <const A extends Primitive, const BrandTrueKeys extends readonly string[], const BrandFalseKeys extends readonly string[] = []>({ codec, is, defaultValue, typeName, brandKeys, brandFalseKeys, }: Readonly<{
-    codec: Type<A>;
+export declare const brand: <const A extends Primitive, const BrandTrueKeys extends readonly string[], const BrandFalseKeys extends readonly string[] = []>({ baseType, is, defaultValue, typeName, brandKeys, brandFalseKeys, }: Readonly<{
+    baseType: Type<A>;
     is: (a: A) => a is Brand<A, ArrayToUnion<BrandTrueKeys>, ArrayToUnion<BrandFalseKeys>>;
     defaultValue: Brand<A, ArrayToUnion<BrandTrueKeys>, ArrayToUnion<BrandFalseKeys>>;
     typeName?: string;

package/dist/branded/brand.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"brand.d.mts","sourceRoot":"","sources":["../../src/branded/brand.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAGxC,KAAK,YAAY,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,CAAC,SAAS,SAAS,EAAE,GACnE,KAAK,GACL,CAAC,CAAC,MAAM,CAAC,CAAC;AAEd,eAAO,MAAM,KAAK,GAChB,KAAK,CAAC,CAAC,SAAS,SAAS,EACzB,KAAK,CAAC,aAAa,SAAS,SAAS,MAAM,EAAE,EAC7C,KAAK,CAAC,cAAc,SAAS,SAAS,MAAM,EAAE,GAAG,EAAE,EACnD,mEAOC,QAAQ,CAAC;IACV,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACf,EAAE,EAAE,CACF,CAAC,EAAE,CAAC,KACD,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,aAAa,CAAC,EAAE,YAAY,CAAC,cAAc,CAAC,CAAC,CAAC;IAC9E,YAAY,EAAE,KAAK,CACjB,CAAC,EACD,YAAY,CAAC,aAAa,CAAC,EAC3B,YAAY,CAAC,cAAc,CAAC,CAC7B,CAAC;IACF,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,aAAa,CAAC;IACzB,cAAc,CAAC,EAAE,cAAc,CAAC;CACjC,CAAC,KAAG,IAAI,CACP,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,aAAa,CAAC,EAAE,YAAY,CAAC,cAAc,CAAC,CAAC,CAuCpE,CAAC"}
+{"version":3,"file":"brand.d.mts","sourceRoot":"","sources":["../../src/branded/brand.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAGxC,KAAK,YAAY,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,CAAC,SAAS,SAAS,EAAE,GACnE,KAAK,GACL,CAAC,CAAC,MAAM,CAAC,CAAC;AAEd,eAAO,MAAM,KAAK,GAChB,KAAK,CAAC,CAAC,SAAS,SAAS,EACzB,KAAK,CAAC,aAAa,SAAS,SAAS,MAAM,EAAE,EAC7C,KAAK,CAAC,cAAc,SAAS,SAAS,MAAM,EAAE,GAAG,EAAE,EACnD,sEAOC,QAAQ,CAAC;IACV,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,EAAE,EAAE,CACF,CAAC,EAAE,CAAC,KACD,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,aAAa,CAAC,EAAE,YAAY,CAAC,cAAc,CAAC,CAAC,CAAC;IAC9E,YAAY,EAAE,KAAK,CACjB,CAAC,EACD,YAAY,CAAC,aAAa,CAAC,EAC3B,YAAY,CAAC,cAAc,CAAC,CAC7B,CAAC;IACF,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,aAAa,CAAC;IACzB,cAAc,CAAC,EAAE,cAAc,CAAC;CACjC,CAAC,KAAG,IAAI,CACP,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,aAAa,CAAC,EAAE,YAAY,CAAC,cAAc,CAAC,CAAC,CAuCpE,CAAC"}

package/dist/branded/brand.mjs

@@ -1,22 +1,22 @@
 import { pipe, Result } from 'ts-data-forge';
 import { createType } from '../utils/create-type.mjs';
 
-const brand = ({ codec, is, defaultValue, typeName, brandKeys, brandFalseKeys, }) => {
+const brand = ({ baseType, is, defaultValue, typeName, brandKeys, brandFalseKeys, }) => {
     const brandKeysStr = [
         ...brandKeys.map((s) => `"${s}"`),
         ...(brandFalseKeys?.map((s) => `not("${s}")`) ?? []),
     ].join(' & ');
     const typeNameFilled = typeName ?? brandKeysStr;
     const validate = (a) => pipe(a)
-        .map(codec.validate)
-        .map((v) => Result.isErr(v)
-        ? v
-        : is(v.value)
-            ? Result.ok(v.value)
+        .map(baseType.validate)
+        .map((res) => Result.isErr(res)
+        ? res
+        : is(res.value)
+            ? Result.ok(res.value)
             : Result.err([
                 {
                     path: [],
-                    actualValue: v.value,
+                    actualValue: res.value,
                     expectedType: typeNameFilled,
                     typeName: brandKeysStr,
                     message: typeName === undefined

package/dist/branded/brand.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"brand.mjs","sources":["../../src/branded/brand.mts"],"sourcesContent":[null],"names":[],"mappings":";;;AAQO,MAAM,KAAK,GAAG,CAInB,EACA,KAAK,EACL,EAAE,EACF,YAAY,EACZ,QAAQ,EACR,SAAS,EACT,cAAc,GAcd,KAEE;AAGF,IAAA,MAAM,YAAY,GAAG;AACnB,QAAA,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAA,CAAA,EAAI,CAAC,CAAA,CAAA,CAAG,CAAC;AACjC,QAAA,IAAI,cAAc,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAA,EAAA,CAAI,CAAC,IAAI,EAAE,CAAC;AACrD,KAAA,CAAC,IAAI,CAAC,KAAK,CAAC;AAEb,IAAA,MAAM,cAAc,GAAG,QAAQ,IAAI,YAAY;IAE/C,MAAM,QAAQ,GAAwB,CAAC,CAAC,KACtC,IAAI,CAAC,CAAC;AACH,SAAA,GAAG,CAAC,KAAK,CAAC,QAAQ;SAClB,GAAG,CACF,CAAC,CAAC,KACA,MAAM,CAAC,KAAK,CAAC,CAAC;AACZ,UAAE;AACF,UAAE,EAAE,CAAC,CAAC,CAAC,KAAK;cACR,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK;AACnB,cAAE,MAAM,CAAC,GAAG,CAAC;AACT,gBAAA;AACE,oBAAA,IAAI,EAAE,EAAE;oBACR,WAAW,EAAE,CAAC,CAAC,KAAK;AACpB,oBAAA,YAAY,EAAE,cAAc;AAC5B,oBAAA,QAAQ,EAAE,YAAY;oBACtB,OAAO,EACL,QAAQ,KAAK;0BACT,CAAA,wEAAA,EAA2E,YAAY,CAAA,CAAA;AACzF,0BAAE,SAAS;AACU,iBAAA;aAC5B,CAAC,CACX,CAAC,KAAK;AAEX,IAAA,OAAO,UAAU,CAAC;AAChB,QAAA,QAAQ,EAAE,YAAY;QACtB,YAAY;QACZ,QAAQ;AACT,KAAA,CAAC;AACJ;;;;"}
+{"version":3,"file":"brand.mjs","sources":["../../src/branded/brand.mts"],"sourcesContent":[null],"names":[],"mappings":";;;AAQO,MAAM,KAAK,GAAG,CAInB,EACA,QAAQ,EACR,EAAE,EACF,YAAY,EACZ,QAAQ,EACR,SAAS,EACT,cAAc,GAcd,KAEE;AAGF,IAAA,MAAM,YAAY,GAAG;AACnB,QAAA,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAA,CAAA,EAAI,CAAC,CAAA,CAAA,CAAG,CAAC;AACjC,QAAA,IAAI,cAAc,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAA,EAAA,CAAI,CAAC,IAAI,EAAE,CAAC;AACrD,KAAA,CAAC,IAAI,CAAC,KAAK,CAAC;AAEb,IAAA,MAAM,cAAc,GAAG,QAAQ,IAAI,YAAY;IAE/C,MAAM,QAAQ,GAAwB,CAAC,CAAC,KACtC,IAAI,CAAC,CAAC;AACH,SAAA,GAAG,CAAC,QAAQ,CAAC,QAAQ;SACrB,GAAG,CACF,CAAC,GAAG,KACF,MAAM,CAAC,KAAK,CAAC,GAAG;AACd,UAAE;AACF,UAAE,EAAE,CAAC,GAAG,CAAC,KAAK;cACV,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,KAAiB;AACjC,cAAE,MAAM,CAAC,GAAG,CAAC;AACT,gBAAA;AACE,oBAAA,IAAI,EAAE,EAAE;oBACR,WAAW,EAAE,GAAG,CAAC,KAAK;AACtB,oBAAA,YAAY,EAAE,cAAc;AAC5B,oBAAA,QAAQ,EAAE,YAAY;oBACtB,OAAO,EACL,QAAQ,KAAK;0BACT,CAAA,wEAAA,EAA2E,YAAY,CAAA,CAAA;AACzF,0BAAE,SAAS;AACU,iBAAA;aAC5B,CAAC,CACX,CAAC,KAAK;AAEX,IAAA,OAAO,UAAU,CAAC;AAChB,QAAA,QAAQ,EAAE,YAAY;QACtB,YAAY;QACZ,QAAQ;AACT,KAAA,CAAC;AACJ;;;;"}

package/dist/branded/number/finite-number.mjs

@@ -3,7 +3,7 @@ import { number } from '../../primitives/number.mjs';
 import { brand } from '../brand.mjs';
 
 const finiteNumber = (defaultValue = asFiniteNumber(0)) => brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: FiniteNumber.is,
     defaultValue,
     brandKeys: ['Finite'],

package/dist/branded/number/finite-number.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"finite-number.mjs","sources":["../../../src/branded/number/finite-number.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,YAAY,GAAG,CAC1B,YAAA,GAA6B,cAAc,CAAC,CAAC,CAAC,KAE9C,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;IAC3B,EAAE,EAAE,YAAY,CAAC,EAAE;IACnB,YAAY;IACZ,SAAS,EAAE,CAAC,QAAQ,CAAC;IACrB,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,cAAc;AACzB,CAAA;;;;"}
+{"version":3,"file":"finite-number.mjs","sources":["../../../src/branded/number/finite-number.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,YAAY,GAAG,CAC1B,YAAA,GAA6B,cAAc,CAAC,CAAC,CAAC,KAE9C,KAAK,CAAC;AACJ,IAAA,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC;IAC9B,EAAE,EAAE,YAAY,CAAC,EAAE;IACnB,YAAY;IACZ,SAAS,EAAE,CAAC,QAAQ,CAAC;IACrB,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,cAAc;AACzB,CAAA;;;;"}

package/dist/branded/number/int.mjs

@@ -3,7 +3,7 @@ import { number } from '../../primitives/number.mjs';
 import { brand } from '../brand.mjs';
 
 const int = (defaultValue = asInt(0)) => brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: Int.is,
     defaultValue,
     brandKeys: ['Finite', 'Int'],

package/dist/branded/number/int.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"int.mjs","sources":["../../../src/branded/number/int.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,GAAG,GAAG,CAAC,YAAA,GAAoB,KAAK,CAAC,CAAC,CAAC,KAC9C,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;IAC3B,EAAE,EAAE,GAAG,CAAC,EAAE;IACV,YAAY;AACZ,IAAA,SAAS,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC;IAC5B,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,KAAK;AAChB,CAAA;;;;"}
+{"version":3,"file":"int.mjs","sources":["../../../src/branded/number/int.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,GAAG,GAAG,CAAC,YAAA,GAAoB,KAAK,CAAC,CAAC,CAAC,KAC9C,KAAK,CAAC;AACJ,IAAA,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC;IAC9B,EAAE,EAAE,GAAG,CAAC,EAAE;IACV,YAAY;AACZ,IAAA,SAAS,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC;IAC5B,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,KAAK;AAChB,CAAA;;;;"}

package/dist/branded/number/int16.mjs

@@ -3,7 +3,7 @@ import { number } from '../../primitives/number.mjs';
 import { brand } from '../brand.mjs';
 
 const int16 = (defaultValue = asInt16(0)) => brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: isInt16,
     defaultValue,
     brandKeys: [

package/dist/branded/number/int16.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"int16.mjs","sources":["../../../src/branded/number/int16.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,KAAK,GAAG,CAAC,YAAA,GAAsB,OAAO,CAAC,CAAC,CAAC,KACpD,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,OAAO;IACX,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,SAAS;QACT,UAAU;QACV,QAAQ;QACR,QAAQ;QACR,QAAQ;QACR,QAAQ;QACR,SAAS;QACT,UAAU;AACX,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,OAAO;AAClB,CAAA;;;;"}
+{"version":3,"file":"int16.mjs","sources":["../../../src/branded/number/int16.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,KAAK,GAAG,CAAC,YAAA,GAAsB,OAAO,CAAC,CAAC,CAAC,KACpD,KAAK,CAAC;AACJ,IAAA,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC;AAC9B,IAAA,EAAE,EAAE,OAAO;IACX,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,SAAS;QACT,UAAU;QACV,QAAQ;QACR,QAAQ;QACR,QAAQ;QACR,QAAQ;QACR,SAAS;QACT,UAAU;AACX,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,OAAO;AAClB,CAAA;;;;"}

package/dist/branded/number/int32.mjs

@@ -3,7 +3,7 @@ import { number } from '../../primitives/number.mjs';
 import { brand } from '../brand.mjs';
 
 const int32 = (defaultValue = asInt32(0)) => brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: isInt32,
     defaultValue,
     brandKeys: [

package/dist/branded/number/int32.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"int32.mjs","sources":["../../../src/branded/number/int32.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,KAAK,GAAG,CAAC,YAAA,GAAsB,OAAO,CAAC,CAAC,CAAC,KACpD,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,OAAO;IACX,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,SAAS;QACT,UAAU;QACV,QAAQ;QACR,QAAQ;AACT,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,OAAO;AAClB,CAAA;;;;"}
+{"version":3,"file":"int32.mjs","sources":["../../../src/branded/number/int32.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,KAAK,GAAG,CAAC,YAAA,GAAsB,OAAO,CAAC,CAAC,CAAC,KACpD,KAAK,CAAC;AACJ,IAAA,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC;AAC9B,IAAA,EAAE,EAAE,OAAO;IACX,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,SAAS;QACT,UAAU;QACV,QAAQ;QACR,QAAQ;AACT,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,OAAO;AAClB,CAAA;;;;"}

package/dist/branded/number/non-negative-finite-number.mjs

@@ -3,7 +3,7 @@ import { number } from '../../primitives/number.mjs';
 import { brand } from '../brand.mjs';
 
 const nonNegativeFiniteNumber = (defaultValue = asNonNegativeFiniteNumber(0)) => brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: isNonNegativeFiniteNumber,
     defaultValue,
     brandKeys: ['>=0', '> -2^16', '> -2^32', '>= -2^15', '>= -2^31', 'Finite'],

package/dist/branded/number/non-negative-finite-number.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"non-negative-finite-number.mjs","sources":["../../../src/branded/number/non-negative-finite-number.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAQO,MAAM,uBAAuB,GAAG,CACrC,YAAA,GAAwC,yBAAyB,CAAC,CAAC,CAAC,KAEpE,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,yBAAyB;IAC7B,YAAY;AACZ,IAAA,SAAS,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,CAAC;IAC1E,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,yBAAyB;AACpC,CAAA;;;;"}
+{"version":3,"file":"non-negative-finite-number.mjs","sources":["../../../src/branded/number/non-negative-finite-number.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAQO,MAAM,uBAAuB,GAAG,CACrC,YAAA,GAAwC,yBAAyB,CAAC,CAAC,CAAC,KAEpE,KAAK,CAAC;AACJ,IAAA,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC;AAC9B,IAAA,EAAE,EAAE,yBAAyB;IAC7B,YAAY;AACZ,IAAA,SAAS,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,CAAC;IAC1E,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,yBAAyB;AACpC,CAAA;;;;"}

package/dist/branded/number/non-zero-finite-number.mjs

@@ -3,7 +3,7 @@ import { number } from '../../primitives/number.mjs';
 import { brand } from '../brand.mjs';
 
 const nonZeroFiniteNumber = (defaultValue) => brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: isNonZeroFiniteNumber,
     defaultValue,
     brandKeys: ['!=0', 'Finite'],

package/dist/branded/number/non-zero-finite-number.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"non-zero-finite-number.mjs","sources":["../../../src/branded/number/non-zero-finite-number.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,mBAAmB,GAAG,CACjC,YAAiC,KAEjC,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,qBAAqB;IACzB,YAAY;AACZ,IAAA,SAAS,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC;IAC5B,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,qBAAqB;AAChC,CAAA;;;;"}
+{"version":3,"file":"non-zero-finite-number.mjs","sources":["../../../src/branded/number/non-zero-finite-number.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,mBAAmB,GAAG,CACjC,YAAiC,KAEjC,KAAK,CAAC;AACJ,IAAA,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC;AAC9B,IAAA,EAAE,EAAE,qBAAqB;IACzB,YAAY;AACZ,IAAA,SAAS,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC;IAC5B,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,qBAAqB;AAChC,CAAA;;;;"}

package/dist/branded/number/non-zero-int.mjs

@@ -3,7 +3,7 @@ import { number } from '../../primitives/number.mjs';
 import { brand } from '../brand.mjs';
 
 const nonZeroInt = (defaultValue = asNonZeroInt(0)) => brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: isNonZeroInt,
     defaultValue,
     brandKeys: ['Finite', 'Int', '!=0'],

package/dist/branded/number/non-zero-int.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"non-zero-int.mjs","sources":["../../../src/branded/number/non-zero-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,UAAU,GAAG,CACxB,YAAA,GAA2B,YAAY,CAAC,CAAC,CAAC,KAE1C,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,YAAY;IAChB,YAAY;AACZ,IAAA,SAAS,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC;IACnC,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,YAAY;AACvB,CAAA;;;;"}
+{"version":3,"file":"non-zero-int.mjs","sources":["../../../src/branded/number/non-zero-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,UAAU,GAAG,CACxB,YAAA,GAA2B,YAAY,CAAC,CAAC,CAAC,KAE1C,KAAK,CAAC;AACJ,IAAA,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC;AAC9B,IAAA,EAAE,EAAE,YAAY;IAChB,YAAY;AACZ,IAAA,SAAS,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC;IACnC,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,YAAY;AACvB,CAAA;;;;"}

package/dist/branded/number/non-zero-safe-int.mjs

@@ -3,7 +3,7 @@ import { number } from '../../primitives/number.mjs';
 import { brand } from '../brand.mjs';
 
 const nonZeroSafeInt = (defaultValue) => brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: isNonZeroSafeInt,
     defaultValue,
     brandKeys: ['Finite', 'Int', 'SafeInt', '!=0'],

package/dist/branded/number/non-zero-safe-int.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"non-zero-safe-int.mjs","sources":["../../../src/branded/number/non-zero-safe-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,cAAc,GAAG,CAC5B,YAA4B,KAE5B,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,gBAAgB;IACpB,YAAY;IACZ,SAAS,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC;IAC9C,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,gBAAgB;AAC3B,CAAA;;;;"}
+{"version":3,"file":"non-zero-safe-int.mjs","sources":["../../../src/branded/number/non-zero-safe-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,cAAc,GAAG,CAC5B,YAA4B,KAE5B,KAAK,CAAC;AACJ,IAAA,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC;AAC9B,IAAA,EAAE,EAAE,gBAAgB;IACpB,YAAY;IACZ,SAAS,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC;IAC9C,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,gBAAgB;AAC3B,CAAA;;;;"}

package/dist/branded/number/positive-finite-number.mjs

@@ -3,7 +3,7 @@ import { number } from '../../primitives/number.mjs';
 import { brand } from '../brand.mjs';
 
 const positiveFiniteNumber = (defaultValue) => brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: isPositiveFiniteNumber,
     defaultValue,
     brandKeys: [

package/dist/branded/number/positive-finite-number.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"positive-finite-number.mjs","sources":["../../../src/branded/number/positive-finite-number.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,oBAAoB,GAAG,CAClC,YAAkC,KAElC,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,sBAAsB;IAC1B,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,KAAK;QACL,SAAS;QACT,SAAS;QACT,UAAU;QACV,UAAU;QACV,QAAQ;QACR,KAAK;AACN,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,sBAAsB;AACjC,CAAA;;;;"}
+{"version":3,"file":"positive-finite-number.mjs","sources":["../../../src/branded/number/positive-finite-number.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,oBAAoB,GAAG,CAClC,YAAkC,KAElC,KAAK,CAAC;AACJ,IAAA,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC;AAC9B,IAAA,EAAE,EAAE,sBAAsB;IAC1B,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,KAAK;QACL,SAAS;QACT,SAAS;QACT,UAAU;QACV,UAAU;QACV,QAAQ;QACR,KAAK;AACN,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,sBAAsB;AACjC,CAAA;;;;"}

package/dist/branded/number/positive-int.mjs

@@ -3,7 +3,7 @@ import { number } from '../../primitives/number.mjs';
 import { brand } from '../brand.mjs';
 
 const positiveInt = (defaultValue = asPositiveInt(1)) => brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: isPositiveInt,
     defaultValue,
     brandKeys: [

package/dist/branded/number/positive-int.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"positive-int.mjs","sources":["../../../src/branded/number/positive-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,WAAW,GAAG,CACzB,YAAA,GAA4B,aAAa,CAAC,CAAC,CAAC,KAE5C,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,aAAa;IACjB,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,UAAU;QACV,SAAS;QACT,UAAU;QACV,KAAK;QACL,KAAK;AACN,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,aAAa;AACxB,CAAA;;;;"}
+{"version":3,"file":"positive-int.mjs","sources":["../../../src/branded/number/positive-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,WAAW,GAAG,CACzB,YAAA,GAA4B,aAAa,CAAC,CAAC,CAAC,KAE5C,KAAK,CAAC;AACJ,IAAA,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC;AAC9B,IAAA,EAAE,EAAE,aAAa;IACjB,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,UAAU;QACV,SAAS;QACT,UAAU;QACV,KAAK;QACL,KAAK;AACN,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,aAAa;AACxB,CAAA;;;;"}

package/dist/branded/number/positive-safe-int.mjs

@@ -3,7 +3,7 @@ import { number } from '../../primitives/number.mjs';
 import { brand } from '../brand.mjs';
 
 const positiveSafeInt = (defaultValue = asPositiveSafeInt(1)) => brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: isPositiveSafeInt,
     defaultValue,
     brandKeys: [

package/dist/branded/number/positive-safe-int.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"positive-safe-int.mjs","sources":["../../../src/branded/number/positive-safe-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,eAAe,GAAG,CAC7B,YAAA,GAAgC,iBAAiB,CAAC,CAAC,CAAC,KAEpD,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,iBAAiB;IACrB,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,SAAS;QACT,UAAU;QACV,SAAS;QACT,UAAU;QACV,KAAK;QACL,KAAK;AACN,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,iBAAiB;AAC5B,CAAA;;;;"}
+{"version":3,"file":"positive-safe-int.mjs","sources":["../../../src/branded/number/positive-safe-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,eAAe,GAAG,CAC7B,YAAA,GAAgC,iBAAiB,CAAC,CAAC,CAAC,KAEpD,KAAK,CAAC;AACJ,IAAA,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC;AAC9B,IAAA,EAAE,EAAE,iBAAiB;IACrB,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,SAAS;QACT,UAAU;QACV,SAAS;QACT,UAAU;QACV,KAAK;QACL,KAAK;AACN,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,iBAAiB;AAC5B,CAAA;;;;"}

package/dist/branded/number/safe-int.mjs

@@ -3,7 +3,7 @@ import { number } from '../../primitives/number.mjs';
 import { brand } from '../brand.mjs';
 
 const safeInt = (defaultValue = asSafeInt(0)) => brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: SafeInt.is,
     defaultValue,
     brandKeys: ['Finite', 'Int', 'SafeInt'],

package/dist/branded/number/safe-int.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"safe-int.mjs","sources":["../../../src/branded/number/safe-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,OAAO,GAAG,CAAC,YAAA,GAAwB,SAAS,CAAC,CAAC,CAAC,KAC1D,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;IAC3B,EAAE,EAAE,OAAO,CAAC,EAAE;IACd,YAAY;AACZ,IAAA,SAAS,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC;IACvC,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,SAAS;AACpB,CAAA;;;;"}
+{"version":3,"file":"safe-int.mjs","sources":["../../../src/branded/number/safe-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,OAAO,GAAG,CAAC,YAAA,GAAwB,SAAS,CAAC,CAAC,CAAC,KAC1D,KAAK,CAAC;AACJ,IAAA,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC;IAC9B,EAAE,EAAE,OAAO,CAAC,EAAE;IACd,YAAY;AACZ,IAAA,SAAS,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC;IACvC,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,SAAS;AACpB,CAAA;;;;"}

package/dist/branded/number/safe-uint.mjs

@@ -3,7 +3,7 @@ import { number } from '../../primitives/number.mjs';
 import { brand } from '../brand.mjs';
 
 const safeUint = (defaultValue = asSafeUint(0)) => brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: isSafeUint,
     defaultValue,
     brandKeys: [

package/dist/branded/number/safe-uint.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"safe-uint.mjs","sources":["../../../src/branded/number/safe-uint.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,QAAQ,GAAG,CACtB,YAAA,GAAyB,UAAU,CAAC,CAAC,CAAC,KAEtC,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,UAAU;IACd,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,SAAS;QACT,SAAS;QACT,UAAU;QACV,UAAU;QACV,KAAK;AACN,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,UAAU;AACrB,CAAA;;;;"}
+{"version":3,"file":"safe-uint.mjs","sources":["../../../src/branded/number/safe-uint.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,QAAQ,GAAG,CACtB,YAAA,GAAyB,UAAU,CAAC,CAAC,CAAC,KAEtC,KAAK,CAAC;AACJ,IAAA,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC;AAC9B,IAAA,EAAE,EAAE,UAAU;IACd,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,SAAS;QACT,SAAS;QACT,UAAU;QACV,UAAU;QACV,KAAK;AACN,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,UAAU;AACrB,CAAA;;;;"}

package/dist/branded/number/uint.mjs

@@ -3,7 +3,7 @@ import { number } from '../../primitives/number.mjs';
 import { brand } from '../brand.mjs';
 
 const uint = (defaultValue = asUint(0)) => brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: isUint,
     defaultValue,
     brandKeys: [

package/dist/branded/number/uint.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"uint.mjs","sources":["../../../src/branded/number/uint.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,IAAI,GAAG,CAAC,YAAA,GAAqB,MAAM,CAAC,CAAC,CAAC,KACjD,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,MAAM;IACV,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,UAAU;QACV,SAAS;QACT,UAAU;QACV,KAAK;AACN,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,MAAM;AACjB,CAAA;;;;"}
+{"version":3,"file":"uint.mjs","sources":["../../../src/branded/number/uint.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,IAAI,GAAG,CAAC,YAAA,GAAqB,MAAM,CAAC,CAAC,CAAC,KACjD,KAAK,CAAC;AACJ,IAAA,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC;AAC9B,IAAA,EAAE,EAAE,MAAM;IACV,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,UAAU;QACV,SAAS;QACT,UAAU;QACV,KAAK;AACN,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,MAAM;AACjB,CAAA;;;;"}

package/dist/branded/number/uint16.mjs

@@ -3,7 +3,7 @@ import { number } from '../../primitives/number.mjs';
 import { brand } from '../brand.mjs';
 
 const uint16 = (defaultValue = asUint16(0)) => brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: isUint16,
     defaultValue,
     brandKeys: [

package/dist/branded/number/uint16.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"uint16.mjs","sources":["../../../src/branded/number/uint16.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,MAAM,GAAG,CAAC,YAAA,GAAuB,QAAQ,CAAC,CAAC,CAAC,KACvD,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,QAAQ;IACZ,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,SAAS;QACT,SAAS;QACT,UAAU;QACV,UAAU;QACV,KAAK;QACL,QAAQ;QACR,QAAQ;QACR,QAAQ;AACT,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,QAAQ;AACnB,CAAA;;;;"}
+{"version":3,"file":"uint16.mjs","sources":["../../../src/branded/number/uint16.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,MAAM,GAAG,CAAC,YAAA,GAAuB,QAAQ,CAAC,CAAC,CAAC,KACvD,KAAK,CAAC;AACJ,IAAA,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC;AAC9B,IAAA,EAAE,EAAE,QAAQ;IACZ,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,SAAS;QACT,SAAS;QACT,UAAU;QACV,UAAU;QACV,KAAK;QACL,QAAQ;QACR,QAAQ;QACR,QAAQ;AACT,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,QAAQ;AACnB,CAAA;;;;"}

package/dist/branded/number/uint32.mjs

@@ -3,7 +3,7 @@ import { number } from '../../primitives/number.mjs';
 import { brand } from '../brand.mjs';
 
 const uint32 = (defaultValue = asUint32(0)) => brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: isUint32,
     defaultValue,
     brandKeys: [

package/dist/branded/number/uint32.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"uint32.mjs","sources":["../../../src/branded/number/uint32.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,MAAM,GAAG,CAAC,YAAA,GAAuB,QAAQ,CAAC,CAAC,CAAC,KACvD,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,QAAQ;IACZ,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,SAAS;QACT,SAAS;QACT,UAAU;QACV,UAAU;QACV,KAAK;QACL,QAAQ;AACT,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,QAAQ;AACnB,CAAA;;;;"}
+{"version":3,"file":"uint32.mjs","sources":["../../../src/branded/number/uint32.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,MAAM,GAAG,CAAC,YAAA,GAAuB,QAAQ,CAAC,CAAC,CAAC,KACvD,KAAK,CAAC;AACJ,IAAA,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC;AAC9B,IAAA,EAAE,EAAE,QAAQ;IACZ,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,SAAS;QACT,SAAS;QACT,UAAU;QACV,UAAU;QACV,KAAK;QACL,QAAQ;AACT,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,QAAQ;AACnB,CAAA;;;;"}

package/dist/branded/simple-branded-number.d.mts

@@ -1,3 +1,7 @@
 import { type Type } from '../type.mjs';
-export declare const simpleBrandedNumber: <S extends string>(typeName: S, defaultValue?: number) => Type<Brand<number, S>>;
+export declare const simpleBrandedNumber: <K extends string>({ typeName, defaultValue, is, }: Readonly<{
+    typeName: K;
+    defaultValue: number;
+    is?: (u: number) => u is Brand<number, K>;
+}>) => Type<Brand<number, K>>;
 //# sourceMappingURL=simple-branded-number.d.mts.map

package/dist/branded/simple-branded-number.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"simple-branded-number.d.mts","sourceRoot":"","sources":["../../src/branded/simple-branded-number.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAGxC,eAAO,MAAM,mBAAmB,GAAI,CAAC,SAAS,MAAM,EAClD,UAAU,CAAC,EACX,eAAc,MAAU,KACvB,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAUpB,CAAC"}
+{"version":3,"file":"simple-branded-number.d.mts","sourceRoot":"","sources":["../../src/branded/simple-branded-number.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAGxC,eAAO,MAAM,mBAAmB,GAAI,CAAC,SAAS,MAAM,EAAE,iCAInD,QAAQ,CAAC;IACV,QAAQ,EAAE,CAAC,CAAC;IACZ,YAAY,EAAE,MAAM,CAAC;IACrB,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;CAC3C,CAAC,KAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAUtB,CAAC"}

package/dist/branded/simple-branded-number.mjs

@@ -2,12 +2,12 @@ import 'ts-data-forge';
 import { number } from '../primitives/number.mjs';
 import { brand } from './brand.mjs';
 
-const simpleBrandedNumber = (typeName, defaultValue = 0) => brand({
-    codec: number(defaultValue),
+const simpleBrandedNumber = ({ typeName, defaultValue, is = (_u) => true, }) => brand({
+    baseType: number(defaultValue),
     defaultValue: 
     // eslint-disable-next-line @typescript-eslint/no-unsafe-type-assertion
     defaultValue,
-    is: (_id) => true,
+    is,
     brandKeys: [typeName],
 });
 

package/dist/branded/simple-branded-number.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"simple-branded-number.mjs","sources":["../../src/branded/simple-branded-number.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAIO,MAAM,mBAAmB,GAAG,CACjC,QAAW,EACX,YAAA,GAAuB,CAAC,KAExB,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;IAE3B,YAAY;;IAEV,YAAgC;AAElC,IAAA,EAAE,EAAE,CAAC,GAAW,KAA8B,IAAI;IAClD,SAAS,EAAE,CAAC,QAAQ,CAAC;AACtB,CAAA;;;;"}
+{"version":3,"file":"simple-branded-number.mjs","sources":["../../src/branded/simple-branded-number.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;MAIa,mBAAmB,GAAG,CAAmB,EACpD,QAAQ,EACR,YAAY,EACZ,EAAE,GAAG,CAAC,EAAE,KAA6B,IAAI,GAKzC,KACA,KAAK,CAAC;AACJ,IAAA,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC;IAE9B,YAAY;;IAEV,YAAgC;IAElC,EAAE;IACF,SAAS,EAAE,CAAC,QAAQ,CAAC;AACtB,CAAA;;;;"}

package/dist/branded/simple-branded-string.d.mts

@@ -1,3 +1,7 @@
 import { type Type } from '../type.mjs';
-export declare const simpleBrandedString: <S extends string>(typeName: S, defaultValue?: string) => Type<Brand<string, S>>;
+export declare const simpleBrandedString: <K extends string>({ typeName, defaultValue, is, }: Readonly<{
+    typeName: K;
+    defaultValue: string;
+    is?: (u: string) => u is Brand<string, K>;
+}>) => Type<Brand<string, K>>;
 //# sourceMappingURL=simple-branded-string.d.mts.map

package/dist/branded/simple-branded-string.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"simple-branded-string.d.mts","sourceRoot":"","sources":["../../src/branded/simple-branded-string.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAGxC,eAAO,MAAM,mBAAmB,GAAI,CAAC,SAAS,MAAM,EAClD,UAAU,CAAC,EACX,eAAc,MAAW,KACxB,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAUpB,CAAC"}
+{"version":3,"file":"simple-branded-string.d.mts","sourceRoot":"","sources":["../../src/branded/simple-branded-string.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAGxC,eAAO,MAAM,mBAAmB,GAAI,CAAC,SAAS,MAAM,EAAE,iCAInD,QAAQ,CAAC;IACV,QAAQ,EAAE,CAAC,CAAC;IACZ,YAAY,EAAE,MAAM,CAAC;IACrB,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;CAC3C,CAAC,KAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAUtB,CAAC"}

package/dist/branded/simple-branded-string.mjs

@@ -2,12 +2,12 @@ import 'ts-data-forge';
 import { string } from '../primitives/string.mjs';
 import { brand } from './brand.mjs';
 
-const simpleBrandedString = (typeName, defaultValue = '') => brand({
-    codec: string(defaultValue),
+const simpleBrandedString = ({ typeName, defaultValue, is = (_u) => true, }) => brand({
+    baseType: string(defaultValue),
     defaultValue: 
     // eslint-disable-next-line @typescript-eslint/no-unsafe-type-assertion
     defaultValue,
-    is: (_id) => true,
+    is,
     brandKeys: [typeName],
 });
 

package/dist/branded/simple-branded-string.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"simple-branded-string.mjs","sources":["../../src/branded/simple-branded-string.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAIO,MAAM,mBAAmB,GAAG,CACjC,QAAW,EACX,YAAA,GAAuB,EAAE,KAEzB,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;IAE3B,YAAY;;IAEV,YAAgC;AAElC,IAAA,EAAE,EAAE,CAAC,GAAW,KAA8B,IAAI;IAClD,SAAS,EAAE,CAAC,QAAQ,CAAC;AACtB,CAAA;;;;"}
+{"version":3,"file":"simple-branded-string.mjs","sources":["../../src/branded/simple-branded-string.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;MAIa,mBAAmB,GAAG,CAAmB,EACpD,QAAQ,EACR,YAAY,EACZ,EAAE,GAAG,CAAC,EAAE,KAA6B,IAAI,GAKzC,KACA,KAAK,CAAC;AACJ,IAAA,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC;IAE9B,YAAY;;IAEV,YAAgC;IAElC,EAAE;IACF,SAAS,EAAE,CAAC,QAAQ,CAAC;AACtB,CAAA;;;;"}

package/dist/entry-point.mjs

@@ -30,6 +30,7 @@ export { enumType } from './enum/enum.mjs';
 export { intRange } from './enum/int-range.mjs';
 export { uintRange } from './enum/uint-range.mjs';
 export { literal } from './other-types/literal.mjs';
+export { refine } from './other-types/refine.mjs';
 export { unknown } from './other-types/unknown.mjs';
 export { int8 } from './predefined/int8.mjs';
 export { JsonObject, JsonPrimitive, JsonValue } from './predefined/json.mjs';

package/dist/entry-point.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"entry-point.mjs","sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
+{"version":3,"file":"entry-point.mjs","sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}

package/dist/index.mjs

@@ -29,6 +29,7 @@ export { enumType } from './enum/enum.mjs';
 export { intRange } from './enum/int-range.mjs';
 export { uintRange } from './enum/uint-range.mjs';
 export { literal } from './other-types/literal.mjs';
+export { refine } from './other-types/refine.mjs';
 export { unknown } from './other-types/unknown.mjs';
 export { int8 } from './predefined/int8.mjs';
 export { JsonObject, JsonPrimitive, JsonValue } from './predefined/json.mjs';

package/dist/index.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.mjs","sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
+{"version":3,"file":"index.mjs","sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}

package/dist/other-types/index.d.mts

@@ -1,3 +1,4 @@
 export * from './literal.mjs';
+export * from './refine.mjs';
 export * from './unknown.mjs';
 //# sourceMappingURL=index.d.mts.map

package/dist/other-types/index.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.mts","sourceRoot":"","sources":["../../src/other-types/index.mts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,eAAe,CAAC"}
+{"version":3,"file":"index.d.mts","sourceRoot":"","sources":["../../src/other-types/index.mts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC"}

package/dist/other-types/index.mjs

@@ -1,3 +1,4 @@
 export { literal } from './literal.mjs';
+export { refine } from './refine.mjs';
 export { unknown } from './unknown.mjs';
 //# sourceMappingURL=index.mjs.map

package/dist/other-types/index.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.mjs","sources":[],"sourcesContent":[],"names":[],"mappings":";"}
+{"version":3,"file":"index.mjs","sources":[],"sourcesContent":[],"names":[],"mappings":";;"}

package/dist/other-types/refine.d.mts

@@ -0,0 +1,8 @@
+import { type Type } from '../type.mjs';
+export declare const refine: <Base extends Extract<Primitive, string | boolean | bigint | number>, R extends Base>({ baseType, is, defaultValue, typeName, }: Readonly<{
+    baseType: Type<Base>;
+    is: (a: Base) => a is R;
+    defaultValue: R;
+    typeName?: string;
+}>) => Type<R>;
+//# sourceMappingURL=refine.d.mts.map

package/dist/other-types/refine.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"refine.d.mts","sourceRoot":"","sources":["../../src/other-types/refine.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAOxC,eAAO,MAAM,MAAM,GACjB,IAAI,SAAS,OAAO,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC,EACnE,CAAC,SAAS,IAAI,EACd,2CAKC,QAAQ,CAAC;IACV,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACrB,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,YAAY,EAAE,CAAC,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,CAAC,KAAG,IAAI,CAAC,CAAC,CAwBV,CAAC"}

package/dist/other-types/refine.mjs

@@ -0,0 +1,27 @@
+import { pipe, Result } from 'ts-data-forge';
+import { createPrimitiveValidationError } from '../utils/validation-error.mjs';
+import { createType } from '../utils/create-type.mjs';
+
+const refine = ({ baseType, is, defaultValue, typeName = `${baseType.typeName} refined`, }) => {
+    const validate = (a) => pipe(a)
+        .map(baseType.validate)
+        .map((res) => Result.isErr(res)
+        ? res
+        : is(res.value)
+            ? Result.ok(res.value)
+            : Result.err([
+                createPrimitiveValidationError({
+                    actualValue: a,
+                    expectedType: typeName,
+                    typeName,
+                }),
+            ])).value;
+    return createType({
+        typeName,
+        defaultValue,
+        validate,
+    });
+};
+
+export { refine };
+//# sourceMappingURL=refine.mjs.map

package/dist/other-types/refine.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"refine.mjs","sources":["../../src/other-types/refine.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;MAQa,MAAM,GAAG,CAGpB,EACA,QAAQ,EACR,EAAE,EACF,YAAY,EACZ,QAAQ,GAAG,CAAA,EAAG,QAAQ,CAAC,QAAQ,CAAA,QAAA,CAAU,GAMzC,KAAa;IACb,MAAM,QAAQ,GAAwB,CAAC,CAAC,KACtC,IAAI,CAAC,CAAC;AACH,SAAA,GAAG,CAAC,QAAQ,CAAC,QAAQ;SACrB,GAAG,CACF,CAAC,GAAG,KACF,MAAM,CAAC,KAAK,CAAC,GAAG;AACd,UAAE;AACF,UAAE,EAAE,CAAC,GAAG,CAAC,KAAK;cACV,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK;AACrB,cAAE,MAAM,CAAC,GAAG,CAAC;AACT,gBAAA,8BAA8B,CAAC;AAC7B,oBAAA,WAAW,EAAE,CAAC;AACd,oBAAA,YAAY,EAAE,QAAQ;oBACtB,QAAQ;iBACT,CAAC;aACH,CAAC,CACX,CAAC,KAAK;AAEX,IAAA,OAAO,UAAU,CAAC;QAChB,QAAQ;QACR,YAAY;QACZ,QAAQ;AACT,KAAA,CAAC;AACJ;;;;"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ts-fortress",
-  "version": "2.9.0",
+  "version": "3.0.0",
   "private": false,
   "keywords": [
     "typescript"

package/src/branded/brand.mts

@@ -11,14 +11,14 @@ export const brand = <
   const BrandTrueKeys extends readonly string[],
   const BrandFalseKeys extends readonly string[] = [],
 >({
-  codec,
+  baseType,
   is,
   defaultValue,
   typeName,
   brandKeys,
   brandFalseKeys,
 }: Readonly<{
-  codec: Type<A>;
+  baseType: Type<A>;
   is: (
     a: A,
   ) => a is Brand<A, ArrayToUnion<BrandTrueKeys>, ArrayToUnion<BrandFalseKeys>>;
@@ -44,17 +44,17 @@ export const brand = <
 
   const validate: Type<T>['validate'] = (a) =>
     pipe(a)
-      .map(codec.validate)
+      .map(baseType.validate)
       .map(
-        (v): Result<T, readonly ValidationError[]> =>
-          Result.isErr(v)
-            ? v
-            : is(v.value)
-              ? Result.ok(v.value)
+        (res): Result<T, readonly ValidationError[]> =>
+          Result.isErr(res)
+            ? res
+            : is(res.value)
+              ? Result.ok(res.value satisfies T)
               : Result.err([
                   {
                     path: [],
-                    actualValue: v.value,
+                    actualValue: res.value,
                     expectedType: typeNameFilled,
                     typeName: brandKeysStr,
                     message:

package/src/branded/number/finite-number.mts

@@ -7,7 +7,7 @@ export const finiteNumber = (
   defaultValue: FiniteNumber = asFiniteNumber(0),
 ): Type<FiniteNumber> =>
   brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: FiniteNumber.is,
     defaultValue,
     brandKeys: ['Finite'],

package/src/branded/number/int.mts

@@ -5,7 +5,7 @@ import { brand } from '../brand.mjs';
 
 export const int = (defaultValue: Int = asInt(0)): Type<Int> =>
   brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: Int.is,
     defaultValue,
     brandKeys: ['Finite', 'Int'],

package/src/branded/number/int16.mts

@@ -5,7 +5,7 @@ import { brand } from '../brand.mjs';
 
 export const int16 = (defaultValue: Int16 = asInt16(0)): Type<Int16> =>
   brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: isInt16,
     defaultValue,
     brandKeys: [

package/src/branded/number/int32.mts

@@ -5,7 +5,7 @@ import { brand } from '../brand.mjs';
 
 export const int32 = (defaultValue: Int32 = asInt32(0)): Type<Int32> =>
   brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: isInt32,
     defaultValue,
     brandKeys: [

package/src/branded/number/non-negative-finite-number.mts

@@ -10,7 +10,7 @@ export const nonNegativeFiniteNumber = (
   defaultValue: NonNegativeFiniteNumber = asNonNegativeFiniteNumber(0),
 ): Type<NonNegativeFiniteNumber> =>
   brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: isNonNegativeFiniteNumber,
     defaultValue,
     brandKeys: ['>=0', '> -2^16', '> -2^32', '>= -2^15', '>= -2^31', 'Finite'],

package/src/branded/number/non-zero-finite-number.mts

@@ -7,7 +7,7 @@ export const nonZeroFiniteNumber = (
   defaultValue: NonZeroFiniteNumber,
 ): Type<NonZeroFiniteNumber> =>
   brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: isNonZeroFiniteNumber,
     defaultValue,
     brandKeys: ['!=0', 'Finite'],

package/src/branded/number/non-zero-int.mts

@@ -7,7 +7,7 @@ export const nonZeroInt = (
   defaultValue: NonZeroInt = asNonZeroInt(0),
 ): Type<NonZeroInt> =>
   brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: isNonZeroInt,
     defaultValue,
     brandKeys: ['Finite', 'Int', '!=0'],

package/src/branded/number/non-zero-safe-int.mts

@@ -7,7 +7,7 @@ export const nonZeroSafeInt = (
   defaultValue: NonZeroSafeInt,
 ): Type<NonZeroSafeInt> =>
   brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: isNonZeroSafeInt,
     defaultValue,
     brandKeys: ['Finite', 'Int', 'SafeInt', '!=0'],

package/src/branded/number/positive-finite-number.mts

@@ -7,7 +7,7 @@ export const positiveFiniteNumber = (
   defaultValue: PositiveFiniteNumber,
 ): Type<PositiveFiniteNumber> =>
   brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: isPositiveFiniteNumber,
     defaultValue,
     brandKeys: [

package/src/branded/number/positive-int.mts

@@ -7,7 +7,7 @@ export const positiveInt = (
   defaultValue: PositiveInt = asPositiveInt(1),
 ): Type<PositiveInt> =>
   brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: isPositiveInt,
     defaultValue,
     brandKeys: [

package/src/branded/number/positive-safe-int.mts

@@ -7,7 +7,7 @@ export const positiveSafeInt = (
   defaultValue: PositiveSafeInt = asPositiveSafeInt(1),
 ): Type<PositiveSafeInt> =>
   brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: isPositiveSafeInt,
     defaultValue,
     brandKeys: [

package/src/branded/number/safe-int.mts

@@ -5,7 +5,7 @@ import { brand } from '../brand.mjs';
 
 export const safeInt = (defaultValue: SafeInt = asSafeInt(0)): Type<SafeInt> =>
   brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: SafeInt.is,
     defaultValue,
     brandKeys: ['Finite', 'Int', 'SafeInt'],

package/src/branded/number/safe-uint.mts

@@ -7,7 +7,7 @@ export const safeUint = (
   defaultValue: SafeUint = asSafeUint(0),
 ): Type<SafeUint> =>
   brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: isSafeUint,
     defaultValue,
     brandKeys: [

package/src/branded/number/uint.mts

@@ -5,7 +5,7 @@ import { brand } from '../brand.mjs';
 
 export const uint = (defaultValue: Uint = asUint(0)): Type<Uint> =>
   brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: isUint,
     defaultValue,
     brandKeys: [

package/src/branded/number/uint16.mts

@@ -5,7 +5,7 @@ import { brand } from '../brand.mjs';
 
 export const uint16 = (defaultValue: Uint16 = asUint16(0)): Type<Uint16> =>
   brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: isUint16,
     defaultValue,
     brandKeys: [

package/src/branded/number/uint32.mts

@@ -5,7 +5,7 @@ import { brand } from '../brand.mjs';
 
 export const uint32 = (defaultValue: Uint32 = asUint32(0)): Type<Uint32> =>
   brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
     is: isUint32,
     defaultValue,
     brandKeys: [

package/src/branded/simple-branded-number.mts

@@ -2,17 +2,22 @@ import { number } from '../primitives/index.mjs';
 import { type Type } from '../type.mjs';
 import { brand } from './brand.mjs';
 
-export const simpleBrandedNumber = <S extends string>(
-  typeName: S,
-  defaultValue: number = 0,
-): Type<Brand<number, S>> =>
+export const simpleBrandedNumber = <K extends string>({
+  typeName,
+  defaultValue,
+  is = (_u): _u is Brand<number, K> => true,
+}: Readonly<{
+  typeName: K;
+  defaultValue: number;
+  is?: (u: number) => u is Brand<number, K>;
+}>): Type<Brand<number, K>> =>
   brand({
-    codec: number(defaultValue),
+    baseType: number(defaultValue),
 
     defaultValue:
       // eslint-disable-next-line @typescript-eslint/no-unsafe-type-assertion
-      defaultValue as Brand<number, S>,
+      defaultValue as Brand<number, K>,
 
-    is: (_id: number): _id is Brand<number, S> => true,
+    is,
     brandKeys: [typeName],
   });

package/src/branded/simple-branded-number.test.mts

@@ -5,7 +5,10 @@ import { simpleBrandedNumber } from './simple-branded-number.mjs';
 
 describe('simpleBrandedNumber', () => {
   describe('with default value', () => {
-    const userIdType = simpleBrandedNumber('UserId');
+    const userIdType = simpleBrandedNumber({
+      typeName: 'UserId',
+      defaultValue: 0,
+    });
 
     type UserId = TypeOf<typeof userIdType>;
 
@@ -97,7 +100,10 @@ describe('simpleBrandedNumber', () => {
   });
 
   describe('with custom default value', () => {
-    const scoreType = simpleBrandedNumber('Score', 100);
+    const scoreType = simpleBrandedNumber({
+      typeName: 'Score',
+      defaultValue: 100,
+    });
 
     type Score = TypeOf<typeof scoreType>;
 
@@ -160,7 +166,10 @@ describe('simpleBrandedNumber', () => {
   });
 
   describe('type assertions and narrowing', () => {
-    const priceType = simpleBrandedNumber('Price', 0);
+    const priceType = simpleBrandedNumber({
+      typeName: 'Price',
+      defaultValue: 0,
+    });
 
     test('type narrowing works correctly', () => {
       const x: unknown = 29.99;

package/src/branded/simple-branded-string.mts

@@ -2,17 +2,22 @@ import { string } from '../primitives/index.mjs';
 import { type Type } from '../type.mjs';
 import { brand } from './brand.mjs';
 
-export const simpleBrandedString = <S extends string>(
-  typeName: S,
-  defaultValue: string = '',
-): Type<Brand<string, S>> =>
+export const simpleBrandedString = <K extends string>({
+  typeName,
+  defaultValue,
+  is = (_u): _u is Brand<string, K> => true,
+}: Readonly<{
+  typeName: K;
+  defaultValue: string;
+  is?: (u: string) => u is Brand<string, K>;
+}>): Type<Brand<string, K>> =>
   brand({
-    codec: string(defaultValue),
+    baseType: string(defaultValue),
 
     defaultValue:
       // eslint-disable-next-line @typescript-eslint/no-unsafe-type-assertion
-      defaultValue as Brand<string, S>,
+      defaultValue as Brand<string, K>,
 
-    is: (_id: string): _id is Brand<string, S> => true,
+    is,
     brandKeys: [typeName],
   });

package/src/branded/simple-branded-string.test.mts

@@ -5,7 +5,10 @@ import { simpleBrandedString } from './simple-branded-string.mjs';
 
 describe('simpleBrandedString', () => {
   describe('with default value', () => {
-    const userNameType = simpleBrandedString('UserName');
+    const userNameType = simpleBrandedString({
+      typeName: 'UserName',
+      defaultValue: '',
+    });
 
     type UserName = TypeOf<typeof userNameType>;
 
@@ -98,7 +101,10 @@ describe('simpleBrandedString', () => {
   });
 
   describe('with custom default value', () => {
-    const categoryType = simpleBrandedString('Category', 'general');
+    const categoryType = simpleBrandedString({
+      typeName: 'Category',
+      defaultValue: 'general',
+    });
 
     type Category = TypeOf<typeof categoryType>;
 
@@ -161,7 +167,10 @@ describe('simpleBrandedString', () => {
   });
 
   describe('type assertions and narrowing', () => {
-    const emailType = simpleBrandedString('Email', '');
+    const emailType = simpleBrandedString({
+      typeName: 'Email',
+      defaultValue: '',
+    });
 
     test('type narrowing works correctly', () => {
       const x: unknown = 'user@example.com';
@@ -178,8 +187,14 @@ describe('simpleBrandedString', () => {
   });
 
   describe('different brand types', () => {
-    const firstNameType = simpleBrandedString('FirstName', '');
-    const lastNameType = simpleBrandedString('LastName', '');
+    const firstNameType = simpleBrandedString({
+      typeName: 'FirstName',
+      defaultValue: '',
+    });
+    const lastNameType = simpleBrandedString({
+      typeName: 'LastName',
+      defaultValue: '',
+    });
 
     test('creates distinct branded types', () => {
       type FirstName = TypeOf<typeof firstNameType>;

package/src/other-types/index.mts

@@ -1,2 +1,3 @@
 export * from './literal.mjs';
+export * from './refine.mjs';
 export * from './unknown.mjs';

package/src/other-types/refine.mts

@@ -0,0 +1,46 @@
+import { pipe, Result } from 'ts-data-forge';
+import { type Type } from '../type.mjs';
+import {
+  createPrimitiveValidationError,
+  createType,
+  type ValidationError,
+} from '../utils/index.mjs';
+
+export const refine = <
+  Base extends Extract<Primitive, string | boolean | bigint | number>,
+  R extends Base,
+>({
+  baseType,
+  is,
+  defaultValue,
+  typeName = `${baseType.typeName} refined`,
+}: Readonly<{
+  baseType: Type<Base>;
+  is: (a: Base) => a is R;
+  defaultValue: R;
+  typeName?: string;
+}>): Type<R> => {
+  const validate: Type<R>['validate'] = (a) =>
+    pipe(a)
+      .map(baseType.validate)
+      .map(
+        (res): Result<R, readonly ValidationError[]> =>
+          Result.isErr(res)
+            ? res
+            : is(res.value)
+              ? Result.ok(res.value)
+              : Result.err([
+                  createPrimitiveValidationError({
+                    actualValue: a,
+                    expectedType: typeName,
+                    typeName,
+                  }),
+                ]),
+      ).value;
+
+  return createType({
+    typeName,
+    defaultValue,
+    validate,
+  });
+};