37 lines
982 B
Haskell
37 lines
982 B
Haskell
|
{-# LANGUAGE GeneralisedNewtypeDeriving #-}
|
||
|
|
module Monad(
|
||
|
|
App
|
||
|
|
,module Control.Monad.Fail
|
||
|
|
,module Control.Monad.IO.Class
|
||
|
|
,throwE
|
||
|
|
,except
|
||
|
|
,runApp
|
||
|
|
) where
|
||
|
|
|
||
|
|
import qualified Control.Monad.Trans.Except as T
|
||
|
|
import Control.Monad.Fail
|
||
|
|
import Control.Monad.IO.Class
|
||
|
|
|
||
|
|
|
||
|
|
-- We need this type isomorphism, because we want a different
|
||
|
|
-- MonadFail implementation, if someone knows how to do this
|
||
|
|
-- without writing the isomorphism out explicitly for all
|
||
|
|
-- the other instances, (or without scary GeneralisedNewtypeDeriving)
|
||
|
|
-- I would be happy
|
||
|
|
newtype App a = App { runApp' :: T.ExceptT String IO a}
|
||
|
|
deriving (Functor, Applicative, Monad, MonadIO)
|
||
|
|
|
||
|
|
instance MonadFail App where
|
||
|
|
fail = throwE
|
||
|
|
|
||
|
|
-- reimplementing ExceptT interface
|
||
|
|
-- I would love not to have to do this but I don't know how
|
||
|
|
throwE :: String -> App a
|
||
|
|
throwE = App . T.throwE
|
||
|
|
|
||
|
|
except :: Either String a -> App a
|
||
|
|
except = App . T.except
|
||
|
|
|
||
|
|
runApp :: App a -> IO (Either String a)
|
||
|
|
runApp = T.runExceptT . runApp'
|