ts-fortress 2.8.0 → 2.9.0

package/dist/entry-point.mjs

@@ -29,6 +29,7 @@ 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 { literal } from './other-types/literal.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

@@ -28,6 +28,7 @@ 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 { literal } from './other-types/literal.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,2 +1,3 @@
+export * from './literal.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"}
+{"version":3,"file":"index.d.mts","sourceRoot":"","sources":["../../src/other-types/index.mts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,eAAe,CAAC"}

package/dist/other-types/index.mjs

@@ -1,2 +1,3 @@
+export { literal } from './literal.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/literal.d.mts

@@ -0,0 +1,3 @@
+import { type Type } from '../type.mjs';
+export declare const literal: <L extends Extract<Primitive, string | number | bigint | boolean>>(value: L) => Type<L>;
+//# sourceMappingURL=literal.d.mts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"literal.d.mts","sourceRoot":"","sources":["../../src/other-types/literal.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAGxC,eAAO,MAAM,OAAO,GAClB,CAAC,SAAS,OAAO,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,EAEhE,OAAO,CAAC,KACP,IAAI,CAAC,CAAC,CASL,CAAC"}

package/dist/other-types/literal.mjs

@@ -0,0 +1,15 @@
+import { isString, isBigint } from 'ts-data-forge';
+import { createPrimitiveType } from '../utils/create-primitive-type.mjs';
+
+const literal = (value) => createPrimitiveType({
+    typeName: isString(value)
+        ? `literal("${value}")`
+        : isBigint(value)
+            ? `literal(${value}n)`
+            : `literal(${value})`,
+    defaultValue: value,
+    is: (u) => u === value,
+});
+
+export { literal };
+//# sourceMappingURL=literal.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"literal.mjs","sources":["../../src/other-types/literal.mts"],"sourcesContent":[null],"names":[],"mappings":";;;AAIO,MAAM,OAAO,GAAG,CAGrB,KAAQ,KAER,mBAAmB,CAAC;AAClB,IAAA,QAAQ,EAAE,QAAQ,CAAC,KAAK;UACpB,CAAA,SAAA,EAAY,KAAK,CAAA,EAAA;AACnB,UAAE,QAAQ,CAAC,KAAK;cACZ,CAAA,QAAA,EAAW,KAAK,CAAA,EAAA;cAChB,CAAA,QAAA,EAAW,KAAK,CAAA,CAAA,CAAG;AACzB,IAAA,YAAY,EAAE,KAAK;IACnB,EAAE,EAAE,CAAC,CAAU,KAAa,CAAC,KAAK,KAAK;AACxC,CAAA;;;;"}

package/dist/primitives/bigint.d.mts

@@ -1,4 +1,5 @@
 import { type Type } from '../type.mjs';
 export declare const bigint: (defaultValue?: bigint) => Type<bigint>;
+/** @deprecated Use `literal` instead. */
 export declare const bigintLiteral: <L extends bigint>(literal: L) => Type<L>;
 //# sourceMappingURL=bigint.d.mts.map

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

@@ -1 +1 @@
-{"version":3,"file":"bigint.d.mts","sourceRoot":"","sources":["../../src/primitives/bigint.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAGxC,eAAO,MAAM,MAAM,GAAI,eAAc,MAAW,KAAG,IAAI,CAAC,MAAM,CACW,CAAC;AAE1E,eAAO,MAAM,aAAa,GAAI,CAAC,SAAS,MAAM,EAAE,SAAS,CAAC,KAAG,IAAI,CAAC,CAAC,CAK/D,CAAC"}
+{"version":3,"file":"bigint.d.mts","sourceRoot":"","sources":["../../src/primitives/bigint.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAGxC,eAAO,MAAM,MAAM,GAAI,eAAc,MAAW,KAAG,IAAI,CAAC,MAAM,CACW,CAAC;AAE1E,yCAAyC;AACzC,eAAO,MAAM,aAAa,GAAI,CAAC,SAAS,MAAM,EAAE,SAAS,CAAC,KAAG,IAAI,CAAC,CAAC,CAK/D,CAAC"}

package/dist/primitives/bigint.mjs

@@ -2,6 +2,7 @@ import { isBigint } from 'ts-data-forge';
 import { createPrimitiveType } from '../utils/create-primitive-type.mjs';
 
 const bigint = (defaultValue = 0n) => createPrimitiveType({ typeName: 'bigint', defaultValue, is: isBigint });
+/** @deprecated Use `literal` instead. */
 const bigintLiteral = (literal) => createPrimitiveType({
     typeName: `bigintLiteral(${literal})`,
     defaultValue: literal,

package/dist/primitives/bigint.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"bigint.mjs","sources":["../../src/primitives/bigint.mts"],"sourcesContent":[null],"names":[],"mappings":";;;AAIO,MAAM,MAAM,GAAG,CAAC,eAAuB,EAAE,KAC9C,mBAAmB,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE;AAEjE,MAAM,aAAa,GAAG,CAAmB,OAAU,KACxD,mBAAmB,CAAC;IAClB,QAAQ,EAAE,CAAA,cAAA,EAAiB,OAAO,CAAA,CAAA,CAAG;AACrC,IAAA,YAAY,EAAE,OAAO;IACrB,EAAE,EAAE,CAAC,KAAc,KAAiB,KAAK,KAAK,OAAO;AACtD,CAAA;;;;"}
+{"version":3,"file":"bigint.mjs","sources":["../../src/primitives/bigint.mts"],"sourcesContent":[null],"names":[],"mappings":";;;AAIO,MAAM,MAAM,GAAG,CAAC,eAAuB,EAAE,KAC9C,mBAAmB,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE;AAExE;AACO,MAAM,aAAa,GAAG,CAAmB,OAAU,KACxD,mBAAmB,CAAC;IAClB,QAAQ,EAAE,CAAA,cAAA,EAAiB,OAAO,CAAA,CAAA,CAAG;AACrC,IAAA,YAAY,EAAE,OAAO;IACrB,EAAE,EAAE,CAAC,KAAc,KAAiB,KAAK,KAAK,OAAO;AACtD,CAAA;;;;"}

package/dist/primitives/boolean.d.mts

@@ -1,4 +1,5 @@
 import { type Type } from '../type.mjs';
 export declare const boolean: (defaultValue?: boolean) => Type<boolean>;
+/** @deprecated Use `literal` instead. */
 export declare const booleanLiteral: <L extends boolean>(literal: L) => Type<L>;
 //# sourceMappingURL=boolean.d.mts.map

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

@@ -1 +1 @@
-{"version":3,"file":"boolean.d.mts","sourceRoot":"","sources":["../../src/primitives/boolean.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAGxC,eAAO,MAAM,OAAO,GAAI,eAAc,OAAe,KAAG,IAAI,CAAC,OAAO,CACO,CAAC;AAE5E,eAAO,MAAM,cAAc,GAAI,CAAC,SAAS,OAAO,EAAE,SAAS,CAAC,KAAG,IAAI,CAAC,CAAC,CAKjE,CAAC"}
+{"version":3,"file":"boolean.d.mts","sourceRoot":"","sources":["../../src/primitives/boolean.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAGxC,eAAO,MAAM,OAAO,GAAI,eAAc,OAAe,KAAG,IAAI,CAAC,OAAO,CACO,CAAC;AAE5E,yCAAyC;AACzC,eAAO,MAAM,cAAc,GAAI,CAAC,SAAS,OAAO,EAAE,SAAS,CAAC,KAAG,IAAI,CAAC,CAAC,CAKjE,CAAC"}

package/dist/primitives/boolean.mjs

@@ -2,6 +2,7 @@ import { isBoolean } from 'ts-data-forge';
 import { createPrimitiveType } from '../utils/create-primitive-type.mjs';
 
 const boolean = (defaultValue = false) => createPrimitiveType({ typeName: 'boolean', defaultValue, is: isBoolean });
+/** @deprecated Use `literal` instead. */
 const booleanLiteral = (literal) => createPrimitiveType({
     typeName: `booleanLiteral(${String(literal)})`,
     defaultValue: literal,

package/dist/primitives/boolean.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"boolean.mjs","sources":["../../src/primitives/boolean.mts"],"sourcesContent":[null],"names":[],"mappings":";;;AAIO,MAAM,OAAO,GAAG,CAAC,eAAwB,KAAK,KACnD,mBAAmB,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,EAAE,EAAE,SAAS,EAAE;AAEnE,MAAM,cAAc,GAAG,CAAoB,OAAU,KAC1D,mBAAmB,CAAC;AAClB,IAAA,QAAQ,EAAE,CAAA,eAAA,EAAkB,MAAM,CAAC,OAAO,CAAC,CAAA,CAAA,CAAG;AAC9C,IAAA,YAAY,EAAE,OAAO;IACrB,EAAE,EAAE,CAAC,KAAc,KAAiB,KAAK,KAAK,OAAO;AACtD,CAAA;;;;"}
+{"version":3,"file":"boolean.mjs","sources":["../../src/primitives/boolean.mts"],"sourcesContent":[null],"names":[],"mappings":";;;AAIO,MAAM,OAAO,GAAG,CAAC,eAAwB,KAAK,KACnD,mBAAmB,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,EAAE,EAAE,SAAS,EAAE;AAE1E;AACO,MAAM,cAAc,GAAG,CAAoB,OAAU,KAC1D,mBAAmB,CAAC;AAClB,IAAA,QAAQ,EAAE,CAAA,eAAA,EAAkB,MAAM,CAAC,OAAO,CAAC,CAAA,CAAA,CAAG;AAC9C,IAAA,YAAY,EAAE,OAAO;IACrB,EAAE,EAAE,CAAC,KAAc,KAAiB,KAAK,KAAK,OAAO;AACtD,CAAA;;;;"}

package/dist/primitives/number.d.mts

@@ -1,4 +1,5 @@
 import { type Type } from '../type.mjs';
 export declare const number: (defaultValue?: number) => Type<number>;
+/** @deprecated Use `literal` instead. */
 export declare const numberLiteral: <L extends number>(literal: L) => Type<L>;
 //# sourceMappingURL=number.d.mts.map

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

@@ -1 +1 @@
-{"version":3,"file":"number.d.mts","sourceRoot":"","sources":["../../src/primitives/number.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAGxC,eAAO,MAAM,MAAM,GAAI,eAAc,MAAU,KAAG,IAAI,CAAC,MAAM,CACY,CAAC;AAE1E,eAAO,MAAM,aAAa,GAAI,CAAC,SAAS,MAAM,EAAE,SAAS,CAAC,KAAG,IAAI,CAAC,CAAC,CAK/D,CAAC"}
+{"version":3,"file":"number.d.mts","sourceRoot":"","sources":["../../src/primitives/number.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAGxC,eAAO,MAAM,MAAM,GAAI,eAAc,MAAU,KAAG,IAAI,CAAC,MAAM,CACY,CAAC;AAE1E,yCAAyC;AACzC,eAAO,MAAM,aAAa,GAAI,CAAC,SAAS,MAAM,EAAE,SAAS,CAAC,KAAG,IAAI,CAAC,CAAC,CAK/D,CAAC"}

package/dist/primitives/number.mjs

@@ -2,6 +2,7 @@ import { isNumber } from 'ts-data-forge';
 import { createPrimitiveType } from '../utils/create-primitive-type.mjs';
 
 const number = (defaultValue = 0) => createPrimitiveType({ typeName: 'number', defaultValue, is: isNumber });
+/** @deprecated Use `literal` instead. */
 const numberLiteral = (literal) => createPrimitiveType({
     typeName: `numberLiteral(${literal})`,
     defaultValue: literal,

package/dist/primitives/number.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"number.mjs","sources":["../../src/primitives/number.mts"],"sourcesContent":[null],"names":[],"mappings":";;;AAIO,MAAM,MAAM,GAAG,CAAC,eAAuB,CAAC,KAC7C,mBAAmB,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE;AAEjE,MAAM,aAAa,GAAG,CAAmB,OAAU,KACxD,mBAAmB,CAAC;IAClB,QAAQ,EAAE,CAAA,cAAA,EAAiB,OAAO,CAAA,CAAA,CAAG;AACrC,IAAA,YAAY,EAAE,OAAO;IACrB,EAAE,EAAE,CAAC,KAAc,KAAiB,KAAK,KAAK,OAAO;AACtD,CAAA;;;;"}
+{"version":3,"file":"number.mjs","sources":["../../src/primitives/number.mts"],"sourcesContent":[null],"names":[],"mappings":";;;AAIO,MAAM,MAAM,GAAG,CAAC,eAAuB,CAAC,KAC7C,mBAAmB,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE;AAExE;AACO,MAAM,aAAa,GAAG,CAAmB,OAAU,KACxD,mBAAmB,CAAC;IAClB,QAAQ,EAAE,CAAA,cAAA,EAAiB,OAAO,CAAA,CAAA,CAAG;AACrC,IAAA,YAAY,EAAE,OAAO;IACrB,EAAE,EAAE,CAAC,KAAc,KAAiB,KAAK,KAAK,OAAO;AACtD,CAAA;;;;"}

package/dist/primitives/string.d.mts

@@ -1,4 +1,5 @@
 import { type Type } from '../type.mjs';
 export declare const string: (defaultValue?: string) => Type<string>;
+/** @deprecated Use `literal` instead. */
 export declare const stringLiteral: <L extends string>(literal: L) => Type<L>;
 //# 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":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAGxC,eAAO,MAAM,MAAM,GAAI,eAAc,MAAW,KAAG,IAAI,CAAC,MAAM,CACW,CAAC;AAE1E,eAAO,MAAM,aAAa,GAAI,CAAC,SAAS,MAAM,EAAE,SAAS,CAAC,KAAG,IAAI,CAAC,CAAC,CAK/D,CAAC"}
+{"version":3,"file":"string.d.mts","sourceRoot":"","sources":["../../src/primitives/string.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAGxC,eAAO,MAAM,MAAM,GAAI,eAAc,MAAW,KAAG,IAAI,CAAC,MAAM,CACW,CAAC;AAE1E,yCAAyC;AACzC,eAAO,MAAM,aAAa,GAAI,CAAC,SAAS,MAAM,EAAE,SAAS,CAAC,KAAG,IAAI,CAAC,CAAC,CAK/D,CAAC"}

package/dist/primitives/string.mjs

@@ -2,6 +2,7 @@ import { isString } from 'ts-data-forge';
 import { createPrimitiveType } from '../utils/create-primitive-type.mjs';
 
 const string = (defaultValue = '') => createPrimitiveType({ typeName: 'string', defaultValue, is: isString });
+/** @deprecated Use `literal` instead. */
 const stringLiteral = (literal) => createPrimitiveType({
     typeName: `stringLiteral("${literal}")`,
     defaultValue: literal,

package/dist/primitives/string.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"string.mjs","sources":["../../src/primitives/string.mts"],"sourcesContent":[null],"names":[],"mappings":";;;AAIO,MAAM,MAAM,GAAG,CAAC,eAAuB,EAAE,KAC9C,mBAAmB,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE;AAEjE,MAAM,aAAa,GAAG,CAAmB,OAAU,KACxD,mBAAmB,CAAC;IAClB,QAAQ,EAAE,CAAA,eAAA,EAAkB,OAAO,CAAA,EAAA,CAAI;AACvC,IAAA,YAAY,EAAE,OAAO;IACrB,EAAE,EAAE,CAAC,KAAc,KAAiB,KAAK,KAAK,OAAO;AACtD,CAAA;;;;"}
+{"version":3,"file":"string.mjs","sources":["../../src/primitives/string.mts"],"sourcesContent":[null],"names":[],"mappings":";;;AAIO,MAAM,MAAM,GAAG,CAAC,eAAuB,EAAE,KAC9C,mBAAmB,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE;AAExE;AACO,MAAM,aAAa,GAAG,CAAmB,OAAU,KACxD,mBAAmB,CAAC;IAClB,QAAQ,EAAE,CAAA,eAAA,EAAkB,OAAO,CAAA,EAAA,CAAI;AACvC,IAAA,YAAY,EAAE,OAAO;IACrB,EAAE,EAAE,CAAC,KAAc,KAAiB,KAAK,KAAK,OAAO;AACtD,CAAA;;;;"}

package/package.json

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

package/src/array/tuple.test.mts

@@ -1,5 +1,6 @@
 import { expectType, Result } from 'ts-data-forge';
-import { number, numberLiteral, stringLiteral } from '../primitives/index.mjs';
+import { literal } from '../other-types/index.mjs';
+import { number } from '../primitives/index.mjs';
 import { record } from '../record/index.mjs';
 import { type TypeOf } from '../type.mjs';
 import {
@@ -12,14 +13,13 @@ describe('tuple', () => {
   describe('arg patterns', () => {
     test('without explicit default value', () => {
       expect(
-        tuple([numberLiteral(1), numberLiteral(2), numberLiteral(3)])
-          .defaultValue,
+        tuple([literal(1), literal(2), literal(3)]).defaultValue,
       ).toStrictEqual([1, 2, 3]);
     });
 
     test('with explicit default value', () => {
       expect(
-        tuple([numberLiteral(1), numberLiteral(2), numberLiteral(3)], {
+        tuple([literal(1), literal(2), literal(3)], {
           typeName: 'tpl',
         }).typeName,
       ).toBe('tpl');
@@ -28,8 +28,8 @@ describe('tuple', () => {
 
   const targetType = tuple([
     record({ x: number(0), y: number(0) }),
-    numberLiteral(3),
-    stringLiteral('2'),
+    literal(3),
+    literal('2'),
   ]);
 
   type TargetType = TypeOf<typeof targetType>;

package/src/compose/union.test.mts

@@ -1,5 +1,6 @@
 import { expectType, Result } from 'ts-data-forge';
-import { number, numberLiteral, stringLiteral } from '../primitives/index.mjs';
+import { literal } from '../other-types/index.mjs';
+import { number } from '../primitives/index.mjs';
 import { record } from '../record/index.mjs';
 import { type TypeOf } from '../type.mjs';
 import {
@@ -10,13 +11,9 @@ import { union } from './union.mjs';
 
 describe('union', () => {
   const targetType = union(
-    [
-      record({ x: number(0), y: number(0) }),
-      numberLiteral(3),
-      stringLiteral('2'),
-    ],
+    [record({ x: number(0), y: number(0) }), literal(3), literal('2')],
     {
-      defaultType: numberLiteral(3),
+      defaultType: literal(3),
     },
   );
 
@@ -94,14 +91,13 @@ describe('union', () => {
           path: [],
           actualValue: 5,
           expectedType:
-            'Union<{ x: number, y: number }, numberLiteral(3), stringLiteral("2")>',
-          typeName:
-            'Union<{ x: number, y: number }, numberLiteral(3), stringLiteral("2")>',
+            'Union<{ x: number, y: number }, literal(3), literal("2")>',
+          typeName: 'Union<{ x: number, y: number }, literal(3), literal("2")>',
           message:
-            'The type of value is expected to be one of the elements contained in { { x: number, y: number }, numberLiteral(3), stringLiteral("2") }',
+            'The type of value is expected to be one of the elements contained in { { x: number, y: number }, literal(3), literal("2") }',
         });
         expect(validationErrorsToMessages(result.value)).toStrictEqual([
-          'The type of value is expected to be one of the elements contained in { { x: number, y: number }, numberLiteral(3), stringLiteral("2") }',
+          'The type of value is expected to be one of the elements contained in { { x: number, y: number }, literal(3), literal("2") }',
         ]);
       }
     });

package/src/other-types/index.mts

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

package/src/other-types/literal.mts

@@ -0,0 +1,18 @@
+import { isBigint, isString } from 'ts-data-forge';
+import { type Type } from '../type.mjs';
+import { createPrimitiveType } from '../utils/index.mjs';
+
+export const literal = <
+  L extends Extract<Primitive, string | number | bigint | boolean>,
+>(
+  value: L,
+): Type<L> =>
+  createPrimitiveType({
+    typeName: isString(value)
+      ? `literal("${value}")`
+      : isBigint(value)
+        ? `literal(${value}n)`
+        : `literal(${value})`,
+    defaultValue: value,
+    is: (u: unknown): u is L => u === value,
+  });