Control.Monad.Trans.Error

Copyright	(c) Michael Weber <michael.weber@post.rwth-aachen.de> 2001, (c) Jeff Newbern 2003-2006, (c) Andriy Palamarchuk 2006
License	BSD-style (see the file LICENSE)
Maintainer	ross@soi.city.ac.uk
Stability	experimental
Portability	portable
Safe Haskell	Safe
Language	Haskell98

Трансформатор монады ErrorT

class Error a where Source

Исключение, которое должно быть выброшено.

Минимальное полное определение: noMsg или strMsg.

class ErrorList a where Source

Обходной путь, чтобы мы могли иметь экземпляр Haskell 98 Error String.

newtype ErrorT e m a Source

Трансформатор монады ошибок. Он может использоваться для добавления обработки ошибок к другим монадaм.

ErrorT структура Монад параметризована двумя вещами:

• e - Тип ошибки.
• m - Внутренняя монада.

Функция return дает успешное вычисление, в то время как >>= объединяет два подвычисления, завершаясь неудачей при первой ошибке.

mapErrorT :: (m (Either e a) -> n (Either e' b)) -> ErrorT e m a -> ErrorT e' n b Source

Преобразует вычисление без обертки с помощью заданной функции.

• runErrorT (mapErrorT f m) = f (runErrorT m)

Операции с ошибками

throwError :: (Monad m, Error e) => e -> ErrorT e m a Source

Вызывает значение ошибки e.

• runErrorT (throwError e) = return (Left e)

• throwError e >>= m = throwError e

catchError Source

Обработка ошибки.

• catchError h (lift m) = lift m

• catchError h (throwError e) = h e

Поднимаем другие операции

liftCallCC :: CallCC m (Either e a) (Either e b) -> CallCC (ErrorT e m) a b Source

Поднять операцию callCC в новый монаду.

liftListen :: Monad m => Listen w m (Either e a) -> Listen w (ErrorT e m) a Source

Поднять операцию listen в новый монаду.

liftPass :: Monad m => Pass w m (Either e a) -> Pass w (ErrorT e m) a Source

Поднять операцию pass в новый монаду.

Примеры

Оборачивание действия IO, которое может выбросить ошибку e:

type ErrorWithIO e a = ErrorT e IO a
==> ErrorT (IO (Either e a))

Монада IO, обернутая в StateT внутри ErrorT:

type ErrorAndStateWithIO e s a = ErrorT e (StateT s IO) a
==> ErrorT (StateT s IO (Either e a))
==> ErrorT (StateT (s -> IO (Either e a,s)))