import type { False, True } from '../bool.js';
import type { If } from '../common.js';
import type { Assume, HKT1, HKT2, HKT3, Pipe1 } from '../hkt.js';
import type { List } from '../list.js';
import type { Str } from '../str.js';
export type Num = number;
export declare namespace Num {
  type IsPos<N extends Num> = `${N}` extends `-${string}` ? False : True;
  interface IsPos$ extends HKT1 {
    new: (n: Assume<this['_1'], Num>) => IsPos<typeof n>;
  }
  type isNeg<N extends Num> = `${N}` extends `-${string}` ? True : False;
  interface IsNeg$ extends HKT1 {
    new: (n: Assume<this['_1'], Num>) => isNeg<typeof n>;
  }
  type IsNat<T> = T extends
    | string
    | number
    | bigint
    | boolean
    | null
    | undefined
    ? Pipe1<Str.ToChars<`${T}`>, List.Every$<Str.IsDigit$>>
    : False;
  interface IsNat$ extends HKT1 {
    new: (x: Assume<this['_1'], Num>) => IsNat<typeof x>;
  }
  type IfNat<T, Then, Else> = If<IsNat<T>, Then, Else>;
  interface IfNat$<Then, Else> extends HKT1 {
    new: (x: Assume<this['_1'], unknown>) => IfNat<typeof x, Then, Else>;
  }
  interface IfNat$$<Else> extends HKT2 {
    new: (
      x: Assume<this['_1'], unknown>,
      then: Assume<this['_2'], unknown>,
    ) => IfNat<typeof x, typeof then, Else>;
  }
  interface IfNat$$$ extends HKT3 {
    new: (
      x: Assume<this['_1'], unknown>,
      then: Assume<this['_2'], unknown>,
      else_: Assume<this['_3'], unknown>,
    ) => IfNat<typeof x, typeof then, typeof else_>;
  }
}
export type * from './int.js';
export type * from './nat.js';
//# sourceMappingURL=index.d.ts.map