Control.Monad.Trans.RWS.Lazy

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

Монад RWS

type RWS r w s = RWST r w s Identity Source

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

rws :: (r -> s -> (a, s, w)) -> RWS r w s a Source

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

runRWS :: RWS r w s a -> r -> s -> (a, s, w) Source

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

evalRWS Source

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

execRWS Source

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

mapRWS :: ((a, s, w) -> (b, s, w')) -> RWS r w s a -> RWS r w' s b Source

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

• 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 Source

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 Source

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

evalRWST Source

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

execRWST Source

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

mapRWST :: (m (a, s, w) -> n (b, s, w')) -> RWST r w s m a -> RWST r w' s n b Source

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

• 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 непосредственно в новую монаду. Эта версия использует текущее состояние при входе в продолжение.

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

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