Text.LaTeX.Base.Writer

LaTeXT writer

data LaTeXT m a

Newtype wrapper over the WriterT monad transformer, with LaTeX as writer state.

Instances

Monad m => Monad (LaTeXT m)

Functor m => Functor (LaTeXT m)

Applicative m => Applicative (LaTeXT m)

MonadIO m => MonadIO (LaTeXT m)

Monad m => IsString (LaTeXT m a)

type LaTeXT_ m = LaTeXT m ()

runLaTeXT :: LaTeXT m a -> m (a, LaTeX)

execLaTeXT :: Functor m => LaTeXT m a -> m LaTeX

This is the usual way to run the LaTeXT monad and obtain a LaTeX value.

extractLaTeX :: Monad m => LaTeXT m a -> LaTeXT m (a, LaTeX)

This function run a LaTeXT computation, lifting the result again in the monad.

extractLaTeX_ :: Monad m => LaTeXT m a -> LaTeXT m LaTeX

textell :: Monad m => LaTeX -> LaTeXT m ()

With textell you can append LaTeX values to the state of the LaTeXT monad.