smart-types-ts
Version:
A collection of _Smart Types_ and _Smart Constructors_ which enable you to be more strict when defining your application's important types/interfaces.
42 lines (41 loc) • 1.94 kB
JavaScript
;
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
if (k2 === undefined) k2 = k;
Object.defineProperty(o, k2, { enumerable: true, get: function() { return m[k]; } });
}) : (function(o, m, k, k2) {
if (k2 === undefined) k2 = k;
o[k2] = m[k];
}));
var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
Object.defineProperty(o, "default", { enumerable: true, value: v });
}) : function(o, v) {
o["default"] = v;
});
var __importStar = (this && this.__importStar) || function (mod) {
if (mod && mod.__esModule) return mod;
var result = {};
if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
__setModuleDefault(result, mod);
return result;
};
Object.defineProperty(exports, "__esModule", { value: true });
const chai_1 = require("chai");
const fc = __importStar(require("fast-check"));
const e = __importStar(require("fp-ts/lib/Either"));
const positiveNum_1 = require("./positiveNum");
describe("PositiveNum", () => {
describe("mkPositiveNum", () => {
it("returns None when the input is invalid", () => {
const invalidInput = fc.oneof(fc.integer({ max: 0 }), fc.double({ max: 0 }), fc.float({ max: 0 }));
fc.assert(fc.property(invalidInput, num => {
chai_1.assert.deepStrictEqual(positiveNum_1.mkPositiveNum(num), e.left("Not a positive number"));
}));
});
it("succeeds when the input is a positive number", () => {
const validInput = fc.oneof(fc.integer({ min: 1 }), fc.double({ min: 0.000001 }), fc.float({ min: 0.000001 }));
fc.assert(fc.property(validInput, num => {
chai_1.assert.deepStrictEqual(positiveNum_1.mkPositiveNum(num), e.right(num));
}));
});
});
});