add runWriter helper
commit29704102f068620dbce39278f0a744d722813746
authorAlex Gryzlov <skyrodent@gmail.com>
dateSun 20 Jan 2019, 13:55 (8 years ago)
parent106f6b2
libs/base/Control/Monad/Writer.idr+3
@@ -64,3 +64,6 @@ censor f m = pass $ do a <- m
6464||| The Writer monad itself. See the MonadWriter interface
6565Writer : Type -> Type -> Type
6666Writer w a = WriterT w Identity a
67+
68+runWriter : Writer w a -> (a, w)
69+runWriter = runIdentity . runWriterT