11 lines
217 B
TypeScript
11 lines
217 B
TypeScript
import { Result, Err } from "../result";
|
|
import { Type } from "../type";
|
|
|
|
export class Never extends Type<never> {
|
|
check(_: any): Result<never> {
|
|
return new Err('never')
|
|
}
|
|
}
|
|
|
|
export const never = new Never();
|