hkt-toolbelt
Advanced tools
Comparing version 0.8.0 to 0.8.1
@@ -7,2 +7,9 @@ import { Kind } from "."; | ||
export declare type _$subtype<Super, X> = X extends Super ? true : false; | ||
export declare abstract class Extends<Super> extends Kind { | ||
abstract f: (x: this[Kind._]) => _$subtype<Super, typeof x>; | ||
} | ||
/** | ||
* @alias Extends | ||
* @deprecated | ||
*/ | ||
export declare abstract class SubtypeOf<Super> extends Kind { | ||
@@ -9,0 +16,0 @@ abstract f: (x: this[Kind._]) => _$subtype<Super, typeof x>; |
{ | ||
"name": "hkt-toolbelt", | ||
"version": "0.8.0", | ||
"description": "A collection of useful HKT utilities and building blocks", | ||
"version": "0.8.1", | ||
"description": "Functional and composable type utilities", | ||
"types": "./dist/index.d.ts", | ||
@@ -6,0 +6,0 @@ "repository": { |
@@ -47,5 +47,5 @@ <h1 align="center"> | ||
type Result = $< | ||
List.Filter<Conditional.SubtypeOf<number>>, | ||
List.Filter<Conditional.Extends<number>>, | ||
[1, "foo", 2, 3, "bar"] | ||
>; // [1, 2, 3] | ||
``` |
16807
264