inferred-types 0.51.1 → 0.51.2

package/src/types/type-conversion/Widen.ts

@@ -1,244 +0,0 @@
-/* eslint-disable no-use-before-define */
-/* eslint-disable @typescript-eslint/no-unsafe-function-type */
-
-import {
-  AfterFirst,
-  AnyFunction,
-  EmptyObject,
-  ExpandRecursively,
-  First,
-  FnProps,
-  IsObjectLiteral,
-  IsUnion,
-  Dictionary,
-  Keys,
-  ObjectKey,
-  RemoveFnProps,
-  Scalar,
-  TupleToUnion,
-  UnionToTuple,
-  Container,
-  Tuple,
-  AsObject,
-  IsLiteral,
-  Mutable,
-  AsNarrowingFn,
-  AsLiteralFn,
-  TypedFunction,
-  IsNarrowingFn,
-  ExpandDictionary,
-  IsNonEmptyContainer,
-  IsLiteralUnion,
-  IsEqual
-} from "inferred-types/dist/types/index";
-
-type GetKeys<
-  T extends AnyFunction
-> = FnProps<T> extends Dictionary
-? Keys<FnProps<T>> extends readonly ObjectKey[]
-  ? Keys<FnProps<T>> extends readonly (keyof FnProps<T>)[]
-    ? Keys<FnProps<T>>
-    : never
-  : never
-: never;
-
-
-/**
- * **WidenScalar**`<T>`
- *
- * Widens any _scalar_ type `T`.
- */
-export type WidenScalar<T extends Scalar> = T extends string
-? string
-: T extends number
-? number
-: T extends boolean
-? boolean
-: T extends symbol
-? symbol
-: T extends null
-? null
-: never;
-
-
-type Process<T> = T extends Scalar
-? WidenScalar<T>
-: T extends unknown[]
-  ? T extends (infer Type)[]
-    ? IsUnion<Type> extends true
-      ? WidenUnion<Type>[]
-      : Type extends unknown[] ? WidenTuple<Type> : T
-    : never
-: T extends AnyFunction
-  ? GetKeys<T>["length"] extends 0
-    ? RemoveFnProps<T>
-    : RemoveFnProps<T> & ExpandRecursively<  WidenObj<FnProps<T>, GetKeys<T>> >
-: T;
-
-
-type WidenObj<
-  T extends Dictionary,
-  TKeys extends readonly (keyof T)[],
-  TResults extends Dictionary = EmptyObject
-> = [] extends TKeys
-  ? TResults
-  : WidenObj<
-      T,
-      AfterFirst<TKeys>,
-      TResults &
-      Record<
-        First<TKeys>,
-        T[First<TKeys>] extends TypedFunction
-        ? WidenFn<
-            IsNarrowingFn<T[First<TKeys>]>,
-            Parameters<T[First<TKeys>]>,
-            ReturnType<T[First<TKeys>]>,
-            ExpandDictionary<FnProps<T[First<TKeys>]>>
-          >
-        : IsLiteral<T[First<TKeys>]> extends true
-            ? WidenLiteral<T[First<TKeys>]>
-            : Process<T[First<TKeys>]>
-      >
-    >;
-
-export type WidenTuple<
-  T extends readonly unknown[]
-> = {
-  [K in keyof T]: IsLiteral<T[K]> extends true
-  ? WidenLiteral<T[K]>
-  : Process<T[K]>
-};
-
-type WidenFnParams<
-  T extends readonly unknown[]
-> = {
-  [K in keyof T]: IsLiteral<T[K]> extends true
-  ? WidenLiteral<T[K]>
-  : IsLiteralUnion<T[K]> extends true
-    ? WidenUnion<T[K]>
-    : T[K]
-};
-
-/**
- * **WidenUnion**<T>
- *
- * Widens all the elements in the union type.
- */
-export type WidenUnion<T> = TupleToUnion<WidenTuple<UnionToTuple<T>>>
-
-export type WidenLiteral<
-  T
-> =  T extends Scalar
-  ? WidenScalar<T>
-  : IsUnion<T> extends true
-  ? WidenUnion<T>
-  : T extends readonly unknown[]
-  ? WidenTuple<T>
-  : T extends Dictionary
-    ? WidenObj<T, Keys<T>>
-  : never;
-
-type WidenFnProps<
-  TObj extends Dictionary,
-  TKeys extends readonly unknown[],
-  TResult extends Dictionary = EmptyObject
-> = [] extends TKeys
-? ExpandDictionary<TResult>
-: WidenFnProps<
-    TObj,
-    AfterFirst<TKeys>,
-    First<TKeys> extends keyof TObj
-      ? TResult & Record<
-          First<TKeys>,
-          TObj[First<TKeys>] extends Scalar
-            ? WidenScalar<TObj[First<TKeys>]>
-            : TObj[First<TKeys>]
-        >
-      : TResult
-  >;
-
-type WidenFn<
-  TNarrowing extends boolean,
-  TParams extends readonly unknown[],
-  TReturn,
-  TProps extends Dictionary
-> = [TNarrowing] extends [true]
-? AsNarrowingFn<
-    WidenFnParams<TParams>,
-    IsEqual<TReturn, any> extends true
-    ? unknown
-    : Widen<TReturn>,
-    [IsNonEmptyContainer<TProps>] extends [true]
-      ? WidenFnProps<TProps, Keys<TProps>>
-      : EmptyObject
-  >
-: AsLiteralFn<
-    WidenFnParams<TParams>,
-    Widen<TReturn>,
-    [IsNonEmptyContainer<TProps>] extends [true]
-      ? WidenFnProps<TProps, Keys<TProps>>
-      : EmptyObject
-    >;
-
-
-export type WidenContainer<
-  T extends Container,
-  TForce extends boolean = false
-> =
-[TForce] extends [true]
-  ? T extends Tuple ? Tuple
-  : T extends Dictionary ? Dictionary
-  : T extends Map<unknown,unknown> ? Map<unknown,unknown>
-  : T extends Set<unknown> ? Set<unknown>
-  : T extends WeakMap<object,unknown> ? WeakMap<object,unknown>
-  : never
-: T extends AnyFunction
-    ? T extends TypedFunction
-      ? WidenFn<
-          IsNarrowingFn<T>,
-          Parameters<T>,
-          ReturnType<T>,
-          ExpandDictionary<FnProps<T>>
-        >
-      : Function
-: T extends Dictionary
-  ? [IsObjectLiteral<T>] extends [true]
-    ? Keys<T> extends readonly (keyof T)[]
-      ? Mutable<ExpandRecursively<WidenObj<T, Keys<T>>>>
-      : never
-    : EmptyObject
-: T extends Tuple ? WidenTuple<T>
-: T extends Map<infer K, infer V> ? Map<Widen<K>, Widen<V>>
-: T extends WeakMap<infer O, infer V>
-    ? O extends Dictionary
-      ? WeakMap<AsObject<Widen<O>>, Widen<V>>
-      : O extends Tuple
-      ? WeakMap<WidenTuple<O>, Widen<V>>
-: T extends Set<infer V> ? Set<Widen<V>>
-: object
-: object;
-
-/**
- * **Widen**`<T, [TForce]>`
- *
- * Converts a literal type to a _wider_ type.
- *
- * - for _scalar values_ `T` will just become wide variant (e.g., `5` → `number`)
- * - for _union types_ all elements of the union will be made wide
- * - for _container values_ it will widen the items inside the container
- *
- * **Note:** should you want the container values to be fully widened you
- * can set `TForce` to true.
- */
-export type Widen<
-  T,
-  TForce extends boolean = false
-> = [IsUnion<T>] extends [true]
-  ? WidenUnion<T>
-  : T extends Container
-    ? WidenContainer<T,TForce>
-    : T extends Scalar
-      ? WidenScalar<T>
-      : Process<T>;
-
-

package/src/types/type-conversion/WidenValues.ts

@@ -1,37 +0,0 @@
-import { AfterFirst, Container, EmptyObject, First, Dictionary, Keys } from "inferred-types/dist/types/index";
-import { Widen } from "./Widen";
-
-type ProcessArr<
-  T extends readonly unknown[]
-> = {
-  [K in keyof T]: Widen<T[K]>
-}
-
-type ProcessObj<
-  TObj extends object,
-  TKeys extends readonly (keyof TObj)[],
-  TResults extends Dictionary = EmptyObject
-> = [] extends TKeys
-? TResults
-: ProcessObj<
-    TObj,
-    AfterFirst<TKeys>,
-    TResults & Record<First<TKeys>, TObj[First<TKeys>]>
-  >
-
-/**
- * **WidenValues**`<T>`
- *
- * Type utility which _widens_ the values of a container.
- *
- * **Related:** `Widen`
- */
-export type WidenValues<
-  T extends Container
-> = T extends readonly unknown[]
-? ProcessArr<T>
-: T extends Dictionary
-  ? ProcessObj<T, Keys<T> extends readonly (keyof T)[] ? Keys<T> : never>
-  : never;
-
-

package/src/types/type-conversion/WithDefault.ts

@@ -1,31 +0,0 @@
-import { If, Extends, IsFalsy, Nothing } from "inferred-types/dist/types/index";
-
-/**
- * **WithDefault**`<TVal,TDef>`
- *
- * Provided a type `TVal`, this utility will proxy any value which is
- * _not_ `null` or `undefined` through as `TVal`; otherwise it will
- * substitute in `TDef`.
- *
- * **Note:** you may optionally set the criteria for using the default
- * value from `null` or `undefined` to any _falsy_ value.
- *
- * ### Examples
- * ```ts
- * // "foo"
- * type T1 = WithDefault<"foo","bar">;
- * // "bar"
- * type T2 = WithDefault<null,"bar">;
- * // "bar"
- * type T3 = WithoutDefault<"", "bar", "falsy">;
- * ```
- */
-export type WithDefault<
-  TVal,
-  TDef,
-  TPolicy extends "nothing" | "falsy" = "nothing"
-> = TPolicy extends "nothing"
-? If<Extends<TVal, Nothing>, TDef, TVal>
-: TPolicy extends "falsy"
-  ? If<IsFalsy<TVal>,TDef, TVal>
-  : never;

package/src/types/type-conversion/form-fields.ts

@@ -1,10 +0,0 @@
-
-
-/**
- * **Email**
- *
- * A simple email address representation
- *
- * **Related:** `IsEmail`, `isEmail()`
- */
-export type Email = `${string}@${string}.${string}`;

package/src/types/type-conversion/index.ts

@@ -1,71 +0,0 @@
-// #autoindex
-
-// #region auto-indexed files
-// index last changed at: 8th Aug, 2022, 09:51 AM ( GMT-7 )
-// hash-code: 200001fa
-
-// file exports
-export * from "./Awaited";
-export * from "./AsString";
-export * from "./AsDictionary";
-export * from "./AsRef";
-export * from "./AsNumber";
-export * from "./AsBoolean";
-export * from "./AsNonNull";
-export * from "./AsObject";
-export * from "./AsDefined";
-export * from "./AsFunction";
-export * from "./AsRecord";
-export * from "./AsObjectKeys"
-export * from "./AsPropertyKey";
-export * from "./AsStringUnion";
-export * from "./TupleToUnion";
-export * from "./UnionToIntersection";
-export * from "./ToString";
-export * from "./ToUnion";
-export * from "./ToNumber";
-export * from "./ToBoolean";
-export * from "./UnionArrayToTuple";
-export * from "./UnionToTuple";
-export * from "./UnionShift";
-export * from "./UnionFilter";
-export * from "./Widen";
-export * from "./WidenValues";
-export * from "./Mutable";
-export * from "./MergeObjects";
-export * from "./Merge";
-export * from "./Break";
-export * from "./LeftWhitespace";
-export * from "./Replace";
-export * from "./ReplaceAll";
-
-export * from "./RightWhitespace";
-export * from "./ObjectToKvDict";
-export * from "./StringLength";
-export * from "./Trim";
-export * from "./TrimLeft";
-export * from "./TrimRight";
-export * from "./form-fields";
-export * from "./RemoveFromStart";
-export * from "./RemoveFromEnd";
-export * from "./RemoveIndex";
-export * from "./IntersectWithAll";
-export * from "./UnionWithAll";
-
-export * from "./ToContainer";
-export * from "./ToJsonValue";
-export * from "./ToStringArray";
-export * from "./ValueOrReturnValue";
-export * from "./ReturnValues";
-export * from "./WithDefault";
-export * from "./AsContainer";
-export * from "./StripChars";
-export * from "./RetainChars";
-export * from "./ReduceValues";
-export * from "./JSON";
-export * from "./StringLiteralFromTuple"
-
-// #endregion auto-indexed files
-
-// see https://github.com/inocan-group/do-devops/docs/autoindex.md
-// for more info