magnolia/magnolia1/Derivation

Derivation

trait Derivation[TypeClass[_]] extends CommonDerivation[TypeClass] with SealedTraitDerivation
trait CommonDerivation[TypeClass]
class Object
trait Matchable
class Any
trait AutoDerivation[TypeClass]

Type members

Inherited types

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

Value members

Abstract methods

def split[T](ctx: SealedTrait[Typeclass, T]): TypeClass[T]

Concrete methods

inline override protected def deriveSubtype[s](m: Of[s]): TypeClass[s]
Definition Classes
inline def derived[A](using Of[A]): TypeClass[A]
inline def derivedMirror[A](using mirror: Of[A]): TypeClass[A]
inline def derivedMirrorSum[A](sum: SumOf[A]): TypeClass[A]
transparent inline def subtypes[T, SubtypeTuple <: Tuple](m: SumOf[T], idx: Int): List[Subtype[Typeclass, T, _]]

Inherited methods

inline def `getParams__`[T, Labels <: Tuple, Params <: Tuple](annotations: Map[String, List[Any]], inheritedAnnotations: Map[String, List[Any]], typeAnnotations: Map[String, List[Any]], repeated: Map[String, Boolean], defaults: Map[String, Option[() => Any]], idx: Int): List[Param[Typeclass, T]]
Inherited from:
CommonDerivation
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
inline def getParams_[T, Labels <: Tuple, Params <: Tuple](annotations: Map[String, List[Any]], inheritedAnnotations: 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
inline protected def sealedTraitFromMirror[A](m: SumOf[A]): SealedTrait[Typeclass, A]
Inherited from:
SealedTraitDerivation
transparent inline protected def subtypesFromMirror[A, SubtypeTuple <: Tuple](m: SumOf[A], idx: Int): List[Subtype[Typeclass, A, _]]
Inherited from:
SealedTraitDerivation