UNPKG

@typed/io

Version:

Runtime IO type system

23 lines 1.99 kB
"use strict"; Object.defineProperty(exports, "__esModule", { value: true }); exports.Zero = exports.PositiveInteger = exports.Positive = exports.NonZeroInteger = exports.NonZero = exports.NonPositiveInteger = exports.NonPositive = exports.NonNegativeInteger = exports.NonNegative = exports.NegativeInteger = exports.Negative = exports.Integer = exports.Character = exports.NonEmptyString = exports.EmptyString = void 0; const new_type_1 = require("@typed/new-type"); const Number_1 = require("./Number"); const refinement_1 = require("./refinement"); const String_1 = require("./String"); exports.EmptyString = refinement_1.refinement(String_1.String, new_type_1.isEmptyString); exports.NonEmptyString = refinement_1.refinement(String_1.String, new_type_1.isNonEmptyString); exports.Character = refinement_1.refinement(String_1.String, new_type_1.isCharacter); exports.Integer = refinement_1.refinement(Number_1.Number, new_type_1.isInteger); exports.Negative = refinement_1.refinement(Number_1.Number, new_type_1.isNegative); exports.NegativeInteger = refinement_1.refinement(Number_1.Number, new_type_1.isNegativeInteger); exports.NonNegative = refinement_1.refinement(Number_1.Number, new_type_1.isNonNegative); exports.NonNegativeInteger = refinement_1.refinement(Number_1.Number, new_type_1.isNonNegativeInteger); exports.NonPositive = refinement_1.refinement(Number_1.Number, new_type_1.isNonPositive); exports.NonPositiveInteger = refinement_1.refinement(Number_1.Number, new_type_1.isNonPositiveInteger); exports.NonZero = refinement_1.refinement(Number_1.Number, new_type_1.isNonZero); exports.NonZeroInteger = refinement_1.refinement(Number_1.Number, new_type_1.isNonZeroInteger); exports.Positive = refinement_1.refinement(Number_1.Number, new_type_1.isPositive); exports.PositiveInteger = refinement_1.refinement(Number_1.Number, new_type_1.isPositiveInteger); exports.Zero = refinement_1.refinement(Number_1.Number, new_type_1.isZero); //# sourceMappingURL=new-types.js.map