git.iko.soy/Idris-dev
on master help sign in
add runWriter helper
2970410Alex Gryzlov
libs/base/Control/Monad/Writer.idr+3
compare with master
unifiedsplit
@@ -64,3 +64,6 @@ censor f m = pass $ do a <- m
64||| The Writer monad itself. See the MonadWriter interface
64||| The Writer monad itself. See the MonadWriter interface
65Writer : Type -> Type -> Type
65Writer : Type -> Type -> Type
66Writer w a = WriterT w Identity a
66Writer w a = WriterT w Identity a
67+
68+runWriter : Writer w a -> (a, w)
69+runWriter = runIdentity . runWriterT