hkt-toolbelt - npm Package Compare versions

Comparing version 0.23.0 to 0.23.1

package.json

 {
   "name": "hkt-toolbelt",
-  "version": "0.23.0",
+  "version": "0.23.1",
   "description": "Functional and composable type utilities",
@@ -5,0 +5,0 @@ "types": "./dist/index.d.ts",

type/cast.d.ts

 import { Kind } from '..';
 /**
- * `_$cast` is a type-level function that casts a type `T` to a type `U`.
+ * `_$cast` is a generic type that coercively downcasts a type `T` to a type `U`.
+ * Returns the narrower out of the two types. If the two types are unrelated, returns `U`.
  *
@@ -12,4 +13,5 @@ * @template T - The type to cast.
  * type T2 = _$cast<true, boolean> // true
+ * type T3 = _$cast<boolean, 0> // 0
  */
-export type _$cast<T, U> = T extends U ? T : U;
+export type _$cast<T, U> = [T] extends [U] ? T : U;
 interface Cast_T<T> extends Kind.Kind {
@@ -19,3 +21,4 @@ f(x: this[Kind._]): _$cast<typeof x, T>;
 /**
- * `Cast` is a type-level function that casts a type `T` to a type `U`.
+ * `Cast` is a type-level function that coercively downcasts a type `T` to a type `U`.
+ * Returns the narrower out of the two types. If the two types are unrelated, returns `U`.
  *
@@ -29,2 +32,3 @@ * @template T - The type to cast.
  * type T2 = $<$<Cast, true>, boolean> // true
+ * type T3 = $<$<Cast, boolean>, 0> // 0
  */
@@ -31,0 +35,0 @@ export interface Cast extends Kind.Kind {

type/index.d.ts

@@ -0,1 +1,2 @@
+export * from './assert';
 export * from './cast';
@@ -2,0 +3,0 @@ export * from './display';

No alert changes

Improved metrics

Total package byte prevSize

523334

18.53%

Number of package files

291

0.69%

Lines of code

12058

0.38%

No dependency changes