Text.LaTeX.Base.Writer

LaTeXT writer

data LaTeXT m a

Instances

MonadTrans LaTeXT

Monad m => Monad (LaTeXT m)

Functor m => Functor (LaTeXT m)

Applicative m => Applicative (LaTeXT m)

MonadIO m => MonadIO (LaTeXT m)

Eq (LaTeXT m a)

Don't use it! This instance only exists in order to define a Num instance to LaTeXT.

Monad m => Num (LaTeXT m a)

Be careful when using fromInteger over a LaTeXT value, the returned value of the computation is bottom (i.e. undefined). Methods abs and signum are undefined. Don't use them!

Show (LaTeXT m a)

Don't use it! This instance only exists in order to define a Num instance to LaTeXT.

Monad m => IsString (LaTeXT m a)

Be careful when using fromString over a LaTeXT value, the returned value of the computation is bottom (i.e. undefined).

type LaTeXT_ m = LaTeXT m ()

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

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

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

execLaTeXTWarn :: Monad m => LaTeXT m a -> m (LaTeX, [Warning])

Version of execLaTeXT with possible warning messages. This function applies checkAll to the LaTeX output.

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.

liftFun :: Monad m => (LaTeX -> LaTeX) -> LaTeXT m a -> LaTeXT m a

Lift a function over LaTeX values to a function acting over the state of a LaTeXT computation.

liftOp :: Monad m => (LaTeX -> LaTeX -> LaTeX) -> LaTeXT m a -> LaTeXT m a -> LaTeXT m a

Lift an operator over LaTeX values to an operator acting over the state of two LaTeXT computations.

Note: The returned value is the one returned by the second argument of the lifted operator.