Control.Monad.Transformerless.Writer

newtype Writer w a

Constructors

• Writer (Tuple a w)

Instances

• Newtype (Writer w a) _
• Functor (Writer w)
• (Semigroup w) => Apply (Writer w)
• (Monoid w) => Applicative (Writer w)
• (Semigroup w) => Bind (Writer w)
• (Monoid w) => Monad (Writer w)

runWriter :: forall a w. Writer w a -> Tuple a w

execWriter :: forall a w. Writer w a -> w

mapWriter :: forall b a w2 w1. (Tuple a w1 -> Tuple b w2) -> Writer w1 a -> Writer w2 b

mapW :: forall b a w. (a -> b) -> Writer w a -> Writer w b

Operator alias for Control.Monad.Transformerless.Writer.mapW (left-associative / precedence 4)

applyW :: forall b a w. Semigroup w => Writer w (a -> b) -> Writer w a -> Writer w b

Operator alias for Control.Monad.Transformerless.Writer.applyW (left-associative / precedence 4)

pureW :: forall a w. Monoid w => a -> Writer w a

bindW :: forall b a w. Semigroup w => Writer w a -> (a -> Writer w b) -> Writer w b

Operator alias for Control.Monad.Transformerless.Writer.bindW (left-associative / precedence 1)

pass :: forall a w. Writer w (Tuple a (w -> w)) -> Writer w a

listen :: forall a w. Writer w a -> Writer w (Tuple a w)

tell :: forall w. w -> Writer w Unit

listens :: forall b a w. Monoid w => (w -> b) -> Writer w a -> Writer w (Tuple a b)

censor :: forall a w. Monoid w => (w -> w) -> Writer w a -> Writer w a