lean4-code-actions
Version:
Refactorings and snippets for Lean 4
6 lines (3 loc) • 306 B
text/typescript
import { Result, ResultFailure, ResultSuccess } from './index'
export const isSuccess = <Value, Error>(result: Result<Value, Error>): result is ResultSuccess<Value> => result.success
export const isFailure = <Value, Error>(result: Result<Value, Error>): result is ResultFailure<Error> => !result.success