import type { Arg0, Fn } from "../HKT";
import type { AssertBool } from "../helpers";

/**
 * Check if a number is positive.
 *
 * Sig: `(n: number) => boolean`
 */
export type IsPos<N extends number> = AssertBool<`${N}` extends `-${string}` ? false : true>;

/**
 * [Fn] Check if a number is positive.
 *
 * Sig: `(n: number) => boolean`
 */
export default interface IsPosFn extends Fn<[number], boolean> {
  def: () => IsPos<Arg0<this>>;
}