Control.Monad.Trans.RWS.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

Монадa RWS

type RWS r w s = RWST r w s Identity Источник

Монадa, содержащая среду типа r, выходные данные типа w и обновляемое состояние типа s.

rws :: (r -> s -> (a, s, w)) -> RWS r w s a Источник

Построение вычисления RWS из функции. (Обратная операция runRWS.)

runRWS :: RWS r w s a -> r -> s -> (a, s, w) Источник

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

evalRWS Источник

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

execRWS Источник

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

mapRWS :: ((a, s, w) -> (b, s, w')) -> RWS r w s a -> RWS r w' s b Источник

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

• runRWS (mapRWS f m) r s = f (runRWS m r s)

withRWS :: (r' -> s -> (r, s)) -> RWS r w s a -> RWS r' w s a Источник

withRWS f m выполняет действие m с начальной средой и состоянием, изменёнными путём применения f.

• runRWS (withRWS f m) r s = uncurry (runRWS m) (f r s)

Трансформер монад RWST

newtype RWST r w s m a Источник

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

evalRWST Источник

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

execRWST Источник

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

mapRWST :: (m (a, s, w) -> n (b, s, w')) -> RWST r w s m a -> RWST r w' s n b Источник

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

• runRWST (mapRWST f m) r s = f (runRWST m r s)

withRWST :: (r' -> s -> (r, s)) -> RWST r w s m a -> RWST r' w s m a Source

withRWST f m выполняет действие m с начальной средой и состоянием, изменёнными путём применения f.

• runRWST (withRWST f m) r s = uncurry (runRWST m) (f r s)

Операции с чтением

reader :: (Monoid w, Monad m) => (r -> a) -> RWST r w s m a Source

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

ask :: (Monoid w, Monad m) => RWST r w s m r Source

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

local :: (Monoid w, Monad m) => (r -> r) -> RWST r w s m a -> RWST r w s m a Source

Выполнить вычисление в изменённой среде

• runRWST (local f m) r s = runRWST m (f r) s

asks :: (Monoid w, Monad m) => (r -> a) -> RWST r w s m a Source

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

• asks f = liftM f ask

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

writer :: Monad m => (a, w) -> RWST r w s m a Source

Построение вычисления с записью из пары (результат, вывод).

tell :: (Monoid w, Monad m) => w -> RWST r w s m () Source

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

listen :: (Monoid w, Monad m) => RWST r w s m a -> RWST r w s m (a, w) Source

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

• runRWST (listen m) r s = liftM (\ (a, w) -> ((a, w), w)) (runRWST m r s)

listens :: (Monoid w, Monad m) => (w -> b) -> RWST r w s m a -> RWST r w s m (a, b) Source

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

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

• runRWST (listens f m) r s = liftM (\ (a, w) -> ((a, f w), w)) (runRWST m r s)

pass :: (Monoid w, Monad m) => RWST r w s m (a, w -> w) -> RWST r w s m a Source

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

• runRWST (pass m) r s = liftM (\ ((a, f), w) -> (a, f w)) (runRWST m r s)

censor :: (Monoid w, Monad m) => (w -> w) -> RWST r w s m a -> RWST r w s m a Source

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

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

• runRWST (censor f m) r s = liftM (\ (a, w) -> (a, f w)) (runRWST m r s)

Операции с состоянием

state :: (Monoid w, Monad m) => (s -> (a, s)) -> RWST r w s m a Source

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

get :: (Monoid w, Monad m) => RWST r w s m s Source

Получить текущее значение состояния в монаде.

put :: (Monoid w, Monad m) => s -> RWST r w s m () Source

put s устанавливает состояние в монаде в s.

modify :: (Monoid w, Monad m) => (s -> s) -> RWST r w s m () Source

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

• modify f = get >>= (put . f)

gets :: (Monoid w, Monad m) => (s -> a) -> RWST r w s m a Source

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

• gets f = liftM f get

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

liftCallCC :: Monoid w => CallCC m (a, s, w) (b, s, w) -> CallCC (RWST r w s m) a b Source

Единообразное поднятие операции callCC в новую монаду. Этот вариант отменяет изменение состояния при входе в продолжение.

liftCallCC' :: Monoid w => CallCC m (a, s, w) (b, s, w) -> CallCC (RWST r w s m) a b Source

Поднятие операции callCC в новую монаду in-situ. Этот вариант использует текущее состояние при входе в продолжение.

liftCatch :: Catch e m (a, s, w) -> Catch e (RWST r w s m) a Source

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