diff options
Diffstat (limited to 'spec/07-implicits.md')
| -rw-r--r-- | spec/07-implicits.md | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/spec/07-implicits.md b/spec/07-implicits.md index 28f6dfe5a8..b0c8c1da24 100644 --- a/spec/07-implicits.md +++ b/spec/07-implicits.md @@ -44,7 +44,7 @@ object Monoids { ## Implicit Parameters -An implicit parameter list +An _implicit parameter list_ `(implicit $p_1$,$\ldots$,$p_n$)` of a method marks the parameters $p_1 , \ldots , p_n$ as implicit. A method or constructor can have only one implicit parameter list, and it must be the last parameter list given. @@ -155,7 +155,7 @@ sort(yss) The call above will be completed by passing two nested implicit arguments: ```scala -sort(yss)(xs: List[Int] => list2ordered[Int](xs)(int2ordered)) . +sort(yss)(xs: List[Int] => list2ordered[Int](xs)(int2ordered)) ``` The possibility of passing implicit arguments to implicit arguments @@ -218,7 +218,7 @@ which implicit arguments are searched is ```scala List[List[Int]] => Ordered[List[List[Int]]], -List[Int] => Ordered[List[Int]] +List[Int] => Ordered[List[Int]], Int => Ordered[Int] ``` @@ -290,7 +290,7 @@ or the call-by-name category). Class `scala.Ordered[A]` contains a method ```scala - def <= [B >: A](that: B)(implicit b2ordered: B => Ordered[B]): Boolean . + def <= [B >: A](that: B)(implicit b2ordered: B => Ordered[B]): Boolean ``` Assume two lists `xs` and `ys` of type `List[Int]` |