Control/Monad/X/Writer.hs

   1 module Control.Monad.X.Writer (Writer, runWriter, module T)where
   2
   3 import Control.Monad.X.Identity
   4 import qualified Control.Monad.X.WriterT as W
   5 import Control.Monad.X.Trans as T
   6
   7 type Writer w = W.WriterT w Identity
   8
   9 runWriter     :: Writer w a -> (a,w)
  10 runWriter m   = runIdentity (W.runWriter m)
  11
  12