Text.LaTeX.Monad

LaTeX Monad

type LaTeXT m a = WriterT Result m a

LaTeXT is the monadic transformer that represents LaTeX code. Bind operator plays as concatenator.

Instances of LaTeXT:

• IsString
• Num
• Fractional
• Floating
• Monoid

type LaTeX m = LaTeXT m ()

Basic functions over LaTeX Monad

lx :: Monad m => Result -> LaTeX m

Write a result.

lxany :: (Monad m, Show a) => a -> LaTeX m

Write anything of Show class.

lxw :: Monad m => Result -> LaTeXT m a

Like lx, but returns an undefined value.

lxanyw :: (Monad m, Show b) => b -> LaTeXT m a

Like lxany, but returns an undefined value.

nlx :: Monad m => LaTeXT m a -> m Result

Run a LaTeXT computation.

mlx :: Monad m => m a -> LaTeXT m a

Performs a monadic computation, returning his value in the LaTeXT monad.

reslx :: Monad m => (Result -> Result) -> LaTeXT m a -> LaTeXT m a

Transform a Result modifier in a LaTeXT modifier.

Generalizing

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

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