Control.Monad.Trans.Reader

Copyright	(c) Andy Gill 2001, (c) Oregon Graduate Institute of Science and Technology, 2001
License	BSD-style (see the file LICENSE)
Maintainer	ross@soi.city.ac.uk
Stability	experimental
Portability	portable
Safe Haskell	Safe
Language	Haskell98

Монадный читатель

type Reader r = ReaderT r Identity Источник

Параметризуемая монада читатель.

Вычисления — это функции от общей среды.

Функция return игнорирует среду, в то время как >>= передает унаследованную среду обеим подвычислениям.

reader :: Monad m => (r -> a) -> ReaderT r m a Источник

Конструктор для вычислений в монаде читатель (эквивалентен asks).

runReader Источник

Запускает вычисление Reader и извлекает конечное значение из него. (Обратная функция reader.)

mapReader :: (a -> b) -> Reader r a -> Reader r b Источник

Преобразование значения, возвращаемого вычислением Reader.

• runReader (mapReader f m) = f . runReader m

withReader Источник

Выполнение вычисления в изменённой среде (специализация withReaderT).

• runReader (withReader f m) = runReader m . f

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

newtype ReaderT r m a Источник

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

Функция return игнорирует среду, а функция >>= передает унаследованную среду обеим подвычислениям.

mapReaderT :: (m a -> n b) -> ReaderT r m a -> ReaderT r n b Источник

Преобразование вычисления внутри ReaderT.

• runReaderT (mapReaderT f m) = f . runReaderT m

withReaderT Источник

Выполнение вычисления в изменённой среде (более общий вариант local).

• runReaderT (withReaderT f m) = runReaderT m . f

Операции Reader

ask :: Monad m => ReaderT r m r Источник

Получение значения из среды.

local Источник

Выполнение вычисления в изменённой среде (специализация withReaderT).

• runReaderT (local f m) = runReaderT m . f

asks Источник

Получение функции от текущей среды.

• asks f = liftM f ask

Поднятие других операций

liftCallCC :: CallCC m a b -> CallCC (ReaderT r m) a b Источник

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

liftCatch :: Catch e m a -> Catch e (ReaderT r m) a Source

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