| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Control.Monad.CheckedExcept.QualifiedDo
Description
do blocks for CheckedExceptT that compose exceptions
Synopsis
- (>>=) :: forall (exceptions1 :: [Type]) (exceptions2 :: [Type]) (exceptions3 :: [Type]) (m :: Type -> Type) a. (Contains exceptions1 exceptions3, Contains exceptions2 exceptions3, Monad m) => CheckedExceptT exceptions1 m a -> (a -> CheckedExceptT exceptions2 m a) -> CheckedExceptT exceptions3 m a
- (>>) :: forall (exceptions1 :: [Type]) (exceptions2 :: [Type]) (exceptions3 :: [Type]) (m :: Type -> Type) a x. (Contains exceptions1 exceptions3, Contains exceptions2 exceptions3, Monad m) => CheckedExceptT exceptions1 m x -> CheckedExceptT exceptions2 m a -> CheckedExceptT exceptions3 m a
- pure :: forall (m :: Type -> Type) a (es :: [Type]). Monad m => a -> CheckedExceptT es m a
- return :: forall (m :: Type -> Type) a (es :: [Type]). Monad m => a -> CheckedExceptT es m a
- fail :: forall (m :: Type -> Type) (es :: [Type]) a. MonadFail m => String -> CheckedExceptT es m a
Documentation
(>>=) :: forall (exceptions1 :: [Type]) (exceptions2 :: [Type]) (exceptions3 :: [Type]) (m :: Type -> Type) a. (Contains exceptions1 exceptions3, Contains exceptions2 exceptions3, Monad m) => CheckedExceptT exceptions1 m a -> (a -> CheckedExceptT exceptions2 m a) -> CheckedExceptT exceptions3 m a Source #
Bind operator for CheckedExceptT that allows chaining computations
that may expand the exception set.
(>>) :: forall (exceptions1 :: [Type]) (exceptions2 :: [Type]) (exceptions3 :: [Type]) (m :: Type -> Type) a x. (Contains exceptions1 exceptions3, Contains exceptions2 exceptions3, Monad m) => CheckedExceptT exceptions1 m x -> CheckedExceptT exceptions2 m a -> CheckedExceptT exceptions3 m a Source #
Sequentially compose two actions, discarding any value produced by the first.
pure :: forall (m :: Type -> Type) a (es :: [Type]). Monad m => a -> CheckedExceptT es m a Source #
pure function for CheckedExceptT.
return :: forall (m :: Type -> Type) a (es :: [Type]). Monad m => a -> CheckedExceptT es m a Source #
return function for CheckedExceptT.