v1.1.1

README.md

@@ -62,11 +62,11 @@ const isChrome = (x: Navigator): boolean => "vendor" in x && /Google Inc/.test(x
 const isIe = (x: Navigator): boolean => /Trident/.test(x.userAgent);
 
 export const getCurrentBrowser = (navigator: Navigator): TBrowser =>
-  Switch<Navigator, TBrowser>(navigator)
-    .case(isEdge, "edge")
-    .case(isChrome, "chrome")
-    .case(isIe, "ie")
-    .default("firefox");
+  Switch(navigator)
+    .case(isEdge, "edge" as const)
+    .case(isChrome, "chrome" as const)
+    .case(isIe, "ie" as const)
+    .default("firefox" as const);
 
 const browser = getCurrentBrowser(navigator);
 ```

src/ISwitch.ts

@@ -1,12 +1,5 @@
 import { TNonFunction, TPredicateFunction } from "./TPredicateFunction";
-import { TKnown } from "./TKnown";
-import { Unpack } from "./Switch";
-
-/**
- * ISwitch for cases when K is defined.
- * @type TDefinedSwitch
- */
-export type TDefinedSwitch<T, K, N> = ISwitch<T, TKnown<K, N>>;
+import { Unpack } from "./Unpack";
 
 /**
  * @interface ISwitch

src/Switch.ts

@@ -1,7 +1,6 @@
 import { TNonFunction, TPredicateFunction } from "./TPredicateFunction";
 import { ISwitch } from "./ISwitch";
-
-export type Unpack<T> = T extends (infer U)[] ? U : T;
+import { Unpack } from "./Unpack";
 
 class SwitchMatched<T, K> implements ISwitch<T, K> {
   public static for<T>(x: T): any {
@@ -20,18 +19,18 @@ class SwitchMatched<T, K> implements ISwitch<T, K> {
 }
 
 /**
- * Switch resembles imperative switch statement using functions.
+ * Switch resembles imperative switch statement using chaining.
  *
  * Internally, Switch behaves like Either in the sense that it preserves the position of Right
  * until it successfully matches case predicate (either function or value). If matching happens,
  * Switch becomes a kind of Left and holds the value until it reaches the .default call. If
  * matching didn't happen for all cases, the value of the .default argument is returned instead.
  */
-export class Switch<T, K extends any[]> implements ISwitch<T, K> {
+export class Switch<T, K extends []> implements ISwitch<T, K> {
   /**
    * Pointer interface for lifting a value into Switch.
    */
-  public static for<T, K extends any[] = []>(x: T): ISwitch<T, K> {
+  public static for<T, K extends [] = []>(x: T): ISwitch<T, K> {
     return new Switch<T, K>(x);
   }
 
@@ -49,11 +48,11 @@ export class Switch<T, K extends any[]> implements ISwitch<T, K> {
    * Define predicate function to be executed against Switch state and the value to be
    * returned in case of matching.
    */
-  public case<N>(pred: TPredicateFunction<T>, res: N): ISwitch<T, [Unpack<K>, N]>;
-  public case<N>(pred: any, res: N): ISwitch<T, [Unpack<K>, N]> {
+  public case<N>(pred: TPredicateFunction<T>, value: N): ISwitch<T, [Unpack<K>, N]>;
+  public case<N>(pred: any, value: N): ISwitch<T, [Unpack<K>, N]> {
     const check = typeof pred == "function" ? pred(this.x) : pred === this.x;
 
-    return check ? SwitchMatched.for(res) : Switch.for(this.x);
+    return check ? SwitchMatched.for(value) : Switch.for(this.x);
   }
 
   /**

src/Unpack.ts

@@ -0,0 +1 @@
+export type Unpack<T> = T extends (infer U)[] ? U : T;

src/index.ts

@@ -1,13 +1,14 @@
 import { Switch } from "./Switch";
+import { ISwitch } from "./ISwitch";
 
 export * from "./ISwitch";
 export * from "./Switch";
-export * from "./TKnown";
+export * from "./Unpack";
 export * from "./TPredicateFunction";
 
 /**
  * Pointer interface for lifting value provided as an argument to Switch.
  */
-export default function<T, K extends any[]>(x: T) {
+export default function<T, K extends []>(x: T): ISwitch<T, K> {
   return Switch.for<T, K>(x);
 }

tests/Switch.spec.ts

@@ -1,5 +1,4 @@
-import { Switch } from "../src";
-import match from "../src";
+import match, { Switch } from "../src";
 
 describe("Switch", () => {
   it("should exist", () => {