GeneratedMadeElem

made.GeneratedMadeElem
See theGeneratedMadeElem companion object
sealed trait GeneratedMadeElem extends MadeFieldElem

Element representing a generated val or def.

Extends MadeFieldElem. Lives in Made.GeneratedElems tuple (separate from Made.Elems). A generated element computes a derived value from an instance of the outer type.

Attributes

See also
Companion
object
Graph
Supertypes
trait MadeElem
class Object
trait Matchable
class Any

Members list

Type members

Inherited and Abstract types

type Label <: String

The element's label (field name or subtype name, or the override provided by @name).

The element's label (field name or subtype name, or the override provided by @name).

Attributes

Inherited from:
MadeElem
type Metadata <: Tuple

Annotation metadata on this element, represented as a Tuple of Meta @ann entries. When no MetaAnnotation annotations are present, Metadata = EmptyTuple. When annotations are present, Metadata becomes (Meta @Ann1, Meta @Ann2, ...). Query via hasAnnotation and getAnnotation.

Annotation metadata on this element, represented as a Tuple of Meta @ann entries. When no MetaAnnotation annotations are present, Metadata = EmptyTuple. When annotations are present, Metadata becomes (Meta @Ann1, Meta @Ann2, ...). Query via hasAnnotation and getAnnotation.

Attributes

Inherited from:
MadeElem
type OuterType

The type that declares this field (the outer/owning type).

The type that declares this field (the outer/owning type).

Attributes

Inherited from:
MadeFieldElem
type Type

The element's type (field type or subtype).

The element's type (field type or subtype).

Attributes

Inherited from:
MadeElem

Value members

Concrete methods

final def default: Option[Type]

Always None; generated members have no constructor defaults.

Always None; generated members have no constructor defaults.

Attributes

Inherited and Abstract methods

def apply(outer: OuterType): Type

Reads this field's value from an instance of the declaring type.

Reads this field's value from an instance of the declaring type.

Attributes

Inherited from:
MadeFieldElem

Givens

Inherited givens

Path-dependent evidence that this element's Metadata is a tuple of Meta entries.

Path-dependent evidence that this element's Metadata is a tuple of Meta entries.

Attributes

Inherited from:
MadeElem