Language.LaTeX

Contents

Synopsis

Types

Instances

Eq Document
Data Document
Show Document
Typeable Document

type LineNumber = Int Source

type CharNumber = Int Source

data Loc Source

Instances

Eq Loc
Data Loc
Show Loc
Typeable Loc

data Note Source

Instances

Eq Note
Data Note
Show Note
Typeable Note

data Named a Source

Instances

Functor Named
Typeable1 Named
Foldable Named
Traversable Named
Eq a => Eq (Named a)
Data a => Data (Named a)
Show a => Show (Named a)

data DocumentClassKind Source

Instances

Eq DocumentClassKind
Data DocumentClassKind
Show DocumentClassKind
Typeable DocumentClassKind

data DocumentClss Source

Instances

Eq DocumentClss
Data DocumentClss
Show DocumentClss
Typeable DocumentClss

data Star Source

Instances

Eq Star
Data Star
Show Star
Typeable Star
Monoid Star

data Coord Source

Instances

Eq Coord
Data Coord
Show Coord
Typeable Coord

data Percentage Source

Instances

Eq Percentage
Num Percentage
Ord Percentage
Show Percentage

data TexUnit Source

Instances

Enum TexUnit
Eq TexUnit
Data TexUnit
Ord TexUnit
Show TexUnit
Typeable TexUnit

data LatexLength Source

Instances

Eq LatexLength
Fractional LatexLength
Data LatexLength
Num LatexLength
Show LatexLength
Typeable LatexLength
Monoid LatexLength

data RowSpec a Source

Instances

Functor RowSpec
Typeable1 RowSpec
Foldable RowSpec
Traversable RowSpec
Eq a => Eq (RowSpec a)
Data a => Data (RowSpec a)
Show a => Show (RowSpec a)
HaveR (RowSpec a)
HaveL (RowSpec a)
HaveC (RowSpec a)

data LocSpec Source

Instances

Eq LocSpec
Data LocSpec
Show LocSpec
Typeable LocSpec
HaveBot LocSpec
HaveTop LocSpec

data Pos Source

data LatexPaperSize Source

Instances

Eq LatexPaperSize
Data LatexPaperSize
Show LatexPaperSize
Typeable LatexPaperSize

data Row cell Source

Instances

Functor Row
Typeable1 Row
Foldable Row
Traversable Row
Eq cell => Eq (Row cell)
Data cell => Data (Row cell)
Show cell => Show (Row cell)

data PackageName Source

Instances

Eq PackageName
Data PackageName
Ord PackageName
Show PackageName
Typeable PackageName

data Key Source

Instances

Eq Key
Data Key
Show Key
Typeable Key

data SaveBin Source

Instances

Eq SaveBin
Data SaveBin
Show SaveBin
Typeable SaveBin

data LatexState Source

type TexDecl = LatexM TexDcl Source

type LatexItem = LatexM LatexItm Source

type ParItem = LatexM ParItm Source

type MathDecl = LatexM MathDcl Source

data AnyItem Source

Instances

Eq AnyItem
Data AnyItem
Show AnyItem
Typeable AnyItem

data MathItem Source

Instances

Eq MathItem
Fractional MathItem
Data MathItem
Num MathItem
Show MathItem
Typeable MathItem
IsString MathItem
Monoid MathItem
Greek MathItem

type ListItem = LatexM ListItm Source

type PreambleItem = LatexM PreambleItm Source

type DocumentClass = LatexM DocumentClss Source

data LatexM a Source

Instances

Monad LatexM
Functor LatexM
Typeable1 LatexM
MonadPlus LatexM
Applicative LatexM
MonadError ErrorMessage LatexM
Eq a => Eq (LatexM a)
Fractional a => Fractional (LatexM a)
Data a => Data (LatexM a)
Num a => Num (LatexM a)
Show a => Show (LatexM a)
IsString a => IsString (LatexM a)
Monoid a => Monoid (LatexM a)
Greek (LatexM LatexItm)

data Encoding Source

Type for encodings used in commands like. usepackage[utf8]{inputenc}, that we can express as useInputenc utf8.

Instances

Eq Encoding
Ord Encoding
Show Encoding

Internal types

data Arg a Source

Instances

Functor Arg
Typeable1 Arg
Foldable Arg
Traversable Arg
Eq a => Eq (Arg a)
Data a => Data (Arg a)
Show a => Show (Arg a)

data MathDcl Source

Instances

Eq MathDcl
Data MathDcl
Show MathDcl
Typeable MathDcl

data AnyItm Source

Instances

Eq AnyItm
Data AnyItm
Show AnyItm
Typeable AnyItm

data PreambleItm Source

Instances

Eq PreambleItm
Data PreambleItm
Show PreambleItm
Typeable PreambleItm
Monoid PreambleItm

data TexDcl Source

Instances

Eq TexDcl
Data TexDcl
Show TexDcl
Typeable TexDcl

data LatexItm Source

Instances

Eq LatexItm
Data LatexItm
Show LatexItm
Typeable LatexItm
IsString LatexItm
Monoid LatexItm
Greek (LatexM LatexItm)

data ParItm Source

Instances

Eq ParItm
Data ParItm
Show ParItm
Typeable ParItm
Monoid ParItm

data MathItm Source

Instances

Eq MathItm
Fractional MathItm
Data MathItm
Num MathItm
Show MathItm
Typeable MathItm
Monoid MathItm

data ListItm Source

Writer type aliases

type TexDeclW = Writer TexDecl ()Source

type LatexItemW = Writer LatexItem ()Source

type ParItemW = Writer ParItem ()Source

type MathDeclW = Writer MathDecl ()Source

type MathItemW = Writer MathItem ()Source

type PreambleItemW = Writer PreambleItem ()Source

Utils

module Language.LaTeX.Builder.MonoidUtils

(!$) :: Monoid b => (a -> b) -> a -> Writer b ()Source

($?) :: (a -> b) -> Writer a () -> bSource

(!$?) :: Monoid b => (a -> b) -> Writer a () -> Writer b ()Source

tell :: MonadWriter w m => w -> m ()

tell w is an action that produces the output w.

type Writer w = WriterT w Identity

A writer monad parameterized by the type w of output to accumulate.

The return function produces the output mempty, while >>= combines the outputs of the subcomputations using mappend.

(★) :: Star Source

class Monoid a where

The class of monoids (types with an associative binary operation that has an identity). Instances should satisfy the following laws:

```
mappend mempty x = x
```
```
mappend x mempty = x
```

mappend x (mappend y z) = mappend (mappend x y) z

```
mconcat = foldr mappend mempty
```

The method names refer to the monoid of lists under concatenation, but there are many other instances.

Minimal complete definition: mempty and mappend.

Some types can be viewed as a monoid in more than one way, e.g. both addition and multiplication on numbers. In such cases we often define newtypes and make those instances of Monoid, e.g. Sum and Product.

Methods

mempty :: a

Identity of mappend

mappend :: a -> a -> a

An associative operation

mconcat :: [a] -> a

Fold a list using the monoid. For most types, the default definition for mconcat will be used, but the function is included in the class definition so that an optimized version can be provided for specific types.

Instances

Monoid Ordering
Monoid ()
Monoid All
Monoid Any
Monoid ByteString
Monoid ByteString
Monoid Doc
Monoid Text
Monoid Text
Monoid MathItem
Monoid LatexLength
Monoid MathItm
Monoid ParItm
Monoid Star
Monoid LatexItm
Monoid PreambleItm
Monoid [a]
Monoid a => Monoid (Dual a)
Monoid (Endo a)
Num a => Monoid (Sum a)
Num a => Monoid (Product a)
Monoid (First a)
Monoid (Last a)
Monoid a => Monoid (Maybe a)	Lift a semigroup into `Maybe` forming a `Monoid` according to http://en.wikipedia.org/wiki/Monoid: "Any semigroup `S` may be turned into a monoid simply by adjoining an element `e` not in `S` and defining `ee = e` and `es = s = s*e` for all `s S`." Since there is no "Semigroup" typeclass providing just `mappend`, we use `Monoid` instead.
Monoid (IntMap a)
Ord a => Monoid (Set a)
Monoid a => Monoid (LatexM a)
Monoid b => Monoid (a -> b)
(Monoid a, Monoid b) => Monoid (a, b)
(Monoid a, Monoid b, Monoid c) => Monoid (a, b, c)
(Monoid a, Monoid b, Monoid c, Monoid d) => Monoid (a, b, c, d)
(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e) => Monoid (a, b, c, d, e)

printLatexDocument :: LatexM Document -> IO ()Source

data ViewOpts Source

Constructors

ViewOpts
Fields basedir :: FilePath pdflatex :: String pdfviewer :: String inputdirs :: [FilePath] showoutput :: Bool

quickView :: ViewOpts -> FilePath -> LatexM Document -> IO ()Source

myViewOpts, testViewOpts :: ViewOpts Source

showLaTeX :: LatexM Document -> Either ErrorMessage String Source

runLatexM :: LatexM a -> Either ErrorMessage aSource