Safe Haskell | Safe-Inferred |
---|---|

Language | Haskell2010 |

The writer monad applied to `LaTeX`

values. Useful to compose `LaTeX`

values
using the `do`

notation:

anExample :: Monad m => LaTeXT m () anExample = do documentclass [] article author "Daniel Monad" title "LaTeX and do notation" document $ do maketitle section "Some words" "Using " ; texttt "do" ; " notation " "you avoid many ocurrences of the " texttt "(<>)" ; " operator and a lot of " "parentheses. With the cost of a monad."

Since `LaTeXT`

is a monad transformer, you can do also:

anotherExample :: LaTeXT IO () anotherExample = lift (readFileTex "foo") >>= verbatim

This way, it is easy (without carrying arguments) to include IO outputs in the LaTeX document, like files, times or random objects.

Another approach could be to have custom counters, label management or any other user-defined feature.

Of course, you can always use the simpler interface provided by the plain `LaTeX`

type.

- data LaTeXT m a
- runLaTeXT :: Monad m => LaTeXT m a -> m (a, LaTeX)
- execLaTeXT :: Monad m => LaTeXT m a -> m LaTeX
- type LaTeXT_ m = LaTeXT m ()
- type LaTeXM = LaTeXT Identity
- runLaTeXM :: LaTeXM a -> (a, LaTeX)
- execLaTeXM :: LaTeXM a -> LaTeX
- execLaTeXTWarn :: Monad m => LaTeXT m a -> m (LaTeX, [Warning])
- extractLaTeX :: Monad m => LaTeXT m a -> LaTeXT m (a, LaTeX)
- extractLaTeX_ :: Monad m => LaTeXT m a -> LaTeXT m LaTeX
- textell :: Monad m => LaTeX -> LaTeXT m ()
- rendertexM :: (Render a, Monad m) => a -> LaTeXT m ()
- liftFun :: Monad m => (LaTeX -> LaTeX) -> LaTeXT m a -> LaTeXT m a
- liftOp :: Monad m => (LaTeX -> LaTeX -> LaTeX) -> LaTeXT m a -> LaTeXT m b -> LaTeXT m b
- lift :: MonadTrans t => forall m a. Monad m => m a -> t m a
- liftIO :: MonadIO m => forall a. IO a -> m a

`LaTeXT`

writer

MonadTrans LaTeXT | |

Monad m => Monad (LaTeXT m) | |

Functor f => Functor (LaTeXT f) | |

Applicative f => Applicative (LaTeXT f) | |

MonadIO m => MonadIO (LaTeXT m) | |

Eq (LaTeXT m a) | Warning: this instance only exists for the |

(Monad m, (~) * a ()) => Floating (LaTeXT m a) | Undefined methods: |

(Monad m, (~) * a ()) => Fractional (LaTeXT m a) | Division uses the LaTeX |

(Monad m, (~) * a ()) => Num (LaTeXT m a) | Careful! Method |

Show (LaTeXT m a) | Warning: this instance only exists for the |

(Monad m, (~) * a ()) => IsString (LaTeXT m a) | |

(Monad m, (~) * a ()) => Monoid (LaTeXT m a) | |

(Monad m, (~) * a ()) => LaTeXC (LaTeXT m a) |

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

## Synonyms

runLaTeXM :: LaTeXM a -> (a, LaTeX) Source

A particular case of `runLaTeXT`

.

runLaTeXM = runIdentity . runLaTeXT

execLaTeXM :: LaTeXM a -> LaTeX Source

A particular case of `execLaTeXT`

.

execLaTeXM = runIdentity . execLaTeXT

# Utils

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

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) Source

This function run a `LaTeXT`

computation,
lifting the result again in the monad.

rendertexM :: (Render a, Monad m) => a -> LaTeXT m () Source

# Re-exports

lift :: MonadTrans t => forall m a. Monad m => m a -> t m a

Lift a computation from the argument monad to the constructed monad.