rivo/Num/IsNat.d.ts

🤖 The ultimate library you need for composable type-level programming in TypeScript, powered by HKT.

// @ts-ignore - Only used in doc comments
import type { Nat } from "./Nat";
import type { IsNat } from "./Nat/IsNat";
import type { Args, Fn } from "../HKT";

export type { IsNat };

/**
 * [Fn] Check if a value is {@link Nat}.
 *
 * Sig: `(n: number) => boolean`
 */
export default interface IsNatFn extends Fn<[number], boolean> {
  def: ([n]: Args<this>) => IsNat<typeof n>;
}