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


-- | Monadic tool for write LaTeX files.
--   
--   See <a>http://www.haskell.org/haskellwiki/HaTeX</a> for a brief
--   introduction. Also included in Text.LaTeX module API documentation.
--   
--   More information in <i>HaTeX, a monadic perspective of LaTeX</i>,
--   available in the package homepage.
--   
--   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>Modified some documentation.</li>
--   <li>Updated to some changes in dependencies.</li>
--   </ul>
@package HaTeX
@version 2.1.3

module Text.LaTeX.Result

-- | The state of the <tt>LaTeX</tt> monad. A <a>Result</a> is represented
--   by a <a>DString</a>.
type Result = DString

-- | Transform a <a>String</a> to a <a>Result</a>.
toResult :: String -> Result

-- | Transform a <a>Result</a> to a <a>String</a>.
fromResult :: Result -> String

-- | Set of LaTeX reserved characters, and their safe writings as
--   <a>Result</a>s.
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. Is equivalent to <a>lift</a>.
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 which
--   are not defined in HaTeX. Usually, you don't need to use these
--   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

-- | Page style for a LaTeX document.
type Style m = LaTeX m

-- | Page numbers on the bottom of the page, at the middle of the footer.
--   Default style.
plain :: Monad m => Style m

-- | Current chapter and page number at the top of the page.
headings :: Monad m => Style m

-- | Empty page style.
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 preamble, determines the document class.
documentclass :: Monad m => [ClassOption m] -> Class m -> LaTeX m

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

-- | In preamble, 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 preamble, especifies the document's author.
author :: Monad m => Name m -> LaTeX m

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

-- | In preamble, 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 ()