console example: Added Monad constraint and removed extra implicit

typelevel · Feb 20, 2022 · ea1a84c · ea1a84c
1 parent 60cc217
commit ea1a84c
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 22 deletions.
diff --git a/std/js/src/main/scala/cats/effect/std/Console.scala b/std/js/src/main/scala/cats/effect/std/Console.scala
@@ -32,18 +32,16 @@ import java.nio.charset.Charset
  *
  * @example
  *   {{{
- * import cats.effect.std.Console
- * import cats.effect.kernel.Sync
- * import cats.syntax.all._
+ *  import cats.Monad
+ *  import cats.effect.std.Console
+ *  import cats.syntax.all._
  *
- * implicit val console = Console.sync[F]
- *
- * def myProgram[F[_]: Console]: F[Unit] =
- *   for {
- *     _ <- Console[F].println("Please enter your name: ")
- *     n <- Console[F].readLine
- *     _ <- if (n.nonEmpty) Console[F].println("Hello, " + n) else Console[F].errorln("Name is empty!")
- *   } yield ()
+ *  def myProgram[F[_] : Console : Monad]: F[Unit] =
+ *    for {
+ *      _ <- Console[F].println("Please enter your name: ")
+ *      n <- Console[F].readLine
+ *      _ <- if (n.nonEmpty) Console[F].println("Hello, " + n) else Console[F].errorln("Name is empty!")
+ *    } yield ()
  *   }}}
  */
 trait Console[F[_]] extends ConsoleCrossPlatform[F] {

diff --git a/std/jvm/src/main/scala/cats/effect/std/Console.scala b/std/jvm/src/main/scala/cats/effect/std/Console.scala
@@ -27,18 +27,16 @@ import java.nio.charset.Charset
  *
  * @example
  *   {{{
- * import cats.effect.std.Console
- * import cats.effect.kernel.Sync
- * import cats.syntax.all._
+ *  import cats.Monad
+ *  import cats.effect.std.Console
+ *  import cats.syntax.all._
  *
- * implicit val console = Console.sync[F]
- *
- * def myProgram[F[_]: Console]: F[Unit] =
- *   for {
- *     _ <- Console[F].println("Please enter your name: ")
- *     n <- Console[F].readLine
- *     _ <- if (n.nonEmpty) Console[F].println("Hello, " + n) else Console[F].errorln("Name is empty!")
- *   } yield ()
+ *  def myProgram[F[_] : Console : Monad]: F[Unit] =
+ *    for {
+ *      _ <- Console[F].println("Please enter your name: ")
+ *      n <- Console[F].readLine
+ *      _ <- if (n.nonEmpty) Console[F].println("Hello, " + n) else Console[F].errorln("Name is empty!")
+ *    } yield ()
  *   }}}
  */
 trait Console[F[_]] extends ConsoleCrossPlatform[F] {