Singleton

made.Made.Singleton
sealed trait Singleton extends Made

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
trait Made
class Object
trait Matchable
class Any

Members list

Type members

Types

final type Elems = EmptyTuple

Tuple of MadeElem subtypes representing constructor fields (for products) or subtypes (for sums).

Tuple of MadeElem subtypes representing constructor fields (for products) or subtypes (for sums).

Attributes

Inherited types

final type ElemLabels = Map[Elems, ExtractLabel]

Tuple of element labels, extracted from Elems via type-level mapping.

Tuple of element labels, extracted from Elems via type-level mapping.

Attributes

Inherited from:
Made
final type ElemTypes = Map[Elems, ExtractOf]

Tuple of element types, extracted from Elems via type-level mapping.

Tuple of element types, extracted from Elems via type-level mapping.

Attributes

Inherited from:
Made

Inherited and Abstract types

Tuple of GeneratedMadeElem for members annotated with @generated.

Tuple of GeneratedMadeElem for members annotated with @generated.

Attributes

Inherited from:
Made
type Label <: String

The simple name of T (or the override provided by @name).

The simple name of T (or the override provided by @name).

Attributes

Inherited from:
Made
type Metadata <: Meta

Annotation metadata on T, represented as an AnnotatedType chain wrapping the Meta base type. When no MetaAnnotation annotations are present, Metadata = Meta. When annotations are present, Metadata becomes Meta @Ann1 @Ann2 .... Query at runtime via hasAnnotation and getAnnotation.

Annotation metadata on T, represented as an AnnotatedType chain wrapping the Meta base type. When no MetaAnnotation annotations are present, Metadata = Meta. When annotations are present, Metadata becomes Meta @Ann1 @Ann2 .... Query at runtime via hasAnnotation and getAnnotation.

Attributes

Inherited from:
Made
type Type

The mirrored type T.

The mirrored type T.

Attributes

Inherited from:
Made

Value members

Abstract methods

def value: Type

Returns the singleton instance.

Returns the singleton instance.

Attributes

Concrete methods

final def elems: Elems

Inherited and Abstract methods

Attributes

Inherited from:
Made