CurryInfo: transformers-3.0.0 / Control.Monad.Trans.Writer.runWriter

definition:
runWriter :: Writer w a -> (a, w)
runWriter = runIdentity . runWriterT
demand:
no demanded arguments
deterministic:
deterministic operation
documentation:
-- | Runs a writer compuation.
failfree:
()
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{() |-> {.._#lambda508}}
name:
runWriter
precedence:
no precedence defined
result-values:
{.._#lambda508}
signature:
WriterT a Data.Functor.Identity.Identity b -> (b, a)
solution-complete:
operation might suspend on free variables
terminating:
yes
totally-defined:
reducible on all ground data terms