effect-ts-laws/src/laws/typeclass/monomorphic/build.js

effect-ts law testing using fast-check.

import { buildTypeclassLawsFor } from '../build.js';
import { unfoldMonomorphicGiven } from './given.js';
/**
 * Build monomorphic typeclass laws for the given instances of some
 * higher-kinded data type `F` with a single covariant underlying type `A`.
 * @param given - Test options for the datatype under test.
 * @returns Array of LawSets full of typeclass laws for the instance under test.
 * @property contravariant - Test contravariant typeclass laws on the given
 * instances.
 * @category harness
 */
export const buildMonomorphicLaws = (given) => (
/**
 * Instances to test. Key is typeclass name and value is the
 * instance under test. For example, `{ Monad: Option.Monad }` will run
 * the monad typeclass laws on `Option`.
 */
instances) => buildTypeclassLawsFor(instances, unfoldMonomorphicGiven(given));
//# sourceMappingURL=build.js.map