-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | LaTeX code writer.
--   
--   HaTeX consists in a set of combinators which allow you to build LaTeX
--   code, following the LaTeX syntax in a type-safe manner.
--   
--   This allows you to build programs which generates LaTeX code
--   automatically for any purpose you can figure out.
@package HaTeX
@version 3.0.0


-- | Parser is not yet implemented.
module Text.LaTeX.Base.Parser


-- | LaTeX syntax description in the definition of the <a>LaTeX</a>
--   datatype. If you want to add new commands or environments not defined
--   in the library, import this module and use <a>LaTeX</a> data
--   constructors.
module Text.LaTeX.Base.Syntax

-- | A <a>LaTeX</a> object represents some expression written in LaTeX.
data LaTeX

-- | Raw text.
TeXRaw :: Text -> LaTeX

-- | Constructor for commands. First argument is the name of the command.
--   Second, its arguments.
TeXComm :: String -> [TeXArg] -> LaTeX
TeXCommS :: String -> LaTeX

-- | Constructor for environments. First argument is the name of the
--   environment. Second, its arguments. Third, its content.
TeXEnv :: String -> [TeXArg] -> LaTeX -> LaTeX

-- | Mathematical expressions.
TeXMath :: LaTeX -> LaTeX

-- | Newline character.
TeXNewLine :: Bool -> LaTeX

-- | Operators.
TeXOp :: String -> LaTeX -> LaTeX -> LaTeX
TeXBraces :: LaTeX -> LaTeX

-- | Sequencing of <a>LaTeX</a> expressions. Use <a>&lt;&gt;</a>
--   preferably.
TeXSeq :: LaTeX -> LaTeX -> LaTeX

-- | An empty expression. Neutral element of <a>&lt;&gt;</a>.
TeXEmpty :: LaTeX

-- | Alias for <a>TeXBraces</a>.
braces :: LaTeX -> LaTeX

-- | An argument for a <a>LaTeX</a> command or environment.
data TeXArg

-- | Optional argument.
OptArg :: LaTeX -> TeXArg

-- | Fixed argument.
FixArg :: LaTeX -> TeXArg

-- | Multiple optional argument.
MOptArg :: [LaTeX] -> TeXArg

-- | An argument enclosed between <tt>&lt;</tt> and <tt>&gt;</tt>.
SymArg :: LaTeX -> TeXArg

-- | Version of <a>SymArg</a> with multiple options.
MSymArg :: [LaTeX] -> TeXArg

-- | Alias for <a>mappend</a>.
(<>) :: Monoid a => a -> a -> a
instance Show TeXArg
instance Show LaTeX
instance IsString LaTeX
instance Monoid LaTeX

module Text.LaTeX.Packages.Inputenc

-- | Inputenc package. Example:
--   
--   <pre>
--   usepackage [utf8] inputenc
--   </pre>
inputenc :: String

-- | UTF-8 encoding.
utf8 :: LaTeX

-- | Latin-1 encoding.
latin1 :: LaTeX

module Text.LaTeX.Packages.AMSFonts

-- | AMSFonts package. Example:
--   
--   <pre>
--   usepackage [] amsfonts
--   </pre>
amsfonts :: String

-- | This font is useful for representing sets like R (real numbers) or Z
--   (integers). For instance:
--   
--   <pre>
--   "The set of real numbers are represented by " &lt;&gt; mathbb "R" &lt;&gt; "."
--   </pre>
--   
--   <i>Note the use of overloaded strings.</i>
mathbb :: LaTeX -> LaTeX

module Text.LaTeX.Base.Render

-- | A space efficient, packed, unboxed Unicode text type.
data Text :: *

-- | Class of values that can be transformed to <a>Text</a>. You mainly
--   will use this to obtain the <a>Text</a> output of a <a>LaTeX</a>
--   value.
class Show a => Render a
render :: Render a => a -> Text

-- | Render every element of a list and append results.
renderAppend :: Render a => [a] -> Text

-- | Render every element of a list and append results, separated by
--   commas.
renderCommas :: Render a => [a] -> Text

-- | Use this function to render a <a>LaTeX</a> (or another one in the
--   <a>Render</a> class) value directly in a file.
renderFile :: Render a => FilePath -> a -> IO ()

-- | If you can transform a value to <a>Text</a>, you can insert that
--   <a>Text</a> in your <a>LaTeX</a> code. That is what this function
--   does.
--   
--   <i>Warning: </i><a>rendertex</a><i> does not escape LaTeX reserver
--   characters.</i>
rendertex :: Render a => a -> LaTeX

-- | If you are going to insert the content of a file in your <a>LaTeX</a>
--   data, use this function to ensure your encoding is correct.
readFileTex :: FilePath -> IO Text
instance Render Float
instance Render Int
instance Render TeXArg
instance Render LaTeX

module Text.LaTeX.Base.Types
data Label
createLabel :: String -> Label
data Pos
Bottom :: Pos
Center :: Pos
Top :: Pos
data TableSpec

-- | Left-justified column.
LeftColumn :: TableSpec

-- | Centered column.
CenterColumn :: TableSpec

-- | Right-justified column.
RightColumn :: TableSpec

-- | Paragraph column with text vertically aligned at the top.
ParColumnTop :: LaTeX -> TableSpec

-- | Paragraph column with text vertically aligned at the middle. Requires
--   <tt>array</tt> package.
ParColumnMid :: LaTeX -> TableSpec

-- | Paragraph column with text vertically aligned at the bottom. Requires
--   <tt>array</tt> package.
ParColumnBot :: LaTeX -> TableSpec

-- | Vertical line between two columns.
VerticalLine :: TableSpec

-- | Double vertical line between two columns.
DVerticalLine :: TableSpec
data Measure

-- | A point is 1/72.27 inch, that means about 0.0138 inch or 0.3515 mm.
Pt :: Int -> Measure

-- | Millimeter.
Mm :: Float -> Measure

-- | Centimeter.
Cm :: Float -> Measure

-- | Inch.
In :: Float -> Measure

-- | The height of an "x" in the current font.
Ex :: Float -> Measure

-- | The width of an "M" in the current font.
Em :: Float -> Measure

-- | You can introduce a <a>LaTeX</a> expression as a measure.
CustomMeasure :: LaTeX -> Measure
instance Show Label
instance Show Pos
instance Show TableSpec
instance Show Measure
instance Render Measure
instance Render TableSpec
instance Render Pos
instance Render Label


-- | LaTeX standard commands and environments.
module Text.LaTeX.Base.Commands

-- | Insert a raw piece of <a>Text</a>. This functions doesn't care about
--   <tt>LaTeX</tt> reserved characters, it insert the text just as it is
--   received.
raw :: Text -> LaTeX

-- | Set the title of your document.
title :: LaTeX -> LaTeX

-- | Set the author(s) of the document.
author :: LaTeX -> LaTeX

-- | Set a date for your document.
date :: LaTeX -> LaTeX

-- | Set either an institute or an organization for the document.
institute :: Maybe LaTeX -> LaTeX -> LaTeX
thanks :: LaTeX -> LaTeX
documentclass :: [LaTeX] -> LaTeX -> LaTeX

-- | Import a package. First argument is a list of options for the package
--   named in the second argument.
usepackage :: [LaTeX] -> String -> LaTeX
linespread :: Float -> LaTeX
article :: LaTeX
proc :: LaTeX
report :: LaTeX
minimal :: LaTeX
book :: LaTeX
slides :: LaTeX
draft :: LaTeX
titlepage :: LaTeX
notitlepage :: LaTeX
onecolumn :: LaTeX
twocolumn :: LaTeX
oneside :: LaTeX
twoside :: LaTeX

-- | Changes the layout of the document to print in landscape mode
landscape :: LaTeX

-- | Makes chapters begin either only on right hand pages
openright :: LaTeX

-- | Makes chapters begin on the next page available.
openany :: LaTeX

-- | Typesets displayed formulae left-aligned instead of centred.
fleqn :: LaTeX

-- | Places the numbering of formulae on the left hand side instead of the
--   right.
leqno :: LaTeX
a0paper :: LaTeX
a1paper :: LaTeX
a2paper :: LaTeX
a3paper :: LaTeX
a4paper :: LaTeX
a5paper :: LaTeX
a6paper :: LaTeX
b0paper :: LaTeX
b1paper :: LaTeX
b2paper :: LaTeX
b3paper :: LaTeX
b4paper :: LaTeX
b5paper :: LaTeX
b6paper :: LaTeX
letterpaper :: LaTeX
executivepaper :: LaTeX
legalpaper :: LaTeX
pagestyle :: LaTeX -> LaTeX
thispagestyle :: LaTeX -> LaTeX
plain :: LaTeX
headings :: LaTeX
empty :: LaTeX
myheadings :: LaTeX

-- | Used in conjunction with <a>myheadings</a> for setting both the left
--   and the right heading.
markboth :: LaTeX -> LaTeX -> LaTeX

-- | Used in conjunction with <a>myheadings</a> for setting the right
--   heading.
markright :: LaTeX -> LaTeX
document :: LaTeX -> LaTeX

-- | Generate the title. It normally contains the <a>title</a> name of your
--   document, the <a>author</a>(s) and <a>date</a>.
maketitle :: LaTeX

-- | Create the table of contents, automatically generated from your
--   <a>section</a>s, <a>subsection</a>s, and other related stuff.
tableofcontents :: LaTeX
abstract :: LaTeX -> LaTeX
appendix :: LaTeX
part :: LaTeX -> LaTeX
chapter :: LaTeX -> LaTeX

-- | Start a new section with a given title.
section :: LaTeX -> LaTeX
subsection :: LaTeX -> LaTeX
subsubsection :: LaTeX -> LaTeX
paragraph :: LaTeX -> LaTeX
subparagraph :: LaTeX -> LaTeX
today :: LaTeX
tex :: LaTeX

-- | The <tt>LaTeX</tt> logo.
latex :: LaTeX
laTeX2 :: LaTeX
laTeXe :: LaTeX

-- | Horizontal dots.
ldots :: LaTeX

-- | Vertical dots.
vdots :: LaTeX

-- | Diagonal dots.
ddots :: LaTeX

-- | Print the HaTeX logo.
hatex :: LaTeX

-- | Print the HaTeX 3 logo.
hatex3 :: LaTeX

-- | Print the HaTeX-meta logo.
hatex_meta :: LaTeX

-- | Print the HaTeX logo, beside the complete version number.
hatex_version :: LaTeX

-- | Start a new line.
newline :: LaTeX

-- | Start a new line. In a <a>tabular</a>, it starts a new row, so use
--   <a>newline</a> instead.
lnbk :: LaTeX
lnbk_ :: LaTeX
newpage :: LaTeX
cleardoublepage :: LaTeX
clearpage :: LaTeX
linebreak :: LaTeX -> LaTeX
nolinebreak :: LaTeX -> LaTeX
pagebreak :: LaTeX -> LaTeX
nopagebreak :: LaTeX -> LaTeX
hspace :: Measure -> LaTeX
hspace_ :: Measure -> LaTeX
vspace :: Measure -> LaTeX
stretch :: Int -> LaTeX
smallskip :: LaTeX
bigskip :: LaTeX
indent :: LaTeX
noindent :: LaTeX
verbatim :: LaTeX -> LaTeX
textbf :: LaTeX -> LaTeX
textit :: LaTeX -> LaTeX
texttt :: LaTeX -> LaTeX
textrm :: LaTeX -> LaTeX
textsf :: LaTeX -> LaTeX
textmd :: LaTeX -> LaTeX
textup :: LaTeX -> LaTeX
textsl :: LaTeX -> LaTeX
textsc :: LaTeX -> LaTeX
textnormal :: LaTeX -> LaTeX
underline :: LaTeX -> LaTeX
emph :: LaTeX -> LaTeX
tiny :: LaTeX -> LaTeX
scriptsize :: LaTeX -> LaTeX
footnotesize :: LaTeX -> LaTeX
small :: LaTeX -> LaTeX
normalsize :: LaTeX -> LaTeX
large :: LaTeX -> LaTeX
large2 :: LaTeX -> LaTeX
large3 :: LaTeX -> LaTeX
huge :: LaTeX -> LaTeX
huge2 :: LaTeX -> LaTeX
equation :: LaTeX -> LaTeX
equation_ :: LaTeX -> LaTeX
enumerate :: LaTeX -> LaTeX
itemize :: LaTeX -> LaTeX
item :: Maybe LaTeX -> LaTeX
flushleft :: LaTeX -> LaTeX
flushright :: LaTeX -> LaTeX
center :: LaTeX -> LaTeX
quote :: LaTeX -> LaTeX
verse :: LaTeX -> LaTeX
cite :: LaTeX -> LaTeX
description :: LaTeX -> LaTeX
pagenumbering :: LaTeX -> LaTeX

-- | Arabic numerals.
arabic :: LaTeX

-- | Lowercase roman numerals.
roman :: LaTeX

-- | Uppercase roman numerals.
roman_ :: LaTeX

-- | Lowercase letters.
alph :: LaTeX

-- | Uppercase letters.
alph_ :: LaTeX
label :: Label -> LaTeX
ref :: Label -> LaTeX
pageref :: Label -> LaTeX
mbox :: LaTeX -> LaTeX
fbox :: LaTeX -> LaTeX
parbox :: Maybe Pos -> Measure -> LaTeX -> LaTeX
framebox :: Maybe Measure -> Maybe Pos -> LaTeX -> LaTeX
makebox :: Maybe Measure -> Maybe Pos -> LaTeX -> LaTeX
raisebox :: Measure -> Maybe Measure -> Maybe Measure -> LaTeX -> LaTeX

-- | Produce a simple black box.
rule :: Maybe Measure -> Measure -> Measure -> LaTeX

-- | The <a>tabular</a> environment can be used to typeset tables with
--   optional horizontal and vertical lines.
tabular :: Maybe Pos -> [TableSpec] -> LaTeX -> LaTeX

-- | Column separator.
(&) :: LaTeX -> LaTeX -> LaTeX

-- | Horizontal line.
hline :: LaTeX

-- | <tt>cline i j</tt> writes a partial horizontal line beginning in
--   column i and ending in column j.
cline :: Int -> Int -> LaTeX
footnote :: LaTeX -> LaTeX
protect :: LaTeX -> LaTeX
hyphenation :: LaTeX -> LaTeX
hyp :: LaTeX

-- | Quotation marks.
qts :: LaTeX -> LaTeX

module Text.LaTeX.Packages.AMSMath

-- | AMSMath package. Example:
--   
--   <pre>
--   usepackage [] amsmath
--   </pre>
amsmath :: String

-- | Inline mathematical expressions.
math :: LaTeX -> LaTeX

-- | Superscript.
(^:) :: LaTeX -> LaTeX -> LaTeX

-- | Subscript.
(!:) :: LaTeX -> LaTeX -> LaTeX

-- | Sine function symbol.
tsin :: LaTeX

-- | Arcsine function symbol.
arcsin :: LaTeX

-- | Cosine function symbol.
tcos :: LaTeX

-- | Arccosine function symbol.
arccos :: LaTeX

-- | Tangent function symbol.
ttan :: LaTeX
arctan :: LaTeX

-- | Exponential function symbol.
texp :: LaTeX

-- | Logarithm function symbol.
tlog :: LaTeX

-- | Natural logarithm symbol.
ln :: LaTeX

-- | A right-arrow.
to :: LaTeX
mathbf :: LaTeX -> LaTeX
mathrm :: LaTeX -> LaTeX
mathcal :: LaTeX -> LaTeX
mathsf :: LaTeX -> LaTeX
mathtt :: LaTeX -> LaTeX
mathit :: LaTeX -> LaTeX

module Text.LaTeX.Base.Writer

-- | Newtype wrapper over the <a>WriterT</a> monad transformer, with
--   <a>LaTeX</a> as writer state.
data LaTeXT m a
type LaTeXT_ m = LaTeXT m ()
runLaTeXT :: LaTeXT m a -> m (a, LaTeX)

-- | This is the usual way to run the <a>LaTeXT</a> monad and obtain a
--   <a>LaTeX</a> value.
execLaTeXT :: Functor m => LaTeXT m a -> m LaTeX

-- | This function run a <a>LaTeXT</a> computation, lifting the result
--   again in the monad.
extractLaTeX :: Monad m => LaTeXT m a -> LaTeXT m (a, LaTeX)
extractLaTeX_ :: Monad m => LaTeXT m a -> LaTeXT m LaTeX

-- | With <a>textell</a> you can append <a>LaTeX</a> values to the state of
--   the <a>LaTeXT</a> monad.
textell :: Monad m => LaTeX -> LaTeXT m ()
instance Functor m => Functor (LaTeXT m)
instance Applicative m => Applicative (LaTeXT m)
instance Monad m => Monad (LaTeXT m)
instance MonadIO m => MonadIO (LaTeXT m)
instance Monad m => IsString (LaTeXT m a)


-- | LaTeX standard commands and environments.
--   
--   <i>For contributors: This module was automatically generated by
--   HaTeX-meta.</i> <i>So, please, don't make any change here directly,
--   because</i> <i>this is intended to be generated from</i>
--   <a>Text.LaTeX.Base.Commands</a> <i>module via HaTeX-meta,</i> <i>and
--   therefore, changes must to be done in these places.</i>
module Text.LaTeX.Base.Commands.Monad

-- | Insert a raw piece of <a>Text</a>. This functions doesn't care about
--   <tt>LaTeX</tt> reserved characters, it insert the text just as it is
--   received.
raw :: Monad m => Text -> LaTeXT_ m

-- | Set the title of your document.
title :: Monad m => LaTeXT_ m -> LaTeXT_ m

-- | Set the author(s) of the document.
author :: Monad m => LaTeXT_ m -> LaTeXT_ m

-- | Set a date for your document.
date :: Monad m => LaTeXT_ m -> LaTeXT_ m

-- | Set either an institute or an organization for the document.
institute :: Monad m => Maybe (LaTeXT_ m) -> LaTeXT_ m -> LaTeXT_ m
thanks :: Monad m => LaTeXT_ m -> LaTeXT_ m
documentclass :: Monad m => [LaTeXT_ m] -> LaTeXT_ m -> LaTeXT_ m

-- | Import a package. First argument is a list of options for the package
--   named in the second argument.
usepackage :: Monad m => [LaTeXT_ m] -> String -> LaTeXT_ m
linespread :: Monad m => Float -> LaTeXT_ m
article :: Monad m => LaTeXT_ m
proc :: Monad m => LaTeXT_ m
report :: Monad m => LaTeXT_ m
minimal :: Monad m => LaTeXT_ m
book :: Monad m => LaTeXT_ m
slides :: Monad m => LaTeXT_ m
draft :: Monad m => LaTeXT_ m
titlepage :: Monad m => LaTeXT_ m
notitlepage :: Monad m => LaTeXT_ m
onecolumn :: Monad m => LaTeXT_ m
twocolumn :: Monad m => LaTeXT_ m
oneside :: Monad m => LaTeXT_ m
twoside :: Monad m => LaTeXT_ m

-- | Changes the layout of the document to print in landscape mode
landscape :: Monad m => LaTeXT_ m

-- | Makes chapters begin either only on right hand pages
openright :: Monad m => LaTeXT_ m

-- | Makes chapters begin on the next page available.
openany :: Monad m => LaTeXT_ m

-- | Typesets displayed formulae left-aligned instead of centred.
fleqn :: Monad m => LaTeXT_ m

-- | Places the numbering of formulae on the left hand side instead of the
--   right.
leqno :: Monad m => LaTeXT_ m
a0paper :: Monad m => LaTeXT_ m
a1paper :: Monad m => LaTeXT_ m
a2paper :: Monad m => LaTeXT_ m
a3paper :: Monad m => LaTeXT_ m
a4paper :: Monad m => LaTeXT_ m
a5paper :: Monad m => LaTeXT_ m
a6paper :: Monad m => LaTeXT_ m
b0paper :: Monad m => LaTeXT_ m
b1paper :: Monad m => LaTeXT_ m
b2paper :: Monad m => LaTeXT_ m
b3paper :: Monad m => LaTeXT_ m
b4paper :: Monad m => LaTeXT_ m
b5paper :: Monad m => LaTeXT_ m
b6paper :: Monad m => LaTeXT_ m
letterpaper :: Monad m => LaTeXT_ m
executivepaper :: Monad m => LaTeXT_ m
legalpaper :: Monad m => LaTeXT_ m
pagestyle :: Monad m => LaTeXT_ m -> LaTeXT_ m
thispagestyle :: Monad m => LaTeXT_ m -> LaTeXT_ m
plain :: Monad m => LaTeXT_ m
headings :: Monad m => LaTeXT_ m
empty :: Monad m => LaTeXT_ m
myheadings :: Monad m => LaTeXT_ m

-- | Used in conjunction with <a>myheadings</a> for setting both the left
--   and the right heading.
markboth :: Monad m => LaTeXT_ m -> LaTeXT_ m -> LaTeXT_ m

-- | Used in conjunction with <a>myheadings</a> for setting the right
--   heading.
markright :: Monad m => LaTeXT_ m -> LaTeXT_ m
document :: Monad m => LaTeXT_ m -> LaTeXT_ m

-- | Generate the title. It normally contains the <a>title</a> name of your
--   document, the <a>author</a>(s) and <a>date</a>.
maketitle :: Monad m => LaTeXT_ m

-- | Create the table of contents, automatically generated from your
--   <a>section</a>s, <a>subsection</a>s, and other related stuff.
tableofcontents :: Monad m => LaTeXT_ m
abstract :: Monad m => LaTeXT_ m -> LaTeXT_ m
appendix :: Monad m => LaTeXT_ m
part :: Monad m => LaTeXT_ m -> LaTeXT_ m
chapter :: Monad m => LaTeXT_ m -> LaTeXT_ m

-- | Start a new section with a given title.
section :: Monad m => LaTeXT_ m -> LaTeXT_ m
subsection :: Monad m => LaTeXT_ m -> LaTeXT_ m
subsubsection :: Monad m => LaTeXT_ m -> LaTeXT_ m
paragraph :: Monad m => LaTeXT_ m -> LaTeXT_ m
subparagraph :: Monad m => LaTeXT_ m -> LaTeXT_ m
today :: Monad m => LaTeXT_ m
tex :: Monad m => LaTeXT_ m

-- | The <tt>LaTeX</tt> logo.
latex :: Monad m => LaTeXT_ m
laTeX2 :: Monad m => LaTeXT_ m
laTeXe :: Monad m => LaTeXT_ m

-- | Horizontal dots.
ldots :: Monad m => LaTeXT_ m

-- | Vertical dots.
vdots :: Monad m => LaTeXT_ m

-- | Diagonal dots.
ddots :: Monad m => LaTeXT_ m

-- | Print the HaTeX logo.
hatex :: Monad m => LaTeXT_ m

-- | Print the HaTeX 3 logo.
hatex3 :: Monad m => LaTeXT_ m

-- | Print the HaTeX-meta logo.
hatex_meta :: Monad m => LaTeXT_ m

-- | Print the HaTeX logo, beside the complete version number.
hatex_version :: Monad m => LaTeXT_ m

-- | Start a new line.
newline :: Monad m => LaTeXT_ m

-- | Start a new line. In a <a>tabular</a>, it starts a new row, so use
--   <a>newline</a> instead.
lnbk :: Monad m => LaTeXT_ m
lnbk_ :: Monad m => LaTeXT_ m
newpage :: Monad m => LaTeXT_ m
cleardoublepage :: Monad m => LaTeXT_ m
clearpage :: Monad m => LaTeXT_ m
linebreak :: Monad m => LaTeXT_ m -> LaTeXT_ m
nolinebreak :: Monad m => LaTeXT_ m -> LaTeXT_ m
pagebreak :: Monad m => LaTeXT_ m -> LaTeXT_ m
nopagebreak :: Monad m => LaTeXT_ m -> LaTeXT_ m
hspace :: Monad m => Measure -> LaTeXT_ m
hspace_ :: Monad m => Measure -> LaTeXT_ m
vspace :: Monad m => Measure -> LaTeXT_ m
stretch :: Monad m => Int -> LaTeXT_ m
smallskip :: Monad m => LaTeXT_ m
bigskip :: Monad m => LaTeXT_ m
indent :: Monad m => LaTeXT_ m
noindent :: Monad m => LaTeXT_ m
verbatim :: Monad m => LaTeXT_ m -> LaTeXT_ m
textbf :: Monad m => LaTeXT_ m -> LaTeXT_ m
textit :: Monad m => LaTeXT_ m -> LaTeXT_ m
texttt :: Monad m => LaTeXT_ m -> LaTeXT_ m
textrm :: Monad m => LaTeXT_ m -> LaTeXT_ m
textsf :: Monad m => LaTeXT_ m -> LaTeXT_ m
textmd :: Monad m => LaTeXT_ m -> LaTeXT_ m
textup :: Monad m => LaTeXT_ m -> LaTeXT_ m
textsl :: Monad m => LaTeXT_ m -> LaTeXT_ m
textsc :: Monad m => LaTeXT_ m -> LaTeXT_ m
textnormal :: Monad m => LaTeXT_ m -> LaTeXT_ m
underline :: Monad m => LaTeXT_ m -> LaTeXT_ m
emph :: Monad m => LaTeXT_ m -> LaTeXT_ m
tiny :: Monad m => LaTeXT_ m -> LaTeXT_ m
scriptsize :: Monad m => LaTeXT_ m -> LaTeXT_ m
footnotesize :: Monad m => LaTeXT_ m -> LaTeXT_ m
small :: Monad m => LaTeXT_ m -> LaTeXT_ m
normalsize :: Monad m => LaTeXT_ m -> LaTeXT_ m
large :: Monad m => LaTeXT_ m -> LaTeXT_ m
large2 :: Monad m => LaTeXT_ m -> LaTeXT_ m
large3 :: Monad m => LaTeXT_ m -> LaTeXT_ m
huge :: Monad m => LaTeXT_ m -> LaTeXT_ m
huge2 :: Monad m => LaTeXT_ m -> LaTeXT_ m
equation :: Monad m => LaTeXT_ m -> LaTeXT_ m
equation_ :: Monad m => LaTeXT_ m -> LaTeXT_ m
enumerate :: Monad m => LaTeXT_ m -> LaTeXT_ m
itemize :: Monad m => LaTeXT_ m -> LaTeXT_ m
item :: Monad m => Maybe (LaTeXT_ m) -> LaTeXT_ m
flushleft :: Monad m => LaTeXT_ m -> LaTeXT_ m
flushright :: Monad m => LaTeXT_ m -> LaTeXT_ m
center :: Monad m => LaTeXT_ m -> LaTeXT_ m
quote :: Monad m => LaTeXT_ m -> LaTeXT_ m
verse :: Monad m => LaTeXT_ m -> LaTeXT_ m
cite :: Monad m => LaTeXT_ m -> LaTeXT_ m
description :: Monad m => LaTeXT_ m -> LaTeXT_ m
pagenumbering :: Monad m => LaTeXT_ m -> LaTeXT_ m

-- | Arabic numerals.
arabic :: Monad m => LaTeXT_ m

-- | Lowercase roman numerals.
roman :: Monad m => LaTeXT_ m

-- | Uppercase roman numerals.
roman_ :: Monad m => LaTeXT_ m

-- | Lowercase letters.
alph :: Monad m => LaTeXT_ m

-- | Uppercase letters.
alph_ :: Monad m => LaTeXT_ m
label :: Monad m => Label -> LaTeXT_ m
ref :: Monad m => Label -> LaTeXT_ m
pageref :: Monad m => Label -> LaTeXT_ m
mbox :: Monad m => LaTeXT_ m -> LaTeXT_ m
fbox :: Monad m => LaTeXT_ m -> LaTeXT_ m
parbox :: Monad m => Maybe Pos -> Measure -> LaTeXT_ m -> LaTeXT_ m
framebox :: Monad m => Maybe Measure -> Maybe Pos -> LaTeXT_ m -> LaTeXT_ m
makebox :: Monad m => Maybe Measure -> Maybe Pos -> LaTeXT_ m -> LaTeXT_ m
raisebox :: Monad m => Measure -> Maybe Measure -> Maybe Measure -> LaTeXT_ m -> LaTeXT_ m

-- | Produce a simple black box.
rule :: Monad m => Maybe Measure -> Measure -> Measure -> LaTeXT_ m

-- | The <a>tabular</a> environment can be used to typeset tables with
--   optional horizontal and vertical lines.
tabular :: Monad m => Maybe Pos -> [TableSpec] -> LaTeXT_ m -> LaTeXT_ m
(&) :: Monad m => LaTeXT_ m -> LaTeXT_ m -> LaTeXT_ m

-- | Horizontal line.
hline :: Monad m => LaTeXT_ m

-- | <tt>cline i j</tt> writes a partial horizontal line beginning in
--   column i and ending in column j.
cline :: Monad m => Int -> Int -> LaTeXT_ m
footnote :: Monad m => LaTeXT_ m -> LaTeXT_ m
protect :: Monad m => LaTeXT_ m -> LaTeXT_ m
hyphenation :: Monad m => LaTeXT_ m -> LaTeXT_ m
hyp :: Monad m => LaTeXT_ m

-- | Quotation marks.
qts :: Monad m => LaTeXT_ m -> LaTeXT_ m

module Text.LaTeX.Packages.Hyperref

-- | The <a>hyperref</a> package.
--   
--   <pre>
--   usepackage [] hyperref
--   </pre>
hyperref :: String
data HRefOption
PDFRemoteStartView :: HRefOption
PDFNewWindow :: HRefOption
HRefPage :: Int -> HRefOption
data URL
createURL :: String -> URL

-- | Reference to an <a>URL</a>.
href :: [HRefOption] -> URL -> LaTeX -> LaTeX

-- | Write an <a>URL</a> hyperlinked.
url :: URL -> LaTeX

-- | Write an <a>URL</a> without creating a hyperlink.
nolinkurl :: URL -> LaTeX

-- | Establish a base <a>URL</a>.
hyperbaseurl :: URL -> LaTeX

-- | <tt>hyperimage imgURL t</tt>: The link to the image referenced by the
--   <tt>imgURL</tt> is inserted, using <tt>t</tt> as the anchor.
hyperimage :: URL -> LaTeX -> LaTeX

-- | This is a replacement for the usual <tt>ref</tt> command that places a
--   contextual label in front of the reference.
autoref :: Label -> LaTeX
instance Show HRefOption
instance Show URL
instance Render URL
instance Render HRefOption

module Text.LaTeX.Packages.Beamer

-- | The <a>beamer</a> document class. Importing a package is not required.
--   Example:
--   
--   <pre>
--   documentclass [] beamer
--   </pre>
beamer :: LaTeX

-- | A presentation is composed of a sequence of frames. Each frame is
--   created with this function.
frame :: LaTeX -> LaTeX

-- | Set the title of the current frame. Use it within a <a>frame</a>.
frametitle :: LaTeX -> LaTeX

-- | Set the subtitle of the current frame. Use it within a <a>frame</a>.
framesubtitle :: LaTeX -> LaTeX

-- | Highlight in red a piece text. With the <a>OverlaySpec</a>s, you can
--   specify the slides where the text will be highlighted.
alert :: [OverlaySpec] -> LaTeX -> LaTeX

-- | Introduces a pause in a slide.
pause :: LaTeX

-- | A <a>block</a> will be displayed surrounding a text.
block :: LaTeX -> LaTeX -> LaTeX
data OverlaySpec
OneSlide :: Int -> OverlaySpec
FromSlide :: Int -> OverlaySpec
ToSlide :: Int -> OverlaySpec
FromToSlide :: Int -> Int -> OverlaySpec

-- | <a>beameritem</a> works like <tt>item</tt>, but allows you to specify
--   the slides where the item will be displayed.
beameritem :: [OverlaySpec] -> LaTeX

-- | With <a>uncover</a>, show a piece of text only in the slides you want.
uncover :: [OverlaySpec] -> LaTeX -> LaTeX

-- | Similar to <a>uncover</a>.
only :: [OverlaySpec] -> LaTeX -> LaTeX

-- | A <a>Theme</a> of a presentation. See <a>usetheme</a>.
data Theme
AnnArbor :: Theme
Antibes :: Theme
Bergen :: Theme
Berkeley :: Theme
Berlin :: Theme
Boadilla :: Theme
Boxes :: Theme
CambridgeUS :: Theme
Copenhagen :: Theme
Darmstadt :: Theme
Default :: Theme
Dresden :: Theme
Frankfurt :: Theme
Goettingen :: Theme
Hannover :: Theme
Ilmenau :: Theme
JuanLesPins :: Theme
Luebeck :: Theme
Madrid :: Theme
Malmoe :: Theme
Marburg :: Theme
Montpellier :: Theme
PaloAlto :: Theme
Pittsburgh :: Theme
Rochester :: Theme
Singapore :: Theme
Szeged :: Theme
Warsaw :: Theme
CustomTheme :: String -> Theme

-- | Set the <a>Theme</a> employed in your presentation (in the preamble).
usetheme :: Theme -> LaTeX
instance Show OverlaySpec
instance Show Theme
instance Render Theme
instance Render OverlaySpec

module Text.LaTeX.Packages.Color

-- | The <a>color</a> package.
--   
--   <pre>
--   usepackage [] pcolor
--   </pre>
pcolor :: String

-- | To convert all colour commands to black and white, for previewers that
--   cannot handle colour.
monochrome :: LaTeX
dvipsnames :: LaTeX
nodvipsnames :: LaTeX
usenames :: LaTeX
data Color
Red :: Color
Green :: Color
Blue :: Color
Yellow :: Color
Cyan :: Color
Magenta :: Color
Black :: Color
White :: Color
data ColorName
Apricot :: ColorName
Aquamarine :: ColorName
Bittersweet :: ColorName
BlueGreen :: ColorName
BlueViolet :: ColorName
BrickRed :: ColorName
Brown :: ColorName
BurntOrange :: ColorName
CadetBlue :: ColorName
CarnationPink :: ColorName
Cerulean :: ColorName
CornflowerBlue :: ColorName
Dandelion :: ColorName
DarkOrchid :: ColorName
Emerald :: ColorName
ForestGreen :: ColorName
Fuchsia :: ColorName
Goldenrod :: ColorName
Gray :: ColorName
GreenYellow :: ColorName
JungleGreen :: ColorName
Lavender :: ColorName
LimeGreen :: ColorName
Mahogany :: ColorName
Maroon :: ColorName
Melon :: ColorName
MidnightBlue :: ColorName
Mulberry :: ColorName
NavyBlue :: ColorName
OliveGreen :: ColorName
Orange :: ColorName
OrangeRed :: ColorName
Orchid :: ColorName
Peach :: ColorName
Periwinkle :: ColorName
PineGreen :: ColorName
Plum :: ColorName
ProcessBlue :: ColorName
Purple :: ColorName
RawSienna :: ColorName
RedOrange :: ColorName
RedViolet :: ColorName
Rhodamine :: ColorName
RoyalBlue :: ColorName
RubineRed :: ColorName
Salmon :: ColorName
SeaGreen :: ColorName
Sepia :: ColorName
SkyBlue :: ColorName
SpringGreen :: ColorName
Tan :: ColorName
TealBlue :: ColorName
Thistle :: ColorName
Turquoise :: ColorName
Violet :: ColorName
VioletRed :: ColorName
WildStrawberry :: ColorName
YellowGreen :: ColorName
YellowOrange :: ColorName
data ColorModel
RGB :: Float -> Float -> Float -> ColorModel
RGB255 :: Int -> Int -> Int -> ColorModel
GrayM :: Float -> ColorModel
HTML :: String -> ColorModel
CMYK :: Float -> Float -> Float -> Float -> ColorModel
data ColSpec
DefColor :: Color -> ColSpec
ModColor :: ColorModel -> ColSpec
DvipsColor :: ColorName -> ColSpec

-- | Set the background color fot the current and following pages.
pagecolor :: ColSpec -> LaTeX

-- | Switch to a new text color.
color :: ColSpec -> LaTeX

-- | Set the text of its argument in the given colour.
textcolor :: ColSpec -> LaTeX -> LaTeX

-- | Put its argument in a box with the given colour as background.
colorbox :: ColSpec -> LaTeX -> LaTeX

-- | Application of <tt>fcolorbox cs1 cs2 l</tt> put <tt>l</tt> in a framed
--   box with <tt>cs1</tt> as frame color and <tt>cs2</tt> as background
--   color.
fcolorbox :: ColSpec -> ColSpec -> LaTeX -> LaTeX

-- | Switch to the colour that was active at the end of the preamble. Thus,
--   placing a <a>color</a> command in the preamble can change the standard
--   colour of the whole document.
normalcolor :: LaTeX
instance Show Color
instance Show ColorModel
instance Show ColorName
instance Show ColSpec
instance Render ColSpec
instance Render ColorName
instance Render ColorModel
instance Render Color


-- | <i>For contributors: This module was automatically generated by
--   HaTeX-meta.</i> <i>So, please, don't make any change here directly,
--   because</i> <i>this is intended to be generated from</i>
--   <a>Text.LaTeX.Packages.Inputenc</a> <i>module via HaTeX-meta,</i>
--   <i>and therefore, changes must to be done in these places.</i>
module Text.LaTeX.Packages.Inputenc.Monad

-- | Inputenc package. Example:
--   
--   <pre>
--   usepackage [utf8] inputenc
--   </pre>
inputenc :: String

-- | UTF-8 encoding.
utf8 :: Monad m => LaTeXT_ m

-- | Latin-1 encoding.
latin1 :: Monad m => LaTeXT_ m


-- | <i>For contributors: This module was automatically generated by
--   HaTeX-meta.</i> <i>So, please, don't make any change here directly,
--   because</i> <i>this is intended to be generated from</i>
--   <a>Text.LaTeX.Packages.Hyperref</a> <i>module via HaTeX-meta,</i>
--   <i>and therefore, changes must to be done in these places.</i>
module Text.LaTeX.Packages.Hyperref.Monad

-- | The <a>hyperref</a> package.
--   
--   <pre>
--   usepackage [] hyperref
--   </pre>
hyperref :: String
data HRefOption
PDFRemoteStartView :: HRefOption
PDFNewWindow :: HRefOption
HRefPage :: Int -> HRefOption
data URL
createURL :: String -> URL

-- | Reference to an <a>URL</a>.
href :: Monad m => [HRefOption] -> URL -> LaTeXT_ m -> LaTeXT_ m

-- | Write an <a>URL</a> hyperlinked.
url :: Monad m => URL -> LaTeXT_ m

-- | Write an <a>URL</a> without creating a hyperlink.
nolinkurl :: Monad m => URL -> LaTeXT_ m

-- | Establish a base <a>URL</a>.
hyperbaseurl :: Monad m => URL -> LaTeXT_ m

-- | <tt>hyperimage imgURL t</tt>: The link to the image referenced by the
--   <tt>imgURL</tt> is inserted, using <tt>t</tt> as the anchor.
hyperimage :: Monad m => URL -> LaTeXT_ m -> LaTeXT_ m

-- | This is a replacement for the usual <tt>ref</tt> command that places a
--   contextual label in front of the reference.
autoref :: Monad m => Label -> LaTeXT_ m


-- | <i>For contributors: This module was automatically generated by
--   HaTeX-meta.</i> <i>So, please, don't make any change here directly,
--   because</i> <i>this is intended to be generated from</i>
--   <a>Text.LaTeX.Packages.Beamer</a> <i>module via HaTeX-meta,</i> <i>and
--   therefore, changes must to be done in these places.</i>
module Text.LaTeX.Packages.Beamer.Monad

-- | The <a>beamer</a> document class. Importing a package is not required.
--   Example:
--   
--   <pre>
--   documentclass [] beamer
--   </pre>
beamer :: Monad m => LaTeXT_ m

-- | A presentation is composed of a sequence of frames. Each frame is
--   created with this function.
frame :: Monad m => LaTeXT_ m -> LaTeXT_ m

-- | Set the title of the current frame. Use it within a <a>frame</a>.
frametitle :: Monad m => LaTeXT_ m -> LaTeXT_ m

-- | Set the subtitle of the current frame. Use it within a <a>frame</a>.
framesubtitle :: Monad m => LaTeXT_ m -> LaTeXT_ m

-- | Highlight in red a piece text. With the <a>OverlaySpec</a>s, you can
--   specify the slides where the text will be highlighted.
alert :: Monad m => [OverlaySpec] -> LaTeXT_ m -> LaTeXT_ m

-- | Introduces a pause in a slide.
pause :: Monad m => LaTeXT_ m

-- | A <a>block</a> will be displayed surrounding a text.
block :: Monad m => LaTeXT_ m -> LaTeXT_ m -> LaTeXT_ m
data OverlaySpec
OneSlide :: Int -> OverlaySpec
FromSlide :: Int -> OverlaySpec
ToSlide :: Int -> OverlaySpec
FromToSlide :: Int -> Int -> OverlaySpec

-- | <a>beameritem</a> works like <tt>item</tt>, but allows you to specify
--   the slides where the item will be displayed.
beameritem :: Monad m => [OverlaySpec] -> LaTeXT_ m

-- | With <a>uncover</a>, show a piece of text only in the slides you want.
uncover :: Monad m => [OverlaySpec] -> LaTeXT_ m -> LaTeXT_ m

-- | Similar to <a>uncover</a>.
only :: Monad m => [OverlaySpec] -> LaTeXT_ m -> LaTeXT_ m

-- | A <a>Theme</a> of a presentation. See <a>usetheme</a>.
data Theme
AnnArbor :: Theme
Antibes :: Theme
Bergen :: Theme
Berkeley :: Theme
Berlin :: Theme
Boadilla :: Theme
Boxes :: Theme
CambridgeUS :: Theme
Copenhagen :: Theme
Darmstadt :: Theme
Default :: Theme
Dresden :: Theme
Frankfurt :: Theme
Goettingen :: Theme
Hannover :: Theme
Ilmenau :: Theme
JuanLesPins :: Theme
Luebeck :: Theme
Madrid :: Theme
Malmoe :: Theme
Marburg :: Theme
Montpellier :: Theme
PaloAlto :: Theme
Pittsburgh :: Theme
Rochester :: Theme
Singapore :: Theme
Szeged :: Theme
Warsaw :: Theme
CustomTheme :: String -> Theme

-- | Set the <a>Theme</a> employed in your presentation (in the preamble).
usetheme :: Monad m => Theme -> LaTeXT_ m


-- | <i>For contributors: This module was automatically generated by
--   HaTeX-meta.</i> <i>So, please, don't make any change here directly,
--   because</i> <i>this is intended to be generated from</i>
--   <a>Text.LaTeX.Packages.AMSMath</a> <i>module via HaTeX-meta,</i>
--   <i>and therefore, changes must to be done in these places.</i>
module Text.LaTeX.Packages.AMSMath.Monad

-- | AMSMath package. Example:
--   
--   <pre>
--   usepackage [] amsmath
--   </pre>
amsmath :: String

-- | Inline mathematical expressions.
math :: Monad m => LaTeXT_ m -> LaTeXT_ m
(^:) :: Monad m => LaTeXT_ m -> LaTeXT_ m -> LaTeXT_ m
(!:) :: Monad m => LaTeXT_ m -> LaTeXT_ m -> LaTeXT_ m

-- | Sine function symbol.
tsin :: Monad m => LaTeXT_ m

-- | Arcsine function symbol.
arcsin :: Monad m => LaTeXT_ m

-- | Cosine function symbol.
tcos :: Monad m => LaTeXT_ m

-- | Arccosine function symbol.
arccos :: Monad m => LaTeXT_ m

-- | Tangent function symbol.
ttan :: Monad m => LaTeXT_ m
arctan :: Monad m => LaTeXT_ m

-- | Exponential function symbol.
texp :: Monad m => LaTeXT_ m

-- | Logarithm function symbol.
tlog :: Monad m => LaTeXT_ m

-- | Natural logarithm symbol.
ln :: Monad m => LaTeXT_ m

-- | A right-arrow.
to :: Monad m => LaTeXT_ m
mathbf :: Monad m => LaTeXT_ m -> LaTeXT_ m
mathrm :: Monad m => LaTeXT_ m -> LaTeXT_ m
mathcal :: Monad m => LaTeXT_ m -> LaTeXT_ m
mathsf :: Monad m => LaTeXT_ m -> LaTeXT_ m
mathtt :: Monad m => LaTeXT_ m -> LaTeXT_ m
mathit :: Monad m => LaTeXT_ m -> LaTeXT_ m


-- | <i>For contributors: This module was automatically generated by
--   HaTeX-meta.</i> <i>So, please, don't make any change here directly,
--   because</i> <i>this is intended to be generated from</i>
--   <a>Text.LaTeX.Packages.AMSFonts</a> <i>module via HaTeX-meta,</i>
--   <i>and therefore, changes must to be done in these places.</i>
module Text.LaTeX.Packages.AMSFonts.Monad

-- | AMSFonts package. Example:
--   
--   <pre>
--   usepackage [] amsfonts
--   </pre>
amsfonts :: String

-- | This font is useful for representing sets like R (real numbers) or Z
--   (integers). For instance:
--   
--   <pre>
--   "The set of real numbers are represented by " &lt;&gt; mathbb "R" &lt;&gt; "."
--   </pre>
--   
--   <i>Note the use of overloaded strings.</i>
mathbb :: Monad m => LaTeXT_ m -> LaTeXT_ m


-- | <i>For contributors: This module was automatically generated by
--   HaTeX-meta.</i> <i>So, please, don't make any change here directly,
--   because</i> <i>this is intended to be generated from</i>
--   <a>Text.LaTeX.Packages.Color</a> <i>module via HaTeX-meta,</i> <i>and
--   therefore, changes must to be done in these places.</i>
module Text.LaTeX.Packages.Color.Monad

-- | The <a>color</a> package.
--   
--   <pre>
--   usepackage [] pcolor
--   </pre>
pcolor :: String

-- | To convert all colour commands to black and white, for previewers that
--   cannot handle colour.
monochrome :: Monad m => LaTeXT_ m
dvipsnames :: Monad m => LaTeXT_ m
nodvipsnames :: Monad m => LaTeXT_ m
usenames :: Monad m => LaTeXT_ m
data Color
Red :: Color
Green :: Color
Blue :: Color
Yellow :: Color
Cyan :: Color
Magenta :: Color
Black :: Color
White :: Color
data ColorName
Apricot :: ColorName
Aquamarine :: ColorName
Bittersweet :: ColorName
BlueGreen :: ColorName
BlueViolet :: ColorName
BrickRed :: ColorName
Brown :: ColorName
BurntOrange :: ColorName
CadetBlue :: ColorName
CarnationPink :: ColorName
Cerulean :: ColorName
CornflowerBlue :: ColorName
Dandelion :: ColorName
DarkOrchid :: ColorName
Emerald :: ColorName
ForestGreen :: ColorName
Fuchsia :: ColorName
Goldenrod :: ColorName
Gray :: ColorName
GreenYellow :: ColorName
JungleGreen :: ColorName
Lavender :: ColorName
LimeGreen :: ColorName
Mahogany :: ColorName
Maroon :: ColorName
Melon :: ColorName
MidnightBlue :: ColorName
Mulberry :: ColorName
NavyBlue :: ColorName
OliveGreen :: ColorName
Orange :: ColorName
OrangeRed :: ColorName
Orchid :: ColorName
Peach :: ColorName
Periwinkle :: ColorName
PineGreen :: ColorName
Plum :: ColorName
ProcessBlue :: ColorName
Purple :: ColorName
RawSienna :: ColorName
RedOrange :: ColorName
RedViolet :: ColorName
Rhodamine :: ColorName
RoyalBlue :: ColorName
RubineRed :: ColorName
Salmon :: ColorName
SeaGreen :: ColorName
Sepia :: ColorName
SkyBlue :: ColorName
SpringGreen :: ColorName
Tan :: ColorName
TealBlue :: ColorName
Thistle :: ColorName
Turquoise :: ColorName
Violet :: ColorName
VioletRed :: ColorName
WildStrawberry :: ColorName
YellowGreen :: ColorName
YellowOrange :: ColorName
data ColorModel
RGB :: Float -> Float -> Float -> ColorModel
RGB255 :: Int -> Int -> Int -> ColorModel
GrayM :: Float -> ColorModel
HTML :: String -> ColorModel
CMYK :: Float -> Float -> Float -> Float -> ColorModel
data ColSpec
DefColor :: Color -> ColSpec
ModColor :: ColorModel -> ColSpec
DvipsColor :: ColorName -> ColSpec

-- | Set the background color fot the current and following pages.
pagecolor :: Monad m => ColSpec -> LaTeXT_ m

-- | Switch to a new text color.
color :: Monad m => ColSpec -> LaTeXT_ m

-- | Set the text of its argument in the given colour.
textcolor :: Monad m => ColSpec -> LaTeXT_ m -> LaTeXT_ m

-- | Put its argument in a box with the given colour as background.
colorbox :: Monad m => ColSpec -> LaTeXT_ m -> LaTeXT_ m

-- | Application of <tt>fcolorbox cs1 cs2 l</tt> put <tt>l</tt> in a framed
--   box with <tt>cs1</tt> as frame color and <tt>cs2</tt> as background
--   color.
fcolorbox :: Monad m => ColSpec -> ColSpec -> LaTeXT_ m -> LaTeXT_ m

-- | Switch to the colour that was active at the end of the preamble. Thus,
--   placing a <a>color</a> command in the preamble can change the standard
--   colour of the whole document.
normalcolor :: Monad m => LaTeXT_ m

module Text.LaTeX.Packages.Monad


-- | This module exports those minimal things you need to work with HaTeX.
--   Those things are:
--   
--   <ul>
--   <li>The <a>LaTeX</a> datatype.</li>
--   <li>The <a>&lt;&gt;</a> operator, to append <a>LaTeX</a> values.</li>
--   <li>The <a>Text.LaTeX.Base.Render</a> module, to render a <a>LaTeX</a>
--   value into <a>Text</a>.</li>
--   <li>The <a>Text.LaTeX.Base.Types</a> module, which contains several
--   types used by other modules.</li>
--   <li>The <a>Text.LaTeX.Base.Writer</a> module, needed to run the
--   <a>LaTeXT</a> monad, and obtain a result of type <a>LaTeX</a>.</li>
--   <li>The <a>Text.LaTeX.Base.Commands.Monad</a> module, which exports
--   the LaTeX standard commands and environments.</li>
--   </ul>
module Text.LaTeX.Base.Monad

-- | A <a>LaTeX</a> object represents some expression written in LaTeX.
data LaTeX

-- | Alias for <a>mappend</a>.
(<>) :: Monoid a => a -> a -> a


-- | This module is a re-export of the main modules. Importing this will
--   you give access to almost all functionality of the library. It is
--   recommended to import the <tt>Base</tt> module and, then, import only
--   packages you will need.
module Text.LaTeX.Monad

module Text.LaTeX.Packages


-- | This module exports those minimal things you need to work with HaTeX.
--   Those things are:
--   
--   <ul>
--   <li>The <a>LaTeX</a> datatype.</li>
--   <li>The <a>&lt;&gt;</a> operator, to append <a>LaTeX</a> values.</li>
--   <li>The <a>Text.LaTeX.Base.Render</a> module, to render a <a>LaTeX</a>
--   value into <a>Text</a>.</li>
--   <li>The <a>Text.LaTeX.Base.Types</a> module, which contains several
--   types used by other modules.</li>
--   <li>The <a>Text.LaTeX.Base.Commands</a> module, which exports the
--   LaTeX standard commands and environments.</li>
--   </ul>
module Text.LaTeX.Base

-- | A <a>LaTeX</a> object represents some expression written in LaTeX.
data LaTeX

-- | Alias for <a>mappend</a>.
(<>) :: Monoid a => a -> a -> a


-- | This module is a re-export of the main modules. Importing this will
--   you give access to almost all functionality of the library. It is
--   recommended to import the <tt>Base</tt> module and, then, import only
--   packages you will need.
module Text.LaTeX