Function buildTypeclassLaws

Build typeclass laws for the given instances of some datatype.

buildTypeclassLaws<F>(given): (<Ins>(instances: Ins) => LawSet[])
Type Parameters
- F extends TypeLambda
Parameters
- given: MonomorphicGiven<F, never, unknown, string>
  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, { Monad: Option.Monad } will run the monad typeclass laws on Option.
    Returns LawSet[]
- Defined in src/laws/typeclass/monomorphic/build.ts:33

Index

harness

harness

contravariant

contravariant: (<F>(given: ContravariantGiven<F>) => (<Ins>(instances: Ins) => LawSet[]))

Type declaration

- <F>(given): (<Ins>(instances: Ins) => LawSet[])
- 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.
  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[]