import { curry, Is, Predicate } from '@typed/lambda'

/**
 * Returns true if either predicates return true.
 * @param predicate1 :: (a -> boolean)
 * @param predicate2 :: (a -> boolean)
 * @param value :: a
 * @returns :: boolean
 */
export const or: {
  <A, B>(predicate1: Is<A>, predicate2: Is<B>, value: unknown): value is A | B
  <A, B>(predicate1: Is<A>, predicate2: Is<B>): (value: unknown) => value is A | B
  <A>(predicate1: Is<A>): {
    <B>(predicate2: Is<B>, value: unknown): value is A | B
    <B>(predicate2: Is<B>): Is<A | B>
  }

  <A>(predicate1: Predicate<A>, predicate2: Predicate<A>, value: A): boolean
  <A>(predicate1: Predicate<A>, predicate2: Predicate<A>): Predicate<A>
  <A>(predicate1: Predicate<A>): {
    (predicate2: Predicate<A>, value: A): boolean
    (predicate2: Predicate<A>): Predicate<A>
  }
} = curry(__or) as {
  <C, A extends C, B extends C>(predicate1: Is<A>, predicate2: Is<B>, value: C): value is A | B
  <C, A extends C, B extends C>(predicate1: Is<A>, predicate2: Is<B>): (value: C) => value is A | B
  <C, A extends C>(predicate1: Is<A>): {
    <B extends C>(predicate2: Is<B>, value: C): value is A | B
    <B extends C>(predicate2: Is<B>): (value: C) => value is A | B
  }

  <A>(predicate1: Predicate<A>, predicate2: Predicate<A>, value: A): boolean
  <A>(predicate1: Predicate<A>, predicate2: Predicate<A>): Predicate<A>
  <A>(predicate1: Predicate<A>): {
    (predicate2: Predicate<A>, value: A): boolean
    (predicate2: Predicate<A>): Predicate<A>
  }
}

function __or<A>(predicate1: Predicate<A>, predicate2: Predicate<A>, value: A): boolean {
  return predicate1(value) || predicate2(value)
}