From 2fc75a48a288790ac52a21b922a5fe4b7ceac447 Mon Sep 17 00:00:00 2001 From: Mark Tomko Date: Tue, 20 Nov 2018 10:13:06 -0800 Subject: [PATCH 1/3] Fix definition of `productL` --- docs/src/main/tut/nomenclature.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/main/tut/nomenclature.md b/docs/src/main/tut/nomenclature.md index 367a9d5a8f..6ae4595d0c 100644 --- a/docs/src/main/tut/nomenclature.md +++ b/docs/src/main/tut/nomenclature.md @@ -44,7 +44,7 @@ Because `cats` is a library for Scala, and because Scala has many more knobs and | Type | Method Name | Symbol | | ------------- |--------------|------------| -| `F[A] => F[A] => F[A]` | `productL` | `<*` +| `F[A] => F[B] => F[A]` | `productL` | `<*` | `F[A] => F[B] => F[B]` | `productR` | `*>` | `F[A] => F[B] => F[(A,B)]` | `product` | | `F[A => B] => F[A] => F[B]` | `ap` | `<*>` From 1c4ec9c26be485241d88aa1ebaf1cc76fc1eaba1 Mon Sep 17 00:00:00 2001 From: Mark Tomko Date: Tue, 27 Nov 2018 11:21:08 -0800 Subject: [PATCH 2/3] Rename table headers & clarify method signature --- docs/src/main/tut/nomenclature.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/src/main/tut/nomenclature.md b/docs/src/main/tut/nomenclature.md index 6ae4595d0c..693e076e94 100644 --- a/docs/src/main/tut/nomenclature.md +++ b/docs/src/main/tut/nomenclature.md @@ -67,7 +67,7 @@ Because `cats` is a library for Scala, and because Scala has many more knobs and | `F[A] => (A => F[B]) => F[B]` | `flatMap` | `F[A] => (A => F[B]) => F[(A,B)]` | `productM` | `F[Boolean] => F[A] => F[A] => F[A]` | `ifM` -| `F[A] => (A => F[-]) => F[A]` | `flatTap` +| `F[A] => (A => F[B]) => F[A]` | `flatTap` ### FunctorFilter @@ -121,21 +121,21 @@ The source code of `cats` uses the `E` type variable for the error type. ### `Foldable` -| Type | Method Name | Constrains +| Type | Method Name | Constraints | ------------- |--------------|----------- | `F[A] => B => ((B,A) => B) => F[B]` | `foldLeft` | `F[A] => (A => G[B]) => G[B]` | `foldMapM` | `G: Monad` and `B: Monoid` ### Reducible -| Type | Method Name | Constrains +| Type | Method Name | Constraints | ------------- |--------------|----------- | `F[A] => ((A,A) => A) => A` | `reduceLeft` | | `F[A] => A` | `reduce` | `A: Semigroup` ### Traverse -| Type | Method Name | Constrains | +| Type | Method Name | Constraints | |------------|--------------|-----------| | `F[G[A]] => G[F[A]]` | `sequence` | `G: Applicative` | | `F[A] => (A => G[B]) => G[F[B]]` | `traverse` | `G: Applicative` | From cd94543fc23f2e4ca7a4fb1212aba9006f9029e8 Mon Sep 17 00:00:00 2001 From: Mark Tomko Date: Tue, 27 Nov 2018 11:22:35 -0800 Subject: [PATCH 3/3] keep PR changes separate --- docs/src/main/tut/nomenclature.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/main/tut/nomenclature.md b/docs/src/main/tut/nomenclature.md index 693e076e94..98b867fd80 100644 --- a/docs/src/main/tut/nomenclature.md +++ b/docs/src/main/tut/nomenclature.md @@ -44,7 +44,7 @@ Because `cats` is a library for Scala, and because Scala has many more knobs and | Type | Method Name | Symbol | | ------------- |--------------|------------| -| `F[A] => F[B] => F[A]` | `productL` | `<*` +| `F[A] => F[A] => F[A]` | `productL` | `<*` | `F[A] => F[B] => F[B]` | `productR` | `*>` | `F[A] => F[B] => F[(A,B)]` | `product` | | `F[A => B] => F[A] => F[B]` | `ap` | `<*>`