Interface MonomorphicGiven<F, In1, Out2, Out1>

Options for the monomorphic typeclass test runner.

interface MonomorphicGiven<F, In1, Out2, Out1> {
getArbitrary: LiftArbitrary<F, In1, Out2, Out1>;
getEquivalence: LiftEquivalence<F, In1, Out2, Out1>;
}

Type Parameters

F extends TypeLambda
In1 = never
Out2 = unknown
Out1 = string

Index

Properties

getArbitrary getEquivalence

Properties

getArbitrary

getArbitrary: LiftArbitrary<F, In1, Out2, Out1>

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

getEquivalence

getEquivalence: LiftEquivalence<F, In1, Out2, Out1>

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