oxygen-meta
API
Generated with
oxygen-meta/oxygen/oxygen.meta/K0/ProductGeneric/CaseClassGeneric

CaseClassGeneric

oxygen.meta.K0.ProductGeneric.CaseClassGeneric
See theCaseClassGeneric companion object
trait CaseClassGeneric[A] extends ProductGeneric[A]

Attributes

Companion
object
Graph
Supertypes
trait ProductGeneric[A]
trait Generic[A]
trait Entity[Any, A]
class Object
trait Matchable
class Any
Show all
Known subtypes
trait AnyValGeneric[A, B]

Members list

Type members

Inherited classlikes

class CacheVals

Attributes

Inherited from:
Generic
Supertypes
class Object
trait Matchable
class Any
object ChildFunction0

Attributes

Inherited from:
Generic
Supertypes
class Object
trait Matchable
class Any
object ChildFunction1

Attributes

Inherited from:
Generic
Supertypes
class Object
trait Matchable
class Any
object ChildFunction2

Attributes

Inherited from:
Generic
Supertypes
class Object
trait Matchable
class Any
final case class Field[B](idx: Int, typeRepr: TypeRepr, constructorValDef: ValDef, fieldValDef: ValDef) extends Child[Any, B, A]

Attributes

Inherited from:
ProductGeneric
Supertypes
trait Serializable
trait Product
trait Equals
trait Child[Any, B, A]
trait Entity[Any, B]
class Object
trait Matchable
class Any
Show all
class Instantiate

Attributes

Inherited from:
ProductGeneric
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class MapChildren

Attributes

Inherited from:
Generic
Supertypes
class Object
trait Matchable
class Any

Inherited types

final type AType = A

Attributes

Inherited from:
Generic
final type AnyChild = Child[ChildBound]

Attributes

Inherited from:
Generic
final override type Child[B] = Field[B]

Attributes

Inherited from:
ProductGeneric
final override type ChildBound = Any

Attributes

Inherited from:
ProductGeneric
type ChildFunction0[O[_ <: ChildBound]] = [b <: ChildBound] => (x$1: Quotes, x$2: Type[b]) ?=> Child[b] => O[b]

Attributes

Inherited from:
Generic
type ChildFunction1[I[_], O[_]] = [b <: ChildBound] => (x$1: Quotes, x$2: Type[b]) ?=> (Child[b], I[b]) => O[b]

Attributes

Inherited from:
Generic
type ChildFunction2[I1[_], I2[_], O[_]] = [b <: ChildBound] => (x$1: Quotes, x$2: Type[b]) ?=> (Child[b], I1[b], I2[b]) => O[b]

Attributes

Inherited from:
Generic
final type SelfBound = Any

Attributes

Inherited from:
Generic

Inherited and Abstract types

override type SelfType[A2] <: ProductGeneric[A2]

Attributes

Inherited from:
ProductGeneric

Value members

Inherited methods

final override def annotations(using Quotes): AnnotationsTyped[A]

Attributes

Definition Classes
Inherited from:
Generic
final override def children: Contiguous[AnyChild]

Attributes

Definition Classes
Inherited from:
ProductGeneric
def filtered[SubsetT](f: ChildFunction0[Const[Boolean]])(using Quotes): Subset[A, SubsetT]

Attributes

Inherited from:
ProductGeneric
final def name: String

Attributes

Inherited from:
Entity
final override def pos: Position

Attributes

Definition Classes
Inherited from:
Generic
final def showTypeClassInstances[F[_] : Type](using evidence$1: Type[F], Quotes): Unit

Attributes

Inherited from:
Generic
def summonTypeClass[TC[_] : Type](using evidence$1: Type[TC], quotes: Quotes): Expr[TC[A]]

Attributes

Inherited from:
Entity
final def summonTypeClassOrDerive[TC[_] : Type](f: => Type[A] ?=> Expr[TC[A]])(using evidence$1: Type[TC], quotes: Quotes): Expr[TC[A]]

Attributes

Inherited from:
Entity
final def typedAs[TypeName]: SelfType[TypeName]

Meant to be used in the following manner:

Meant to be used in the following manner:

Entity in this entity could be any of Generic, ProductGeneric, SumGeneric, Field, Case

val untyped: Entity[?] = ???

type A
val typed: Entity[A] = untyped.typedAs[A]

Entity in this case could be any of Generic, ProductGeneric, SumGeneric, Field, Case

Attributes

Inherited from:
Entity

Inherited and Abstract methods

def fields: Contiguous[Field[_]]

Attributes

Inherited from:
ProductGeneric
def fieldsToInstance[S[_] : SeqOps](exprs: S[Expr[_]])(using evidence$1: SeqOps[S], Quotes): Expr[A]

Attributes

Inherited from:
ProductGeneric

Abstract fields

override val typeType: Class

Inherited fields

val cacheVals: CacheVals

Attributes

Inherited from:
Generic
val instantiate: Instantiate

Attributes

Inherited from:
ProductGeneric
val mapChildren: MapChildren

Attributes

Inherited from:
Generic

Inherited and Abstract fields

val derivedFromConfig: Config

Attributes

Inherited from:
ProductOrSumGeneric
val label: String

Attributes

Inherited from:
Entity
val sym: Symbol

Attributes

Inherited from:
Entity
val typeRepr: TypeRepr

Attributes

Inherited from:
Entity

Givens

Inherited givens

given tpe: Type[A]

Attributes

Inherited from:
Entity
Generated with