Made

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.

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.

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.

Mirror for transparent wrapper types (single-field case classes annotated with @transparent).

Produced by Made.derived when T is a case class annotated with @transparent having exactly one constructor field. @generated members are not supported on transparent types and will cause a compile error.

Derives a Made mirror for T at compile time.

The concrete subtype of the returned mirror is determined by the following derivation priority (first match wins):

1. Singleton - T is an object, Unit, or a singleton type
2. Transparent - T is annotated with @transparent (must have exactly one constructor field; @generated members are not allowed)
3. Product - T is a value class (extends AnyVal)
4. Product - T has a Mirror.ProductOf[T] (case classes)
5. Sum - T has a Mirror.SumOf[T] (sealed traits, enums)

The return type is Made.Of[T] but the actual runtime type is the more specific subtype listed above.