Function buildConcreteTypeclassLaws

Build concrete type typeclass laws for the given instances of some datatype.

  • buildConcreteTypeclassLaws<A>(instances, given): LawSet[]

  • Type Parameters

    • A

    Parameters

    • instances: Partial<Concrete<A>>

      Instances to test. Key is typeclass name and value is the instance under test. For example, { Equivalence: Number.Equivalence } will run the instance through the Equivalence typeclass laws.

    • given: Omit<ConcreteGiven<TypeLambda, A>, "F">

      The common concrete options: equivalence and an arbitrary for the underlying type of the test.

    Returns LawSet[]

Settings

Member Visibility