Text.LaTeX.Base.Commands

This module is the Prelude of LaTeX functions. It includes commands, environments, and some other useful abstractions, that don't require you to import additional LaTeX packages.

Basic functions

raw :: LaTeXC l => Text -> l

Insert a raw piece of Text. This functions doesn't escape LaTeX reserved characters, it insert the text just as it is received.

Warning: This function is unsafe, in the sense that it does not check that the input text is a valid LaTeX block. Make sure any braces, commands or environments are properly closed.

between :: Monoid m => m -> m -> m -> m

Calling between c l1 l2 puts c between l1 and l2 and appends them.

between c l1 l2 = l1 <> c <> l2

comment :: LaTeXC l => Text -> l

Create a comment.

(%:) :: LaTeXC l => l -> Text -> l

This operator appends a comment after a expression. For example:

textbf "I'm just an example." %: "Insert a few words here."

The implementation is

(%:) l = (l <>) . comment

Since you are writing in Haskell, you may not need to output comments as you can add them in the Haskell source. I added this feature for completeness. It may be useful for debugging the output as well.

Preamble commands

title :: LaTeXC l => l -> l

Set the title of your document.

author :: LaTeXC l => l -> l

Set the author(s) of the document.

date :: LaTeXC l => l -> l

Set a date for your document.

institute :: LaTeXC l => Maybe l -> l -> l

Set either an institute or an organization for the document. It does not work for a document of the article class.

thanks :: LaTeXC l => l -> l

documentclass

Arguments

:: LaTeXC l

=> [ClassOption]

Class options

-> ClassName

Class name

-> l

Set the document class. Needed in all documents.

usepackage :: LaTeXC l => [l] -> PackageName -> l

Import a package. First argument is a list of options for the package named in the second argument.

linespread :: LaTeXC l => Float -> l

Classes

Document classes

article :: ClassName

proc :: ClassName

report :: ClassName

minimal :: ClassName

book :: ClassName

slides :: ClassName

Class options

data ClassOption

A class option to be passed to the documentclass function.

Constructors

Draft

TitlePage

NoTitlePage

OneColumn

TwoColumn

OneSide

TwoSide

Landscape

OpenRight

OpenAny

Fleqn

Leqno

FontSize Measure

Paper PaperType

CustomOption String

Instances

Show ClassOption

Methods

showsPrec :: Int -> ClassOption -> ShowS

show :: ClassOption -> String

showList :: [ClassOption] -> ShowS

IsString ClassOption

Methods

fromString :: String -> ClassOption

Render ClassOption

Methods

render :: ClassOption -> Text

customopt :: String -> ClassOption

draft :: ClassOption

titlepage :: ClassOption

notitlepage :: ClassOption

onecolumn :: ClassOption

twocolumn :: ClassOption

oneside :: ClassOption

twoside :: ClassOption

landscape :: ClassOption

Changes the layout of the document to print in landscape mode

openright :: ClassOption

Makes chapters begin either only on right hand pages

openany :: ClassOption

Makes chapters begin on the next page available.

fleqn :: ClassOption

Typesets displayed formulae left-aligned instead of centred.

leqno :: ClassOption

Places the numbering of formulae on the left hand side instead of the right.

Paper sizes

data PaperType

LaTeX available paper types.

Constructors

A0

A1

A2

A3

A4

A5

A6

B0

B1

B2

B3

B4

B5

B6

Letter

Executive

Legal

Instances

Show PaperType

Methods

showsPrec :: Int -> PaperType -> ShowS

show :: PaperType -> String

showList :: [PaperType] -> ShowS

Render PaperType

Methods

render :: PaperType -> Text

a0paper :: ClassOption

a1paper :: ClassOption

a2paper :: ClassOption

a3paper :: ClassOption

a4paper :: ClassOption

a5paper :: ClassOption

a6paper :: ClassOption

b0paper :: ClassOption

b1paper :: ClassOption

b2paper :: ClassOption

b3paper :: ClassOption

b4paper :: ClassOption

b5paper :: ClassOption

b6paper :: ClassOption

letterpaper :: ClassOption

executivepaper :: ClassOption

legalpaper :: ClassOption

Page styles

pagestyle :: LaTeXC l => PageStyle -> l

thispagestyle :: LaTeXC l => PageStyle -> l

plain :: PageStyle

headings :: PageStyle

empty :: PageStyle

myheadings :: PageStyle

markboth :: LaTeXC l => l -> l -> l

Used in conjunction with myheadings for setting both the left and the right heading.

markright :: LaTeXC l => l -> l

Used in conjunction with myheadings for setting the right heading.

Body commands

document :: LaTeXC l => l -> l

The document environment contains the body of the document.

maketitle :: LaTeXC l => l

Generate the title. It normally contains the title name of your document, the author(s) and date.

Document structure

tableofcontents :: LaTeXC l => l

Create the table of contents, automatically generated from your sections, subsections, and related functions.

abstract :: LaTeXC l => l -> l

Abstract section.

appendix :: LaTeXC l => l

Sections

part :: LaTeXC l => l -> l

chapter :: LaTeXC l => l -> l

Start a new chapter with the given title.

section :: LaTeXC l => l -> l

Start a new section with a given title.

subsection :: LaTeXC l => l -> l

Start a new subsection.

subsubsection :: LaTeXC l => l -> l

Start a new subsubsection.

paragraph :: LaTeXC l => l -> l

Start a paragraph.

subparagraph :: LaTeXC l => l -> l

Start a subparagraph (minimal level of sectioning).

Logos & symbols

today :: LaTeXC l => l

Render the date at compilation time.

thePage :: LaTeXC l => l

Render the current page.

tex :: LaTeXC l => l

TeX logo.

latex :: LaTeXC l => l

The LaTeX logo.

laTeX2 :: LaTeXC l => l

LaTeX logo.

laTeXe :: LaTeXC l => l

ldots :: LaTeXC l => l

Horizontal dots.

vdots :: LaTeXC l => l

Vertical dots.

ddots :: LaTeXC l => l

Diagonal dots.

HaTeX specific

hatex :: LaTeXC l => l

Print the HaTeX logo.

hatex3 :: LaTeXC l => l

Print the HaTeX 3 logo.

version :: Version

hatex_version :: LaTeXC l => l

Print the HaTeX logo, beside the complete version number.

Document layout

par :: LaTeXC l => l

Start a new paragraph

newline :: LaTeXC l => l

Start a new line.

lnbk :: LaTeXC l => l

Start a new line. In a tabular, it starts a new row, so use newline instead.

lnbk_ :: LaTeXC l => l

newpage :: LaTeXC l => l

cleardoublepage :: LaTeXC l => l

clearpage :: LaTeXC l => l

linebreak :: LaTeXC l => l -> l

nolinebreak :: LaTeXC l => l -> l

pagebreak :: LaTeXC l => l -> l

nopagebreak :: LaTeXC l => l -> l

hspace :: LaTeXC l => Measure -> l

hspace_ :: LaTeXC l => Measure -> l

vspace :: LaTeXC l => Measure -> l

hfill :: LaTeXC l => l

Fill out all available horizontal space.

vfill :: LaTeXC l => l

Fill out all available vertical space.

stretch :: LaTeXC l => Int -> l

smallskip :: LaTeXC l => l

bigskip :: LaTeXC l => l

baselineskip :: LaTeXC l => l

indent :: LaTeXC l => l

noindent :: LaTeXC l => l

Document measures

textwidth :: LaTeXC l => l

textheight :: LaTeXC l => l

linewidth :: LaTeXC l => l

Formatting text

verbatim :: LaTeXC l => Text -> l

The point of verbatim is to include text that will not be parsed as LaTeX in any way at all, but should simply appear as given in the document, in a separate display in typewriter font.

verb :: LaTeXC l => Text -> l

Include text, as given and in typewriter, but in-line. Note that, for LaTeX-specific technical reasons, verbatim text can generally only be used "at the top level", not in e.g. section titles or other command-arguments.

Unlike verbatim, which LaTeX implements as an ordinary environment, its command verb uses a syntax trick to avoid braking its parsing when the literal text contains a closing brace: rather than using braces at all, the first character after \verb will be the right delimiter as well. Translating this method to HaTeX wouldn't really make sense since Haskell has string literals with their own escaping possibilities; instead, we make it secure by automatically choosing a delimiter that does not turn up in the given string.

Fonts

textbf :: LaTeXC l => l -> l

Set the given argument to bold font face.

textit :: LaTeXC l => l -> l

texttt :: LaTeXC l => l -> l

Set the given argument to monospaced font.

textrm :: LaTeXC l => l -> l

textsf :: LaTeXC l => l -> l

textmd :: LaTeXC l => l -> l

textup :: LaTeXC l => l -> l

textsl :: LaTeXC l => l -> l

textsc :: LaTeXC l => l -> l

Set the given argument to small caps format.

textnormal :: LaTeXC l => l -> l

underline :: LaTeXC l => l -> l

emph :: LaTeXC l => l -> l

Sizes

Sizes are sorted from smallest to biggest.

tiny :: LaTeXC l => l -> l

scriptsize :: LaTeXC l => l -> l

footnotesize :: LaTeXC l => l -> l

small :: LaTeXC l => l -> l

normalsize :: LaTeXC l => l -> l

large :: LaTeXC l => l -> l

large2 :: LaTeXC l => l -> l

large3 :: LaTeXC l => l -> l

huge :: LaTeXC l => l -> l

huge2 :: LaTeXC l => l -> l

Environments

Math environments, such as equation, defined in Text.LaTeX.Packages.AMSMath.

enumerate :: LaTeXC l => l -> l

Environment of ordered lists. Use item to start each list item.

itemize :: LaTeXC l => l -> l

Environment of unordered lists. Use item to start each list item.

item :: LaTeXC l => Maybe l -> l

An item of a list (see enumerate or itemize). The optional argument sets the design of the item.

flushleft :: LaTeXC l => l -> l

Left-justify the argument.

flushright :: LaTeXC l => l -> l

Right-justify the argument.

center :: LaTeXC l => l -> l

Center-justify the argument.

quote :: LaTeXC l => l -> l

verse :: LaTeXC l => l -> l

cite :: LaTeXC l => l -> l

description :: LaTeXC l => l -> l

minipage

Arguments

:: LaTeXC l

=> Maybe Pos

Optional position

-> l

Width

-> l

Minipage content

-> l

Minipage environment.

figure

Arguments

:: LaTeXC l

=> Maybe Pos

Optional position

-> l

Figure content

-> l

Figure environment.

Page numbering

pagenumbering :: LaTeXC l => l -> l

arabic :: LaTeXC l => l

Arabic numerals.

roman :: LaTeXC l => l

Lowercase roman numerals.

roman_ :: LaTeXC l => l

Uppercase roman numerals.

alph :: LaTeXC l => l

Lowercase letters.

alph_ :: LaTeXC l => l

Uppercase letters.

Boxes

mbox :: LaTeXC l => l -> l

fbox :: LaTeXC l => l -> l

parbox :: LaTeXC l => Maybe Pos -> Measure -> l -> l

framebox :: LaTeXC l => Maybe Measure -> Maybe HPos -> l -> l

makebox :: LaTeXC l => Maybe Measure -> Maybe HPos -> l -> l

raisebox :: LaTeXC l => Measure -> Maybe Measure -> Maybe Measure -> l -> l

rule

Arguments

:: LaTeXC l

=> Maybe Measure

Optional lifting.

-> Measure

Width.

-> Measure

Height.

-> l

Produce a simple black box.

Cross references

caption :: LaTeXC l => l -> l

label :: LaTeXC l => l -> l

ref :: LaTeXC l => l -> l

pageref :: LaTeXC l => l -> l

Tables

tabular

Arguments

:: LaTeXC l

=> Maybe Pos

This optional parameter can be used to specify the vertical position of the table. Defaulted to Center.

-> [TableSpec]

Table specification of columns and vertical lines.

-> l

Table content. See &, lnbk, hline and cline.

-> l

Resulting table syntax.

The tabular environment can be used to typeset tables with optional horizontal and vertical lines.

array

Arguments

:: LaTeXC l

=> Maybe Pos

This optional parameter can be used to specify the vertical position of the table. Defaulted to Center.

-> [TableSpec]

Table specification of columns and vertical lines.

-> l

Table content. See &, lnbk, hline and cline.

-> l

Resulting table syntax.

Like tabular but in math mode by default

(&) :: LaTeXC l => l -> l -> l

Column separator.

hline :: LaTeXC l => l

Horizontal line.

cline :: LaTeXC l => Int -> Int -> l

cline i j writes a partial horizontal line beginning in column i and ending in column j.

multicolumn :: LaTeXC l => Int -> [TableSpec] -> l -> l

Cell taking multiple columns.

Special tables

matrixTabular

Arguments

:: (LaTeXC l, Texy a)

=> [l]

(Non-empty) List of column titles

-> Matrix a

Matrix of data

-> l

Data organized in a tabular environment

If you are able to arrange some data in matrix form, you might want to use this function to quickly generate a tabular with your data. Each element of the matrix is rendered using the Texy instance of its type. If you want a custom instance for an already instantiated type, wrap that type using newtype, and then create your own instance. Since every element of a matrix must be of the same type, for mixed tables you might want to create an union type. For example, if your data matrix contains Ints and Doubles:

data Number = R Double | I Int

instance Texy Number where
  texy (R x) = texy x
  texy (I x) = texy x

Now you can have a matrix of type Matrix Number and use it to render your mixed data in a LaTeX table.

The function matrixTabular does not give you many options, so it is not as flexible as generating the table by yourself, but it uses a reasonable standard style.

A very simple example:

matrixTabular (fmap textbf ["x","y","z"]) $
  fromList 3 3 [ (1 :: Int)..]

This code generates the following table:

For more examples see the file Examples/tables.hs, included in the source distribution.

For more info about how to generate and manipulate matrices, see Data.Matrix.

Others

footnote :: LaTeXC l => l -> l

protect :: LaTeXC l => l -> l

hyphenation :: LaTeXC l => l -> l

hyp :: LaTeXC l => l

qts :: LaTeXC l => l -> l

Quotation marks.

External files

input :: LaTeXC l => FilePath -> l

Import an external file and insert its content as it is.

include :: LaTeXC l => FilePath -> l

Similar to input, but forces a page break.

Note: the file you are including cannot include other files.