feat: Callsites accepting Results or Options should be monomorphic

Olian04 · Feb 22, 2024 · 8cacbae · 8cacbae
1 parent db33a5a
commit 8cacbae
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/src/Option.ts b/src/Option.ts
@@ -24,6 +24,7 @@ export interface Some<V> {
 export interface None {
   readonly isSome: false;
   readonly isNone: true;
+  readonly some: never;
   match<T>(cases: {
     None: () => T,
   }): T;
@@ -80,6 +81,7 @@ export const Some = <V>(value: V): Some<V> => new SomeImpl(value);
 export const None: None = {
   isSome: false as const,
   isNone: true as const,
+  some: undefined as never,
   match: cases => cases.None(),
   intoResult: err => new ErrImpl(err),
   filter: () => None,

diff --git a/src/Result.ts b/src/Result.ts
@@ -8,6 +8,7 @@ export interface Ok<V> {
   readonly isOk: true;
   readonly isErr: false;
   readonly ok: V;
+  readonly err: never;
   match<T>(cases: {
     Ok: (ok: V) => T,
   }): T;
@@ -25,6 +26,7 @@ export interface Ok<V> {
 export interface Err<E> {
   readonly isOk: false;
   readonly isErr: true;
+  readonly ok: never;
   readonly err: E;
   match<T>(cases: {
     Err: (err: E) => T,
@@ -43,6 +45,7 @@ export interface Err<E> {
 export class OkImpl<V> implements Ok<V> {
   isOk = true as const;
   isErr = false as const;
+  err: never;
   constructor(
     public ok: V,
   ) {}
@@ -82,6 +85,7 @@ export class OkImpl<V> implements Ok<V> {
 export class ErrImpl<E> implements Err<E> {
   isOk = false as const;
   isErr = true as const;
+  ok: never;
   constructor(
     public err: E,
   ) {}