Align docs and tests

Add implied import entry to sidebar

Author: odersky

docs/docs/reference/contextual/conversions.md

@@ -54,15 +54,15 @@ object Completions {
     // these always come with CompletionArg
     // They can be invoked explicitly, e.g.
     //
-    //   CompletionArg.from(statusCode)
+    //   CompletionArg.fromStatusCode(statusCode)
 
-    implied from for Conversion[String, CompletionArg] {
+    implied fromString for Conversion[String, CompletionArg] {
       def apply(s: String) = CompletionArg.Error(s)
     }
-    implied from for Conversion[Future[HttpResponse], CompletionArg] {
+    implied fromFuture for Conversion[Future[HttpResponse], CompletionArg] {
       def apply(f: Future[HttpResponse]) = CompletionArg.Response(f)
     }
-    implied from for Conversion[Future[StatusCode], CompletionArg] {
+    implied fromStatusCode for Conversion[Future[StatusCode], CompletionArg] {
       def apply(code: Future[StatusCode]) = CompletionArg.Status(code)
     }
   }

docs/docs/reference/contextual/query-types.md

@@ -133,7 +133,7 @@ object PostConditions {
 }
 
 object Test {
-  import PostConditions.ensuring
+  import PostConditions.{ensuring, result}
   val s = List(1, 2, 3).sum.ensuring(result == 6)
 }
 ```

docs/sidebar.yml

@@ -47,6 +47,8 @@ sidebar:
               url: docs/reference/contextual/inferable-params.html
             - title: Context Bounds
               url: docs/reference/contextual/context-bounds.html
+            - title: Implied Imports
+              url: docs/reference/contextual/import-implied.html
             - title: Extension Methods
               url: docs/reference/contextual/extension-methods.html
             - title: Implementing Typeclasses

tests/pos/postconditions.scala

@@ -0,0 +1,21 @@
+object PostConditions {
+  opaque type WrappedResult[T] = T
+
+  private object WrappedResult {
+    def wrap[T](x: T): WrappedResult[T] = x
+    def unwrap[T](x: WrappedResult[T]): T = x
+  }
+
+  def result[T] given (r: WrappedResult[T]): T = WrappedResult.unwrap(r)
+
+  def (x: T) ensuring [T](condition: given WrappedResult[T] => Boolean): T = {
+    implied for WrappedResult[T] = WrappedResult.wrap(x)
+    assert(condition)
+    x
+  }
+}
+
+object Test {
+  import PostConditions.{ensuring, result}
+  val s = List(1, 2, 3).sum.ensuring(result == 6)
+}

tests/pos/reference/instances.scala

@@ -266,22 +266,29 @@ object Completions {
     case Response(f: Future[HttpResponse])
     case Status(code: Future[StatusCode])
   }
+  object CompletionArg {
+
+    // conversions defining the possible arguments to pass to `complete`
+    // these always come with CompletionArg
+    // They can be invoked explicitly, e.g.
+    //
+    //   CompletionArg.from(statusCode)
+
+    implied fromString for Conversion[String, CompletionArg] {
+      def apply(s: String) = CompletionArg.Error(s)
+    }
+    implied fromFuture for Conversion[Future[HttpResponse], CompletionArg] {
+      def apply(f: Future[HttpResponse]) = CompletionArg.Response(f)
+    }
+    implied fromStatusCode for Conversion[Future[StatusCode], CompletionArg] {
+      def apply(code: Future[StatusCode]) = CompletionArg.Status(code)
+    }
+  }
   import CompletionArg._
 
   def complete[T](arg: CompletionArg) = arg match {
     case Error(s) => ???
     case Response(f) => ???
     case Status(code) => ???
   }
-
-  // conversions defining the possible arguments to pass to `complete`
-  implied stringArg for Conversion[String, CompletionArg] {
-    def apply(s: String) = CompletionArg.Error(s)
-  }
-  implied responseArg for Conversion[Future[HttpResponse], CompletionArg] {
-    def apply(f: Future[HttpResponse]) = CompletionArg.Response(f)
-  }
-  implied statusArg for Conversion[Future[StatusCode], CompletionArg] {
-    def apply(code: Future[StatusCode]) = CompletionArg.Status(code)
-  }
 }