From b1b5985aeaec8071ad139444f66ad18f781c75eb Mon Sep 17 00:00:00 2001 From: Madder Date: Mon, 23 May 2016 15:34:51 +0100 Subject: [PATCH] Small fix for the forgetful functor/free monad analogy. --- docs/src/main/tut/freemonad.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/src/main/tut/freemonad.md b/docs/src/main/tut/freemonad.md index e84d130f86..3ba0948515 100644 --- a/docs/src/main/tut/freemonad.md +++ b/docs/src/main/tut/freemonad.md @@ -420,14 +420,14 @@ _very simple_ Monad from any _functor_**. The above forgetful functor takes a `Monad` and: - forgets its *monadic* part (e.g. the `flatMap` function) - - forgets its *applicative* part (e.g. the `pure` function) + - forgets its *pointed* part (e.g. the `pure` function) - finally keeps the *functor* part (e.g. the `map` function) By reversing all arrows to build the left-adjoint, we deduce that the -forgetful functor is basically a construction that: +free monad is basically a construction that: - takes a *functor* - - adds the *applicative* part (e.g. `pure`) + - adds the *pointed* part (e.g. `pure`) - adds the *monadic* behavior (e.g. `flatMap`) In terms of implementation, to build a *monad* from a *functor* we use