Apply implied changes

Author: biboudis

README.md

@@ -27,12 +27,12 @@ You will need to make the following adjustments to your build:
 
 ### project/plugins.sbt
 ```scala
-addSbtPlugin("ch.epfl.lamp" % "sbt-dotty" % "0.2.6")
+addSbtPlugin("ch.epfl.lamp" % "sbt-dotty" % "0.3.0")
 ```
 
 ### project/build.properties
 ```scala
-sbt.version=1.2.3
+sbt.version=1.2.7
 ```
 
 Older versions of sbt are not supported.

project/build.properties

@@ -1 +1 @@
-sbt.version=1.2.3
+sbt.version=1.2.7

project/plugins.sbt

@@ -1 +1 @@
-addSbtPlugin("ch.epfl.lamp" % "sbt-dotty" % "0.2.6")
+addSbtPlugin("ch.epfl.lamp" % "sbt-dotty" % "0.3.0")

src/main/scala/ImplicitFunctions.scala renamed to src/main/scala/ContextQueries.scala

@@ -3,27 +3,25 @@ import scala.concurrent.{ExecutionContext, Future}
 import scala.util.Try
 
 /**
-  * Implicit Function Types:
-  * - http://dotty.epfl.ch/docs/reference/implicit-function-types.html,
+  * Context Queries:
+  * - http://dotty.epfl.ch/docs/reference/contextual/query-types.html,
   * - https://www.scala-lang.org/blog/2016/12/07/implicit-function-types.html
   */
-object ImplicitFunctions {
+object ContextQueries /* Formerly known as Implicit Function Types */ {
 
   object context {
     // type alias Contextual
-    type Contextual[T] = implicit ExecutionContext => T
+    type Contextual[T] = given ExecutionContext => T
 
     // sum is expanded to sum(x, y)(ctx)
     def asyncSum(x: Int, y: Int): Contextual[Future[Int]] = Future(x + y)
 
-    def asyncMult(x: Int, y: Int) = { implicit ctx: ExecutionContext =>
-      Future(x * y)
-    }
+    def asyncMult(x: Int, y: Int) given (ctx: ExecutionContext) = Future(x * y)
   }
 
   object parse {
 
-    type Parseable[T] = implicit ImplicitParams.StringParser[T] => Try[T]
+    type Parseable[T] = given ImplicitParams.StringParser[T] => Try[T]
 
     def sumStrings(x: String, y: String): Parseable[Int] = {
       val parser = implicitly[ImplicitParams.StringParser[Int]]

src/main/scala/ImplicitConversion.scala renamed to src/main/scala/Conversion.scala

@@ -1,20 +1,20 @@
 import scala.language.implicitConversions
 
 /**
-  * Implicit Conversions: http://dotty.epfl.ch/docs/reference/changed-features/implicit-conversions.html
+  *  Conversions: http://dotty.epfl.ch/docs/reference/contextual/conversions.html
   */
-object ImplicitConversion {
+object Conversion {
 
   case class IntWrapper(a: Int) extends AnyVal
   case class DoubleWrapper(b: Double) extends AnyVal
 
-  def convert[T, U](x: T)(implicit converter: ImplicitConverter[T, U]): U = converter(x)
+  def convert[T, U](x: T) given (converter: Conversion[T, U]): U = converter(x)
 
-  implicit val IntWrapperToDoubleWrapper: ImplicitConverter[IntWrapper, DoubleWrapper] = new ImplicitConverter[IntWrapper, DoubleWrapper] {
+  implied IntWrapperToDoubleWrapper for Conversion[IntWrapper, DoubleWrapper] = new Conversion[IntWrapper, DoubleWrapper] {
     override def apply(i: IntWrapper): DoubleWrapper = new DoubleWrapper(i.a.toDouble)
   }
 
-  def useConversion(implicit f: ImplicitConverter[IntWrapper, DoubleWrapper]) = {
+  def useConversion given (f: Conversion[IntWrapper, DoubleWrapper]) = {
     val y: IntWrapper = new IntWrapper(4)
     val x: DoubleWrapper = y
     x

src/main/scala/Main.scala

@@ -7,11 +7,11 @@ object Main {
 
     runExample("Enum Types")(EnumTypes.test)
 
-    runExample("Implicit Functions")(ImplicitFunctions.test)
+    runExample("Context Queries")(ContextQueries.test)
 
     runExample("Implicit Params")(ImplicitParams.test)
 
-    runExample("Implicit Conversion")(ImplicitConversion.test)
+    runExample("Conversion")(Conversion.test)
 
     runExample("Union Types")(UnionTypes.test)
 

src/main/scala/MultiversalEquality.scala

@@ -1,16 +1,16 @@
 import scala.language.strictEquality
 
 /**
-  * Multiversal Equality: http://dotty.epfl.ch/docs/reference/multiversal-equality.html
-  * scala.Eq definition: https://github.com/lampepfl/dotty/blob/master/library/src/scala/Eq.scala
+  * Multiversal Equality: https://dotty.epfl.ch/docs/reference/contextual/multiversal-equality.html
+  * scala.Eq definition: https://github.com/lampepfl/dotty/blob/master/library/src/scala/Eql.scala
   */
 object MultiversalEquality {
 
   def test: Unit = {
 
     // Values of types Int and String cannot be compared with == or !=,
     // unless we add a custom implicit like:
-    implicit def eqIntString: Eq[Int, String] = Eq
+    implicit def eqIntString: Eql[Int, String] = Eql.derived
     println(3 == "3")
 
     // By default, all numbers are comparable, because of;
@@ -29,8 +29,8 @@ object MultiversalEquality {
 
     // scala.language.strictEquality is enabled, therefore we need some extra implicits
     // to compare instances of A and B.
-    implicit def eqAB: Eq[A, B] = Eq
-    implicit def eqBA: Eq[B, A] = Eq
+    implicit def eqAB: Eql[A, B] = Eql.derived
+    implicit def eqBA: Eql[B, A] = Eql.derived
 
     println(a != b)
     println(b == a)