@bemedev/typings 1.0.0 → 1.1.0

package/lib/helpers/custom.d.ts

@@ -1,4 +1,4 @@
-import type { Custom, ObjectT } from "../types";
+import type { Custom, ObjectT } from '../types';
 /**
  *  Create a custom value that can be used in the state value or as a literal.
  * @param value The value to create the custom value from.

package/lib/helpers/index.d.ts

@@ -1,19 +1,19 @@
-export * from "./any";
-export * from "./array";
-export * from "./custom";
-export * from "./intersection";
-export * from "./use";
-export * from "./litterals";
-export * from "./optional";
-export * from "./partial";
-export * from "./primitive";
-export * from "./primitiveObject";
-export * from "./readonly";
-export * from "./record";
-export * from "./soa";
-export * from "./sora";
-export * from "./sv";
-export * from "./tuple";
-export * from "./union";
-export * from "./object";
-export * from "./omit";
+export * from './any';
+export * from './array';
+export * from './custom';
+export * from './intersection';
+export * from './use';
+export * from './litterals';
+export * from './optional';
+export * from './partial';
+export * from './primitive';
+export * from './primitiveObject';
+export * from './readonly';
+export * from './record';
+export * from './soa';
+export * from './sora';
+export * from './sv';
+export * from './tuple';
+export * from './union';
+export * from './object';
+export * from './omit';

package/lib/helpers/use.d.ts

@@ -1,2 +1,2 @@
-import type { Sh } from "../types";
+import type { Sh } from '../types';
 export declare const use: <T extends Sh>({ __type }: T) => T["__type"];

package/lib/standard.d.ts

@@ -1,4 +1,4 @@
-import type { StandardSchemaV1 } from "./standard.types";
+import type { StandardSchemaV1 } from './standard.types';
 type Standardize_F = <T>(value: T) => {
     __type: T;
     type: T;

package/lib/standard.types.d.ts

@@ -1,3 +1,3 @@
-import type { StandardSchemaV1 } from "@standard-schema/spec";
-export type * from "@standard-schema/spec";
+import type { StandardSchemaV1 } from '@standard-schema/spec';
+export type * from '@standard-schema/spec';
 export type StandardKey = keyof StandardSchemaV1;

package/lib/type.d.ts

@@ -1,5 +1,5 @@
-import type { inferSh, ObjectT } from "./types";
-import { any, array, custom, intersection, litterals, object, omit, optional, partial, primitive, primitiveObject, readonly, record, soa, sv, tuple, union, sora, use } from "./helpers";
+import type { inferSh, ObjectT } from './types';
+import { any, array, custom, intersection, litterals, object, omit, optional, partial, primitive, primitiveObject, readonly, record, soa, sv, tuple, union, sora, use } from './helpers';
 type Helpers = {
     any: typeof any;
     custom: typeof custom;

package/lib/types.d.ts

@@ -1,5 +1,5 @@
-import type { ARRAY, CUSTOM, OPTIONAL, PARTIAL, PRIMITIVES, PRIMITIVE_OBJECTS, SOA, SORA, UNION } from "./constants";
-import type { StandardKey, StandardSchemaV1 } from "./standard.types";
+import type { ARRAY, CUSTOM, OPTIONAL, PARTIAL, PRIMITIVES, PRIMITIVE_OBJECTS, SOA, SORA, STANDARD_KEY, UNION } from "./constants";
+import type { StandardSchemaV1 } from "./standard.types";
 export type Ru = Record<Keys, unknown>;
 type Equals<T, U> = T extends U ? (U extends T ? true : false) : false;
 export type TrueObject = Ru & {
@@ -87,9 +87,6 @@ type ReduceTupleU<T extends AnyArray> = T extends [
 ] ? [Undefiny<First>, ...ReduceTupleU<Rest>] : T[number] extends never ? [] : T["length"] extends 0 ? [] : number extends T["length"] ? T : Undefiny<T[number]>[];
 type EmptyObject = {};
 type __TransformUnion<T extends UnionCustom> = T extends UnionCustom<infer TCustom> ? Omit<T, typeof UNION> extends infer Ot ? Equals<Ot, EmptyObject> extends true ? TransformT<TCustom[number]> : TransformT<TCustom[number]> & TransformT<Ot> : never : never;
-type __TransformPrimitiveObject<T> = Equals<ObjectMapS, T> extends true ? object : T extends Types ? TransformTypes<T> : T extends ArrayCustom<infer A> ? TransformT<A>[] : T extends UnionCustom ? __TransformUnion<T> : T extends SoRaCustom<infer TSoA> ? SoRa<__TransformPrimitiveObject<TSoA>> : T extends SoaCustom<infer TSoA> ? SoA<__TransformPrimitiveObject<TSoA>> : T extends Custom<infer TCustom> ? TCustom : T extends AnyArray<ObjectT> ? ReduceTuple2<T> : T extends PartialCustom<infer TPartial> ? Partial<__TransformPrimitiveObject<TPartial>> : 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;
 type UndefinyObject<T extends object> = {
     [K in keyof T as HasUndefined<T[K]> extends true ? never : K]: Undefiny<T[K]>;
@@ -99,17 +96,26 @@ type UndefinyObject<T extends object> = {
     [K in keyof F]: F[K];
 } : never;
 type Undefiny<T, U = Exclude<T, OptionalHelperClass>> = U extends AnyArray ? ReduceTupleU<U> : U extends Ru ? UndefinyObject<U> : U;
-type TransformT<T> = Undefiny<__TransformPrimitiveObject<T>>;
+type __TransformPrimitiveObject<T> = Equals<ObjectMapS, T> extends true ? object : T extends Types ? TransformTypes<T> : T extends ArrayCustom<infer A> ? TransformT<A>[] : T extends UnionCustom ? __TransformUnion<T> : T extends SoRaCustom<infer TSoA> ? SoRa<__TransformPrimitiveObject<TSoA>> : T extends SoaCustom<infer TSoA> ? SoA<__TransformPrimitiveObject<TSoA>> : T extends Custom<infer TCustom> ? TCustom : T extends AnyArray<ObjectT> ? ReduceTuple2<T> : T extends PartialCustom<infer TPartial> ? Partial<__TransformPrimitiveObject<TPartial>> : T extends Optional<infer TOptional> ? __TransformPrimitiveObject<TOptional> | OptionalHelperClass : Undefiny<{
+    [K in keyof T]: __TransformPrimitiveObject<T[K]>;
+}>;
+type TransformT<T> = __TransformPrimitiveObject<T>;
 export type StandardHelper<T1 = any, T2 = any> = {
     __type: T1;
     type: T2;
 } & StandardSchemaV1<T2, T2>;
 type _Sh<T1 = any, T2 = any> = StandardHelper<T1, T2>;
 export type Sh<T extends ObjectT = ObjectT> = StandardHelper<T, inferO<T>>;
-export type StandardOutput<T = any> = StandardSchemaV1<any, T>;
-export type inferO<T extends ObjectT = ObjectT> = ObjectT extends T ? unknown : TransformT<T>;
+export type StandardOutput<T = any> = {
+    [STANDARD_KEY]: {
+        types?: {
+            output: T;
+        };
+    };
+};
+export type inferO<T extends ObjectT = ObjectT> = ObjectT extends T ? unknown : T extends Optional<infer U> ? TransformT<U> | undefined : TransformT<T>;
 export type inferSh<T extends ObjectT = ObjectT> = _Sh<T, inferO<T>>;
-export type inferT<T extends StandardOutput = StandardOutput> = Exclude<T[StandardKey]["types"], undefined>["output"];
+export type inferT<T extends StandardOutput = StandardOutput> = Exclude<T[typeof STANDARD_KEY]["types"], undefined>["output"];
 export type ProduceObject<T extends ObjectT = ObjectT> = T;
 export type FnBasic<Main extends Fn, Tr extends object> = Tr & Main;
 export * from "./standard.types";

package/lib/utils/_const.d.ts

@@ -1,2 +1,2 @@
-import type { ObjectT } from "../types";
+import type { ObjectT } from '../types';
 export declare const _const: <T extends ObjectT>(value?: T) => T;

package/lib/utils/index.d.ts

@@ -1,3 +1,3 @@
-export * from "./_const";
-export * from "./expandFn";
-export * from "./isSh";
+export * from './_const';
+export * from './expandFn';
+export * from './isSh';

package/lib/utils/isSh.d.ts

@@ -1,2 +1,2 @@
-import type { ObjectT, Sh } from "../types";
+import type { ObjectT, Sh } from '../types';
 export declare const isSh: <T extends ObjectT = ObjectT>(value: unknown) => value is Sh<T>;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@bemedev/typings",
-  "version": "1.0.0",
+  "version": "1.1.0",
   "description": "Typings by variables",
   "author": {
     "email": "bri_lvi@icloud.com",