-- 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.1.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 Eq TeXArg
instance Show TeXArg
instance Eq LaTeX
instance Show LaTeX
instance IsString LaTeX
instance Monoid LaTeX

module Text.LaTeX.Base.Warnings

-- | List of possible warnings.
data Warning

-- | There is an unused label. Argument is its name.
UnusedLabel :: Text -> Warning

-- | There is a reference to an undefined label. Arguments is the name.
UndefinedLabel :: Text -> Warning

-- | No class selected with <tt>documentclass</tt>.
NoClassSelected :: Warning

-- | No <tt>document</tt> inserted.
NoDocumentInserted :: Warning

-- | Custom warning for custom checkings. Use it as you want.
CustomWarning :: Text -> Warning

-- | A <a>TeXCheck</a> is a function that checks possible warnings from a
--   <a>LaTeX</a> value. Use the <a>Monoid</a> instance to combine check
--   functions.
data TeXCheck

-- | Apply a checking.
check :: TeXCheck -> LaTeX -> [Warning]

-- | Build a <a>TeXCheck</a> from a function.
checkFromFunction :: (LaTeX -> [Warning]) -> TeXCheck

-- | Checking for unused labels or references tu undefined labels.
checkLabels :: TeXCheck

-- | Check if a document class is specified for the document (using
--   <tt>documentclass</tt>).
checkClass :: TeXCheck

-- | Check if the <tt>document</tt> environment is called in a
--   <a>LaTeX</a>.
checkDoc :: TeXCheck
checkAll :: TeXCheck
instance Eq Warning
instance Show Warning
instance Monoid TeXCheck

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
labelName :: Label -> String
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 Eq Label
instance Show Label
instance Show Pos
instance Show TableSpec
instance Show Measure
instance Render Measure
instance Render TableSpec
instance Render Pos
instance IsString Label
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

-- | Calling <a>between</a> <tt>c l1 l2</tt> puts <tt>c</tt> between
--   <tt>l1</tt> and <tt>l2</tt> and appends them.
between :: LaTeX -> LaTeX -> LaTeX -> 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
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
label :: Label -> LaTeX
ref :: Label -> LaTeX
pageref :: Label -> 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
(=:, /=:) :: LaTeX -> LaTeX -> LaTeX

-- | Greater.
(>:) :: LaTeX -> LaTeX -> LaTeX

-- | Greater or equal.
(>=:) :: LaTeX -> LaTeX -> LaTeX

-- | Lesser.
(<:) :: LaTeX -> LaTeX -> LaTeX

-- | Lesser or equal.
(<=:) :: LaTeX -> LaTeX -> LaTeX
in_ :: LaTeX -> LaTeX -> LaTeX
ni :: LaTeX -> LaTeX -> LaTeX
notin :: LaTeX -> LaTeX -> LaTeX

-- | A right-arrow.
to :: LaTeX
forall :: LaTeX

-- | Dagger symbol.
dagger :: LaTeX

-- | Double dagger symbol.
ddagger :: LaTeX
mathbf :: LaTeX -> LaTeX
mathrm :: LaTeX -> LaTeX
mathcal :: LaTeX -> LaTeX
mathsf :: LaTeX -> LaTeX
mathtt :: LaTeX -> LaTeX
mathit :: LaTeX -> LaTeX

module Text.LaTeX.Base.Writer
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 :: Monad m => LaTeXT m a -> m LaTeX

-- | Version of <a>execLaTeXT</a> with possible warning messages. This
--   function applies <a>checkAll</a> to the <a>LaTeX</a> output.
execLaTeXTWarn :: Monad m => LaTeXT m a -> m (LaTeX, [Warning])

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

-- | Lift a function over <a>LaTeX</a> values to a function acting over the
--   state of a <a>LaTeXT</a> computation.
liftFun :: Monad m => (LaTeX -> LaTeX) -> (LaTeXT m a -> LaTeXT m a)

-- | Lift an operator over <a>LaTeX</a> values to an operator acting over
--   the state of two <a>LaTeXT</a> computations.
--   
--   <i>Note: The returned value is the one returned by the</i> <i>second
--   argument of the lifted operator.</i>
liftOp :: Monad m => (LaTeX -> LaTeX -> LaTeX) -> (LaTeXT m a -> LaTeXT m a -> LaTeXT m a)
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)
instance MonadTrans LaTeXT


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

-- | Calling <a>between</a> <tt>c l1 l2</tt> puts <tt>c</tt> between
--   <tt>l1</tt> and <tt>l2</tt> and appends them.
between :: Monad m => LaTeXT_ m -> LaTeXT_ m -> LaTeXT_ m -> 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
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
label :: Monad m => Label -> LaTeXT_ m
ref :: Monad m => Label -> LaTeXT_ m
pageref :: Monad m => Label -> 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 :: String

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


-- | Package for theorem environments.
module Text.LaTeX.Packages.AMSThm

-- | AMSThm package. Example:
--   
--   <pre>
--   usepackage [] amsthm
--   </pre>
amsthm :: String

-- | Create a new <a>theorem</a> environment type. Arguments are
--   environment name (this will be the argument when using the
--   <a>theorem</a> function) and the displayed title.
--   
--   For example:
--   
--   <pre>
--   newtheorem "prop" "Proposition"
--   </pre>
--   
--   <pre>
--   theorem "prop" "This is it."
--   </pre>
newtheorem :: String -> LaTeX -> LaTeX
theorem :: String -> LaTeX -> LaTeX

-- | The <a>proof</a> environment. The first optional argument is used to
--   put a custom title to the proof.
proof :: Maybe LaTeX -> LaTeX -> LaTeX

-- | Insert the <i>QED</i> symbol.
qedhere :: LaTeX
data TheoremStyle
Plain :: TheoremStyle
Definition :: TheoremStyle
Remark :: TheoremStyle
CustomThmStyle :: String -> TheoremStyle

-- | Set the theorem style. Call this function in the preamble.
theoremstyle :: TheoremStyle -> LaTeX
instance Show TheoremStyle
instance Render TheoremStyle

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 :: String

-- | 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
(=:) :: Monad m => LaTeXT_ m -> LaTeXT_ m -> LaTeXT_ m
(/=:) :: Monad m => LaTeXT_ m -> LaTeXT_ m -> LaTeXT_ m
(>:) :: Monad m => LaTeXT_ m -> LaTeXT_ m -> LaTeXT_ m
(>=:) :: Monad m => LaTeXT_ m -> LaTeXT_ m -> LaTeXT_ m
(<:) :: Monad m => LaTeXT_ m -> LaTeXT_ m -> LaTeXT_ m
(<=:) :: Monad m => LaTeXT_ m -> LaTeXT_ m -> LaTeXT_ m
in_ :: Monad m => LaTeXT_ m -> LaTeXT_ m -> LaTeXT_ m
ni :: Monad m => LaTeXT_ m -> LaTeXT_ m -> LaTeXT_ m
notin :: Monad m => LaTeXT_ m -> LaTeXT_ m -> LaTeXT_ m

-- | A right-arrow.
to :: Monad m => LaTeXT_ m
forall :: Monad m => LaTeXT_ m

-- | Dagger symbol.
dagger :: Monad m => LaTeXT_ m

-- | Double dagger symbol.
ddagger :: 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


-- | Package for theorem 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.Packages.AMSThm</a> <i>module via HaTeX-meta,</i> <i>and
--   therefore, changes must to be done in these places.</i>
module Text.LaTeX.Packages.AMSThm.Monad

-- | AMSThm package. Example:
--   
--   <pre>
--   usepackage [] amsthm
--   </pre>
amsthm :: String

-- | Create a new <a>theorem</a> environment type. Arguments are
--   environment name (this will be the argument when using the
--   <a>theorem</a> function) and the displayed title. For example:
--   
--   <pre>
--   newtheorem "prop" "Proposition"
--   </pre>
--   
--   <pre>
--   theorem "prop" "This is it."
--   </pre>
newtheorem :: Monad m => String -> LaTeXT_ m -> LaTeXT_ m
theorem :: Monad m => String -> LaTeXT_ m -> LaTeXT_ m

-- | The <a>proof</a> environment. The first optional argument is used to
--   put a custom title to the proof.
proof :: Monad m => Maybe (LaTeXT_ m) -> LaTeXT_ m -> LaTeXT_ m

-- | Insert the <i>QED</i> symbol.
qedhere :: Monad m => LaTeXT_ m
data TheoremStyle
Plain :: TheoremStyle
Definition :: TheoremStyle
Remark :: TheoremStyle
CustomThmStyle :: String -> TheoremStyle

-- | Set the theorem style. Call this function in the preamble.
theoremstyle :: Monad m => TheoremStyle -> 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

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>
--   
--   Here is also defined a <a>Num</a> instance for <a>LaTeX</a>.
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
instance Num LaTeX


-- | 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>
--   
--   Here is also defined a <a>Num</a> instance for <a>LaTeXT</a>.
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
instance Monad m => Num (LaTeXT m a)
instance Eq (LaTeXT m a)
instance Show (LaTeXT m 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


-- | 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 actually need.
module Text.LaTeX