Run.Writer

data Writer w a

Constructors

• Writer w a

Instances

• Functor (Writer w)

type WRITER w = FProxy (Writer w)

_writer :: SProxy "writer"

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

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

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

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

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

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

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

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

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

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