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


-- | Library for write LaTeX code.
--   
--   You can write LaTeX files using this package. See Text.LaTeX for a
--   brief introduction.
--   
--   Report any bug or suggestion to the author:
--   
--   danieldiaz@asofilak.es
--   
--   Also, if you have an example where you use HaTeX, you could send it to
--   the same email. Thanks in advance.
--   
--   Changes from last version:
--   
--   <ul>
--   <li>Now, Text.LaTeX module re-export Data.String.</li>
--   <li>Fixed some documentation.</li>
--   </ul>
@package HaTeX
@version 2.1.1

module Text.LaTeX.Result
type Result = DString
toResult :: String -> Result
fromResult :: Result -> String
resCharsStr :: [(Char, Result)]

module Text.LaTeX.Monad

-- | <a>LaTeXT</a> is the monadic transformer that represents LaTeX code.
--   Bind operator plays as concatenator.
--   
--   Instances of <a>LaTeXT</a>:
--   
--   <ul>
--   <li><a>IsString</a></li>
--   <li><a>Num</a></li>
--   <li><a>Fractional</a></li>
--   <li><a>Floating</a></li>
--   <li><a>Monoid</a></li>
--   </ul>
type LaTeXT m a = WriterT Result m a
type LaTeX m = LaTeXT m ()

-- | Write a result.
lx :: (Monad m) => Result -> LaTeX m

-- | Write anything of <a>Show</a> class.
lxany :: (Monad m, Show a) => a -> LaTeX m

-- | Like <a>lx</a>, but returns an undefined value.
lxw :: (Monad m) => Result -> LaTeXT m a

-- | Like <a>lxany</a>, but returns an undefined value.
lxanyw :: (Monad m, Show b) => b -> LaTeXT m a

-- | Run a <a>LaTeXT</a> computation.
nlx :: (Monad m) => LaTeXT m a -> m Result

-- | Performs a monadic computation, returning his value in the
--   <a>LaTeXT</a> monad.
mlx :: (Monad m) => m a -> LaTeXT m a

-- | Transform a <a>Result</a> modifier in a <a>LaTeXT</a> modifier.
reslx :: (Monad m) => (Result -> Result) -> (LaTeXT m a -> LaTeXT m a)
genlx :: (Monad m) => LaTeX m -> LaTeXT m a
ungenlx :: (Monad m) => LaTeXT m a -> LaTeX m
instance (Monad m) => Monoid (LaTeXT m a)
instance (Monad m) => Eq (LaTeXT m a)
instance (Monad m) => Show (LaTeXT m a)
instance (Monad m) => IsString (LaTeXT m a)


-- | This module allows you to add commands and environments of LaTeX wich
--   are not defined in HaTeX. Usually, you don't need to use this
--   functions.
--   
--   If a desired command doesn't appear in HaTeX and you need it, use
--   these functions and report the missing function to the maintainer.
module Text.LaTeX.Define
comm0_ :: (Monad m) => LaTeX m -> LaTeX m
comm0 :: (Monad m) => LaTeX m -> LaTeX m
comm1 :: (Monad m) => LaTeX m -> LaTeX m -> LaTeX m
comm2 :: (Monad m) => LaTeX m -> LaTeX m -> [LaTeX m] -> LaTeX m
comm3 :: (Monad m) => LaTeX m -> [LaTeX m] -> LaTeX m
comm4 :: (Monad m) => LaTeX m -> [LaTeX m] -> LaTeX m -> LaTeX m
comm5 :: (Monad m) => LaTeX m -> LaTeX m -> LaTeX m -> LaTeX m
comm6 :: (Monad m) => LaTeX m -> LaTeX m -> [LaTeX m] -> LaTeX m -> LaTeX m
comm7 :: (Monad m) => LaTeX m -> LaTeX m -> [LaTeX m] -> LaTeX m -> LaTeX m -> LaTeX m
comm8 :: (Monad m) => LaTeX m -> LaTeX m -> LaTeX m
comm9 :: (Monad m) => LaTeX m -> [LaTeX m] -> LaTeX m -> LaTeX m -> LaTeX m
comm10 :: (Monad m) => LaTeX m -> [LaTeX m] -> [LaTeX m] -> LaTeX m -> LaTeX m
comm11 :: (Monad m) => LaTeX m -> LaTeX m -> [LaTeX m] -> [LaTeX m] -> LaTeX m -> LaTeX m
comm12 :: (Monad m) => LaTeX m -> LaTeX m -> LaTeX m -> LaTeX m -> LaTeX m
env :: (Monad m) => LaTeX m -> LaTeX m -> LaTeX m
env2 :: (Monad m) => LaTeX m -> [LaTeX m] -> LaTeX m -> LaTeX m
env3 :: (Monad m) => LaTeX m -> [LaTeX m] -> LaTeX m -> LaTeX m -> LaTeX m

module Text.LaTeX.Arguments
type Language m = LaTeX m
type Encoding m = LaTeX m
type URL m = LaTeX m
type Color m = LaTeX m
type Name m = LaTeX m
type Title m = LaTeX m
type Date m = LaTeX m
type Word m = LaTeX m
type Marker m = LaTeX m
type Text m = LaTeX m
type ItemOption m = LaTeX m
type PlacementSpecifier m = LaTeX m
type Class m = LaTeX m
article :: (Monad m) => Class m
proc :: (Monad m) => Class m
minimal :: (Monad m) => Class m
report :: (Monad m) => Class m
book :: (Monad m) => Class m
slides :: (Monad m) => Class m
type ClassOption m = LaTeX m
letterpaper :: (Monad m) => ClassOption m
a4paper :: (Monad m) => ClassOption m
a5paper :: (Monad m) => ClassOption m
b5paper :: (Monad m) => ClassOption m
executivepaper :: (Monad m) => ClassOption m
legalpaper :: (Monad m) => ClassOption m
fleqn :: (Monad m) => ClassOption m
leqno :: (Monad m) => ClassOption m
titlepage :: (Monad m) => ClassOption m
notitlepage :: (Monad m) => ClassOption m
onecolumn :: (Monad m) => ClassOption m
twocolumn :: (Monad m) => ClassOption m
twoside :: (Monad m) => ClassOption m
oneside :: (Monad m) => ClassOption m
landscape :: (Monad m) => ClassOption m
openright :: (Monad m) => ClassOption m
openany :: (Monad m) => ClassOption m
type Style m = LaTeX m
plain :: (Monad m) => Style m
headings :: (Monad m) => Style m
empty :: (Monad m) => Style m
type Width m = LaTeX m
type Lift m = LaTeX m
type Extend m = LaTeX m
type Height m = LaTeX m
width :: (Monad m) => LaTeX m
height :: (Monad m) => LaTeX m
depth :: (Monad m) => LaTeX m
totalheight :: (Monad m) => LaTeX m
mm :: (Monad m) => Float -> LaTeX m
cm :: (Monad m) => Float -> LaTeX m
inch :: (Monad m) => Float -> LaTeX m
pt :: (Monad m) => Int -> LaTeX m
em :: (Monad m) => Float -> LaTeX m
ex :: (Monad m) => Float -> LaTeX m

module Text.LaTeX.Packages
type Package m = LaTeX m
type PackageOption m = LaTeX m
doc :: (Monad m) => Package m
exscale :: (Monad m) => Package m
ifthen :: (Monad m) => Package m
msym :: (Monad m) => Package m
makeidx :: (Monad m) => Package m
fontenc :: (Monad m) => Package m
oT1 :: (Monad m) => Encoding m
t1 :: (Monad m) => Encoding m
t2A :: (Monad m) => Encoding m
t2B :: (Monad m) => Encoding m
t2C :: (Monad m) => Encoding m
x2 :: (Monad m) => Encoding m
lgr :: (Monad m) => Encoding m
syntonly :: (Monad m) => Package m
syntaxonly :: (Monad m) => LaTeX m
inputenc :: (Monad m) => Package m
applemac :: (Monad m) => Encoding m
macukr :: (Monad m) => Encoding m
latin1 :: (Monad m) => Encoding m
koi8_ru :: (Monad m) => Encoding m
ansinew :: (Monad m) => Encoding m
cp1251 :: (Monad m) => Encoding m
cp850 :: (Monad m) => Encoding m
cp866nav :: (Monad m) => Encoding m
ucs :: (Monad m) => Package m
utf8x :: (Monad m) => Encoding m
textcomp :: (Monad m) => Package m
textdegree :: (Monad m) => LaTeX m
textcelsius :: (Monad m) => LaTeX m
texteuro :: (Monad m) => LaTeX m
eurosym :: (Monad m) => Package m
euro :: (Monad m) => LaTeX m
babel :: (Monad m) => Package m
selectlanguage :: (Monad m) => Language m -> LaTeX m
hyperref :: (Monad m) => Package m
pdftex :: (Monad m) => PackageOption m
href :: (Monad m) => URL m -> Text m -> LaTeX m
colorpkg :: (Monad m) => Package m
monochrome :: (Monad m) => PackageOption m
dvipsnames :: (Monad m) => PackageOption m
nodvipsnames :: (Monad m) => PackageOption m
usenames :: (Monad m) => PackageOption m

-- | <a>Color</a> from RGB components.
rgb :: (Monad m) => Float -> Float -> Float -> Color m

-- | Set page color. <a>pagecolor</a> in header defines the default page
--   color of the document.
pagecolor :: (Monad m) => Color m -> LaTeX m

-- | Set font color from current position. <a>color</a> in header defines
--   the default font color of the document.
color :: (Monad m) => Color m -> LaTeX m

-- | Restore font color from current position.
normalcolor :: (Monad m) => LaTeX m
fancyhdr :: (Monad m) => Package m
fancy :: (Monad m) => Style m
type MathTerm m = LaTeX m

-- | AMS-Math package. It allows you to write mathematical expressions.
amsmath :: (Monad m) => Package m

-- | Write a mathematical expression inline.
math :: (Monad m) => MathTerm m -> LaTeX m

-- | Mathematical expressions environment.
equation :: (Monad m) => MathTerm m -> LaTeX m

-- | Like <a>equation</a>, but expressions are not numbered.
equation_ :: (Monad m) => MathTerm m -> LaTeX m
smash :: (Monad m) => LaTeX m -> LaTeX m
lim :: (Monad m) => MathTerm m
(->>) :: (Monad m) => MathTerm m -> MathTerm m -> MathTerm m
sums :: (Monad m) => MathTerm m
sums_ :: (Monad m) => MathTerm m
summ :: (Monad m) => MathTerm m -> MathTerm m -> MathTerm m
sqroot :: (Monad m) => [MathTerm m] -> MathTerm m -> MathTerm m
cdot :: (Monad m) => MathTerm m
cdots :: (Monad m) => MathTerm m
vdots :: (Monad m) => MathTerm m
ddots :: (Monad m) => MathTerm m
overline :: (Monad m) => MathTerm m -> MathTerm m
overbrace :: (Monad m) => MathTerm m -> MathTerm m
underbrace :: (Monad m) => MathTerm m -> MathTerm m
(==:) :: (Monad m) => LaTeXT m a -> LaTeXT m a -> LaTeXT m a
(/=:) :: (Monad m) => MathTerm m -> MathTerm m -> MathTerm m
(<=:) :: (Monad m) => MathTerm m -> MathTerm m -> MathTerm m
(>=:) :: (Monad m) => MathTerm m -> MathTerm m -> MathTerm m
(===) :: (Monad m) => MathTerm m -> MathTerm m -> MathTerm m
(~~) :: (Monad m) => MathTerm m -> MathTerm m -> MathTerm m
(~=) :: (Monad m) => MathTerm m -> MathTerm m -> MathTerm m
(<@) :: (Monad m) => MathTerm m -> MathTerm m -> MathTerm m
(>@) :: (Monad m) => MathTerm m -> MathTerm m -> MathTerm m
(<=@) :: (Monad m) => MathTerm m -> MathTerm m -> MathTerm m
(>=@) :: (Monad m) => MathTerm m -> MathTerm m -> MathTerm m
(-|) :: (Monad m) => MathTerm m -> MathTerm m -> MathTerm m
(|-) :: (Monad m) => MathTerm m -> MathTerm m -> MathTerm m
(-/) :: (Monad m) => MathTerm m -> MathTerm m -> MathTerm m
(/@) :: (Monad m) => MathTerm m -> MathTerm m -> MathTerm m
(|.|) :: (Monad m) => MathTerm m -> MathTerm m -> MathTerm m
(+-) :: (Monad m) => MathTerm m -> MathTerm m -> MathTerm m
(-+) :: (Monad m) => MathTerm m -> MathTerm m -> MathTerm m
(<*>) :: (Monad m) => MathTerm m -> MathTerm m -> MathTerm m
(*:) :: (Monad m) => MathTerm m -> MathTerm m -> MathTerm m

-- | Superscript.
(^:) :: (Monad m) => MathTerm m -> MathTerm m -> MathTerm m

-- | Subscript.
(!:) :: (Monad m) => MathTerm m -> MathTerm m -> MathTerm m
hat :: (Monad m) => LaTeX m -> LaTeX m
widehat :: (Monad m) => LaTeX m -> LaTeX m
tilde :: (Monad m) => LaTeX m -> LaTeX m
widetilde :: (Monad m) => LaTeX m -> LaTeX m
grave :: (Monad m) => LaTeX m -> LaTeX m
bar :: (Monad m) => LaTeX m -> LaTeX m
acute :: (Monad m) => LaTeX m -> LaTeX m
mathring :: (Monad m) => LaTeX m -> LaTeX m
check :: (Monad m) => LaTeX m -> LaTeX m
dot :: (Monad m) => LaTeX m -> LaTeX m
vec :: (Monad m) => LaTeX m -> LaTeX m
breve :: (Monad m) => LaTeX m -> LaTeX m
ddot :: (Monad m) => LaTeX m -> LaTeX m
alpha :: (Monad m) => LaTeX m
beta :: (Monad m) => LaTeX m
gamma :: (Monad m) => LaTeX m
gamma_ :: (Monad m) => LaTeX m
delta :: (Monad m) => LaTeX m
delta_ :: (Monad m) => LaTeX m
epsilon :: (Monad m) => LaTeX m
varepsilon :: (Monad m) => LaTeX m
zeta :: (Monad m) => LaTeX m
eta :: (Monad m) => LaTeX m
theta :: (Monad m) => LaTeX m
vartheta :: (Monad m) => LaTeX m
theta_ :: (Monad m) => LaTeX m
iota :: (Monad m) => LaTeX m
kappa :: (Monad m) => LaTeX m
lambda :: (Monad m) => LaTeX m
lambda_ :: (Monad m) => LaTeX m
mu :: (Monad m) => LaTeX m
nu :: (Monad m) => LaTeX m
xi :: (Monad m) => LaTeX m
xi_ :: (Monad m) => LaTeX m
varpi :: (Monad m) => LaTeX m
pi_ :: (Monad m) => LaTeX m
rho :: (Monad m) => LaTeX m
varrho :: (Monad m) => LaTeX m
sigma :: (Monad m) => LaTeX m
varsigma :: (Monad m) => LaTeX m
sigma_ :: (Monad m) => LaTeX m
tau :: (Monad m) => LaTeX m
upsilon :: (Monad m) => LaTeX m
upsilon_ :: (Monad m) => LaTeX m
phi :: (Monad m) => LaTeX m
varphi :: (Monad m) => LaTeX m
phi_ :: (Monad m) => LaTeX m
chi :: (Monad m) => LaTeX m
psi :: (Monad m) => LaTeX m
psi_ :: (Monad m) => LaTeX m
omega :: (Monad m) => LaTeX m
omega_ :: (Monad m) => LaTeX m
dagger :: (Monad m) => LaTeX m
ddagger :: (Monad m) => LaTeX m

-- | "For all" symbol.
forall :: (Monad m) => LaTeX m
binom :: (Monad m) => MathTerm m -> MathTerm m -> MathTerm m

-- | Environment for a proof.
proof :: (Monad m) => LaTeX m -> LaTeX m
instance (Monad m) => Floating (LaTeXT m a)
instance (Monad m) => Fractional (LaTeXT m a)
instance (Monad m) => Num (LaTeXT m a)


-- | Here, principal LaTeX <i>commands</i> and <i>environments</i>.
module Text.LaTeX.Commands

-- | In header, determines the document class.
documentclass :: (Monad m) => [ClassOption m] -> Class m -> LaTeX m

-- | In header, import a package.
usepackage :: (Monad m) => [PackageOption m] -> Package m -> LaTeX m

-- | In header, determines page style.
pagestyle :: (Monad m) => Style m -> LaTeX m

-- | A local version of <a>pagestyle</a>, to use for any page.
thispagestyle :: (Monad m) => Style m -> LaTeX m

-- | In header, especifies the document's author.
author :: (Monad m) => Name m -> LaTeX m

-- | In header, especifies the document's title.
title :: (Monad m) => Title m -> LaTeX m

-- | In header, inserts a date of writing. If you don't specify one, it
--   takes the date of export.
date :: (Monad m) => Date m -> LaTeX m

-- | After the preamble, insert document's content with <a>document</a>.
document :: (Monad m) => LaTeX m -> LaTeX m

-- | Starts a new line.
lnbk :: (Monad m) => LaTeX m
lnbk_ :: (Monad m) => LaTeX m

-- | Starts a new paragraph.
pfbk :: (Monad m) => LaTeX m

-- | Starts a new page.
newpage :: (Monad m) => LaTeX m
linebreak :: (Monad m) => Int -> LaTeX m
nolinebreak :: (Monad m) => Int -> LaTeX m
pagebreak :: (Monad m) => Int -> LaTeX m
nopagebreak :: (Monad m) => Int -> LaTeX m
fussy :: (Monad m) => LaTeX m
sloppy :: (Monad m) => LaTeX m
endsen :: (Monad m) => LaTeX m
frenchspacing :: (Monad m) => LaTeX m
par :: (Monad m) => LaTeX m
include :: (Monad m) => FilePath -> LaTeX m
includeonly :: (Monad m) => [FilePath] -> LaTeX m
input :: (Monad m) => FilePath -> LaTeX m
hyphenation :: (Monad m) => [Word m] -> LaTeX m
hyp :: (Monad m) => LaTeX m

-- | Writes current date.
today :: (Monad m) => LaTeX m

-- | TeX nice word.
tex :: (Monad m) => LaTeX m

-- | LaTeX nice word.
latex :: (Monad m) => LaTeX m

-- | LaTeX2e nice word.
latexe :: (Monad m) => LaTeX m
section :: (Monad m) => Title m -> LaTeX m
section_ :: (Monad m) => Title m -> LaTeX m
sectiontab :: (Monad m) => Title m -> Title m -> LaTeX m
subsection :: (Monad m) => Title m -> LaTeX m
subsection_ :: (Monad m) => Title m -> LaTeX m
subsectiontab :: (Monad m) => Title m -> Title m -> LaTeX m
subsubsection :: (Monad m) => Title m -> LaTeX m
subsubsection_ :: (Monad m) => Title m -> LaTeX m
subsubsectiontab :: (Monad m) => Title m -> Title m -> LaTeX m
paragraph :: (Monad m) => Title m -> LaTeX m
paragraph_ :: (Monad m) => Title m -> LaTeX m
paragraphtab :: (Monad m) => Title m -> Title m -> LaTeX m
subparagraph :: (Monad m) => Title m -> LaTeX m
subparagraph_ :: (Monad m) => Title m -> LaTeX m
subparagraphtab :: (Monad m) => Title m -> Title m -> LaTeX m
part :: (Monad m) => Title m -> LaTeX m
part_ :: (Monad m) => Title m -> LaTeX m
parttab :: (Monad m) => Title m -> Title m -> LaTeX m
chapter :: (Monad m) => Title m -> LaTeX m
chapter_ :: (Monad m) => Title m -> LaTeX m
chaptertab :: (Monad m) => Title m -> Title m -> LaTeX m

-- | Generate the appendix.
appendix :: (Monad m) => LaTeX m

-- | Generate the title page.
maketitle :: (Monad m) => LaTeX m

-- | Generate the table of contents.
tableofcontents :: (Monad m) => LaTeX m
frontmatter :: (Monad m) => LaTeX m
mainmatter :: (Monad m) => LaTeX m
backmatter :: (Monad m) => LaTeX m
label :: (Monad m) => Marker m -> LaTeX m
ref :: (Monad m) => Marker m -> LaTeX m
pageref :: (Monad m) => Marker m -> LaTeX m

-- | Adds a given text to the page's footnote.
footnote :: (Monad m) => Text m -> LaTeX m

-- | Underlines a text.
underline :: (Monad m) => Text m -> LaTeX m

-- | Emphasizes a text.
emph :: (Monad m) => Text m -> LaTeX m

-- | Environment for create simple lists. See <a>item</a>.
itemize :: (Monad m) => LaTeX m -> LaTeX m

-- | Environment for create enumerated lists. See <a>item</a>.
enumerate :: (Monad m) => LaTeX m -> LaTeX m

-- | Environment for create description lists. See <a>item</a>.
description :: (Monad m) => LaTeX m -> LaTeX m

-- | Create a list item. Optional argument is used to change its icon.
--   
--   Example:
--   
--   <pre>
--   do item ["-"] ; "Item content."
--   </pre>
item :: (Monad m) => [ItemOption m] -> LaTeX m

-- | Left alignment.
flushleft :: (Monad m) => LaTeX m -> LaTeX m

-- | Right alignment.
flushright :: (Monad m) => LaTeX m -> LaTeX m

-- | Center alignment.
center :: (Monad m) => LaTeX m -> LaTeX m

-- | Quote from a text.
quote :: (Monad m) => LaTeX m -> LaTeX m

-- | Like <a>quote</a>, but indenting the first line of each paragraph.
quotation :: (Monad m) => LaTeX m -> LaTeX m
verse :: (Monad m) => LaTeX m -> LaTeX m

-- | Use <a>abstract</a> to create an abstract, containing the argument's
--   text.
abstract :: (Monad m) => LaTeX m -> LaTeX m

-- | A text within the <a>verbatim</a> environment has monospaced font and
--   no commands or environments will be executed.
verbatim :: (Monad m) => LaTeX m -> LaTeX m

-- | Like <a>verbatim</a>, but it makes visible the spaces.
verbatim_ :: (Monad m) => LaTeX m -> LaTeX m

-- | An inline version of <a>verbatim</a>. Argument must be a single line.
verb :: (Monad m) => LaTeX m -> LaTeX m

-- | An inline version of <a>verbatim_</a>. Argument must be a single line.
verb_ :: (Monad m) => LaTeX m -> LaTeX m
figure :: (Monad m) => [PlacementSpecifier m] -> LaTeX m -> LaTeX m
table :: (Monad m) => [PlacementSpecifier m] -> LaTeX m -> LaTeX m
caption :: (Monad m) => Text m -> LaTeX m
listoffigures :: (Monad m) => LaTeX m
listoftables :: (Monad m) => LaTeX m
clearpage :: (Monad m) => LaTeX m
cleardoublepage :: (Monad m) => LaTeX m
newcommand :: (Monad m) => Name m -> [Int] -> LaTeX m -> LaTeX m
renewcommand :: (Monad m) => Name m -> [Int] -> LaTeX m -> LaTeX m
providecommand :: (Monad m) => Name m -> [Int] -> LaTeX m -> LaTeX m
newenvironment :: (Monad m) => Name m -> [Int] -> LaTeX m -> LaTeX m -> LaTeX m
ignorespaces :: (Monad m) => LaTeX m
ignorespacesafterend :: (Monad m) => LaTeX m
providesPackage :: (Monad m) => Name m -> LaTeX m

-- | Roman font
textrm :: (Monad m) => LaTeX m -> LaTeX m

-- | Monospaced font
texttt :: (Monad m) => LaTeX m -> LaTeX m

-- | Medium font
textmd :: (Monad m) => LaTeX m -> LaTeX m

-- | Upright font
textup :: (Monad m) => LaTeX m -> LaTeX m

-- | Slanted font
textsl :: (Monad m) => LaTeX m -> LaTeX m

-- | Sans Serif font
textsf :: (Monad m) => LaTeX m -> LaTeX m

-- | Bold font
textbf :: (Monad m) => LaTeX m -> LaTeX m

-- | Italic font
textit :: (Monad m) => LaTeX m -> LaTeX m

-- | Small Caps font
textsc :: (Monad m) => LaTeX m -> LaTeX m

-- | Default font
textnormal :: (Monad m) => LaTeX m -> LaTeX m
tiny :: (Monad m) => LaTeX m -> LaTeX m
scriptsize :: (Monad m) => LaTeX m -> LaTeX m
footnotesize :: (Monad m) => LaTeX m -> LaTeX m
small :: (Monad m) => LaTeX m -> LaTeX m
normalsize :: (Monad m) => LaTeX m -> LaTeX m
large :: (Monad m) => LaTeX m -> LaTeX m
large2 :: (Monad m) => LaTeX m -> LaTeX m
large3 :: (Monad m) => LaTeX m -> LaTeX m
huge :: (Monad m) => LaTeX m -> LaTeX m
huge2 :: (Monad m) => LaTeX m -> LaTeX m

-- | In preamble, it sets the inter-line spacing. Default line spread
--   factor: 1.
linespread :: (Monad m) => Float -> LaTeX m

-- | Creates an horizontal spaces with length specified by the argument.
--   See <a>Text.LaTeX.Arguments#Measures</a> to create a correct argument.
hspace :: (Monad m) => LaTeX m -> LaTeX m

-- | Same as <a>hspace</a>, but it ignores start or end of lines.
hspace_ :: (Monad m) => LaTeX m -> LaTeX m

-- | Vertical version of <a>hspace</a>. Useful to separate two paragraphs.
vspace :: (Monad m) => LaTeX m -> LaTeX m

-- | Same as <a>vspace</a>, but it ignores start or end of pages.
vspace_ :: (Monad m) => LaTeX m -> LaTeX m

-- | Create a space filling the remaining space of the line. If there are
--   multiple occurences, stretch factor determines the proportion of each
--   space.
stretch :: (Monad m) => Int -> LaTeX m

-- | Like <a>vspace</a>, but for lines of the same paragraph.
--   <a>bigskip</a> and <a>smallskip</a> use <a>skip</a> with a predefined
--   argument.
skip :: (Monad m) => LaTeX m -> LaTeX m
bigskip :: (Monad m) => LaTeX m
smallskip :: (Monad m) => LaTeX m

-- | <tt>mbox</tt> creates a box containing its argument.
mbox :: (Monad m) => LaTeX m -> LaTeX m

-- | Create an empty box.
mbox_ :: (Monad m) => LaTeX m
fbox :: (Monad m) => LaTeX m -> LaTeX m
parbox :: (Monad m) => [Char] -> Width m -> LaTeX m -> LaTeX m
minipage :: (Monad m) => [Char] -> Width m -> LaTeX m -> LaTeX m
makebox :: (Monad m) => [Width m] -> [Char] -> LaTeX m -> LaTeX m
framebox :: (Monad m) => [Width m] -> [Char] -> LaTeX m -> LaTeX m
raisebox :: (Monad m) => Lift m -> [Extend m] -> [Extend m] -> LaTeX m -> LaTeX m

-- | It produces a simple black box.
rule :: (Monad m) => [Lift m] -> Width m -> Height m -> LaTeX m
type Tabular m = LaTeX m
cjustified :: (Monad m) => Width m -> LaTeX m
csep :: (Monad m) => LaTeX m -> LaTeX m

-- | The <a>tabular</a> environment can be used to creates tables.
--   
--   <ul>
--   <li>First argument specifies vertical position: <tt>"c"</tt> (center),
--   <tt>"t"</tt> (top) and <tt>"b"</tt> (bottom). Example:
--   <tt>["t"]</tt></li>
--   <li>Second argument specifies table's format: <tt>"l"</tt>
--   (left-aligned text column), <tt>"r"</tt> (right-aligned text column),
--   <tt>"c"</tt> (center text column), <a>cjustified</a> (justified text
--   column) and <tt>"|"</tt> (vertical line). Example:
--   <tt>"|l|r|"</tt></li>
--   <li>Third argument refers to table's content: <a>hline</a> inserts an
--   horizontal line, <a>cline</a> inserts a partial horizontal line,
--   (<a>&amp;</a>) separates columns and (<a>//</a>) separates rows.</li>
--   </ul>
tabular :: (Monad m) => [LaTeX m] -> LaTeX m -> LaTeX m -> Tabular m
(&) :: (Monad m) => LaTeX m -> LaTeX m -> LaTeX m
(//) :: (Monad m) => LaTeX m -> LaTeX m -> LaTeX m

-- | Insert an horizontal line in a <a>tabular</a>.
hline :: (Monad m) => LaTeX m

-- | Insert a partial horizontal line in a <a>tabular</a>.
cline :: (Monad m) => Int -> Int -> LaTeX m
multicolumn :: (Monad m) => Int -> LaTeX m -> LaTeX m -> LaTeX m
type LxMatrix m = [[LaTeX m]]

-- | A matrix version of <a>tabular</a>. First and second arguments have
--   the same meaning. The generated <a>tabular</a> has the same rows and
--   columns as the matrix.
matrixTab :: (Monad m) => [LaTeX m] -> LaTeX m -> LxMatrix m -> Tabular m
protect :: (Monad m) => LaTeX m
phantom :: (Monad m) => LaTeX m -> LaTeX m

-- | Like <a>fromString</a>, but taking care with reserved characters.
string :: (Monad m) => String -> LaTeX m

-- | Delimite between quotes a text.
qts :: (Monad m) => LaTeX m -> LaTeX m

-- | Write a ellipsis.
ldots :: (Monad m) => LaTeX m


-- | This module defines some macros to speed up writing documents.
--   
--   Note: Have you an idea for a macro? Send your suggestions!
module Text.LaTeX.Macro
m_simple :: (Monad m) => [ClassOption m] -> Class m -> Name m -> Title m -> LaTeX m -> LaTeX m
m_wpkgs :: (Monad m) => [ClassOption m] -> Class m -> Name m -> Title m -> [([PackageOption m], Package m)] -> LaTeX m -> LaTeX m

-- | Function <a>m_article</a> generate a LaTeX file with the following
--   properties:
--   
--   <ul>
--   <li>Article class.</li>
--   <li>Font Size: 11pt</li>
--   <li>A title in the first page.</li>
--   <li>A4 paper.</li>
--   </ul>
m_article :: (Monad m) => Name m -> Title m -> LaTeX m -> LaTeX m

-- | Like <a>m_article</a>, but it lets you import packages.
m_articlep :: (Monad m) => Name m -> Title m -> [([PackageOption m], Package m)] -> LaTeX m -> LaTeX m

-- | Macro for math articles. Like <a>m_article</a>, but importing
--   <a>amsmath</a> package.
m_math :: (Monad m) => Name m -> Title m -> LaTeX m -> LaTeX m


-- | This is the main module of the HaTeX library. For a complete
--   understanding of this package, read "<i>HaTeX, a monadic perspective
--   of LaTeX</i>" at the HaTeX home page:
--   <a>http://ddiaz.asofilak.es/packages/HaTeX</a>.
module Text.LaTeX

-- | HaTeX nice word.
hatex :: (Monad m) => LaTeX m

-- | Your HaTeX version.
hatexVersion :: (Monad m) => LaTeX m

-- | Render <a>LaTeX</a> to <a>String</a>.
render :: (Monad m) => LaTeX m -> m String

-- | Export the <a>Result</a> of a <a>LaTeX</a> sequence in a <i>.tex</i>
--   file.
export :: (MonadIO m) => LaTeX m -> FilePath -> m ()