Function buildContravariantLaws

Build 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 buildTypeclassLaws for contravariant datatypes.

buildContravariantLaws<F>(given): (<Ins>(instances: Ins) => LawSet[])
Type Parameters
- F extends TypeLambda
Parameters
- given: ContravariantGiven<F>
  Contravariant test options for the datatype under test.
Returns (<Ins>(instances: Ins) => LawSet[])
- - <Ins>(instances): LawSet[]
  - 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.
    Returns LawSet[]
- Defined in src/laws/typeclass/monomorphic/build.ts:59

Function buildContravariantLaws

Type Parameters

Parameters

Returns (<Ins>(instances: Ins) => LawSet[])

Type Parameters

Parameters

Returns LawSet[]

Settings