hotypes 0.6.1 → 0.6.3

package/README.md

@@ -41,6 +41,7 @@ yarn add hotypes
 - MixinAll
 - PickNonNever
 - Pop
+- PropByPath
 - OmitPropsByType
 - OmitPropsByExactType
 - Replace

package/lib/index.d.ts

@@ -26,6 +26,7 @@ export * from './omit-props-by-exact-type';
 export * from './optional-keys';
 export * from './pick-non-never';
 export * from './pop';
+export * from './prop-by-path';
 export * from './replace';
 export * from './replace-props-by-key';
 export * from './replace-props-by-type';

package/lib/index.js

@@ -42,6 +42,7 @@ __exportStar(require("./omit-props-by-exact-type"), exports);
 __exportStar(require("./optional-keys"), exports);
 __exportStar(require("./pick-non-never"), exports);
 __exportStar(require("./pop"), exports);
+__exportStar(require("./prop-by-path"), exports);
 __exportStar(require("./replace"), exports);
 __exportStar(require("./replace-props-by-key"), exports);
 __exportStar(require("./replace-props-by-type"), exports);

package/lib/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,2CAAwB;AACxB,iDAA8B;AAC9B,4CAAyB;AACzB,kDAA+B;AAC/B,yCAAsB;AACtB,iDAA8B;AAC9B,uDAAoC;AACpC,yDAAsC;AACtC,+DAA4C;AAC5C,yCAAsB;AACtB,kDAA+B;AAC/B,qDAAkC;AAClC,sDAAmC;AACnC,4DAAyC;AACzC,4EAAyD;AACzD,mEAAgD;AAChD,iEAA8C;AAC9C,iEAA8C;AAC9C,8DAA2C;AAC3C,0CAAuB;AACvB,8CAA2B;AAC3B,sDAAmC;AACnC,kDAA+B;AAC/B,uDAAoC;AACpC,6DAA0C;AAC1C,kDAA+B;AAC/B,mDAAgC;AAChC,wCAAqB;AACrB,4CAAyB;AACzB,yDAAsC;AACtC,0DAAuC;AACvC,yCAAsB;AACtB,iDAA8B;AAC9B,iDAA8B;AAC9B,+DAA4C;AAC5C,mDAAgC;AAChC,wDAAqC;AACrC,sDAAmC;AACnC,4DAAyC;AACzC,0DAAuC;AACvC,qDAAkC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,2CAAwB;AACxB,iDAA8B;AAC9B,4CAAyB;AACzB,kDAA+B;AAC/B,yCAAsB;AACtB,iDAA8B;AAC9B,uDAAoC;AACpC,yDAAsC;AACtC,+DAA4C;AAC5C,yCAAsB;AACtB,kDAA+B;AAC/B,qDAAkC;AAClC,sDAAmC;AACnC,4DAAyC;AACzC,4EAAyD;AACzD,mEAAgD;AAChD,iEAA8C;AAC9C,iEAA8C;AAC9C,8DAA2C;AAC3C,0CAAuB;AACvB,8CAA2B;AAC3B,sDAAmC;AACnC,kDAA+B;AAC/B,uDAAoC;AACpC,6DAA0C;AAC1C,kDAA+B;AAC/B,mDAAgC;AAChC,wCAAqB;AACrB,iDAA8B;AAC9B,4CAAyB;AACzB,yDAAsC;AACtC,0DAAuC;AACvC,yCAAsB;AACtB,iDAA8B;AAC9B,iDAA8B;AAC9B,+DAA4C;AAC5C,mDAAgC;AAChC,wDAAqC;AACrC,sDAAmC;AACnC,4DAAyC;AACzC,0DAAuC;AACvC,qDAAkC"}

package/lib/prop-by-path.d.ts

@@ -0,0 +1 @@
+export declare type PropByPath<T extends object, Path extends PropertyKey[]> = Path extends [infer First, ...infer Rest] ? (First extends keyof T ? (T[First] extends object ? (Rest extends PropertyKey[] ? PropByPath<T[First], Rest> : never) : T[First]) : undefined) : T;

package/lib/prop-by-path.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=prop-by-path.js.map

package/lib/prop-by-path.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prop-by-path.js","sourceRoot":"","sources":["../src/prop-by-path.ts"],"names":[],"mappings":""}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "hotypes",
-  "version": "0.6.1",
+  "version": "0.6.3",
   "description": "Higher order types for TypeScript",
   "keywords": [
     "higher-order",
@@ -9,7 +9,8 @@
     "hot"
   ],
   "files": [
-    "lib"
+    "lib",
+    "src"
   ],
   "main": "lib/index.js",
   "types": "lib/index.d.ts",

package/src/equals.ts

@@ -0,0 +1,5 @@
+// very magic, read https://github.com/microsoft/TypeScript/issues/27024
+export type Equals<X, Y> =
+  (<T>() => T extends X ? 1 : 2) extends (<T>() => T extends Y ? 1 : 2)
+  ? true
+  : false

package/src/flatten-deep.ts

@@ -0,0 +1,11 @@
+export type FlattenDeep<T extends unknown[]> =
+  T extends [infer First, ...infer Rest]
+  ? [
+      ...(
+        First extends unknown[]
+        ? FlattenDeep<First>
+        : [First]
+      )
+    , ...FlattenDeep<Rest>
+    ]
+  : T

package/src/flatten.ts

@@ -0,0 +1,13 @@
+import { UnpackedArray } from './unpacked-array'
+
+export type Flatten<T extends unknown[]> =
+  T extends [infer First, ...infer Rest]
+  ? [
+      ...(
+        First extends unknown[]
+        ? [UnpackedArray<First>]
+        : [First]
+        )
+    , ...Flatten<Rest>
+    ]
+  : T

package/src/function-keys.ts

@@ -0,0 +1,4 @@
+import { KeysByType } from './keys-by-type'
+
+export type FunctionKeys<T> =
+  KeysByType<T, (...args: any) => any>

package/src/head.ts

@@ -0,0 +1,4 @@
+export type Head<T extends unknown[]> =
+  T extends [infer U, ...unknown[]]
+  ? U
+  : never

package/src/index.ts

@@ -0,0 +1,42 @@
+export * from './equals'
+export * from './flatten-deep'
+export * from './flatten'
+export * from './function-keys'
+export * from './head'
+export * from './keys-by-type'
+export * from './keys-by-exact-type'
+export * from './keys-exclude-by-type'
+export * from './keys-exclude-by-exact-type'
+export * from './last'
+export * from './map-all-props'
+export * from './map-props-by-key'
+export * from './map-props-by-type'
+export * from './map-props-by-exact-type'
+export * from './map-nullable-props-to-optional-nullable'
+export * from './map-nullable-props-to-optional'
+export * from './map-props-to-optional-by-key'
+export * from './map-props-to-required-by-key'
+export * from './map-props-to-non-nullable'
+export * from './mixin'
+export * from './mixin-all'
+export * from './non-nullable-keys'
+export * from './nullable-keys'
+export * from './omit-props-by-type'
+export * from './omit-props-by-exact-type'
+export * from './optional-keys'
+export * from './pick-non-never'
+export * from './pop'
+export * from './prop-by-path'
+export * from './replace'
+export * from './replace-props-by-key'
+export * from './replace-props-by-type'
+export * from './tail'
+export * from './with-default'
+export * from './non-callable'
+export * from './return-type-of-constructor'
+export * from './unpacked-array'
+export * from './unpacked-array-like'
+export * from './unpacked-iterable'
+export * from './unpacked-async-iterable'
+export * from './unpacked-promise-like'
+export * from './unpacked-promise'

package/src/keys-by-exact-type.ts

@@ -0,0 +1,8 @@
+import { Equals } from './equals'
+
+export type KeysByExactType<T, Type> = {
+  [Key in keyof T]:
+    Equals<T[Key], Type> extends true
+    ? Key
+    : never
+}[keyof T]

package/src/keys-by-type.ts

@@ -0,0 +1,8 @@
+export type KeysByType<T, Type> = {
+  [Key in keyof T]:
+    T[Key] extends Type
+    ? Key
+    : Type extends T[Key]
+      ? Key
+      : never
+}[keyof T]

package/src/keys-exclude-by-exact-type.ts

@@ -0,0 +1,4 @@
+import { KeysByExactType } from './keys-by-exact-type'
+
+export type KeysExcludeByExactType<T, Type> =
+  Exclude<keyof T, KeysByExactType<T, Type>>

package/src/keys-exclude-by-type.ts

@@ -0,0 +1,4 @@
+import { KeysByType } from './keys-by-type'
+
+export type KeysExcludeByType<T, Type> =
+  Exclude<keyof T, KeysByType<T, Type>>

package/src/last.ts

@@ -0,0 +1,4 @@
+export type Last<T extends unknown[]> =
+  T extends [...unknown[], infer U]
+  ? U
+  : never

package/src/map-all-props.ts

@@ -0,0 +1,3 @@
+export type MapAllProps<T, NewType> = {
+  [Key in keyof T]: NewType
+}

package/src/map-nullable-props-to-optional-nullable.ts

@@ -0,0 +1,6 @@
+import { NonNullableKeys } from './non-nullable-keys'
+import { NullableKeys } from './nullable-keys'
+
+export type MapNullablePropsToOptionalNullable<T> =
+  Pick<T, NonNullableKeys<T>>
+& Partial<Pick<T, NullableKeys<T>>>

package/src/map-nullable-props-to-optional.ts

@@ -0,0 +1,13 @@
+import { MapPropsByType } from './map-props-by-type'
+import { NonNullableKeys } from './non-nullable-keys'
+import { NullableKeys } from './nullable-keys'
+
+export type MapNullablePropsToOptional<T> =
+  Pick<T, NonNullableKeys<T>>
+& Partial<
+    MapPropsByType<
+      Pick<T, NullableKeys<T>>
+    , null
+    , undefined
+    >
+  >

package/src/map-props-by-exact-type.ts

@@ -0,0 +1,8 @@
+import { Equals } from './equals'
+
+export type MapPropsByExactType<T, OldType, NewType> = {
+  [Key in keyof T]:
+    Equals<T[Key], OldType> extends true
+    ? NewType
+    : T[Key]
+}

package/src/map-props-by-key.ts

@@ -0,0 +1,6 @@
+export type MapPropsByKey<T, Keys, NewType> = {
+  [Key in keyof T]: 
+    Key extends Keys
+    ? NewType
+    : T[Key]
+}

package/src/map-props-by-type.ts

@@ -0,0 +1,8 @@
+export type MapPropsByType<T, OldType, NewType> = {
+  [Key in keyof T]:
+    T[Key] extends OldType
+    ? Exclude<T[Key], OldType> | NewType
+    : OldType extends T[Key]
+      ? Exclude<T[Key], OldType> | NewType
+      : T[Key]
+}

package/src/map-props-to-non-nullable.ts

@@ -0,0 +1,6 @@
+import { PickNonNever } from './pick-non-never'
+
+export type MapPropsToNonNullable<T> =
+  PickNonNever<{
+    [Key in keyof T]: NonNullable<T[Key]>
+  }>

package/src/map-props-to-optional-by-key.ts

@@ -0,0 +1,5 @@
+import { OptionalKeys } from './optional-keys'
+
+export type MapPropsToOptionalByKey<T, Keys extends keyof T> =
+  Pick<T, Exclude<keyof T, Keys | OptionalKeys<T>>>
+& Partial<Pick<T, Keys | OptionalKeys<T>>>

package/src/map-props-to-required-by-key.ts

@@ -0,0 +1,6 @@
+import { OptionalKeys } from './optional-keys'
+
+export type MapPropsToRequiredByKey<T, Keys extends keyof T> =
+  Pick<T, Exclude<keyof T, OptionalKeys<T> | Keys>>
+& Partial<Pick<T, OptionalKeys<T>>>
+& Required<Pick<T, Keys>>

package/src/mixin-all.ts

@@ -0,0 +1,6 @@
+import { Mixin } from './mixin'
+
+export type MixinAll<Tuple extends any[], Result = {}> =
+  Tuple extends [infer First, ...infer Rest]
+  ? MixinAll<Rest, Mixin<Result, First>>
+  : Result

package/src/mixin.ts

@@ -0,0 +1,6 @@
+export type Mixin<Base, Other> = {
+  [Key in keyof (Base & Other)]:
+    Key extends keyof Other ? Other[Key]
+  : Key extends keyof Base ? Base[Key]
+  : never
+}

package/src/non-callable.ts

@@ -0,0 +1,3 @@
+export type NonCallable<T> = {
+  [Key in keyof T]: T[Key]
+}

package/src/non-nullable-keys.ts

@@ -0,0 +1,4 @@
+import { KeysExcludeByType } from './keys-exclude-by-type'
+
+export type NonNullableKeys<T> =
+  KeysExcludeByType<T, null | undefined>

package/src/nullable-keys.ts

@@ -0,0 +1,3 @@
+import { KeysByType } from './keys-by-type'
+
+export type NullableKeys<T> = KeysByType<T, undefined | null>

package/src/omit-props-by-exact-type.ts

@@ -0,0 +1,4 @@
+import { KeysByExactType } from './keys-by-exact-type'
+
+export type OmitPropsByExactType<T, Type> =
+  Pick<T, Exclude<keyof T, KeysByExactType<T, Type>>>

package/src/omit-props-by-type.ts

@@ -0,0 +1,4 @@
+import { KeysByType } from './keys-by-type'
+
+export type OmitPropsByType<T, Type> =
+  Pick<T, Exclude<keyof T, KeysByType<T, Type>>>

package/src/optional-keys.ts

@@ -0,0 +1,7 @@
+import { KeysByType } from './keys-by-type'
+
+export type OptionalKeys<T> =
+  Exclude<
+    KeysByType<T, undefined>
+  , undefined
+  >

package/src/pick-non-never.ts

@@ -0,0 +1,3 @@
+import { KeysExcludeByExactType } from './keys-exclude-by-exact-type'
+
+export type PickNonNever<T> = Pick<T, KeysExcludeByExactType<T, never>>

package/src/pop.ts

@@ -0,0 +1,4 @@
+export type Pop<T extends unknown[]> =
+  T extends [...infer U, unknown]
+  ? U
+  : never

package/src/prop-by-path.ts

@@ -0,0 +1,16 @@
+export type PropByPath<T extends object, Path extends PropertyKey[]> =
+  Path extends [infer First, ...infer Rest]
+  ? (
+      First extends keyof T
+      ? (
+          T[First] extends object
+          ? (
+              Rest extends PropertyKey[]
+              ? PropByPath<T[First], Rest>
+              : never
+            )
+          : T[First]
+        )
+      : undefined
+    )
+  : T

package/src/replace-props-by-key.ts

@@ -0,0 +1,8 @@
+import { Replace } from './replace'
+
+export type ReplacePropsByKey<T, Keys, OldType, NewType> = {
+  [Key in keyof T]: 
+    Key extends Keys
+    ? Replace<T[Key], OldType, NewType>
+    : T[Key]
+}

package/src/replace-props-by-type.ts

@@ -0,0 +1,9 @@
+import { Replace } from './replace'
+import { KeysByType } from './keys-by-type'
+
+export type ReplacePropsByType<T, OldType, NewType> = {
+  [Key in keyof T]: 
+    Key extends KeysByType<T, OldType>
+    ? Replace<T[Key], OldType, NewType>
+    : T[Key]
+}

package/src/replace.ts

@@ -0,0 +1,3 @@
+export type Replace<T, OldType, NewType> =
+| Exclude<T, OldType>
+| NewType

package/src/return-type-of-constructor.ts

@@ -0,0 +1,4 @@
+export type ReturnTypeOfConstructor<T extends new (...args: any) => any> =
+  T extends new (...args: any) => infer R
+  ? R
+  : never

package/src/tail.ts

@@ -0,0 +1,4 @@
+export type Tail<T extends unknown[]> =
+  T extends [unknown, ...infer U]
+  ? U
+  : never

package/src/unpacked-array-like.ts

@@ -0,0 +1,4 @@
+export type UnpackedArrayLike<T> =
+  T extends ArrayLike<infer U>
+  ? U
+  : never

package/src/unpacked-array.ts

@@ -0,0 +1,4 @@
+export type UnpackedArray<T> =
+  T extends Array<infer U>
+  ? U
+  : never

package/src/unpacked-async-iterable.ts

@@ -0,0 +1,4 @@
+export type UnpackedAsyncIterable<T> =
+  T extends AsyncIterable<infer U>
+  ? U
+  : never

package/src/unpacked-iterable.ts

@@ -0,0 +1 @@
+export type UnpackedIterable<T> = T extends Iterable<infer U> ? U : never

package/src/unpacked-promise-like.ts

@@ -0,0 +1 @@
+export type UnpackedPromiseLike<T> = T extends PromiseLike<infer U> ? U : never

package/src/unpacked-promise.ts

@@ -0,0 +1 @@
+export type UnpackedPromise<T> = T extends Promise<infer U> ? U : never

package/src/with-default.ts

@@ -0,0 +1,4 @@
+export type WithDefault<T, Default> =
+  T extends undefined | null
+  ? NonNullable<T> | Default
+  : T