Interface ContravariantGiven<F>

Options for the monomorphic typeclass test runner on datatypes where the underlying datatype is in _contravariant position, for example Predicate. Not to be confused with the Contravariant typeclass tests.

interface ContravariantGiven<F> {
    Arbitrary: Arbitrary<Kind<F, never, unknown, string, Mono>>;
    Equivalence: Equivalence<Kind<F, never, unknown, string, Mono>>;
}

Type Parameters

  • F extends TypeLambda

Properties

Arbitrary Equivalence

Properties

Arbitrary

Arbitrary: Arbitrary<Kind<F, never, unknown, string, Mono>>

An arbitrary for the datatype under test of type F<Mono>.

Equivalence

Equivalence: Equivalence<Kind<F, never, unknown, string, Mono>>

Equivalence for the datatype under test of type F<Mono>.

Settings

Member Visibility

On This Page

Properties