From e1107cb05971dad04e69d62c628b35f38188c4e0 Mon Sep 17 00:00:00 2001 From: Tim McGilchrist Date: Thu, 21 Apr 2016 08:58:47 +1000 Subject: [PATCH] Remove asks from examples. --- src/Control/Monad/Freer/Reader.hs | 6 ------ 1 file changed, 6 deletions(-) diff --git a/src/Control/Monad/Freer/Reader.hs b/src/Control/Monad/Freer/Reader.hs index 9bf9d2a..8d33d3e 100644 --- a/src/Control/Monad/Freer/Reader.hs +++ b/src/Control/Monad/Freer/Reader.hs @@ -82,9 +82,6 @@ with 'runReader', how to access the Reader data with 'ask' and 'asks'. > >type Bindings = Map String Int > ->asks :: (b -> a) -> Eff '[Reader b] a ->asks f = ask >>= return . f -> >-- Returns True if the "count" variable contains correct bindings size. >isCountCorrect :: Bindings -> Bool >isCountCorrect bindings = run $ runReader calc_isCountCorrect bindings @@ -121,9 +118,6 @@ Shows how to modify Reader content with 'local'. > > type Bindings = Map String Int > -> asks :: (b -> a) -> Eff '[Reader b] a -> asks f = ask >>= return . f -> > calculateContentLen :: Eff '[Reader String] Int > calculateContentLen = do > content <- (ask :: Eff '[Reader String] String)