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

Runtime IO type system

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