From b88b29c10f3a336e66be4e96a2485e2dcd0fe1d3 Mon Sep 17 00:00:00 2001 From: Kailuo Wang Date: Fri, 19 May 2017 14:14:03 -0400 Subject: [PATCH 1/2] minor correction to the website doc --- docs/src/main/tut/datatypes/freeapplicative.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/src/main/tut/datatypes/freeapplicative.md b/docs/src/main/tut/datatypes/freeapplicative.md index 5c0448c24f..085e3b8065 100644 --- a/docs/src/main/tut/datatypes/freeapplicative.md +++ b/docs/src/main/tut/datatypes/freeapplicative.md @@ -153,6 +153,8 @@ case for monads. Therefore, we can write an interpreter that uses the product of the `ParValidator` and `Log` `Applicative`s to interpret our program in one go. We can create this interpreter easily by using `FunctionK#and`. +Note that this `product` is a higher kinded one, hence the name `Tuple2K`. It was renamed from `Prod` after +0.9.0. ```tut:silent import cats.data.Tuple2K From 8ade59be1fdfd3a7d0fd59767714f549423f715f Mon Sep 17 00:00:00 2001 From: Kailuo Wang Date: Fri, 19 May 2017 14:23:45 -0400 Subject: [PATCH 2/2] added another note for old class names --- docs/src/main/tut/datatypes/freemonad.md | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/src/main/tut/datatypes/freemonad.md b/docs/src/main/tut/datatypes/freemonad.md index 9febc17f2f..8dc7db1556 100644 --- a/docs/src/main/tut/datatypes/freemonad.md +++ b/docs/src/main/tut/datatypes/freemonad.md @@ -302,6 +302,7 @@ The injection type class described by Swierstra in [Data types à la carte](http lets us compose different algebras in the context of `Free`. Let's see a trivial example of unrelated ADT's getting composed as a `EitherK` that can form a more complex program. +Note that `EitherK` was renamed from `Coproduct` and `InjectK` was renamed from `Inject` after 0.9.0. ```tut:silent import cats.data.EitherK