Function parameterizedLawsFor
- parameterizedLawsFor<const Typeclass>(name): (<F, A, B, C, In1, Out2, Out1>(given: ParameterizedGiven<ParameterizedLambdas[Typeclass], F, A, B, C, In1, Out2, Out1>) => LawSet)
Type Parameters
- const Typeclass extends
| "Invariant"
| "Covariant"
| "Applicative"
| "Traversable"
| "SemiAlternative"
| "Alternative"
| "Bicovariant"
| "Contravariant"
| "Monad"
- <F, A, B, C, In1, Out2, Out1>(given): LawSet
Type Parameters
- F extends TypeLambda
- A
- B = A
- C = A
- In1 = never
- Out2 = unknown
- Out1 = unknown
Get the typeclass laws for the given typeclass name. Returns a function that when given the required options, will run the typeclass law tests.