Function testContravariantLaws

Test typeclass laws for the given instances of some contravariant datatype: a higher-kinded datatype where the constructor type parameter appears in the contravariant position, for example Predicate. The underlying types used will all be readonly number[]. This is a version of testTypeclassLaws for contravariant datatypes.

testContravariantLaws<F>(given): (<Ins>(instances: Ins, parameters?: ParameterOverrides) => void)
Type Parameters
- F extends TypeLambda
Parameters
- given: ContravariantGiven<F>
  Contravariant test options for the datatype under test.
Returns (<Ins>(instances: Ins, parameters?: ParameterOverrides) => void)
- - <Ins>(instances, parameters?): void
  - Type Parameters
    - Ins extends Partial<Concrete<Kind<F, never, unknown, string, Mono>> & Parameterized<F>>
    Parameters
    - instances: Ins
      Instances to test. Key is typeclass name and value is the instance under test. For example, { Invariant: Predicate.Invariant } will run the Invariant typeclass laws on the datatype Predicate.
    - Optionalparameters: ParameterOverrides
      Optional runtime fast-check parameters.
    Returns void
- Defined in src/vitest/monomorphic.ts:68

Function testContravariantLaws

Type Parameters

Parameters

Returns (<Ins>(instances: Ins, parameters?: ParameterOverrides) => void)

Type Parameters

Parameters

Returns void

Settings