import type { Args, Fn } from "../HKT";
import type { AssertStr } from "../helpers";

/**
 * Convert a number to a string.
 *
 * Sig: `(n: number) => string`
 */
export type ToStr<N extends number> = AssertStr<[number] extends [N] ? "number" : `${N}`>;

/**
 * [Fn] Convert a number to a string.
 *
 * Sig: `(n: number) => string`
 */
export default interface ToStrFn extends Fn<[number], string> {
  def: ([n]: Args<this>) => ToStr<typeof n>;
}