Copyright | Copyright (c) 2019-2023 Travis Cardwell |
---|---|
License | MIT |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
PhatSort.Monad.Trans.Error
Description
Synopsis
- type ErrorT = ExceptT String
- errorT :: Monad m => m (Either String a) -> ErrorT m a
- errorTE :: (Exception e, Monad m) => m (Either e a) -> ErrorT m a
- lift :: Monad m => m a -> ErrorT m a
- liftEither :: forall (m :: Type -> Type) a. Monad m => Either String a -> ErrorT m a
- liftEitherE :: forall e (m :: Type -> Type) a. (Exception e, Monad m) => Either e a -> ErrorT m a
- run :: Monad m => ErrorT m a -> m (Either String a)
- throw :: forall (m :: Type -> Type) a. Monad m => String -> ErrorT m a
- throwE :: forall e (m :: Type -> Type) a. (Exception e, Monad m) => e -> ErrorT m a
ErrorT
API
errorT :: Monad m => m (Either String a) -> ErrorT m a Source #
Manage String
errors of an action
Since: 0.5.0.0
errorTE :: (Exception e, Monad m) => m (Either e a) -> ErrorT m a Source #
Manage Exception
errors of an action
Since: 0.5.0.0
liftEither :: forall (m :: Type -> Type) a. Monad m => Either String a -> ErrorT m a Source #
Manage String
errors
Since: 0.5.0.0
liftEitherE :: forall e (m :: Type -> Type) a. (Exception e, Monad m) => Either e a -> ErrorT m a Source #
Manage Exception
errors
Since: 0.5.0.0