CaseObjectGeneric

oxygen.meta.K0.ProductGeneric.CaseObjectGeneric
See theCaseObjectGeneric companion object
trait CaseObjectGeneric[A] extends ProductGeneric[A]

Attributes

Companion
object
Graph
Supertypes
trait ProductGeneric[A]
trait Generic[A]
trait Entity[A]
class Object
trait Matchable
class Any
Show all
Self type

Members list

Type members

Classlikes

Attributes

Supertypes
class Instantiate
class Object
trait Matchable
class Any

Inherited classlikes

class CacheVals

Attributes

Inherited from:
Generic
Supertypes
class Object
trait Matchable
class Any

Attributes

Inherited from:
Generic
Supertypes
class Object
trait Matchable
class Any

Attributes

Inherited from:
Generic
Supertypes
class Object
trait Matchable
class Any

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[B, A]

Attributes

Inherited from:
ProductGeneric
Supertypes
trait Serializable
trait Product
trait Equals
trait Child[B, A]
trait Entity[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 AnyChild = Child[Bound]

Attributes

Inherited from:
Generic
final override type Bound = Any

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
Generic
final type T = A

Attributes

Inherited from:
Generic

Value members

Abstract methods

def fieldsToInstance0(using Quotes): Expr[A]

Concrete methods

final override def fieldsToInstance[S[_] : SeqOps](exprs: S[Expr[_]])(using evidence$1: SeqOps[S], Quotes): Expr[A]

Attributes

Definition Classes

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

Abstract fields

override val typeType: Object

Concrete fields

final override val fields: Contiguous[Field[_]]

Inherited fields

Attributes

Inherited from:
Generic

Attributes

Inherited from:
Generic

Inherited and Abstract fields

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