Text.LaTeX.Monad

LaTeX Monad

type LaTeXM a = WriterT Result IO a

LaTeXM is the monad that represents LaTeX code. Bind operator plays as concatenator.

Instances of LaTeXM a:

• IsString
• Show (unsafe)
• Eq (unsafe)
• Num
• Fractional
• Floating
• Monoid

type LaTeX = LaTeXM ()

Basic functions over LaTeX Monad

lx :: Result -> LaTeX

Write a result.

lxany :: Show a => a -> LaTeX

Write anything of Show class.

lxw :: Result -> LaTeXM a

Like lx, but returns an undefined value.

lxanyw :: Show b => b -> LaTeXM a

Like lxany, but returns an undefined value.

nlx :: LaTeXM a -> IO Result

Run a LaTeXM computation, returning his result.

iolx :: IO a -> LaTeXM a

Performs an IO computation, returning his value in the LaTeXM monad.

reslx :: (Result -> Result) -> LaTeXM a -> LaTeXM a

Transform a Result modifier in a LaTeXM modifier.

Generalizing

genlx :: LaTeX -> LaTeXM a

ungenlx :: LaTeXM a -> LaTeX