From 23cdb40a666891bf57ca8c8c49bd045d9eb614a9 Mon Sep 17 00:00:00 2001 From: Arya Irani Date: Mon, 7 Aug 2017 14:48:49 -0400 Subject: [PATCH] add Foldable.existsM/forallM to docs --- docs/src/main/tut/typeclasses/foldable.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/docs/src/main/tut/typeclasses/foldable.md b/docs/src/main/tut/typeclasses/foldable.md index 0e49b6ea74..4e73e33f39 100644 --- a/docs/src/main/tut/typeclasses/foldable.md +++ b/docs/src/main/tut/typeclasses/foldable.md @@ -58,6 +58,10 @@ Foldable[List].traverse_(List("1", "A"))(parseInt) Foldable[List].sequence_(List(Option(1), Option(2))) Foldable[List].sequence_(List(Option(1), None)) +Foldable[List].forallM(List(1, 2, 3))(i => if (i < 2) Some(i % 2 == 0) else None) +Foldable[List].existsM(List(1, 2, 3))(i => if (i < 2) Some(i % 2 == 0) else None) +Foldable[List].existsM(List(1, 2, 3))(i => if (i < 3) Some(i % 2 == 0) else None) + val prints: Eval[Unit] = List(Eval.always(println(1)), Eval.always(println(2))).sequence_ prints.value