Derivable

harness.deriving.K1T.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]]