Sum
Mirror for sum types (sealed traits and enums).
Produced by Made.derived when T is a sealed trait or enum.
Elems is a tuple of MadeSubElem and MadeSubSingletonElem representing the subtypes.
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
Givens
Givens
A sum's Elems are all MadeSubElems; 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].