import { EastFunction } from '../functions';
import { BooleanType, EastType, EastTypeOf, PrimitiveValue, ValueTypeOf } from '../types';
import { Expression } from './core';
/**
 * Return x1 of predicate is true, or x2 otherwise
 *
 * @param predicate the {@link Expression} to test
 * @param x1 the return value if `predicate` is `true`
 * @param x2 the return value if `predicate` is `false`
 *
 * @category Expression
 *
 * @example
 * ```typescript
 *  // ...
 *  // if name is null, replace with 'Unknown' string
 *  new_name: IfElse(
 *      Equal(Variable('name', Nullable(StringType)), Null(StringType)),
 *      Const('Unknown'),
 *      Variable('name', StringType)
 *  ),
 *  // ...
 * ```
 */
export declare function IfElse<F1 extends EastFunction, F2 extends EastFunction>(predicate: EastFunction<BooleanType>, x1: F1, x2: F2 & ((F1["type"] & F2["type"]) extends never ? never : unknown)): EastFunction<F1 extends any ? F1["type"] & F2["type"] : never>;
export declare function IfElse<T1 extends PrimitiveValue, F2 extends EastFunction>(predicate: EastFunction<BooleanType>, x1: T1, x2: F2 & ((EastTypeOf<T1> & F2["type"]) extends never ? never : unknown)): EastFunction<T1 extends any ? EastTypeOf<T1> & F2["type"] : never>;
export declare function IfElse<F1 extends EastFunction, T2 extends PrimitiveValue>(predicate: EastFunction<BooleanType>, x1: F1, x2: T2 & ((F1["type"] & EastTypeOf<T2>) extends never ? never : unknown)): EastFunction<F1 extends any ? F1["type"] & EastTypeOf<T2> : never>;
export declare function IfElse<T1 extends PrimitiveValue, T2 extends PrimitiveValue>(predicate: EastFunction<BooleanType>, x1: T1, x2: T2): EastFunction<EastTypeOf<T1>> & EastFunction<EastTypeOf<T2>>;
/**
 * Return `true` if `value` is `false`, or `false` otherwise.
 *
 * @param value the {@link Expression} to apply
 *
 * @category Expression
 *
 * @example
 * ```typescript
 *  // ...
 *  NotActive: Not(Variable('Active', BooleanType)),
 *  // ...
 * ```
 */
export declare function Not<T extends BooleanType>(value: Expression<T>): EastFunction<T>;
/**
 * Return `true` if all `values` are `true`, or `false` otherwise.
 *
 * @param value one or more {@link Expression}'s to apply
 *
 * @category Expression
 *
 * @example
 * ```typescript
 *  // ...
 *  // set an employee availability to true if they are a "Site Worker" AND they started more than 6 months ago
 *  Available: And(
 *      Equal(
 *          Variable('EmployeeCategory', 'strings'),
 *          Const("Site Worker")
 *      ),
 *      Greater(
 *          Duration(
 *              Variable('StartDate', DateTimeType),
 *              Variable('ContractDate', DateTimeType),
 *              'month'
 *          ),
 *          6
 *      )
 *  ),
 *  // ...
 * ```
 */
export declare function And(): EastFunction<BooleanType>;
export declare function And<T extends BooleanType>(first: EastFunction<T>): EastFunction<T>;
export declare function And<T extends BooleanType, U extends BooleanType>(first: EastFunction<T>, second: EastFunction<U>): EastFunction<T & U>;
export declare function And<T extends BooleanType, U extends BooleanType, W extends BooleanType>(first: EastFunction<T>, second: EastFunction<U>, third: EastFunction<W>): EastFunction<T & U & W>;
export declare function And<T extends BooleanType, U extends BooleanType, W extends BooleanType, X extends BooleanType>(first: EastFunction<T>, second: EastFunction<U>, third: EastFunction<W>, fourth: EastFunction<X>): EastFunction<T & U & W & X>;
export declare function And<T extends BooleanType, U extends BooleanType, W extends BooleanType, X extends BooleanType, Y extends BooleanType>(first: EastFunction<T>, second: EastFunction<U>, third: EastFunction<W>, fourth: EastFunction<X>, fifth: EastFunction<Y>): EastFunction<T & U & W & X & Y>;
/**
 * Return `false` if all `values` are `false`, or `true` otherwise.
 *
 * @param value one or more {@link Expression}'s to apply
 *
 * @category Expression
 *
 * @example
 * ```typescript
 *  // ...
 *  // set an employee availability to true if they are a "Site Worker" OR they started more than 6 months ago
 *  Available: Or(
 *      Equal(
 *          Variable('EmployeeCategory', StringType),
 *          Const("Site Worker")
 *      ),
 *      Greater(
 *          Duration(
 *              Variable('StartDate', DateTimeType),
 *              Variable('ContractDate', DateTimeType),
 *              'month'
 *          ),
 *          6
 *      )
 *  ),
 *  // ...
 * ```
 */
export declare function Or(): EastFunction<BooleanType>;
export declare function Or<T extends BooleanType>(first: EastFunction<T>): EastFunction<T>;
export declare function Or<T extends BooleanType, U extends BooleanType>(first: EastFunction<T>, second: EastFunction<U>): EastFunction<T & U>;
export declare function Or<T extends BooleanType, U extends BooleanType, W extends BooleanType>(first: EastFunction<T>, second: EastFunction<U>, third: EastFunction<W>): EastFunction<T & U & W>;
export declare function Or<T extends BooleanType, U extends BooleanType, W extends BooleanType, X extends BooleanType>(first: EastFunction<T>, second: EastFunction<U>, third: EastFunction<W>, fourth: EastFunction<X>): EastFunction<T & U & W & X>;
export declare function Or<T extends BooleanType, U extends BooleanType, W extends BooleanType, X extends BooleanType, Y extends BooleanType>(first: EastFunction<T>, second: EastFunction<U>, third: EastFunction<W>, fourth: EastFunction<X>, fifth: EastFunction<Y>): EastFunction<T & U & W & X & Y>;
/**
 * Compare two values and return `true` if equal, or `false` otherwise.
 *
 * @param first the first {@link Expression} to compare
 * @param second the second {@link Expression} to compare
 *
 * @category Expression
 *
 * @example
 * ```typescript
 *  // ...
 *  // return true if an employee is a "Site Worker"
 *  IsSiteWorker: Equal(
 *      Variable('EmployeeCategory', StringType),
 *      Const("Site Worker")
 *  ),
 *  // ...
 * ```
 */
export declare function Equal<T extends EastType>(first: EastFunction<T>, second: ValueTypeOf<T>): EastFunction<BooleanType>;
export declare function Equal<T extends EastType>(first: ValueTypeOf<T>, second: EastFunction<T>): EastFunction<BooleanType>;
export declare function Equal<T extends EastType, U extends T>(first: EastFunction<U>, second: EastFunction<T>): EastFunction<BooleanType>;
export declare function Equal<T extends EastType, U extends T>(first: EastFunction<T>, second: EastFunction<U>): EastFunction<BooleanType>;
/**
 * Compare two values and return `false` if equal, or `true` otherwise.
 *
 * @param first the first {@link Expression} to compare
 * @param second the second {@link Expression} to compare
 *
 * @category Expression
 *
 * @example
 * ```typescript
 *  // ...
 *  // return true if an employee isn't a "Site Worker"
 *  IsNotSiteWorker: NotEqual(
 *      Variable('EmployeeCategory', StringType),
 *      Const("Site Worker")
 *  ),
 *  // ...
 * ```
 */
export declare function NotEqual<T extends EastType>(first: EastFunction<T>, second: ValueTypeOf<T>): EastFunction<BooleanType>;
export declare function NotEqual<T extends EastType>(first: ValueTypeOf<T>, second: EastFunction<T>): EastFunction<BooleanType>;
export declare function NotEqual<T extends EastType, U extends T>(first: EastFunction<U>, second: EastFunction<T>): EastFunction<BooleanType>;
export declare function NotEqual<T extends EastType, U extends T>(first: EastFunction<T>, second: EastFunction<U>): EastFunction<BooleanType>;
/**
 * Compare two values and return `true` if the first is less than the second, or `false` otherwise.
 *
 * @param first the first {@link Expression} to compare
 * @param second the second {@link Expression} to compare
 *
 * @category Expression
 *
 * @example
 * ```typescript
 *  // ...
 *  // return true if cost is less than a price
 *  IsProfitable: Less(
 *      Variable('Cost', FloatType),
 *      Variable('Price', FloatType)
 *  ),
 *  // ...
 * ```
 */
export declare function Less<T extends EastType>(first: EastFunction<T>, second: ValueTypeOf<T>): EastFunction<BooleanType>;
export declare function Less<T extends EastType>(first: ValueTypeOf<T>, second: EastFunction<T>): EastFunction<BooleanType>;
export declare function Less<T extends EastType, U extends T>(first: EastFunction<U>, second: EastFunction<T>): EastFunction<BooleanType>;
export declare function Less<T extends EastType, U extends T>(first: EastFunction<T>, second: EastFunction<U>): EastFunction<BooleanType>;
/**
 * Compare two values and return `true` if the first is less than or equal to the second, or `false` otherwise.
 *
 * @param first the first {@link Expression} to compare
 * @param second the second {@link Expression} to compare
 *
 * @category Expression
 *
 * @example
 * ```typescript
 *  // ...
 *  // return true if purchase price is less than or equal to bank balance
 *  CanPurchase: LessEqual(
 *      Variable('Price', FloatType),
 *      Variable('Balance', FloatType)
 *  ),
 *  // ...
 * ```
 */
export declare function LessEqual<T extends EastType>(first: EastFunction<T>, second: ValueTypeOf<T>): EastFunction<BooleanType>;
export declare function LessEqual<T extends EastType>(first: ValueTypeOf<T>, second: EastFunction<T>): EastFunction<BooleanType>;
export declare function LessEqual<T extends EastType, U extends T>(first: EastFunction<U>, second: EastFunction<T>): EastFunction<BooleanType>;
export declare function LessEqual<T extends EastType, U extends T>(first: EastFunction<T>, second: EastFunction<U>): EastFunction<BooleanType>;
/**
 * Compare two values and return `true` if the first is greater than the second, or `false` otherwise.
 *
 * @param first the first {@link Expression} to compare
 * @param second the second {@link Expression} to compare
 *
 * @category Expression
 *
 * @example
 * ```typescript
 *  // ...
 *  // return true if more than 8 hours were worked
 *  IsOvertime: Greater(
 *      Variable('HoursWorked', FloatType),
 *      8
 *  ),
 *  // ...
 * ```
 */
export declare function Greater<T extends EastType>(first: EastFunction<T>, second: ValueTypeOf<T>): EastFunction<BooleanType>;
export declare function Greater<T extends EastType>(first: ValueTypeOf<T>, second: EastFunction<T>): EastFunction<BooleanType>;
export declare function Greater<T extends EastType, U extends T>(first: EastFunction<U>, second: EastFunction<T>): EastFunction<BooleanType>;
export declare function Greater<T extends EastType, U extends T>(first: EastFunction<T>, second: EastFunction<U>): EastFunction<BooleanType>;
/**
 * Compare two values and return `true` if the first is greater than or equal to the second, or `false` otherwise.
 *
 * @param first the first {@link Expression} to compare
 * @param second the second {@link Expression} to compare
 *
 * @category Expression
 *
 * @example
 * ```typescript
 *  // ...
 *  // return true if balance is greater or equal to zero.
 *  IsSolvent: GreaterEqual(
 *      Variable('Balance', FloatType),
 *      0
 *  ),
 *  // ...
 * ```
 */
export declare function GreaterEqual<T extends EastType>(first: EastFunction<T>, second: ValueTypeOf<T>): EastFunction<BooleanType>;
export declare function GreaterEqual<T extends EastType>(first: ValueTypeOf<T>, second: EastFunction<T>): EastFunction<BooleanType>;
export declare function GreaterEqual<T extends EastType, U extends T>(first: EastFunction<U>, second: EastFunction<T>): EastFunction<BooleanType>;
export declare function GreaterEqual<T extends EastType, U extends T>(first: EastFunction<T>, second: EastFunction<U>): EastFunction<BooleanType>;