hotypes 0.6.0 → 0.6.2

package/README.md

@@ -40,6 +40,7 @@ yarn add hotypes
 - Mixin
 - MixinAll
 - PickNonNever
+- Pop
 - OmitPropsByType
 - OmitPropsByExactType
 - Replace

package/lib/index.d.ts

@@ -25,6 +25,7 @@ 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';

package/lib/index.js

@@ -41,6 +41,7 @@ __exportStar(require("./omit-props-by-type"), exports);
 __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("./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,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,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/pop.d.ts

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

package/lib/pop.js

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

package/lib/pop.js.map

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

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "hotypes",
-  "version": "0.6.0",
+  "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",
@@ -38,20 +39,20 @@
   },
   "devDependencies": {
     "@blackglory/pass": "^1.1.0",
-    "@commitlint/cli": "^17.2.0",
-    "@commitlint/config-conventional": "^17.2.0",
-    "@types/jest": "^29.2.2",
-    "@typescript-eslint/eslint-plugin": "^5.42.1",
-    "@typescript-eslint/parser": "^5.42.1",
-    "eslint": "^8.27.0",
+    "@commitlint/cli": "^17.4.4",
+    "@commitlint/config-conventional": "^17.4.4",
+    "@types/jest": "^29.5.0",
+    "@typescript-eslint/eslint-plugin": "^5.55.0",
+    "@typescript-eslint/parser": "^5.55.0",
+    "eslint": "^8.36.0",
     "husky": "^4.3.8",
-    "jest": "^29.3.1",
+    "jest": "^29.5.0",
     "npm-run-all": "^4.1.5",
     "rimraf": "^3.0.2",
     "standard-version": "^9.5.0",
-    "ts-jest": "^29.0.3",
+    "ts-jest": "^29.0.5",
     "tscpaths": "^0.0.9",
-    "tslib": "^2.4.1",
+    "tslib": "^2.5.0",
     "typescript": "^4.8.4"
   }
 }

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