File tree Expand file tree Collapse file tree 12 files changed +1
-15
lines changed
Expand file tree Collapse file tree 12 files changed +1
-15
lines changed Original file line number Diff line number Diff line change 11module Control.Monad.Cont.Class where
22
3- import Prelude
43import Control.Monad.Error
54import qualified Control.Monad.Cont.Trans as Cont
65import Control.Monad.Error
Original file line number Diff line number Diff line change 11module Control.Monad.Cont.Trans where
22
3- import Prelude
43import Control.Monad.Trans
54
65newtype ContT r m a = ContT ((a -> m r ) -> m r )
Original file line number Diff line number Diff line change 11module Control.Monad.Error.Class where
22
3- import Prelude
43import Control.Monad.Trans
54import Control.Monad.Error
65import Control.Monad.Error.Trans
@@ -14,7 +13,7 @@ import Data.Monoid
1413class MonadError e m where
1514 throwError :: forall a . e -> m a
1615 catchError :: forall a . m a -> (e -> m a ) -> m a
17-
16+
1817instance monadErrorError :: (Error e ) => MonadError e (Either e ) where
1918 throwError = Left
2019 catchError (Left e) h = h e
Original file line number Diff line number Diff line change 11module Control.Monad.Identity where
22
3- import Prelude
4-
53newtype Identity a = Identity a
64
75runIdentity :: forall a . Identity a -> a
Original file line number Diff line number Diff line change 11module Control.Monad.Maybe.Trans where
22
3- import Prelude
43import Control.Monad
54import Control.Monad.Trans
65import Data.Either
Original file line number Diff line number Diff line change 11module Control.Monad.Reader where
22
3- import Prelude
43import Control.Monad.Identity
54import Control.Monad.Reader.Trans
65
Original file line number Diff line number Diff line change 11module Control.Monad.Reader.Class where
22
3- import Prelude
43import Control.Monad.Trans
54import Control.Monad.Reader.Trans
65import Control.Monad.Error
Original file line number Diff line number Diff line change 11module Control.Monad.State where
22
3- import Prelude
43import Control.Monad.Identity
54import Control.Monad.State.Trans
65import Data.Tuple
Original file line number Diff line number Diff line change 11module Control.Monad.State.Class where
22
3- import Prelude
43import Control.Monad.Trans
54import Control.Monad.State.Trans
65import Control.Monad.Error
Original file line number Diff line number Diff line change 11module Control.Monad.Trans where
22
3- import Prelude
4-
53class MonadTrans t where
64 lift :: forall m a . (Monad m ) => m a -> t m a
You can’t perform that action at this time.
0 commit comments