writer is:exact

writer :: MonadWriter w m => (a, w) -> m a

mtl Control.Monad.Writer.CPS Control.Monad.Writer.Class Control.Monad.Writer.Lazy Control.Monad.Writer.Strict, rio RIO.Writer, rebase Rebase.Prelude, mtl-prelude MTLPrelude

writer (a,w) embeds a simple writer action.

writer :: (Monoid w, Monad m) => (a, w) -> RWST r w s m a

transformers Control.Monad.Trans.RWS.CPS, writer-cps-transformers Control.Monad.Trans.RWS.CPS Control.Monad.Trans.RWS.CPS.Internal

Construct a writer computation from a (result, output) pair.

writer :: Monad m => (a, w) -> RWST r w s m a

transformers Control.Monad.Trans.RWS.Lazy Control.Monad.Trans.RWS.Strict

Construct a writer computation from a (result, output) pair.

writer :: (Monoid w, Monad m) => (a, w) -> WriterT w m a

transformers Control.Monad.Trans.Writer.CPS, writer-cps-transformers Control.Monad.Trans.Writer.CPS Control.Monad.Trans.Writer.CPS.Internal

Construct a writer computation from a (result, output) pair. (The inverse of runWriter.)

writer :: Monad m => (a, w) -> WriterT w m a

transformers Control.Monad.Trans.Writer.Lazy Control.Monad.Trans.Writer.Strict

Construct a writer computation from a (result, output) pair. (The inverse of runWriter.)

writer :: MonadIO m => Refold m Handle Word8 ()

streamly-core Streamly.Internal.FileSystem.Handle

Like write but uses the experimental Refold API. Internal

writeR :: Render α => α -> Program τ ()

core-program Core.Program.Logging

Pretty print the supplied argument and write the resultant text to stdout. This will pass the detected terminal width to the render function, resulting in appopriate line wrapping when rendering your value.

writer :: forall (m :: Type -> Type) a w r s . Monad m => (a, w) -> RWST r w s m a

automaton Data.Automaton.Trans.RWS, dunai Control.Monad.Trans.MSF.RWS

Construct a writer computation from a (result, output) pair.

writer :: forall (m :: Type -> Type) a w . Monad m => (a, w) -> WriterT w m a

automaton Data.Automaton.Trans.Writer, dunai Control.Monad.Trans.MSF.Writer, monadology Control.Monad.Ology.Specific.WriterT

Construct a writer computation from a (result, output) pair. (The inverse of runWriter.)

writer :: forall tag w m a . HasWriter tag w m => (a, w) -> m a

capability Capability.Writer

writer @tag (a, w) lifts a pure writer action (a, w) to a monadic action in an arbitrary monad m with capability HasWriter. Appends w to the output of the writer capability tag and returns the value a.