Remove defaultTailRecM from monad doc

guersam · guersam · commit 2bfaaac76b6d · 2016-10-27T15:14:07.000+09:00
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(_))
+        })
+      }
   }
 }
 ```

Original file line number	Diff line number	Diff line change
`@@ -136,8 +136,14 @@ implicit def optionTMonad[F[_]](implicit F : Monad[F]) = {`
`136`	`136`	`case Some(a) => f(a).value`
`137`	`137`	`}`
`138`	`138`	`}`
	`139`	`+`
`139`	`140`	`def tailRecM[A, B](a: A)(f: A => OptionT[F, Either[A, B]]): OptionT[F, B] =`
`140`		`- defaultTailRecM(a)(f)`
	`141`	`+ OptionT {`
	`142`	`+ F.tailRecM(a)(a0 => F.map(f(a0).value) {`
	`143`	`+ case None => Either.right[A, Option[B]](None)`
	`144`	`+ case Some(b0) => b0.map(Some(_))`
	`145`	`+ })`
	`146`	`+ }`
`141`	`147`	`}`
`142`	`148`	`}`
`143`	`149`	```