Function buildMonomorphicLaws

buildMonomorphicLaws<
    F extends TypeLambda,
    A,
    R = never,
    O = unknown,
    E = unknown,
>(
    given: MonomorphicGivenOf<F, A, R, O, E>,
): <Ins extends Partial<Concrete<Kind<F, R, O, E, A>> & Parameterized<F>>>(
    instances: Ins,
) => LawSet[]
Build monomorphic typeclass laws for the given instances of some higher-kinded data type F with a single covariant underlying type A.
Type Parameters
- F extends TypeLambda
- A
- R = never
- O = unknown
- E = unknown
Parameters
- given: MonomorphicGivenOf<F, A, R, O, E>
  Test options for the datatype under test.
Returns <Ins extends Partial<Concrete<Kind<F, R, O, E, A>> & Parameterized<F>>>(
instances: Ins,
) => LawSet[]
Array of LawSets full of typeclass laws for the instance under test.
- - <Ins extends Partial<Concrete<Kind<F, R, O, E, A>> & Parameterized<F>>>(
    instances: Ins,
    ): LawSet[]
  - Type Parameters
    Ins extends Partial<Concrete<Kind<F, R, O, E, A>> & 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:17