Module

Run.Writer

Package
purescript-run
Repository
natefaubion/purescript-run

#Writer Source

data Writer w a

Constructors

Instances

#WRITER Source

type WRITER w = FProxy (Writer w)

#_writer Source

_writer :: SProxy "writer"

#liftWriter Source

liftWriter :: forall r a w. Writer w a -> Run (writer :: WRITER w | r) a

#tell Source

tell :: forall r w. w -> Run (writer :: WRITER w | r) Unit

#censor Source

censor :: forall r a w. (w -> w) -> Run (writer :: WRITER w | r) a -> Run (writer :: WRITER w | r) a

#foldWriter Source

foldWriter :: forall r a b w. (b -> w -> b) -> b -> Run (writer :: WRITER w | r) a -> Run r (Tuple b a)

#runWriter Source

runWriter :: forall r a w. Monoid w => Run (writer :: WRITER w | r) a -> Run r (Tuple w a)