Interface BuildParameterized<Typeclass>

Type Parameters

• Typeclass extends TypeLambda

• BuildParameterized<
      F extends TypeLambda,
      A,
      B = A,
      C = A,
      R = never,
      O = unknown,
      E = unknown,
  >(
      given: ParameterizedGiven<Typeclass, F, A, B, C, R, O, E>,
      suffix?: string,
  ): LawSet

  Type Parameters

  • F extends TypeLambda
  • A
  • B = A
  • C = A
  • R = never
  • O = unknown
  • E = unknown

  Parameters

  • given: ParameterizedGiven<Typeclass, F, A, B, C, R, O, E>
  • Optionalsuffix: string

  Returns LawSet