Transparent

The single wrapped element's type.

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

@generated members are not supported on transparent types.

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

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

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.

The mirrored type T.

Extracts the wrapped value.

Wraps a value into the transparent type.

A transparent type's single Elems entry is a MadeFieldElem; refines containsOnly MadeElem.

ElemLabels is all Strings; path-dependent, so it stays in scope for the ElemLabels alias.

Path-dependent evidence: the mirror's Elems tuple is guaranteed by the deriver to be a tuple of MadeElems. Available wherever this Made instance is in scope so plural extensions like made.elems.hasAnnotations[A] summon evidence without explicit imports.

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 Metadata tuple is a tuple of Meta (or Meta @ann) entries. Mirrors the guarantee for hasAnnotation[A] / getAnnotation[A].