| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell98 |
Control.Error.Safe
Description
This module extends the safe library's functions with corresponding
versions compatible with Either and ExceptT, and also provides a few
Maybe-compatible functions missing from safe.
I suffix the Either-compatible functions with Err and prefix the
ExceptT-compatible functions with try.
Note that this library re-exports the Maybe compatible functions from
safe in the Control.Error module, so they are not provided here.
The 'Z'-suffixed functions generalize the Maybe functions to also work
with anything that implements MonadPlus, including:
- Lists
- Most parsers
ExceptT(if the left value is aMonoid)
Synopsis
- assertMay :: Bool -> Maybe ()
- rightMay :: Either e a -> Maybe a
- tailErr :: e -> [a] -> Either e [a]
- initErr :: e -> [a] -> Either e [a]
- headErr :: e -> [a] -> Either e a
- lastErr :: e -> [a] -> Either e a
- minimumErr :: Ord a => e -> [a] -> Either e a
- maximumErr :: Ord a => e -> [a] -> Either e a
- foldr1Err :: e -> (a -> a -> a) -> [a] -> Either e a
- foldl1Err :: e -> (a -> a -> a) -> [a] -> Either e a
- foldl1Err' :: e -> (a -> a -> a) -> [a] -> Either e a
- atErr :: e -> [a] -> Int -> Either e a
- readErr :: Read a => e -> String -> Either e a
- assertErr :: e -> Bool -> Either e ()
- justErr :: e -> Maybe a -> Either e a
- tryTail :: forall (m :: Type -> Type) e a. Monad m => e -> [a] -> ExceptT e m [a]
- tryInit :: forall (m :: Type -> Type) e a. Monad m => e -> [a] -> ExceptT e m [a]
- tryHead :: forall (m :: Type -> Type) e a. Monad m => e -> [a] -> ExceptT e m a
- tryLast :: forall (m :: Type -> Type) e a. Monad m => e -> [a] -> ExceptT e m a
- tryMinimum :: forall (m :: Type -> Type) a e. (Monad m, Ord a) => e -> [a] -> ExceptT e m a
- tryMaximum :: forall (m :: Type -> Type) a e. (Monad m, Ord a) => e -> [a] -> ExceptT e m a
- tryFoldr1 :: forall (m :: Type -> Type) e a. Monad m => e -> (a -> a -> a) -> [a] -> ExceptT e m a
- tryFoldl1 :: forall (m :: Type -> Type) e a. Monad m => e -> (a -> a -> a) -> [a] -> ExceptT e m a
- tryFoldl1' :: forall (m :: Type -> Type) e a. Monad m => e -> (a -> a -> a) -> [a] -> ExceptT e m a
- tryAt :: forall (m :: Type -> Type) e a. Monad m => e -> [a] -> Int -> ExceptT e m a
- tryRead :: forall (m :: Type -> Type) a e. (Monad m, Read a) => e -> String -> ExceptT e m a
- tryAssert :: forall (m :: Type -> Type) e. Monad m => e -> Bool -> ExceptT e m ()
- tryJust :: forall (m :: Type -> Type) e a. Monad m => e -> Maybe a -> ExceptT e m a
- tryRight :: forall (m :: Type -> Type) e a. Monad m => Either e a -> ExceptT e m a
- tailZ :: MonadPlus m => [a] -> m [a]
- initZ :: MonadPlus m => [a] -> m [a]
- headZ :: MonadPlus m => [a] -> m a
- lastZ :: MonadPlus m => [a] -> m a
- minimumZ :: (MonadPlus m, Ord a) => [a] -> m a
- maximumZ :: (MonadPlus m, Ord a) => [a] -> m a
- foldr1Z :: MonadPlus m => (a -> a -> a) -> [a] -> m a
- foldl1Z :: MonadPlus m => (a -> a -> a) -> [a] -> m a
- foldl1Z' :: MonadPlus m => (a -> a -> a) -> [a] -> m a
- atZ :: MonadPlus m => [a] -> Int -> m a
- readZ :: (MonadPlus m, Read a) => String -> m a
- assertZ :: MonadPlus m => Bool -> m ()
- justZ :: MonadPlus m => Maybe a -> m a
- rightZ :: MonadPlus m => Either e a -> m a
Maybe-compatible functions
Either-compatible functions
minimumErr :: Ord a => e -> [a] -> Either e a Source #
A minimum that fails in the Either monad
maximumErr :: Ord a => e -> [a] -> Either e a Source #
A maximum that fails in the Either monad
foldr1Err :: e -> (a -> a -> a) -> [a] -> Either e a Source #
A foldr1 that fails in the Either monad
foldl1Err :: e -> (a -> a -> a) -> [a] -> Either e a Source #
A foldl1 that fails in the Either monad
foldl1Err' :: e -> (a -> a -> a) -> [a] -> Either e a Source #
A foldl1' that fails in the Either monad
ExceptT-compatible functions
tryTail :: forall (m :: Type -> Type) e a. Monad m => e -> [a] -> ExceptT e m [a] Source #
A tail that fails in the ExceptT monad
tryInit :: forall (m :: Type -> Type) e a. Monad m => e -> [a] -> ExceptT e m [a] Source #
An init that fails in the ExceptT monad
tryHead :: forall (m :: Type -> Type) e a. Monad m => e -> [a] -> ExceptT e m a Source #
A head that fails in the ExceptT monad
tryLast :: forall (m :: Type -> Type) e a. Monad m => e -> [a] -> ExceptT e m a Source #
A last that fails in the ExceptT monad
tryMinimum :: forall (m :: Type -> Type) a e. (Monad m, Ord a) => e -> [a] -> ExceptT e m a Source #
A minimum that fails in the ExceptT monad
tryMaximum :: forall (m :: Type -> Type) a e. (Monad m, Ord a) => e -> [a] -> ExceptT e m a Source #
A maximum that fails in the ExceptT monad
tryFoldr1 :: forall (m :: Type -> Type) e a. Monad m => e -> (a -> a -> a) -> [a] -> ExceptT e m a Source #
A foldr1 that fails in the ExceptT monad
tryFoldl1 :: forall (m :: Type -> Type) e a. Monad m => e -> (a -> a -> a) -> [a] -> ExceptT e m a Source #
A foldl1 that fails in the ExceptT monad
tryFoldl1' :: forall (m :: Type -> Type) e a. Monad m => e -> (a -> a -> a) -> [a] -> ExceptT e m a Source #
A foldl1' that fails in the ExceptT monad
tryAt :: forall (m :: Type -> Type) e a. Monad m => e -> [a] -> Int -> ExceptT e m a Source #
A (!!) that fails in the ExceptT monad
tryRead :: forall (m :: Type -> Type) a e. (Monad m, Read a) => e -> String -> ExceptT e m a Source #
A read that fails in the ExceptT monad
tryAssert :: forall (m :: Type -> Type) e. Monad m => e -> Bool -> ExceptT e m () Source #
An assertion that fails in the ExceptT monad
tryJust :: forall (m :: Type -> Type) e a. Monad m => e -> Maybe a -> ExceptT e m a Source #
A fromJust that fails in the ExceptT monad
tryRight :: forall (m :: Type -> Type) e a. Monad m => Either e a -> ExceptT e m a Source #
A fromRight that fails in the ExceptT monad