module Text.LaTeX.Base.Writer
(
LaTeXT
, LaTeXT_
, runLaTeXT
, execLaTeXT
, extractLaTeX
, extractLaTeX_
, textell
) where
import Control.Monad.Writer
import Control.Applicative
import Data.String
import Text.LaTeX.Base.Syntax
import Text.LaTeX.Base.Render
newtype LaTeXT m a =
LaTeXT { unwrapLaTeXT :: WriterT LaTeX m a }
deriving (Functor,Applicative,Monad,MonadIO)
type LaTeXT_ m = LaTeXT m ()
runLaTeXT :: LaTeXT m a -> m (a,LaTeX)
runLaTeXT = runWriterT . unwrapLaTeXT
execLaTeXT :: Functor m => LaTeXT m a -> m LaTeX
execLaTeXT = fmap snd . runLaTeXT
extractLaTeX :: Monad m => LaTeXT m a -> LaTeXT m (a,LaTeX)
extractLaTeX = LaTeXT . lift . runLaTeXT
extractLaTeX_ :: Monad m => LaTeXT m a -> LaTeXT m LaTeX
extractLaTeX_ = (>>= return . snd) . LaTeXT . lift . runLaTeXT
textell :: Monad m => LaTeX -> LaTeXT m ()
textell = LaTeXT . tell
instance Monad m => IsString (LaTeXT m a) where
fromString = (>> return undefined) . textell . fromString