@bemedev/typings 0.5.2 → 0.5.3

package/lib/helpers/litterals.d.ts

@@ -1,5 +1,5 @@
 import type { Custom } from '../types';
 export declare const litterals: import("..").FnBasic<(<const T extends (string | number | boolean)[]>(...values: T) => Custom<T[number]>), object & {
-    const: "string" | "number" | "boolean";
-    type: "string" | "number" | "boolean";
+    const: import("..").UnionCustom<["string", "number", "boolean"]>;
+    type: import("..").UnionCustom<["string", "number", "boolean"]>;
 }>;

package/lib/helpers/union.d.ts

@@ -1,6 +1,6 @@
-import type { Keys, ObjectMapS, ObjectT } from '../types';
+import type { Keys, ObjectMapS, ObjectT, UnionCustom } from "../types";
 type Discriminated<K extends Keys> = ObjectMapS & Record<K, ObjectT>;
-export declare const union: import("..").FnBasic<(<T extends [ObjectT, ObjectT, ...ObjectT[]]>(...values: T) => T[number]), {
-    readonly discriminated: <const K extends Keys, T extends [Discriminated<K>, Discriminated<K>, ...Discriminated<K>[]]>(_key: K, ...values: T) => T[number];
+export declare const union: import("..").FnBasic<(<T extends [ObjectT, ObjectT, ...ObjectT[]]>(...values: T) => UnionCustom<T>), {
+    readonly discriminated: <const K extends Keys, T extends [Discriminated<K>, Discriminated<K>, ...Discriminated<K>[]]>(_key: K, ...values: T) => UnionCustom<T>;
 }>;
 export {};

package/lib/type.d.ts

@@ -1,2 +1,23 @@
-import type { Transform_F } from './type.types';
+import type { inferSh, ObjectT } from "./types";
+import { any, array, custom, intersection, litterals, object, optional, partial, primitive, primitiveObject, readonly, record, soa, sv, tuple, union } from "./helpers";
+type Helpers = {
+    any: typeof any;
+    custom: typeof custom;
+    intersection: typeof intersection;
+    litterals: typeof litterals;
+    optional: typeof optional;
+    partial: typeof partial;
+    record: typeof record;
+    soa: typeof soa;
+    sv: typeof sv;
+    union: typeof union;
+    array: typeof array;
+    tuple: typeof tuple;
+    primitiveObject: typeof primitiveObject;
+    primitive: typeof primitive;
+    readonly: typeof readonly;
+    object: typeof object;
+};
+export type Transform_F = <T extends ObjectT = ObjectT>(option?: ((helpers: Helpers) => T) | T) => inferSh<T>;
 export declare const type: Transform_F;
+export {};

package/lib/types.d.ts

@@ -1,5 +1,5 @@
-import type { ARRAY, CUSTOM, OPTIONAL, PARTIAL, PRIMITIVES, PRIMITIVE_OBJECTS, SOA } from './constants';
-import type { StandardSchemaV1 } from './standard.types';
+import type { ARRAY, CUSTOM, OPTIONAL, PARTIAL, PRIMITIVES, PRIMITIVE_OBJECTS, SOA, UNION } from "./constants";
+import type { StandardSchemaV1 } from "./standard.types";
 export type Ru = Record<Keys, unknown>;
 export type TrueObject = Ru & {
     [Symbol.iterator]?: never;
@@ -27,15 +27,18 @@ export type SingleOrRecursiveArrayOf<T> = T | RecursiveArrayOf<T>;
 export type SoRa<T> = SingleOrRecursiveArrayOf<T>;
 export type Primitive = string | number | boolean | bigint | null | undefined | symbol | never;
 export type PrimitiveT = (typeof PRIMITIVES)[number];
-type TransformPrimitiveS<T extends PrimitiveT> = T extends 'string' ? string : T extends 'number' ? number : T extends 'boolean' ? boolean : T extends 'bigint' ? bigint : T extends 'null' ? null : T extends 'undefined' ? undefined : T extends 'symbol' ? symbol : T extends 'never' ? never : Primitive;
+type TransformPrimitiveS<T extends PrimitiveT> = T extends "string" ? string : T extends "number" ? number : T extends "boolean" ? boolean : T extends "bigint" ? bigint : T extends "null" ? null : T extends "undefined" ? undefined : T extends "symbol" ? symbol : T extends "never" ? never : Primitive;
 export type Types = PrimitiveT | (typeof PRIMITIVE_OBJECTS)[number];
-export type TransformTypes<T extends Types> = T extends PrimitiveT ? TransformPrimitiveS<T> : T extends 'date' ? Date : T extends 'any' ? any : T extends 'unknown' ? unknown : object;
+export type TransformTypes<T extends Types> = T extends PrimitiveT ? TransformPrimitiveS<T> : T extends "date" ? Date : T extends "any" ? any : T extends "unknown" ? unknown : object;
 export type Custom<T = any> = {
     [CUSTOM]: T;
 };
-export type SoaCustom<T extends ObjectT = any> = {
+export type SoaCustom<T extends ObjectT = ObjectT> = {
     [SOA]: T;
 };
+export type UnionCustom<T extends ObjectT[] = ObjectT[]> = {
+    [UNION]: T;
+};
 export type PartialCustom = {
     [PARTIAL]: undefined;
 };
@@ -59,7 +62,7 @@ export type IntersectionCustom<T extends ObjectMapS[]> = T extends [
     ...infer Rest extends ObjectMapS[]
 ] ? First & IntersectionCustom<Rest> : unknown;
 type _ObjectT = __ObjectT | Optional | ArrayCustom;
-export type PrimitiveObjectT = SoRa<Types | ArrayCustom<Types> | Optional<Types> | PrimitiveObjectMapS | (PrimitiveObjectMapS & PartialCustom)>;
+export type PrimitiveObjectT = SoRa<Types | PrimitiveObjectMapS | ArrayCustom<Types | PrimitiveObjectMapS> | Optional<Types | PrimitiveObjectMapS> | UnionCustom<Types[] | PrimitiveObjectMapS[]> | (PrimitiveObjectMapS & PartialCustom)>;
 export interface PrimitiveObjectMapS {
     [key: Keys]: PrimitiveObjectT;
 }
@@ -77,8 +80,8 @@ type ReduceTuple2<T extends AnyArray<ObjectT>> = T extends [
 type ReduceTupleU<T extends AnyArray> = T extends [
     infer First,
     ...infer Rest extends AnyArray
-] ? [Undefiny<First>, ...ReduceTupleU<Rest>] : T[number] extends never ? [] : T['length'] extends 0 ? [] : number extends T['length'] ? T : Undefiny<T[number]>[];
-type __TransformPrimitiveObject<T> = T extends Types ? TransformTypes<T> : T extends ArrayCustom<infer A> ? TransformT<A>[] : T extends SoaCustom<infer TSoA> ? SoA<__TransformPrimitiveObject<TSoA>> : T extends Custom<infer TCustom> ? TCustom : T extends AnyArray<ObjectT> ? ReduceTuple2<T> : T extends PartialCustom ? Partial<__TransformPrimitiveObject<NOmit<T, typeof PARTIAL>>> : T extends Optional<infer TOptional> ? __TransformPrimitiveObject<TOptional> | OptionalHelperClass : {
+] ? [Undefiny<First>, ...ReduceTupleU<Rest>] : T[number] extends never ? [] : T["length"] extends 0 ? [] : number extends T["length"] ? T : Undefiny<T[number]>[];
+type __TransformPrimitiveObject<T> = T extends Types ? TransformTypes<T> : T extends ArrayCustom<infer A> ? TransformT<A>[] : T extends UnionCustom<infer TCustom> ? TransformT<TCustom[number]> : T extends SoaCustom<infer TSoA> ? SoA<__TransformPrimitiveObject<TSoA>> : T extends Custom<infer TCustom> ? TCustom : T extends AnyArray<ObjectT> ? ReduceTuple2<T> : T extends PartialCustom ? Partial<__TransformPrimitiveObject<NOmit<T, typeof PARTIAL>>> : T extends Optional<infer TOptional> ? __TransformPrimitiveObject<TOptional> | OptionalHelperClass : {
     [K in keyof T]: __TransformPrimitiveObject<T[K]>;
 };
 type HasUndefined<T> = unknown extends T ? false : OptionalHelperClass extends T ? true : false;
@@ -98,7 +101,7 @@ export type Sh<T = any> = StandardHelper<T>;
 export type StandardOutput<T = any> = StandardSchemaV1<any, T>;
 export type inferO<T extends ObjectT = ObjectT> = ObjectT extends T ? unknown : TransformT<T>;
 export type inferSh<T extends ObjectT = ObjectT> = Sh<inferO<T>>;
-export type inferT<T extends StandardOutput = StandardOutput> = Exclude<T['~standard']['types'], undefined>['output'];
+export type inferT<T extends StandardOutput = StandardOutput> = Exclude<T["~standard"]["types"], undefined>["output"];
 export type ProduceObject<T extends ObjectT = ObjectT> = T;
 export type FnBasic<Main extends Fn, Tr extends object> = Tr & Main;
 export {};

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@bemedev/typings",
-  "version": "0.5.2",
+  "version": "0.5.3",
   "description": "Typings by variables",
   "author": {
     "email": "bri_lvi@icloud.com",
@@ -100,24 +100,24 @@
     }
   ],
   "devDependencies": {
-    "@bemedev/dev-utils": "^0.6.2",
+    "@bemedev/dev-utils": "^0.6.4",
     "@bemedev/fsf": "^1.0.1",
     "@size-limit/file": "^12.1.0",
     "@types/node": "^25.6.0",
-    "@vitest/coverage-v8": "^4.1.4",
-    "@vitest/ui": "4.1.4",
+    "@vitest/coverage-v8": "^4.1.5",
+    "@vitest/ui": "4.1.5",
     "glob": "^13.0.6",
     "globals": "^17.5.0",
     "husky": "^9.1.7",
     "onchange": "^7.1.0",
-    "oxfmt": "^0.45.0",
-    "oxlint": "^1.60.0",
+    "oxfmt": "^0.46.0",
+    "oxlint": "^1.61.0",
     "pretty-quick": "^4.2.2",
-    "rolldown": "1.0.0-rc.16",
+    "rolldown": "1.0.0-rc.17",
     "size-limit": "^12.1.0",
     "tslib": "^2.8.1",
     "typescript": "^6.0.3",
-    "vitest": "^4.1.4"
+    "vitest": "^4.1.5"
   },
   "pnpm": {
     "onlyBuiltDependencies": [

package/lib/type.types.d.ts

@@ -1,21 +0,0 @@
-import type { any, array, custom, intersection, litterals, optional, partial, primitive, primitiveObject, readonly, record, soa, sv, tuple, union, object } from './helpers';
-import type { ObjectT, inferSh } from './types';
-export type Helpers = {
-    any: typeof any;
-    custom: typeof custom;
-    intersection: typeof intersection;
-    litterals: typeof litterals;
-    optional: typeof optional;
-    partial: typeof partial;
-    record: typeof record;
-    soa: typeof soa;
-    sv: typeof sv;
-    union: typeof union;
-    array: typeof array;
-    tuple: typeof tuple;
-    primitiveObject: typeof primitiveObject;
-    primitive: typeof primitive;
-    readonly: typeof readonly;
-    object: typeof object;
-};
-export type Transform_F = <T extends ObjectT = ObjectT>(option?: ((helpers: Helpers) => T) | T) => inferSh<T>;