Interface MonomorphicGiven<F, R, O, E>

Options for the monomorphic typeclass test runner.

interface MonomorphicGiven<
    F extends TypeLambda,
    R = never,
    O = unknown,
    E = unknown,
> {
    getArbitrary: LiftArbitrary<F, R, O, E>;
    getEquivalence: LiftEquivalence<F, R, O, E>;
}

Properties

getArbitrary: LiftArbitrary<F, R, O, E>

A function that will lift arbitraries from any underlying type to arbitraries of F<A>.

getEquivalence: LiftEquivalence<F, R, O, E>

A function that will lift an equivalence for any underlying type info an equivalence of F<A>.