OM.Fail

Monad transformer providing MonadFail.

Documentation

data FailT m a

Monad transformer providing MonadFail.

Instances

MonadTrans FailT

Defined in OM.Fail

Methods

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

Monad m => Monad (FailT m)

Defined in OM.Fail

Methods

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

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

return :: a -> FailT m a

fail :: String -> FailT m a

Functor m => Functor (FailT m)

Defined in OM.Fail

Methods

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

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

Monad m => MonadFail (FailT m)

Defined in OM.Fail

Methods

fail :: String -> FailT m a

Monad m => Applicative (FailT m)

Defined in OM.Fail

Methods

pure :: a -> FailT m a

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

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

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

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

MonadIO m => MonadIO (FailT m)

Defined in OM.Fail

Methods

liftIO :: IO a -> FailT m a

MonadThrow m => MonadThrow (FailT m)

Defined in OM.Fail

Methods

throwM :: Exception e => e -> FailT m a

MonadCatch m => MonadCatch (FailT m)

Defined in OM.Fail

Methods

catch :: Exception e => FailT m a -> (e -> FailT m a) -> FailT m a

MonadLogger m => MonadLogger (FailT m)

Defined in OM.Fail

Methods

monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> FailT m ()

MonadLoggerIO m => MonadLoggerIO (FailT m)

Defined in OM.Fail

Methods

askLoggerIO :: FailT m (Loc -> LogSource -> LogLevel -> LogStr -> IO ())

runFailT :: FailT m a -> m (Either String a)

Run a FailT.