@typed/io/cjs/guard/new-types.d.ts

Runtime IO type system

export declare const EmptyString: import("./Guard").Guard<import("@typed/new-type").NewType<string & {
    readonly length: import("@typed/new-type").NewType<number, "Zero">;
}, "EmptyString">>;
export declare const NonEmptyString: import("./Guard").Guard<import("@typed/new-type").NewType<string & {
    readonly length: number & {
        readonly __TYPE__: never;
    };
}, "NonEmptyString">>;
export declare const Character: import("./Guard").Guard<import("@typed/new-type").NewType<string & {
    readonly length: 1;
}, "Character">>;
export declare const Integer: import("./Guard").Guard<import("@typed/new-type").NewType<number, "Integer">>;
export declare const Negative: import("./Guard").Guard<import("@typed/new-type").NewType<number, "Negative">>;
export declare const NegativeInteger: import("./Guard").Guard<number & {
    readonly __TYPE__: never;
}>;
export declare const NonNegative: import("./Guard").Guard<import("@typed/new-type").NonNegative>;
export declare const NonNegativeInteger: import("./Guard").Guard<import("@typed/new-type").NonNegativeInteger>;
export declare const NonPositive: import("./Guard").Guard<import("@typed/new-type").NonPositive>;
export declare const NonPositiveInteger: import("./Guard").Guard<import("@typed/new-type").NonNegativeInteger>;
export declare const NonZero: import("./Guard").Guard<import("@typed/new-type").NewType<number, "NonZero">>;
export declare const NonZeroInteger: import("./Guard").Guard<number & {
    readonly __TYPE__: never;
}>;
export declare const Positive: import("./Guard").Guard<import("@typed/new-type").NewType<number, "Positive">>;
export declare const PositiveInteger: import("./Guard").Guard<number & {
    readonly __TYPE__: never;
}>;
export declare const Zero: import("./Guard").Guard<import("@typed/new-type").NewType<number, "Zero">>;
//# sourceMappingURL=new-types.d.ts.map