Data.Chatty.Fail

Provides a monad for error handling. Okay, I confess it's equal to ErrorT... You should use that one.

Documentation

newtype FailT e m a

The error handling monad.

Constructors

Fail

Fields

• runFailT :: m (Either e a)

Instances

Monad m => MonadError e (FailT e m)

Defined in Data.Chatty.Fail

Methods

throwError :: e -> FailT e m a

catchError :: FailT e m a -> (e -> FailT e m a) -> FailT e m a

MonadTrans (FailT e)

Defined in Data.Chatty.Fail

Methods

lift :: Monad m => m a -> FailT e m a

Monad m => Monad (FailT e m)

Defined in Data.Chatty.Fail

Methods

(>>=) :: FailT e m a -> (a -> FailT e m b) -> FailT e m b

(>>) :: FailT e m a -> FailT e m b -> FailT e m b

return :: a -> FailT e m a

Monad m => Functor (FailT e m)

Defined in Data.Chatty.Fail

Methods

fmap :: (a -> b) -> FailT e m a -> FailT e m b

(<$) :: a -> FailT e m b -> FailT e m a

Monad m => Applicative (FailT e m)

Defined in Data.Chatty.Fail

Methods

pure :: a -> FailT e m a

(<*>) :: FailT e m (a -> b) -> FailT e m a -> FailT e m b

liftA2 :: (a -> b -> c) -> FailT e m a -> FailT e m b -> FailT e m c

(*>) :: FailT e m a -> FailT e m b -> FailT e m b

(<*) :: FailT e m a -> FailT e m b -> FailT e m a

type Fail e = FailT e Identity