throwError package:FailT

throwErrorFailT :: (HasCallStack, Typeable e, Show e, MonadError FailException m) => FailT e m a -> m a

Same as exceptFailT, but works with any MonadError.

>>> throwErrorFailT (fail "A bad thing" >> pure () :: FailT String (Except FailException) ())
ExceptT (Identity (Left FailException
"A bad thing"
CallStack (from HasCallStack):
...

throwErrorFailT :: (HasCallStack, MonadError FailException m) => FailT m a -> m a

FailT Control.Monad.Trans.Fail.String

Version of throwErrorFailT restricted to String Same as exceptFailT, but works with any MonadError.

>>> import Control.Monad.Trans.Fail.String

>>> throwErrorFailT (fail "A bad thing" >> pure () :: FailT (Except FailException) ())
ExceptT (Identity (Left FailException
"A bad thing"
CallStack (from HasCallStack):
...

throwErrorFailT :: (HasCallStack, MonadError FailException m) => FailT m a -> m a

FailT Control.Monad.Trans.Fail.Text

Version of throwErrorFailT restricted to Text Same as exceptFailT, but works with any MonadError.

>>> import Control.Monad.Trans.Fail.Text

>>> throwErrorFailT (fail "A bad thing" >> pure () :: FailT (Except FailException) ())
ExceptT (Identity (Left FailException
"A bad thing"
CallStack (from HasCallStack):
...