IdrisDoc
: Control.Monad.Writer
Index
Control.Monad.Writer
WR
:
(
runWriterT
:
m
(
a
,
w
)
) ->
WriterT
w
m
a