Function testConcreteTypeclassLaws

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

  • testConcreteTypeclassLaws<A>(instances, given, parameters?): void

  • 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.

    • Optionalparameters: ParameterOverrides

      Optional runtime fast-check parameters.

    Returns void

Settings

Member Visibility