| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Prologue.Control.Error
Synopsis
- unsafeTail :: [a] -> [a]
- unsafeInit :: [a] -> [a]
- unsafeHead :: [a] -> a
- unsafeLast :: [a] -> a
- unsafeFoldr1 :: (a -> a -> a) -> [a] -> a
- unsafeFoldl1 :: (a -> a -> a) -> [a] -> a
- unsafeFoldl1' :: (a -> a -> a) -> [a] -> a
- unsafeRead :: forall a. Read a => String -> a
- tail :: MonadPlus m => [a] -> m [a]
- init :: MonadPlus m => [a] -> m [a]
- head :: MonadPlus m => [a] -> m a
- last :: MonadPlus m => [a] -> m a
- foldr1 :: MonadPlus m => (a -> a -> a) -> [a] -> m a
- foldl1 :: MonadPlus m => (a -> a -> a) -> [a] -> m a
- foldl1' :: MonadPlus m => (a -> a -> a) -> [a] -> m a
- read :: MonadPlus m => Read a => String -> m a
- takeExactly :: MonadPlus m => Int -> [a] -> m [a]
- dropExactly :: MonadPlus m => Int -> [a] -> m [a]
- splitAtExactly :: MonadPlus m => Int -> [a] -> m ([a], [a])
- splitHead :: [a] -> (Maybe a, [a])
- hoistMaybe :: MonadPlus m => Maybe a -> m a
- tryRight :: Monad m => Either e a -> ExceptT e m a
- tryJust :: Monad m => e -> Maybe a -> ExceptT e m a
- tryAssert :: Monad m => e -> Bool -> ExceptT e m ()
- tryRead :: (Monad m, Read a) => e -> String -> ExceptT e m a
- tryFoldl1' :: Monad m => e -> (a -> a -> a) -> [a] -> ExceptT e m a
- tryFoldl1 :: Monad m => e -> (a -> a -> a) -> [a] -> ExceptT e m a
- tryFoldr1 :: Monad m => e -> (a -> a -> a) -> [a] -> ExceptT e m a
- tryMaximum :: (Monad m, Ord a) => e -> [a] -> ExceptT e m a
- tryMinimum :: (Monad m, Ord a) => e -> [a] -> ExceptT e m a
- tryLast :: Monad m => e -> [a] -> ExceptT e m a
- tryHead :: Monad m => e -> [a] -> ExceptT e m a
- tryInit :: Monad m => e -> [a] -> ExceptT e m [a]
- tryTail :: Monad m => e -> [a] -> ExceptT e m [a]
- justErr :: e -> Maybe a -> Either e a
- assertErr :: e -> Bool -> Either e ()
- readErr :: Read a => e -> String -> Either e a
- foldl1Err' :: e -> (a -> a -> a) -> [a] -> Either e a
- foldl1Err :: e -> (a -> a -> a) -> [a] -> Either e a
- foldr1Err :: e -> (a -> a -> a) -> [a] -> Either e a
- maximumErr :: Ord a => e -> [a] -> Either e a
- minimumErr :: Ord a => e -> [a] -> Either e a
- lastErr :: e -> [a] -> Either e a
- headErr :: e -> [a] -> Either e a
- initErr :: e -> [a] -> Either e [a]
- tailErr :: e -> [a] -> Either e [a]
- isRightT :: Monad m => ExceptT a m b -> m Bool
- isLeftT :: Monad m => ExceptT a m b -> m Bool
- isNothingT :: Monad m => MaybeT m a -> m Bool
- isJustT :: Monad m => MaybeT m a -> m Bool
- nothing :: Monad m => MaybeT m a
- just :: Monad m => a -> MaybeT m a
- noteT :: Monad m => a -> MaybeT m b -> ExceptT a m b
- note :: a -> Maybe b -> Either a b
- hushT :: Monad m => ExceptT a m b -> MaybeT m b
- hush :: Either a b -> Maybe b
Documentation
unsafeTail :: [a] -> [a] Source #
unsafeInit :: [a] -> [a] Source #
unsafeHead :: [a] -> a Source #
unsafeLast :: [a] -> a Source #
unsafeFoldr1 :: (a -> a -> a) -> [a] -> a Source #
unsafeFoldl1 :: (a -> a -> a) -> [a] -> a Source #
unsafeFoldl1' :: (a -> a -> a) -> [a] -> a Source #
unsafeRead :: forall a. Read a => String -> a Source #
takeExactly :: MonadPlus m => Int -> [a] -> m [a] Source #
dropExactly :: MonadPlus m => Int -> [a] -> m [a] Source #
splitAtExactly :: MonadPlus m => Int -> [a] -> m ([a], [a]) Source #
hoistMaybe :: MonadPlus m => Maybe a -> m a Source #
tryFoldl1' :: Monad m => e -> (a -> a -> a) -> [a] -> ExceptT e m a #
A foldl1' that fails in the ExceptT monad
tryMaximum :: (Monad m, Ord a) => e -> [a] -> ExceptT e m a #
tryMinimum :: (Monad m, Ord a) => e -> [a] -> ExceptT e m a #
foldl1Err' :: e -> (a -> a -> a) -> [a] -> Either e a #
A foldl1' that fails in the Either monad