import { type BoolAnd, type BoolNot } from 'ts-type-forge';
import { type Type } from '../type.mjs';
type NumberType = bigint;
export declare function bigint(defaultValue?: NumberType): Type<NumberType>;
export declare function bigint<N extends NumberType, const C extends Constraints>(defaultValue: N & DefaultValueType<N, C>, constraints: C): Type<NumberType>;
type Constraints = Partial<Readonly<{
    nonZero: true;
    negative: true;
    nonNegative: true;
    positive: true;
    nonPositive: true;
    gt: NumberType;
    gte: NumberType;
    min: NumberType;
    lt: NumberType;
    lte: NumberType;
    max: NumberType;
    multipleOf: NumberType;
    step: NumberType;
}>>;
type DefaultValueType<N extends NumberType, C extends Constraints> = DefaultValueWhenNonZeroIsOn<N, C> & DefaultValueWhenNegativeIsOn<N, C> & DefaultValueWhenNonNegativeIsOn<N, C> & DefaultValueWhenPositiveIsOn<N, C> & DefaultValueWhenNonPositiveIsOn<N, C>;
type DefaultValueWhenNonZeroIsOn<N extends NumberType, C extends Constraints> = C extends Readonly<{
    nonZero: true;
}> ? NonZeroNumber<N> : NumberType;
type DefaultValueWhenNegativeIsOn<N extends NumberType, C extends Constraints> = C extends Readonly<{
    negative: true;
}> ? NegativeNumber<N> : NumberType;
type DefaultValueWhenNonNegativeIsOn<N extends NumberType, C extends Constraints> = C extends Readonly<{
    nonNegative: true;
}> ? NonNegativeNumber<N> : NumberType;
type DefaultValueWhenPositiveIsOn<N extends NumberType, C extends Constraints> = C extends Readonly<{
    positive: true;
}> ? PositiveNumber<N> : NumberType;
type DefaultValueWhenNonPositiveIsOn<N extends NumberType, C extends Constraints> = C extends Readonly<{
    nonPositive: true;
}> ? NonPositiveNumber<N> : NumberType;
type NonZeroNumber<N extends NumberType> = NumberType extends N ? NumberType : IsZero<N> extends true ? never : N;
type NegativeNumber<N extends NumberType> = NumberType extends N ? NumberType : IsNegative<N> extends true ? N : never;
type NonNegativeNumber<N extends NumberType> = NumberType extends N ? NumberType : IsNonNegative<N> extends true ? N : never;
type PositiveNumber<N extends NumberType> = NumberType extends N ? NumberType : IsPositive<N> extends true ? N : never;
type NonPositiveNumber<N extends NumberType> = NumberType extends N ? NumberType : IsNonPositive<N> extends true ? N : never;
type IsZero<N extends NumberType> = `${N}` extends '0' ? true : false;
type IsNonZero<N extends NumberType> = IsZero<N> extends true ? false : true;
type IsNegative<N extends NumberType> = `${N}` extends `-${string}` ? true : false;
type IsNonNegative<N extends NumberType> = IsNegative<N> extends true ? false : true;
type IsPositive<N extends NumberType> = BoolAnd<IsNonZero<N>, IsNonNegative<N>>;
type IsNonPositive<N extends NumberType> = BoolNot<IsPositive<N>>;
export {};
//# sourceMappingURL=bigint.d.mts.map