magnolia/magnolia1/ProductDerivation

ProductDerivation

trait ProductDerivation[TypeClass[_]] extends CommonDerivation[TypeClass]
trait CommonDerivation[TypeClass]
class Object
trait Matchable
class Any

Type members

Inherited types

type Typeclass[T] = TypeClass[T]
Inherited from
CommonDerivation

Value members

Concrete methods

inline
def derivedMirror[A](using mirror: Of[A]): TypeClass[A]

Inherited methods

inline
def derivedMirrorProduct[A](product: ProductOf[A]): TypeClass[A]
Inherited from
CommonDerivation
inline
def getParams[T, Labels <: Tuple, Params <: Tuple](annotations: Map[String, List[Any]], typeAnnotations: Map[String, List[Any]], repeated: Map[String, Boolean], idx: Int): List[Param[Typeclass, T]]
Inherited from
CommonDerivation
def join[T](ctx: CaseClass[Typeclass, T]): TypeClass[T]
Inherited from
CommonDerivation

Givens

Givens

given derived: TypeClass[A]