unreachable
A type-check utility function to indicating that the code is unreachable.
Usage
For example, the following code passed type checking.
import { unreachable } from "https://deno.land/x/unreachable/mod.ts";
type Animal = "dog" | "cat";
function say(animal: Animal): void {
switch (animal) {
case "dog":
console.log("dog");
break;
case "cat":
console.log("dog");
break;
default:
unreachable(animal);
}
}
say("dog");
But the following code because a case for "bird" is missing.
import { unreachable } from "https://deno.land/x/unreachable/mod.ts";
type Animal = "dog" | "cat" | "bird";
function say(animal: Animal): void {
switch (animal) {
case "dog":
console.log("dog");
break;
case "cat":
console.log("dog");
break;
default:
unreachable(animal);
}
}
say("dog");
License
The code follows MIT license written in LICENSE. Contributors need to agree that any modifications sent in this repository follow the license.
6 Aug 7, 2022
21 Jun 20, 2022
54 Dec 29, 2022
9 Dec 6, 2022
7 Jul 30, 2022
14 Dec 8, 2022
19 Dec 19, 2022
9 Mar 6, 2022
10 Dec 24, 2022
8 Mar 27, 2022