rivo/Num/Int/Inc.d.ts

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

import type { Int } from ".";
import type { Add } from "./Add";
import type { Arg0, Fn } from "../../HKT";

/**
 * Add 1 to an {@link Int}.
 *
 * Sig: `(n: Int) => Int`
 */
export type Inc<I extends Int> = Add<I, 1>;

/**
 * [Fn] Add 1 to an {@link Int}.
 *
 * Sig: `(n: Int) => Int`
 */
export default interface IncFn extends Fn<[Int], Int> {
  def: () => Inc<Arg0<this>>;
}