From e792118e1e8e5213dff01f80240a98c14a55344f Mon Sep 17 00:00:00 2001 From: Thomas Letan Date: Fri, 21 Feb 2020 23:25:14 +0100 Subject: Various improvement in cleopatra - Fix the dependencies in the Makefile - Use a minimal emacs configuration with themes - Dark theme again --- site/posts/MonadTransformers.org | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'site/posts/MonadTransformers.org') diff --git a/site/posts/MonadTransformers.org b/site/posts/MonadTransformers.org index 7947ef4..4c28fe5 100644 --- a/site/posts/MonadTransformers.org +++ b/site/posts/MonadTransformers.org @@ -43,9 +43,10 @@ Monad. It carries an environment in a transparent way. The only thing is, I was already using the State Monad to carry the computation result. But that’s not an issue with the Monad Transformers. -#+BEGIN_SRC patch +#+BEGIN_SRC diff -type Builder = StateT Text IO +type Builder = StateT Text (ReaderT Language IO) + #+END_SRC As you may have already understood, I wasn't using the “raw” ~State~ Monad, but @@ -56,7 +57,7 @@ function call easily” problem. Retrieving the chosen language is as simple as: -#+BEGIN_SRC patch +#+BEGIN_SRC haskell getLanguage :: Builder Language getLanguage = lift ask #+END_SRC -- cgit v1.2.3