smart-types-ts/src/number/positiveNum.spec.ts

A collection of _Smart Types_ and _Smart Constructors_ which enable you to be more strict when defining your application's important types/interfaces.

import { assert } from "chai";
import * as fc from "fast-check";
import * as e from "fp-ts/lib/Either";
import { mkPositiveNum } from "./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 => {
          assert.deepStrictEqual(
            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 => {
          assert.deepStrictEqual(mkPositiveNum(num), e.right(num));
        })
      );
    });
  });
});