Type-safe refinements (type guards) in TypeScript (moved to https://github.com/karol-majewski/refinements)

safe-type-guards.ts

namespace Refinement {
  class Hit<T> {
    constructor(readonly value: T) {}
  }
  
  class Miss {}

  type Result<T> = Hit<T> | Miss;

  export function hit<T> (value: T) {
    return new Hit(value);
  }

  export const miss = new Miss();

  export function create<T, U extends T>(refine: (candidate: T) => Result<U>): (candidate: T) => candidate is U {
    return (candidate): candidate is U => refine(candidate) instanceof Hit;
  }
}

This approach is used by fp-ts:

https://gcanti.github.io/fp-ts/modules/Option.ts.html#getrefinement

Type guards use cases: use for filter and discrimination.