@prelude/function/src/implies.ts

Function module.

import type { Predicate } from './prelude.js'

const implies =
  <T, U>(a: Predicate<T>, b: Predicate<U>) =>
    (value: T & U) =>
      a(value) ?
        b(value) :
        true

export default implies