ts-fortress 2.9.0 → 2.10.0

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": "2.10.0",
   "private": false,
   "keywords": [
     "typescript"

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,
+  });
+};