Interface IsomorphismGivenFor<A, B>

Arguments required to test a single Isomorphism<A,B>.

interface IsomorphismGivenFor<A, B> {
    b: Arbitrary<B>;
    equalsB: Equivalence<B>;
    F: Isomorphism.Isomorphism<A, B>;
}

Type Parameters

A
B

Index

Properties

Properties

b

b: Arbitrary<B>

An arbitrary for the decoded values of the isomorphism.

equalsB

equalsB: Equivalence<B>

An equivalence for the decoded values of the isomorphism.

F

F: Isomorphism.Isomorphism<A, B>

Instance of the typeclass under test.