Derivable

harness.deriving.K11T.Derivable
trait Derivable[T[_[_[_ <: UB]]]]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

final inline def derive[F[_[_ <: UB]]](using m: Generic[F]): T[F]

Implicits

Implicits

implicit inline def genProduct[F[_[_ <: UB]]](implicit m: ProductGeneric[F]): Derived[T[F]]
implicit inline def genSum[F[_[_ <: UB]]](implicit m: SumGeneric[F]): Derived[T[F]]