hotypes 0.6.1 → 0.6.2

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "hotypes",
-  "version": "0.6.1",
+  "version": "0.6.2",
   "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,41 @@
+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 './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/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