Type Members

1.  abstract class CaseClass[Typeclass[_], Type] extends AnyRef

   represents a case class or case object and the context required to construct a new typeclass instance corresponding to it

   represents a case class or case object and the context required to construct a new typeclass instance corresponding to it

   Instances of CaseClass provide access to all of the parameters of the case class, the full name of the case class type, and a boolean to determine whether the type is a case class or case object.

   Typeclass

   type constructor for the typeclass being derived

   Type

   generic type of this parameter

2.  trait Param[Typeclass[_], Type] extends AnyRef

   represents a parameter of a case class

   represents a parameter of a case class

   Typeclass

   type constructor for the typeclass being derived

   Type

   generic type of this parameter

3.  final class SealedTrait[Typeclass[_], Type] extends AnyRef

   represents a sealed trait and the context required to construct a new typeclass instance corresponding to it

   represents a sealed trait and the context required to construct a new typeclass instance corresponding to it

   Instances of SealedTrait provide access to all of the component subtypes of the sealed trait which form a coproduct, and to the fully-qualified name of the sealed trait.

   Typeclass

   type constructor for the typeclass being derived

   Type

   generic type of this parameter

4.  trait Subtype[Typeclass[_], Type] extends AnyRef

   represents a subtype of a sealed trait

   represents a subtype of a sealed trait

   Typeclass

   type constructor for the typeclass being derived

   Type

   generic type of this parameter