Merge pull request #1444 from guersam/tmp/doc-rm-defaulttailrecm

Remove `defaultTailRecM` from monad doc
typelevel · Oct 27, 2016 · 91242d0 · 91242d0
2 parents 8f127ce + 2bfaaac
commit 91242d0
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/docs/src/main/tut/typeclasses/monad.md b/docs/src/main/tut/typeclasses/monad.md
@@ -136,8 +136,14 @@ implicit def optionTMonad[F[_]](implicit F : Monad[F]) = {
           case Some(a) => f(a).value
         }
       }
+
     def tailRecM[A, B](a: A)(f: A => OptionT[F, Either[A, B]]): OptionT[F, B] =
-      defaultTailRecM(a)(f)
+      OptionT {
+        F.tailRecM(a)(a0 => F.map(f(a0).value) {
+          case None => Either.right[A, Option[B]](None)
+          case Some(b0) => b0.map(Some(_))
+        })
+      }
   }
 }
 ```