From 8bb45ce073acc83407e0e561e1a20a7f845ed614 Mon Sep 17 00:00:00 2001 From: Sean Chalmers Date: Sat, 27 Jan 2018 15:11:43 +1000 Subject: [PATCH] Update wording --- level07/src/FirstApp/AppM.hs | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/level07/src/FirstApp/AppM.hs b/level07/src/FirstApp/AppM.hs index 268268e..9007e01 100644 --- a/level07/src/FirstApp/AppM.hs +++ b/level07/src/FirstApp/AppM.hs @@ -22,10 +22,9 @@ data Env = Env , envDB :: FirstAppDB } --- We're going to add a very nice piece to our application, in the form of --- "automating" away our explicit error handling without losing the valuable --- type level information or the functionality of correctly handling the error --- values. +-- We're going to add a very useful abstraction to our application. We'll +-- automate away the explicit error handling and inspection of our Either values +-- while preserving the type-level information that tells us what can go wrong. -- -- To do this we will expand the capabilities of our AppM by including the -- Either type in our definition. We will also rework our Monad instance to stop