@bemedev/typings 0.4.0 → 0.4.2

package/lib/type.types.d.ts

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

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 } from './constants';
+import type { StandardSchemaV1 } from './standard.types';
 export type Ru = Record<Keys, unknown>;
 export type TrueObject = Ru & {
     [Symbol.iterator]?: never;
@@ -27,9 +27,9 @@ 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;
 };
@@ -77,7 +77,7 @@ 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]>[];
+] ? [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 : {
     [K in keyof T]: __TransformPrimitiveObject<T[K]>;
 };
@@ -95,7 +95,9 @@ export type StandardHelper<T = any> = {
     value: T;
 } & StandardSchemaV1<T, T>;
 export type Sh<T = any> = StandardHelper<T>;
-export type inferT<T extends ObjectT = ObjectT> = ObjectT extends T ? Sh<unknown> : Sh<TransformT<T>>;
-export type infer<T extends Sh> = T["value"];
+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 Sh> = T['value'];
+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.4.0",
+  "version": "0.4.2",
   "description": "Typings by variables",
   "author": {
     "email": "bri_lvi@icloud.com",