Control.Monad.Trans.Writer.Strict

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

Монад Writer

type Writer w = WriterT w Identity Source

Монад Writer, параметризованный типом w выходных данных для накопления.

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

writer :: Monad m => (a, w) -> WriterT w m a Source

Создаёт вычисление Writer из пары (результат, вывод). (Обратная функция к runWriter.)

runWriter :: Writer w a -> (a, w) Source

Разворачивает вычисление Writer как пару (результат, вывод). (Обратная функция к writer.)

execWriter :: Writer w a -> w Source

Извлекает вывод из вычисления Writer.

• execWriter m = snd (runWriter m)

mapWriter :: ((a, w) -> (b, w')) -> Writer w a -> Writer w' b Source

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

• runWriter (mapWriter f m) = f (runWriter m)

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

newtype WriterT w m a Source

Монад Writer, параметризованный:

• w - вывод для накопления.
• m - Внутренний монад.

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

execWriterT :: Monad m => WriterT w m a -> m w Source

Извлекает вывод из вычисления Writer.

• execWriterT m = liftM snd (runWriterT m)

mapWriterT :: (m (a, w) -> n (b, w')) -> WriterT w m a -> WriterT w' n b Source

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

• runWriterT (mapWriterT f m) = f (runWriterT m)

Операции записи

tell :: (Monoid w, Monad m) => w -> WriterT w m () Source

tell w — это действие, которое производит вывод w.

listen :: (Monoid w, Monad m) => WriterT w m a -> WriterT w m (a, w) Source

listen m — это действие, которое выполняет действие m и добавляет его вывод к значению вычисления.

• runWriterT (listen m) = liftM (\ (a, w) -> ((a, w), w)) (runWriterT m)

listens :: (Monoid w, Monad m) => (w -> b) -> WriterT w m a -> WriterT w m (a, b) Source

listens f m — это действие, которое выполняет действие m и добавляет результат применения f к выводу к значению вычисления.

• listens f m = liftM (id *** f) (listen m)

• runWriterT (listens f m) = liftM (\ (a, w) -> ((a, f w), w)) (runWriterT m)

pass :: (Monoid w, Monad m) => WriterT w m (a, w -> w) -> WriterT w m a Source

pass m — это действие, которое выполняет действие m, которое возвращает значение и функцию, и возвращает значение, применяя функцию к выводу.

• runWriterT (pass m) = liftM (\ ((a, f), w) -> (a, f w)) (runWriterT m)

censor :: (Monoid w, Monad m) => (w -> w) -> WriterT w m a -> WriterT w m a Source

censor f m — это действие, которое выполняет действие m и применяет функцию f к его выводу, оставляя возвращаемое значение неизменным.

• censor f m = pass (liftM (\ x -> (x,f)) m)

• runWriterT (censor f m) = liftM (\ (a, w) -> (a, f w)) (runWriterT m)

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

liftCallCC :: Monoid w => CallCC m (a, w) (b, w) -> CallCC (WriterT w m) a b Source

Поднятие операции callCC к новой монаде.

liftCatch :: Catch e m (a, w) -> Catch e (WriterT w m) a Source

Поднятие операции catchE к новой монаде.