Control.Monad.Transformerless.RWS

newtype RWS r w s a

Constructors

• RWS (r -> s -> RWSResult s a w)

Instances

• Newtype (RWS r w s a) _
• Functor (RWS r w s)
• (Semigroup w) => Apply (RWS r w s)
• (Monoid w) => Applicative (RWS r w s)
• (Semigroup w) => Bind (RWS r w s)
• (Monoid w) => Monad (RWS r w s)
• (Monoid w) => MonadRec (RWS r w s)

data RWSResult s a w

Constructors

• RWSResult s a w

runRWS :: forall a s w r. RWS r w s a -> r -> s -> RWSResult s a w

evalRWS :: forall a s w r. RWS r w s a -> r -> s -> Tuple a w

execRWS :: forall a s w r. RWS r w s a -> r -> s -> Tuple s w

mapRWS :: forall a2 a1 s w2 w1 r. (RWSResult s a1 w1 -> RWSResult s a2 w2) -> RWS r w1 s a1 -> RWS r w2 s a2

withRWS :: forall a s w r2 r1. (r2 -> s -> Tuple r1 s) -> RWS r1 w s a -> RWS r2 w s a

map_ :: forall b a s w r. (a -> b) -> RWS r w s a -> RWS r w s b

Operator alias for Control.Monad.Transformerless.RWS.map_ (left-associative / precedence 4)

apply_ :: forall b a s w r. Semigroup w => RWS r w s (a -> b) -> RWS r w s a -> RWS r w s b

Operator alias for Control.Monad.Transformerless.RWS.apply_ (left-associative / precedence 4)

pure_ :: forall a s w r. Monoid w => a -> RWS r w s a

bind_ :: forall b a s w r. Semigroup w => RWS r w s a -> (a -> RWS r w s b) -> RWS r w s b

Operator alias for Control.Monad.Transformerless.RWS.bind_ (left-associative / precedence 1)

tailRec_ :: forall b a s w r. Monoid w => (a -> RWS r w s (Step a b)) -> a -> RWS r w s b

reader :: forall a s w r. Monoid w => (r -> a) -> RWS r w s a

Reader

ask :: forall s w r. Monoid w => RWS r w s r

local :: forall a s w r. (r -> r) -> RWS r w s a -> RWS r w s a

writer :: forall a s w r. Tuple a w -> RWS r w s a

Writer

listen :: forall a s w r. RWS r w s a -> RWS r w s (Tuple a w)

pass :: forall a s w r. RWS r w s (Tuple a (w -> w)) -> RWS r w s a

tell :: forall s w r. w -> RWS r w s Unit

listens :: forall b a s w r. (w -> b) -> RWS r w s a -> RWS r w s (Tuple a b)

censor :: forall a s w r. Monoid w => (w -> w) -> RWS r w s a -> RWS r w s a

state :: forall a s w r. Monoid w => (s -> Tuple a s) -> RWS r w s a

State

get :: forall s w r. Monoid w => RWS r w s s

gets :: forall a s w r. Monoid w => (s -> a) -> RWS r w s a

put :: forall s w r. Monoid w => s -> RWS r w s Unit

modify :: forall s w r. Monoid w => (s -> s) -> RWS r w s Unit