Function buildConcreteTypeclassLaw

Build a LawSet for the given concrete typeclass instance.

buildConcreteTypeclassLaw<Typeclass>(typeclass): (<A>(given: ConcreteGiven<ConcreteLambdas[Typeclass], A>) => LawSet)
Type Parameters
- Typeclass extends
      | "Bounded"
      | "Equivalence"
      | "Semigroup"
      | "Monoid"
      | "Order"
Parameters
- typeclass: Typeclass
Returns (<A>(given: ConcreteGiven<ConcreteLambdas[Typeclass], A>) => LawSet)
- - <A>(given): LawSet
  - Type Parameters
    - A
    Parameters
    - given: ConcreteGiven<ConcreteLambdas[Typeclass], A>
    Returns LawSet
- Defined in src/laws/typeclass/concrete/catalog.ts:59