UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

6 lines (3 loc) • 321 B
1
2
3
4
5
6
import { failure, success } from './constructors' export const failureIfDefined = <T, Data>(value: T | undefined, otherwise = undefined) => value ? failure(value) : success(otherwise) export const successIfDefined = <T, Error>(value: T | undefined, otherwise = undefined) => value ? success(value) : failure(otherwise)