Singleton
Mirror for singleton types (objects and Unit).
Produced by Made.derived when T is an object, Unit, or a singleton type.
Elems is fixed to EmptyTuple since singletons have no elements. The singleton instance is available via value.
Attributes
- See also
- Graph
-
- Supertypes
Members list
Type members
Types
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
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].