Text.LaTeX.Base.Types

Some types shared along the library.

Documentation

type ClassName = String

Class names are represented by a String.

type PackageName = String

Package names are represented by a String.

type PageStyle = String

Page styles are represented by a String.

data Label

Type of labels.

Instances

Render Label

Defined in Text.LaTeX.Base.Types

Methods

render :: Label -> Text

renderBuilder :: Label -> Builder

IsString Label

Defined in Text.LaTeX.Base.Types

Methods

fromString :: String -> Label

Show Label

Defined in Text.LaTeX.Base.Types

Methods

showsPrec :: Int -> Label -> ShowS

show :: Label -> String

showList :: [Label] -> ShowS

Eq Label

Defined in Text.LaTeX.Base.Types

Methods

(==) :: Label -> Label -> Bool

(/=) :: Label -> Label -> Bool

createLabel :: String -> Label

Create a label from its name.

labelName :: Label -> String

Get the name of a label.

data Pos

Vertical position. Here and ForcePos are used with table environments.

Constructors

Bottom

Center

Top

Here

ForcePos

Instances

Render Pos

Defined in Text.LaTeX.Base.Types

Methods

render :: Pos -> Text

renderBuilder :: Pos -> Builder

Show Pos

Defined in Text.LaTeX.Base.Types

Methods

showsPrec :: Int -> Pos -> ShowS

show :: Pos -> String

showList :: [Pos] -> ShowS

data HPos

Horizontal position.

Constructors

HLeft

HCenter

HRight

Instances

Render HPos

Defined in Text.LaTeX.Base.Types

Methods

render :: HPos -> Text

renderBuilder :: HPos -> Builder

Show HPos

Defined in Text.LaTeX.Base.Types

Methods

showsPrec :: Int -> HPos -> ShowS

show :: HPos -> String

showList :: [HPos] -> ShowS

data TableSpec

Type of table specifications.

Constructors

LeftColumn

Left-justified column.

CenterColumn

Centered column.

RightColumn

Right-justified column.

ParColumnTop LaTeX

Paragraph column with text vertically aligned at the top.

ParColumnMid LaTeX

Paragraph column with text vertically aligned at the middle. Requires array package.

ParColumnBot LaTeX

Paragraph column with text vertically aligned at the bottom. Requires array package.

NameColumn String

User defined column. Requires array package.

BeforeColumn LaTeX

Can be used before a LeftColumn, CenterColumn, RightColumn, ParColumnTop, ParColumnMid or a ParColumnBot specification. Inserts the code directly in front of the entry of the column. Requires array package.

AfterColumn LaTeX

Can be used after a LeftColumn, CenterColumn, RightColumn, ParColumnTop, ParColumnMid or a ParColumnBot specification. Inserts the code directly in front of the entry of the column. Requires array package.

VerticalLine

Vertical line between two columns.

DVerticalLine

Double vertical line between two columns.

Separator LaTeX

Column separator. Requires array package.

Instances

Render TableSpec

Defined in Text.LaTeX.Base.Types

Methods

render :: TableSpec -> Text

renderBuilder :: TableSpec -> Builder

Show TableSpec

Defined in Text.LaTeX.Base.Types

Methods

showsPrec :: Int -> TableSpec -> ShowS

show :: TableSpec -> String

showList :: [TableSpec] -> ShowS

data Measure

Measure units defined in LaTeX. Use CustomMeasure to use commands like textwidth. For instance:

rule Nothing (CustomMeasure linewidth) (Pt 2)

This will create a black box (see rule) as wide as the text and two points tall.

Constructors

Pt Double

A point is 1/72.27 inch, that means about 0.0138 inch or 0.3515 mm.

Mm Double

Millimeter.

Cm Double

Centimeter.

In Double

Inch.

Ex Double

The height of an "x" in the current font.

Em Double

The width of an "M" in the current font.

CustomMeasure LaTeX

You can introduce a LaTeX expression as a measure.

Instances

Render Measure

Defined in Text.LaTeX.Base.Render

Methods

render :: Measure -> Text

renderBuilder :: Measure -> Builder

Texy Measure

Defined in Text.LaTeX.Base.Texy

Methods

texy :: LaTeXC l => Measure -> l

Arbitrary Measure

Defined in Text.LaTeX.Base.Syntax

Methods

arbitrary :: Gen Measure

shrink :: Measure -> [Measure]

Data Measure

Defined in Text.LaTeX.Base.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Measure -> c Measure

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Measure

toConstr :: Measure -> Constr

dataTypeOf :: Measure -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Measure)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Measure)

gmapT :: (forall b. Data b => b -> b) -> Measure -> Measure

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Measure -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Measure -> r

gmapQ :: (forall d. Data d => d -> u) -> Measure -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Measure -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Measure -> m Measure

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Measure -> m Measure

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Measure -> m Measure

Generic Measure

Defined in Text.LaTeX.Base.Syntax

Associated Types

type Rep Measure :: Type -> Type

Methods

from :: Measure -> Rep Measure x

to :: Rep Measure x -> Measure

Show Measure

Defined in Text.LaTeX.Base.Syntax

Methods

showsPrec :: Int -> Measure -> ShowS

show :: Measure -> String

showList :: [Measure] -> ShowS

Eq Measure

Defined in Text.LaTeX.Base.Syntax

Methods

(==) :: Measure -> Measure -> Bool

(/=) :: Measure -> Measure -> Bool

Hashable Measure

Defined in Text.LaTeX.Base.Syntax

Methods

hashWithSalt :: Int -> Measure -> Int

hash :: Measure -> Int

type Rep Measure

Defined in Text.LaTeX.Base.Syntax

type Rep Measure = D1 ('MetaData "Measure" "Text.LaTeX.Base.Syntax" "HaTeX-3.22.3.2-HZvUhlnm8H82ymAYOfPoYP" 'False) ((C1 ('MetaCons "Pt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)) :+: (C1 ('MetaCons "Mm" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)) :+: C1 ('MetaCons "Cm" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))) :+: ((C1 ('MetaCons "In" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)) :+: C1 ('MetaCons "Ex" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double))) :+: (C1 ('MetaCons "Em" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)) :+: C1 ('MetaCons "CustomMeasure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LaTeX)))))