import { Int, NonNegative, NonZero } from 'fp-ts-numerics'

const myInt: NonNegative<Int> = Int.fromDigit(0)
const myInt: NonZero<NonNegative<Int>> = Int.fromDigit(8)

export interface HasFromDigit<A> {
  /** @internal */
  [HAS_FROM_DIGIT]: typeof HAS_FROM_DIGIT
  fromDigit<D extends Digit>(digit: D): D extends 0 ? NonNegative<A> : NonZero<NonNegative<A>>
}

export declare function instanceHasFromDigit<A>(members: Methods<A>): HasFromDigit<A>