FailT-0.1.0.0: A 'FailT' monad transformer that plays well with 'MonadFail'
Copyright(c) Alexey Kuleshevich 2022-2023
LicenseBSD3
MaintainerAlexey Kuleshevich <alexey@kuleshevi.ch>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellSafe-Inferred
LanguageHaskell2010

Control.Monad.Trans.Fail.String

Description

This module contains a synonym for FailT e m a transformer, where failure type e is restricted to String. All functions in this module have the same names and are a drop-in replacement for Control.Monad.Trans.Fail module, except with monomorphic failure type.

Synopsis

Documentation

type Fail = Fail String Source #

Version of Fail restricted to String

runFail :: Fail a -> Either String a Source #

Version of runFail restricted to String

runFailLast :: Fail a -> Either String a Source #

Version of runFailLast restricted to String

runFailAgg :: Fail a -> Either [String] a Source #

Version of runFailAgg restricted to String

errorFail :: HasCallStack => Fail a -> a Source #

Version of errorFail restricted to String

Throw an error if there was a failure, otherwise return the result of monadic computation. Use throwFailT in case you'd like to handle an actual exception.

errorFailWithoutStackTrace :: Fail a -> a Source #

Version of runFail restricted to String

Same as errorFail, but without the stack trace:

>>> errorFailWithoutStackTrace (fail "This didn't work" :: Fail ())
*** Exception: "This didn't work"
>>> import Control.Applicative
>>> errorFailWithoutStackTrace (fail "This didn't work" <|> pure "That Worked" :: Fail String)
"That Worked"

type FailT = FailT String Source #

Version of FailT restricted to String

Fail monad transformer that plays well with MonadFail

data FailException where Source #

An exception that is produced by the FailT monad transformer.

Constructors

FailException 

Fields

failT :: Applicative m => String -> FailT m a Source #

Version of failT restricted to String

Monomorphic synonym for fail

runFailT :: Functor m => FailT m a -> m (Either String a) Source #

Version of runFailT restricted to String

runFailLastT :: Functor m => FailT m a -> m (Either String a) Source #

Version of runFailLastT restricted to String

runFailAggT :: FailT m a -> m (Either [String] a) Source #

Version of runFailAggT restricted to String

hoistFailT :: (forall a. m a -> n a) -> FailT m b -> FailT n b Source #

Version of hoistFailT restricted to String

Change the underlying monad with the hoisting function

mapFailT :: (m (Either [String] a) -> n (Either [String] b)) -> FailT m a -> FailT n b Source #

Version of mapFailT restricted to String

Map a function over the underlying representation of the FailT monad.

mapErrorFailT :: Functor m => (e -> String) -> FailT e m a -> FailT m a Source #

Version of mapErrorFail, where resulting type is restricted to String

Map a function over the error type in the FailT monad.

mapErrorsFailT :: Functor m => ([e] -> [String]) -> FailT e m a -> FailT m a Source #

Version of mapErrorsFail, where resulting type is restricted to String

Map a function over the aggregation of errors in the FailT monad. Could be used for example for clearing our all of the aggregated error messages:

>>> runFail (mapErrorsFailT (const []) $ failT "Something went wrong") :: Either String ()
Left "No failure reason given"

exceptFailT :: (HasCallStack, Monad m) => FailT m a -> ExceptT FailException m a Source #

Version of exceptFailT restricted to String

throwFailT :: (HasCallStack, MonadThrow m) => FailT m a -> m a Source #

Version of throwFailT restricted to String