Rename the to summon

Author: odersky

docs/docs/reference/contextual/derivation.md

@@ -301,7 +301,7 @@ enum Opt[+T] derives Eq {
 
 object Test extends App {
   import Opt._
-  val eqoi = the[Eq[Opt[Int]]]
+  val eqoi = summon[Eq[Opt[Int]]]
   assert(eqoi.eqv(Sm(23), Sm(23)))
   assert(!eqoi.eqv(Sm(23), Sm(13)))
   assert(!eqoi.eqv(Sm(23), Nn))
@@ -313,10 +313,10 @@ following, after a little polishing,
 
 ```scala
 given derived$Eq[T](given eqT: Eq[T]): Eq[Opt[T]] =
-  eqSum(the[Mirror[Opt[T]]],
+  eqSum(summon[Mirror[Opt[T]]],
     List(
-      eqProduct(the[Mirror[Sm[T]]], List(the[Eq[T]]))
-      eqProduct(the[Mirror[Nn.type]], Nil)
+      eqProduct(summon[Mirror[Sm[T]]], List(summon[Eq[T]]))
+      eqProduct(summon[Mirror[Nn.type]], Nil)
     )
   )
 ```

docs/docs/reference/contextual/extension-methods.md

@@ -155,7 +155,7 @@ def (xs: List[List[T]]) flattened [T] =
   xs.foldLeft[List[T]](Nil)(_ ++ _)
 
 def (x: T) + [T : Numeric](y: T): T =
-  the[Numeric[T]].plus(x, y)
+  summon[Numeric[T]].plus(x, y)
 ```
 
 As usual, type parameters of the extension method follow the defined method name. Nevertheless, such type parameters can already be used in the preceding parameter clause.

docs/docs/reference/contextual/given-clauses.md

@@ -89,14 +89,14 @@ But `f(global)(given sym, kind)` would give a type error.
 
 ## Summoning Instances
 
-The method `theGiven` in `Predef` returns the given instance of a specific type. For example,
+The method `summon` in `Predef` returns the given instance of a specific type. For example,
 the given instance for `Ord[List[Int]]` is produced by
 ```scala
-theGiven[Ord[List[Int]]]  // reduces to ListOrd given IntOrd
+summon[Ord[List[Int]]]  // reduces to ListOrd given IntOrd
 ```
-The `theGiven` method is simply defined as the (non-widening) identity function over a implicit parameter.
+The `summon` method is simply defined as the (non-widening) identity function over a implicit parameter.
 ```scala
-def theGiven[T](given x: T): x.type = x
+def summon[T](given x: T): x.type = x
 ```
 
 ## Syntax

docs/docs/reference/contextual/implicit-by-name-parameters.md

@@ -19,7 +19,7 @@ given optionCodec[T](given ev: => Codec[T]): Codec[Option[T]] {
   }
 }
 
-val s = the[Codec[Option[Int]]]
+val s = summon[Codec[Option[Int]]]
 
 s.write(Some(33))
 s.write(None)
@@ -54,7 +54,7 @@ The precise steps for synthesizing an argument for an implicit by-name parameter
 In the example above, the definition of `s` would be expanded as follows.
 
 ```scala
-val s = the[Test.Codec[Option[Int]]](
+val s = summon[Test.Codec[Option[Int]]](
   optionCodec[Int](intCodec)
 )
 ```

docs/docs/reference/contextual/typeclasses.md

@@ -17,7 +17,7 @@ trait Monoid[T] extends SemiGroup[T] {
   def unit: T
 }
 object Monoid {
-  def apply[T](given Monoid[T]) = the[Monoid[T]]
+  def apply[T](given Monoid[T]) = summon[Monoid[T]]
 }
 
 given Monoid[String] {