Merge pull request #48 from halotukozak/update-docs

docs: fix stale scaladoc references

Author: halotukozak

made/Done.scala

@@ -24,7 +24,7 @@ import scala.quoted.*
  * // done type members:
  * //   type Type = Service
  * //   type Label = "Service"
- * //   type Metadata = Meta
+ * //   type Metadata = EmptyTuple
  * //   type Operations = DoneOperation { ... "ping" ... } *: DoneOperation { ... "version" ... } *: EmptyTuple
  * }}}
  *
@@ -40,9 +40,9 @@ sealed trait Done:
   type Label <: String
 
   /**
-   * 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 ...`.
+   * 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, ...)`.
    */
   type Metadata <: Tuple
 
@@ -74,8 +74,8 @@ sealed trait DoneOperation:
   type Label <: String
 
   /**
-   * Annotation metadata on the member, represented as an `AnnotatedType` chain wrapping
-   * the [[Meta]] base type.
+   * Annotation metadata on the member, represented as a [[Tuple]] of `Meta @ann` entries.
+   * `EmptyTuple` when no `MetaAnnotation` annotations are present.
    */
   type Metadata <: Tuple
 
@@ -151,8 +151,9 @@ sealed trait InputElem:
   type Label <: String
 
   /**
-   * Annotation metadata on the parameter, represented as an `AnnotatedType` chain wrapping
-   * the [[Meta]] base type.
+   * Annotation metadata on the parameter, represented as a [[Tuple]] of `Meta @ann` entries.
+   * `EmptyTuple` when no `MetaAnnotation` annotations are present. Currently always
+   * `EmptyTuple` — parameter annotations are not yet captured by [[Done.derived]].
    */
   type Metadata <: Tuple
 

made/Made.scala

@@ -20,14 +20,14 @@ import scala.quoted.*
  *
  * case class User(name: String, age: Int)
  *
- * val mirror: Made.Of[User] = Made.derived[User]
+ * val mirror = Made.derived[User]
  * // mirror type members:
  * //   type Type = User
  * //   type Label = "User"
- * //   type Metadata = Meta
+ * //   type Metadata = EmptyTuple
  * //   type Elems = MadeFieldElem { ... } *: MadeFieldElem { ... } *: EmptyTuple
  *
- * val (nameFld, ageFld) = mirror.mirroredElems
+ * val (nameFld, ageFld) = mirror.elems
  * val user = mirror.fromUnsafeArray(Array("Alice", 30))
  * }}}
  *
@@ -618,8 +618,8 @@ object Made:
    * Produced by [[Made.derived]] when `T` is a case class, a zero-field
    * case class, or a value class (extends `AnyVal`).
    *
-   * [[Made.Elems]] is a tuple of [[MadeFieldElem]] representing each
-   * constructor parameter. [[Made.GeneratedElem]] is a tuple of
+   * [[Elems]] is a tuple of [[MadeFieldElem]] representing each
+   * constructor parameter. [[GeneratedElems]] is a tuple of
    * [[GeneratedMadeElem]] for any `@generated` members.
    *
    * @see [[Made]]

made/extensions.scala

@@ -36,12 +36,14 @@ extension [Ls <: Tuple](l: { type ElemLabels = Ls })
 
 extension (es: Tuple)(using es.type containsOnly { type Metadata <: Tuple })
   /**
-   * Per-element [[hasAnnotation]] over a tuple of [[MadeElem]]s.
+   * Per-element [[hasAnnotation]] over a tuple whose entries each declare a `Metadata` type member
+   * (e.g. a tuple of [[MadeElem]]s, [[GeneratedMadeElem]]s, or a singleton `Made` instance's
+   * `Metadata` chain).
    */
   transparent inline def hasAnnotations[A <: Annotation]: Tuple = ${ hasAnnotationsImpl[es.type, A] }
 
   /**
-   * Per-element [[getAnnotation]] over a tuple of [[MadeElem]]s.
+   * Per-element [[getAnnotation]] over a tuple whose entries each declare a `Metadata` type member.
    */
   transparent inline def getAnnotations[A <: Annotation]: Tuple = ${ getAnnotationsImpl[es.type, A] }
 

made/package.scala

@@ -5,9 +5,9 @@
  * Derive a mirror with `Made.derived[T]`. The resulting mirror subtype depends on `T`:
  * singletons, transparent wrappers, products (case classes), or sums (sealed traits/enums).
  *
- * Each mirror carries a `MirroredElems` tuple of [[made.MadeElem]] subtypes describing
- * constructor fields or sum subtypes, and a `Metadata` type member encoding
- * annotations as an `AnnotatedType` chain around [[made.Meta]].
+ * Each mirror carries an `Elems` tuple of [[made.MadeElem]] subtypes describing
+ * constructor fields or sum subtypes, and a `Metadata` tuple of `Meta @ann` entries
+ * encoding annotations applied to the mirrored type.
  *
  * @see [[made.Made]]
  * @see [[made.MadeElem]]