Product
Mirror for product types (case classes and value classes).
Produced by Made.derived when T is a case class, a zero-field case class, or a value class (extends AnyVal).
Elems is a tuple of MadeFieldElem representing each constructor parameter. GeneratedElems is a tuple of GeneratedMadeElem for any @generated members.
Attributes
- See also
- Graph
-
- Supertypes
Members list
Type members
Inherited types
Inherited and Abstract types
Tuple of GeneratedMadeElem for members annotated with @generated.
The simple name of T (or the override provided by @name).
Annotation metadata on T, 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 T, 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:
- Made
Value members
Abstract methods
Constructs an instance of Type from a typed tuple of field values.
Constructs an instance of Type from a typed tuple of field values.
Attributes
Constructs an instance of Type from an untyped array of field values.
Constructs an instance of Type from an untyped array of field values.
Attributes
Inherited and Abstract methods
Attributes
- Inherited from:
- Made
Givens
Givens
A product's Elems are all MadeFieldElems; refines the base containsOnly MadeElem.
Inherited givens
ElemLabels is all Strings; path-dependent, so it stays in scope for the ElemLabels alias.
ElemLabels is all Strings; path-dependent, so it stays in scope for the ElemLabels alias.
Attributes
- Inherited from:
- Made
Path-dependent evidence: the mirror's GeneratedElems tuple is a tuple of GeneratedMadeElems. Enables made.generatedElems.hasAnnotations[A] analogous to made.elems.hasAnnotations[A].
Path-dependent evidence: the mirror's GeneratedElems tuple is a tuple of GeneratedMadeElems. Enables made.generatedElems.hasAnnotations[A] analogous to made.elems.hasAnnotations[A].
Attributes
- Inherited from:
- Made
Path-dependent evidence: the mirror's Metadata tuple is a tuple of Meta (or Meta @ann) entries. Mirrors the guarantee for hasAnnotation[A] / getAnnotation[A].