MadeSubElem

made.MadeSubElem

See theMadeSubElem companion object

sealed trait MadeSubElem extends MadeElem

Element representing a non-singleton subtype in a sum type mirror.

Used in Made.Sum.Elems for subtypes that are not singleton types (e.g., case classes with parameters). For singleton subtypes (case objects, parameterless enum cases), see MadeSubSingletonElem.

Attributes

See also: MadeElem

MadeFieldElem

MadeSubSingletonElem

Made.Sum
Companion: object
Graph
Supertypes: trait MadeElem

class Object

trait Matchable

class Any
Known subtypes: trait MadeSubSingletonElem

Members list

Type members

Inherited and Abstract types

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

Attributes

Inherited from:: MadeElem

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

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

Attributes

Inherited from:: MadeElem

Givens

Inherited givens

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

Attributes

Inherited from:: MadeElem

In this article

Generated with

made with ❤️ and coffee