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

effect-ts law testing using fast-check.

import { predicate } from '#arbitrary';
import { monoRecord } from '#util';
/**
 * Build the options for monomorphic typeclass law tests on the underlying type
 * `A`.
 * @category monomorphic
 */
export const unfoldMonomorphicGiven = ({ a, equalsA, getEquivalence, getArbitrary, Monoid, }) => ({
    ...monoRecord(a)('a', 'b', 'c'),
    ...monoRecord(equalsA)('equalsA', 'equalsB', 'equalsC'),
    ...monoRecord(predicate())('predicateA', 'predicateB', 'predicateC'),
    getArbitrary,
    getEquivalence,
    Monoid,
});
//# sourceMappingURL=given.js.map