Field

oxygen.meta.K0.ProductGeneric.Field
final case class Field[I](idx: Int, symRepr: meta.Symbol, constructorSymRepr: meta.Symbol, typeRepr: meta.TypeRepr, tpe: Type[I], valDef: ValDef, get: Expr[A] => Expr[I])

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def name: String
def optionalAnnotation[Annot : Type]: Option[Expr[Annot]]
def optionalAnnotationT[Annot[_] : Type]: Option[Expr[Annot[I]]]
def optionalAnnotationTValue[Annot[_] : Type](using evidence$1: Type[Annot], FromExpr[Annot[I]]): Option[Annot[I]]
def optionalAnnotationValue[Annot : FromExpr]: Option[Annot]
def requiredAnnotation[Annot : Type]: Expr[Annot]
def requiredAnnotationT[Annot[_] : Type]: Expr[Annot[I]]
def requiredAnnotationTValue[Annot[_] : Type](using evidence$1: Type[Annot], FromExpr[Annot[I]]): Annot[I]
def requiredAnnotationValue[Annot : FromExpr]: Annot
def typeClassInstance[TC[_]](instances: LazyTypeClasses[TC]): Expr[TC[I]]

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product

Givens

Givens

given given_Type_I: Type[I]