@typed/io/esm/decoder/new-types.d.ts

Runtime IO type system

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