Interface GivenEquivalence<F, A, B, C, In1, Out2, Out1>

The equivalence concern of typeclass test options.

interface GivenEquivalence<F, A, B, C, In1, Out2, Out1> {
    equalsA: Equivalence<A>;
    equalsB: Equivalence<B>;
    equalsC: Equivalence<C>;
    getEquivalence: LiftEquivalence<F, In1, Out2, Out1>;
}

Type Parameters

F extends TypeLambda
A
B
C
In1
Out2
Out1

Hierarchy (view full)

GivenEquivalence
- GivenConcerns

Index

Properties

equalsA equalsB equalsC getEquivalence

Properties

equalsA

equalsA: Equivalence<A>

An equivalence for the underlying type A.

equalsB

equalsB: Equivalence<B>

An equivalence for the underlying type B.

equalsC

equalsC: Equivalence<C>

An equivalence for the underlying type C.

getEquivalence

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

A function that will get an equivalence for the type under test from an equivalence for the underlying type.