Module

Run.Writer

Package
purescript-run
Repository
natefaubion/purescript-run

#Writer Source

data Writer w a

Constructors

Instances

#WRITER Source

type WRITER w r = (writer :: Writer w | r)

#_writer Source

_writer :: Proxy "writer"

#liftWriter Source

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

#liftWriterAt Source

liftWriterAt :: forall proxy w a r t s. IsSymbol s => Cons s (Writer w) t r => proxy s -> Writer w a -> Run r a

#tell Source

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

#tellAt Source

tellAt :: forall proxy w r t s. IsSymbol s => Cons s (Writer w) t r => proxy s -> w -> Run r Unit

#censor Source

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

#censorAt Source

censorAt :: forall proxy w a r t s. IsSymbol s => Cons s (Writer w) t r => proxy s -> (w -> w) -> Run r a -> Run r a

#foldWriter Source

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

#foldWriterAt Source

foldWriterAt :: forall proxy w b a r t s. IsSymbol s => Cons s (Writer w) t r => proxy s -> (b -> w -> b) -> b -> Run r a -> Run t (Tuple b a)

#runWriter Source

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

#runWriterAt Source

runWriterAt :: forall proxy w a r t s. IsSymbol s => Monoid w => Cons s (Writer w) t r => proxy s -> Run r a -> Run t (Tuple w a)