@typed/io
Version:
Runtime IO type system
23 lines • 1.99 kB
JavaScript
;
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