import type { Compare } from "./Compare";
import type { Arg0, Arg1, Fn } from "../HKT";
import type { AssertBool } from "../helpers";
import type { GT } from "../typeclass/Ord";

/**
 * Check if `N` is greater than `M`.
 *
 * Sig: `(n: number, m: number) => boolean`
 */
type GT_<N extends number, M extends number> = AssertBool<Compare<N, M> extends GT ? true : false>;
export type { GT_ as GT };

/**
 * [Fn] Check if `n` is greater than `m`.
 *
 * Sig: `(n: number, m: number) => boolean`
 */
export default interface GTFn extends Fn<[number, number], boolean> {
  def: () => GT_<Arg0<this>, Arg1<this>>;
}