oxygen-meta
API
Generated with
oxygen-meta/oxygen/oxygen.meta/K0/Entity/Child

Child

oxygen.meta.K0.Entity.Child
See theChild companion object
trait Child[ParentBound, B <: ParentBound, A] extends Entity[ParentBound, B]

Attributes

Companion
object
Graph
Supertypes
trait Entity[ParentBound, B]
class Object
trait Matchable
class Any
Known subtypes
class Deferred[ParentBound, B, A]
class Case[B]
class IdentityChild[B]
class Field[B]

Members list

Type members

Types

override type SelfType[A2 <: ParentBound] <: Child[ParentBound, A2, A]

Value members

Abstract methods

Concrete methods

final def getExpr[F[_]](expressions: Expressions[F, A])(using Quotes): Expr[F[B]]
override def summonTypeClass[TC[_] : Type](using evidence$1: Type[TC], quotes: Quotes): Expr[TC[B]]

Attributes

Definition Classes

Inherited methods

final def name: String

Attributes

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

Attributes

Inherited from:
Entity
final def typedAs[TypeName <: ParentBound]: 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 annotations(using Quotes): AnnotationsTyped[B]

Attributes

Inherited from:
Entity
def pos: Position

Attributes

Inherited from:
Entity

Abstract fields

val childType: String
val idx: Int

Inherited and Abstract fields

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

Attributes

Inherited from:
Entity
Generated with