Type Alias TypeclassInstances<F, A, In1, Out2, Out1>

TypeclassInstances<F, A, In1, Out2, Out1>: Partial<Concrete<Kind<F, In1, Out2, Out1, A>> & Parameterized<F>>

Some subset of all typeclass instances implemented for a single data type. Can include both typeclasses for parameterized and concrete types.

Type Parameters

  • F extends TypeLambda
  • A
  • In1 = never
  • Out2 = unknown
  • Out1 = unknown

Settings

Member Visibility