ts-fortress 2.3.0 → 2.5.0

package/dist/enum/index.d.mts

@@ -1,3 +1,4 @@
 export * from './enum.mjs';
+export * from './int-range.mjs';
 export * from './uint-range.mjs';
 //# sourceMappingURL=index.d.mts.map

package/dist/enum/index.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.mts","sourceRoot":"","sources":["../../src/enum/index.mts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,kBAAkB,CAAC"}
+{"version":3,"file":"index.d.mts","sourceRoot":"","sources":["../../src/enum/index.mts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC;AAChC,cAAc,kBAAkB,CAAC"}

package/dist/enum/index.mjs

@@ -1,3 +1,4 @@
 export { enumType } from './enum.mjs';
+export { intRange } from './int-range.mjs';
 export { uintRange } from './uint-range.mjs';
 //# sourceMappingURL=index.mjs.map

package/dist/enum/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/enum/int-range.d.mts

@@ -0,0 +1,13 @@
+import { type Type } from '../type.mjs';
+export declare const intRange: <Start extends Int8 | -128, End extends Int8 | 128>({ start, end, ...options }: Readonly<{
+    typeName?: string;
+    start: Start;
+    end: End;
+    defaultValue?: IntRange<Start, End>;
+}>) => Type<IntRange<Start, End>>;
+type NegativeRange = NegativeIndex<128>;
+type PositiveRange = IndexInclusive<128>;
+type IntRange<Start extends Int8 | -128, End extends Int8 | 128> = BoolAnd<TypeExtends<Start, PositiveRange>, TypeExtends<End, PositiveRange>> extends true ? UintRange<Start, End> : BoolAnd<TypeExtends<Start, NegativeRange>, TypeExtends<End, PositiveRange>> extends true ? NegativeIndex<NegativeToPositive<Start>> | Index<End> : BoolAnd<TypeExtends<Start, PositiveRange>, TypeExtends<End, NegativeRange>> extends true ? never : BoolAnd<TypeExtends<Start, NegativeRange>, TypeExtends<End, NegativeRange>> extends true ? Exclude<NegativeIndex<NegativeToPositive<Start>>, NegativeIndex<NegativeToPositive<End>>> : never;
+type NegativeToPositive<N extends number> = `${N}` extends `-${infer D extends number}` ? D : never;
+export {};
+//# sourceMappingURL=int-range.d.mts.map

package/dist/enum/int-range.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"int-range.d.mts","sourceRoot":"","sources":["../../src/enum/int-range.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAQxC,eAAO,MAAM,QAAQ,GAAI,KAAK,SAAS,IAAI,GAAG,CAAC,GAAG,EAAE,GAAG,SAAS,IAAI,GAAG,GAAG,EAAE,4BAIzE,QAAQ,CAAC;IACV,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,KAAK,CAAC;IACb,GAAG,EAAE,GAAG,CAAC;IACT,YAAY,CAAC,EAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;CACrC,CAAC,KAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAwC7B,CAAC;AAEF,KAAK,aAAa,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;AACxC,KAAK,aAAa,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;AAEzC,KAAK,QAAQ,CAAC,KAAK,SAAS,IAAI,GAAG,CAAC,GAAG,EAAE,GAAG,SAAS,IAAI,GAAG,GAAG,IAC7D,OAAO,CACL,WAAW,CAAC,KAAK,EAAE,aAAa,CAAC,EACjC,WAAW,CAAC,GAAG,EAAE,aAAa,CAAC,CAChC,SAAS,IAAI,GACV,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,GACrB,OAAO,CACH,WAAW,CAAC,KAAK,EAAE,aAAa,CAAC,EACjC,WAAW,CAAC,GAAG,EAAE,aAAa,CAAC,CAChC,SAAS,IAAI,GACd,aAAa,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,GACrD,OAAO,CACH,WAAW,CAAC,KAAK,EAAE,aAAa,CAAC,EACjC,WAAW,CAAC,GAAG,EAAE,aAAa,CAAC,CAChC,SAAS,IAAI,GACd,KAAK,GACL,OAAO,CACH,WAAW,CAAC,KAAK,EAAE,aAAa,CAAC,EACjC,WAAW,CAAC,GAAG,EAAE,aAAa,CAAC,CAChC,SAAS,IAAI,GACd,OAAO,CACL,aAAa,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,EACxC,aAAa,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CACvC,GACD,KAAK,CAAC;AAElB,KAAK,kBAAkB,CAAC,CAAC,SAAS,MAAM,IACtC,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,CAAC,SAAS,MAAM,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC"}

package/dist/enum/int-range.mjs

@@ -0,0 +1,40 @@
+import { isNumber, Num, Result } from 'ts-data-forge';
+import { createAssertFn } from '../utils/create-assert-fn.mjs';
+import { createCastFn } from '../utils/create-cast-fn.mjs';
+import { createIsFn } from '../utils/create-is-fn.mjs';
+
+const intRange = ({ start, end, ...options }) => {
+    const typeNameFilled = options.typeName ?? `intRange(${start}, ${end})`;
+    const defaultValue = options.defaultValue ??
+        // eslint-disable-next-line @typescript-eslint/no-unsafe-type-assertion
+        start;
+    const validate = (a) => {
+        if (!(isNumber(a) && Number.isInteger(a) && Num.isInRange(start, end)(a))) {
+            return Result.err([
+                {
+                    path: [],
+                    actualValue: a,
+                    expectedType: typeNameFilled,
+                    message: `The value is expected to be an integer between ${start} and ${end - 1}`,
+                    typeName: typeNameFilled,
+                },
+            ]);
+        }
+        // eslint-disable-next-line @typescript-eslint/no-unsafe-type-assertion
+        return Result.ok(a);
+    };
+    const is = createIsFn(validate);
+    const fill = (a) => (is(a) ? a : defaultValue);
+    return {
+        typeName: typeNameFilled,
+        defaultValue,
+        fill,
+        validate,
+        is,
+        assertIs: createAssertFn(validate),
+        cast: createCastFn(validate),
+    };
+};
+
+export { intRange };
+//# sourceMappingURL=int-range.mjs.map

package/dist/enum/int-range.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"int-range.mjs","sources":["../../src/enum/int-range.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;AASO,MAAM,QAAQ,GAAG,CAAoD,EAC1E,KAAK,EACL,GAAG,EACH,GAAG,OAAO,EAMV,KAAgC;IAGhC,MAAM,cAAc,GAAG,OAAO,CAAC,QAAQ,IAAI,CAAA,SAAA,EAAY,KAAK,CAAA,EAAA,EAAK,GAAG,CAAA,CAAA,CAAG;AAEvE,IAAA,MAAM,YAAY,GAChB,OAAO,CAAC,YAAY;;AAEnB,QAAA,KAAW;AAEd,IAAA,MAAM,QAAQ,GAAwB,CAAC,CAAC,KAAI;QAC1C,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;YACzE,OAAO,MAAM,CAAC,GAAG,CAAC;AAChB,gBAAA;AACE,oBAAA,IAAI,EAAE,EAAE;AACR,oBAAA,WAAW,EAAE,CAAC;AACd,oBAAA,YAAY,EAAE,cAAc;AAC5B,oBAAA,OAAO,EAAE,CAAA,+CAAA,EAAkD,KAAK,QAAQ,GAAG,GAAG,CAAC,CAAA,CAAE;AACjF,oBAAA,QAAQ,EAAE,cAAc;AACY,iBAAA;AACvC,aAAA,CAAC;;;AAIJ,QAAA,OAAO,MAAM,CAAC,EAAE,CAAC,CAAM,CAAC;AAC1B,IAAA,CAAC;AAED,IAAA,MAAM,EAAE,GAAG,UAAU,CAAI,QAAQ,CAAC;IAElC,MAAM,IAAI,GAAoB,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC;IAE/D,OAAO;AACL,QAAA,QAAQ,EAAE,cAAc;QACxB,YAAY;QACZ,IAAI;QACJ,QAAQ;QACR,EAAE;AACF,QAAA,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC;AAClC,QAAA,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC;KAC7B;AACH;;;;"}

package/dist/enum/uint-range.d.mts

@@ -1,5 +1,5 @@
 import { type Type } from '../type.mjs';
-export declare const uintRange: <Start extends Uint8, End extends Exclude<Uint8, Start>>({ start, end, ...options }: Readonly<{
+export declare const uintRange: <Start extends Uint8, End extends Exclude<Uint8 | 256, Start>>({ start, end, ...options }: Readonly<{
     typeName?: string;
     start: Start;
     end: End;

package/dist/enum/uint-range.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"uint-range.d.mts","sourceRoot":"","sources":["../../src/enum/uint-range.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAQxC,eAAO,MAAM,SAAS,GACpB,KAAK,SAAS,KAAK,EACnB,GAAG,SAAS,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,EACjC,4BAIC,QAAQ,CAAC;IACV,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,KAAK,CAAC;IACb,GAAG,EAAE,GAAG,CAAC;IACT,YAAY,CAAC,EAAE,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;CACtC,CAAC,KAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAwC9B,CAAC"}
+{"version":3,"file":"uint-range.d.mts","sourceRoot":"","sources":["../../src/enum/uint-range.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAQxC,eAAO,MAAM,SAAS,GACpB,KAAK,SAAS,KAAK,EACnB,GAAG,SAAS,OAAO,CAAC,KAAK,GAAG,GAAG,EAAE,KAAK,CAAC,EACvC,4BAIC,QAAQ,CAAC;IACV,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,KAAK,CAAC;IACb,GAAG,EAAE,GAAG,CAAC;IACT,YAAY,CAAC,EAAE,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;CACtC,CAAC,KAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAwC9B,CAAC"}

package/dist/index.d.mts

@@ -2,6 +2,7 @@ export * from './array/index.mjs';
 export * from './branded/index.mjs';
 export * from './compose/index.mjs';
 export * from './enum/index.mjs';
+export * from './predefined/index.mjs';
 export * from './primitives/index.mjs';
 export * from './record/index.mjs';
 export * from './type.mjs';

package/dist/index.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.mts","sourceRoot":"","sources":["../src/index.mts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC;AAClC,cAAc,qBAAqB,CAAC;AACpC,cAAc,qBAAqB,CAAC;AACpC,cAAc,kBAAkB,CAAC;AACjC,cAAc,wBAAwB,CAAC;AACvC,cAAc,oBAAoB,CAAC;AACnC,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,mBAAmB,CAAC"}
+{"version":3,"file":"index.d.mts","sourceRoot":"","sources":["../src/index.mts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC;AAClC,cAAc,qBAAqB,CAAC;AACpC,cAAc,qBAAqB,CAAC;AACpC,cAAc,kBAAkB,CAAC;AACjC,cAAc,wBAAwB,CAAC;AACvC,cAAc,wBAAwB,CAAC;AACvC,cAAc,oBAAoB,CAAC;AACnC,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,mBAAmB,CAAC"}

package/dist/index.mjs

@@ -26,7 +26,11 @@ export { mergeRecords } from './compose/merge-records.mjs';
 export { recursion } from './compose/recursion.mjs';
 export { union } from './compose/union.mjs';
 export { enumType } from './enum/enum.mjs';
+export { intRange } from './enum/int-range.mjs';
 export { uintRange } from './enum/uint-range.mjs';
+export { int8 } from './predefined/int8.mjs';
+export { JsonObject, JsonPrimitive, JsonValue } from './predefined/json.mjs';
+export { uint8 } from './predefined/uint8.mjs';
 export { bigint, bigintLiteral } from './primitives/bigint.mjs';
 export { boolean, booleanLiteral } from './primitives/boolean.mjs';
 export { nullType } from './primitives/null.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/predefined/index.d.mts

@@ -0,0 +1,4 @@
+export * from './int8.mjs';
+export * from './json.mjs';
+export * from './uint8.mjs';
+//# sourceMappingURL=index.d.mts.map

package/dist/predefined/index.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.mts","sourceRoot":"","sources":["../../src/predefined/index.mts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC"}

package/dist/predefined/index.mjs

@@ -0,0 +1,4 @@
+export { int8 } from './int8.mjs';
+export { JsonObject, JsonPrimitive, JsonValue } from './json.mjs';
+export { uint8 } from './uint8.mjs';
+//# sourceMappingURL=index.mjs.map

package/dist/predefined/index.mjs.map

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

package/dist/predefined/int8.d.mts

@@ -0,0 +1,3 @@
+import { type Type } from '../type.mjs';
+export declare const int8: (defaultValue?: Int8) => Type<Int8>;
+//# sourceMappingURL=int8.d.mts.map

package/dist/predefined/int8.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"int8.d.mts","sourceRoot":"","sources":["../../src/predefined/int8.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAExC,eAAO,MAAM,IAAI,GAAI,eAAc,IAAQ,KAAG,IAAI,CAAC,IAAI,CAKnD,CAAC"}

package/dist/predefined/int8.mjs

@@ -0,0 +1,11 @@
+import 'ts-data-forge';
+import { intRange } from '../enum/int-range.mjs';
+
+const int8 = (defaultValue = 0) => intRange({
+    start: -128,
+    end: 128,
+    defaultValue,
+});
+
+export { int8 };
+//# sourceMappingURL=int8.mjs.map

package/dist/predefined/int8.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"int8.mjs","sources":["../../src/predefined/int8.mts"],"sourcesContent":[null],"names":[],"mappings":";;;AAGO,MAAM,IAAI,GAAG,CAAC,YAAA,GAAqB,CAAC,KACzC,QAAQ,CAAC;IACP,KAAK,EAAE,IAAI;AACX,IAAA,GAAG,EAAE,GAAG;IACR,YAAY;AACb,CAAA;;;;"}

package/dist/predefined/json.d.mts

@@ -0,0 +1,47 @@
+import { type Type } from '../type.mjs';
+export declare const JsonPrimitive: Readonly<{
+    typeName: string;
+    defaultValue: string | number | boolean | null;
+    is: (a: unknown) => a is string | number | boolean | null;
+    assertIs: (a: unknown) => asserts a is string | number | boolean | null;
+    cast: (a: unknown) => string | number | boolean | null;
+    fill: (a: unknown) => string | number | boolean | null;
+    validate: (a: unknown) => import("ts-data-forge").Result<string | number | boolean | null, readonly Readonly<{
+        path: readonly string[];
+        actualValue: unknown;
+        expectedType: string;
+        message: string | undefined;
+        typeName: string;
+    }>[]>;
+    optional?: true;
+}>;
+export declare const JsonValue: Type<JsonValue>;
+export declare const JsonObject: Readonly<{
+    typeName: string;
+    defaultValue: {
+        readonly [x: string]: JsonValue;
+    };
+    is: (a: unknown) => a is {
+        readonly [x: string]: JsonValue;
+    };
+    assertIs: (a: unknown) => asserts a is {
+        readonly [x: string]: JsonValue;
+    };
+    cast: (a: unknown) => {
+        readonly [x: string]: JsonValue;
+    };
+    fill: (a: unknown) => {
+        readonly [x: string]: JsonValue;
+    };
+    validate: (a: unknown) => import("ts-data-forge").Result<{
+        readonly [x: string]: JsonValue;
+    }, readonly Readonly<{
+        path: readonly string[];
+        actualValue: unknown;
+        expectedType: string;
+        message: string | undefined;
+        typeName: string;
+    }>[]>;
+    optional?: true;
+}>;
+//# sourceMappingURL=json.d.mts.map

package/dist/predefined/json.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"json.d.mts","sourceRoot":"","sources":["../../src/predefined/json.mts"],"names":[],"mappings":"AAKA,OAAO,EAAE,KAAK,IAAI,EAAe,MAAM,aAAa,CAAC;AAErD,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;EAAmD,CAAC;AAW9E,eAAO,MAAM,SAAS,EAAE,IAAI,CAAC,SAAS,CAErC,CAAC;AAYF,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;EAAsC,CAAC"}

package/dist/predefined/json.mjs

@@ -0,0 +1,16 @@
+import 'ts-data-forge';
+import { array } from '../array/array.mjs';
+import { recursion } from '../compose/recursion.mjs';
+import { union } from '../compose/union.mjs';
+import { boolean } from '../primitives/boolean.mjs';
+import { nullType } from '../primitives/null.mjs';
+import { number } from '../primitives/number.mjs';
+import { string } from '../primitives/string.mjs';
+import { keyValueRecord } from '../record/key-value-record.mjs';
+
+const JsonPrimitive = union([nullType, number(), string(), boolean()]);
+const JsonValue = recursion('JsonValue', () => union([JsonPrimitive, keyValueRecord(string(), JsonValue), array(JsonValue)]));
+const JsonObject = keyValueRecord(string(), JsonValue);
+
+export { JsonObject, JsonPrimitive, JsonValue };
+//# sourceMappingURL=json.mjs.map

package/dist/predefined/json.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"json.mjs","sources":["../../src/predefined/json.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;;MAOa,aAAa,GAAG,KAAK,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC;AAWrE,MAAM,SAAS,GAAoB,SAAS,CAAC,WAAW,EAAE,MAC/D,KAAK,CAAC,CAAC,aAAa,EAAE,cAAc,CAAC,MAAM,EAAE,EAAE,SAAS,CAAC,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;AAaxE,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,EAAE,EAAE,SAAS;;;;"}

package/dist/predefined/uint8.d.mts

@@ -0,0 +1,3 @@
+import { type Type } from '../type.mjs';
+export declare const uint8: (defaultValue?: Uint8) => Type<Uint8>;
+//# sourceMappingURL=uint8.d.mts.map

package/dist/predefined/uint8.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"uint8.d.mts","sourceRoot":"","sources":["../../src/predefined/uint8.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAExC,eAAO,MAAM,KAAK,GAAI,eAAc,KAAS,KAAG,IAAI,CAAC,KAAK,CAKtD,CAAC"}

package/dist/predefined/uint8.mjs

@@ -0,0 +1,11 @@
+import 'ts-data-forge';
+import { uintRange } from '../enum/uint-range.mjs';
+
+const uint8 = (defaultValue = 0) => uintRange({
+    start: 0,
+    end: 256,
+    defaultValue,
+});
+
+export { uint8 };
+//# sourceMappingURL=uint8.mjs.map

package/dist/predefined/uint8.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"uint8.mjs","sources":["../../src/predefined/uint8.mts"],"sourcesContent":[null],"names":[],"mappings":";;;AAGO,MAAM,KAAK,GAAG,CAAC,YAAA,GAAsB,CAAC,KAC3C,SAAS,CAAC;AACR,IAAA,KAAK,EAAE,CAAC;AACR,IAAA,GAAG,EAAE,GAAG;IACR,YAAY;AACb,CAAA;;;;"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ts-fortress",
-  "version": "2.3.0",
+  "version": "2.5.0",
   "private": false,
   "keywords": [
     "typescript"
@@ -57,7 +57,7 @@
     "ts-type-forge": "^2.2.0"
   },
   "devDependencies": {
-    "@eslint/js": "^9.33.0",
+    "@eslint/js": "^9.34.0",
     "@rollup/plugin-replace": "^6.0.2",
     "@rollup/plugin-strip": "^3.0.4",
     "@rollup/plugin-typescript": "^12.1.4",
@@ -68,12 +68,12 @@
     "@semantic-release/github": "^11.0.4",
     "@semantic-release/npm": "^12.0.2",
     "@semantic-release/release-notes-generator": "^14.0.3",
-    "@types/node": "^24.2.1",
+    "@types/node": "^24.3.0",
     "@vitest/coverage-v8": "^3.2.4",
     "@vitest/ui": "^3.2.4",
     "conventional-changelog-conventionalcommits": "^9.1.0",
     "cspell": "^9.2.0",
-    "eslint": "^9.33.0",
+    "eslint": "^9.34.0",
     "eslint-import-resolver-typescript": "4.4.4",
     "eslint-plugin-array-func": "5.0.2",
     "eslint-plugin-functional": "9.0.2",
@@ -89,16 +89,16 @@
     "prettier": "^3.6.2",
     "prettier-plugin-organize-imports": "^4.2.0",
     "prettier-plugin-packagejson": "^2.5.19",
-    "rollup": "^4.46.2",
+    "rollup": "^4.48.0",
     "semantic-release": "^24.2.7",
-    "ts-repo-utils": "^6.0.0",
+    "ts-repo-utils": "^6.0.3",
     "tslib": "^2.8.1",
     "tsx": "^4.20.4",
     "typedoc": "^0.28.10",
     "typedoc-plugin-markdown": "^4.8.1",
     "typescript": "^5.9.2",
-    "typescript-eslint": "^8.39.1",
+    "typescript-eslint": "^8.40.0",
     "vitest": "^3.2.4",
-    "zod": "^4.0.17"
+    "zod": "^4.1.0"
   }
 }

package/src/enum/index.mts

@@ -1,2 +1,3 @@
 export * from './enum.mjs';
+export * from './int-range.mjs';
 export * from './uint-range.mjs';

package/src/enum/int-range.mts

@@ -0,0 +1,98 @@
+import { expectType, isNumber, Num, Result } from 'ts-data-forge';
+import { type Type } from '../type.mjs';
+import {
+  createAssertFn,
+  createCastFn,
+  createIsFn,
+  type ValidationErrorWithMessage,
+} from '../utils/index.mjs';
+
+export const intRange = <Start extends Int8 | -128, End extends Int8 | 128>({
+  start,
+  end,
+  ...options
+}: Readonly<{
+  typeName?: string;
+  start: Start;
+  end: End;
+  defaultValue?: IntRange<Start, End>;
+}>): Type<IntRange<Start, End>> => {
+  type T = IntRange<Start, End>;
+
+  const typeNameFilled = options.typeName ?? `intRange(${start}, ${end})`;
+
+  const defaultValue: T =
+    options.defaultValue ??
+    // eslint-disable-next-line @typescript-eslint/no-unsafe-type-assertion
+    (start as T);
+
+  const validate: Type<T>['validate'] = (a) => {
+    if (!(isNumber(a) && Number.isInteger(a) && Num.isInRange(start, end)(a))) {
+      return Result.err([
+        {
+          path: [],
+          actualValue: a,
+          expectedType: typeNameFilled,
+          message: `The value is expected to be an integer between ${start} and ${end - 1}`,
+          typeName: typeNameFilled,
+        } satisfies ValidationErrorWithMessage,
+      ]);
+    }
+
+    // eslint-disable-next-line @typescript-eslint/no-unsafe-type-assertion
+    return Result.ok(a as T);
+  };
+
+  const is = createIsFn<T>(validate);
+
+  const fill: Type<T>['fill'] = (a) => (is(a) ? a : defaultValue);
+
+  return {
+    typeName: typeNameFilled,
+    defaultValue,
+    fill,
+    validate,
+    is,
+    assertIs: createAssertFn(validate),
+    cast: createCastFn(validate),
+  };
+};
+
+type NegativeRange = NegativeIndex<128>;
+type PositiveRange = IndexInclusive<128>;
+
+type IntRange<Start extends Int8 | -128, End extends Int8 | 128> =
+  BoolAnd<
+    TypeExtends<Start, PositiveRange>,
+    TypeExtends<End, PositiveRange>
+  > extends true
+    ? UintRange<Start, End>
+    : BoolAnd<
+          TypeExtends<Start, NegativeRange>,
+          TypeExtends<End, PositiveRange>
+        > extends true
+      ? NegativeIndex<NegativeToPositive<Start>> | Index<End>
+      : BoolAnd<
+            TypeExtends<Start, PositiveRange>,
+            TypeExtends<End, NegativeRange>
+          > extends true
+        ? never
+        : BoolAnd<
+              TypeExtends<Start, NegativeRange>,
+              TypeExtends<End, NegativeRange>
+            > extends true
+          ? Exclude<
+              NegativeIndex<NegativeToPositive<Start>>,
+              NegativeIndex<NegativeToPositive<End>>
+            >
+          : never;
+
+type NegativeToPositive<N extends number> =
+  `${N}` extends `-${infer D extends number}` ? D : never;
+
+expectType<NegativeToPositive<-3>, 3>('=');
+
+expectType<IntRange<1, 5>, 1 | 2 | 3 | 4>('=');
+expectType<IntRange<-3, 3>, -3 | -2 | -1 | 0 | 1 | 2>('=');
+expectType<IntRange<3, -3>, never>('=');
+expectType<IntRange<-5, -1>, -5 | -4 | -3 | -2>('=');

package/src/enum/uint-range.mts

@@ -9,7 +9,7 @@ import {
 
 export const uintRange = <
   Start extends Uint8,
-  End extends Exclude<Uint8, Start>,
+  End extends Exclude<Uint8 | 256, Start>,
 >({
   start,
   end,

package/src/index.mts

@@ -2,6 +2,7 @@ export * from './array/index.mjs';
 export * from './branded/index.mjs';
 export * from './compose/index.mjs';
 export * from './enum/index.mjs';
+export * from './predefined/index.mjs';
 export * from './primitives/index.mjs';
 export * from './record/index.mjs';
 export * from './type.mjs';

package/src/predefined/index.mts

@@ -0,0 +1,3 @@
+export * from './int8.mjs';
+export * from './json.mjs';
+export * from './uint8.mjs';

package/src/predefined/int8.mts

@@ -0,0 +1,9 @@
+import { intRange } from '../enum/index.mjs';
+import { type Type } from '../type.mjs';
+
+export const int8 = (defaultValue: Int8 = 0): Type<Int8> =>
+  intRange({
+    start: -128,
+    end: 128,
+    defaultValue,
+  });

package/src/predefined/json.mts

@@ -0,0 +1,33 @@
+import { expectType } from 'ts-data-forge';
+import { array } from '../array/index.mjs';
+import { recursion, union } from '../compose/index.mjs';
+import { boolean, nullType, number, string } from '../primitives/index.mjs';
+import { keyValueRecord } from '../record/index.mjs';
+import { type Type, type TypeOf } from '../type.mjs';
+
+export const JsonPrimitive = union([nullType, number(), string(), boolean()]);
+
+if (import.meta.vitest !== undefined) {
+  test('JsonPrimitive', () => {
+    expectType<TypeOf<typeof JsonPrimitive>, JsonPrimitive>('=');
+    expectType<JsonPrimitive, null | boolean | number | string>('=');
+
+    expect(JsonPrimitive.defaultValue).toBeNull();
+  });
+}
+
+export const JsonValue: Type<JsonValue> = recursion('JsonValue', () =>
+  union([JsonPrimitive, keyValueRecord(string(), JsonValue), array(JsonValue)]),
+);
+
+if (import.meta.vitest !== undefined) {
+  test('JsonValue', () => {
+    expectType<TypeOf<typeof JsonValue>, JsonValue>('=');
+
+    expect(JsonValue.defaultValue).toBeNull();
+  });
+}
+
+type JsonObject = ReadonlyRecord<string, JsonValue>;
+
+export const JsonObject = keyValueRecord(string(), JsonValue);

package/src/predefined/uint8.mts

@@ -0,0 +1,9 @@
+import { uintRange } from '../enum/index.mjs';
+import { type Type } from '../type.mjs';
+
+export const uint8 = (defaultValue: Uint8 = 0): Type<Uint8> =>
+  uintRange({
+    start: 0,
+    end: 256,
+    defaultValue,
+  });