Copyright	Copyright (C) 2017-2018 John MacFarlane
License	GNU GPL, version 2 or above
Maintainer	John MacFarlane <jgm@berkeley.edu>
Stability	alpha
Portability	portable
Safe Haskell	Safe
Language	Haskell2010

Text.Pandoc.Readers.LaTeX.Types

Description

Types for LaTeX tokens and macros.

Synopsis

data Tok = Tok SourcePos TokType Text
data TokType
- = CtrlSeq Text
- | Spaces
- | Newline
- | Symbol
- | Word
- | Comment
- | Esc1
- | Esc2
- | Arg Int
data Macro = Macro ExpansionPoint Int (Maybe [Tok]) [Tok]
data ExpansionPoint
- = ExpandWhenDefined
- | ExpandWhenUsed
data SourcePos

Documentation

data Tok Source #

Constructors

Tok SourcePos TokType Text

Instances

Eq Tok Source #
Instance details Defined in Text.Pandoc.Readers.LaTeX.Types Methods (==) :: Tok -> Tok -> Bool # (/=) :: Tok -> Tok -> Bool #
Ord Tok Source #
Instance details Defined in Text.Pandoc.Readers.LaTeX.Types Methods compare :: Tok -> Tok -> Ordering # (<) :: Tok -> Tok -> Bool # (<=) :: Tok -> Tok -> Bool # (>) :: Tok -> Tok -> Bool # (>=) :: Tok -> Tok -> Bool # max :: Tok -> Tok -> Tok # min :: Tok -> Tok -> Tok #
Show Tok Source #
Instance details Defined in Text.Pandoc.Readers.LaTeX.Types Methods showsPrec :: Int -> Tok -> ShowS # show :: Tok -> String # showList :: [Tok] -> ShowS #

data TokType Source #

Constructors

CtrlSeq Text
Spaces
Newline
Symbol
Word
Comment
Esc1
Esc2
Arg Int

Instances

Eq TokType Source #
Instance details Defined in Text.Pandoc.Readers.LaTeX.Types Methods (==) :: TokType -> TokType -> Bool # (/=) :: TokType -> TokType -> Bool #
Ord TokType Source #
Instance details Defined in Text.Pandoc.Readers.LaTeX.Types Methods compare :: TokType -> TokType -> Ordering # (<) :: TokType -> TokType -> Bool # (<=) :: TokType -> TokType -> Bool # (>) :: TokType -> TokType -> Bool # (>=) :: TokType -> TokType -> Bool # max :: TokType -> TokType -> TokType # min :: TokType -> TokType -> TokType #
Show TokType Source #
Instance details Defined in Text.Pandoc.Readers.LaTeX.Types Methods showsPrec :: Int -> TokType -> ShowS # show :: TokType -> String # showList :: [TokType] -> ShowS #

data Macro Source #

Constructors

Macro ExpansionPoint Int (Maybe [Tok]) [Tok]

Instances

Show Macro Source #
Instance details Defined in Text.Pandoc.Readers.LaTeX.Types Methods showsPrec :: Int -> Macro -> ShowS # show :: Macro -> String # showList :: [Macro] -> ShowS #

data ExpansionPoint Source #

Constructors

ExpandWhenDefined
ExpandWhenUsed

Instances

Eq ExpansionPoint Source #
Instance details Defined in Text.Pandoc.Readers.LaTeX.Types Methods (==) :: ExpansionPoint -> ExpansionPoint -> Bool # (/=) :: ExpansionPoint -> ExpansionPoint -> Bool #
Ord ExpansionPoint Source #
Instance details Defined in Text.Pandoc.Readers.LaTeX.Types Methods compare :: ExpansionPoint -> ExpansionPoint -> Ordering # (<) :: ExpansionPoint -> ExpansionPoint -> Bool # (<=) :: ExpansionPoint -> ExpansionPoint -> Bool # (>) :: ExpansionPoint -> ExpansionPoint -> Bool # (>=) :: ExpansionPoint -> ExpansionPoint -> Bool # max :: ExpansionPoint -> ExpansionPoint -> ExpansionPoint # min :: ExpansionPoint -> ExpansionPoint -> ExpansionPoint #
Show ExpansionPoint Source #
Instance details Defined in Text.Pandoc.Readers.LaTeX.Types Methods showsPrec :: Int -> ExpansionPoint -> ShowS # show :: ExpansionPoint -> String # showList :: [ExpansionPoint] -> ShowS #

data SourcePos #

The abstract data type SourcePos represents source positions. It contains the name of the source (i.e. file name), a line number and a column number. SourcePos is an instance of the Show, Eq and Ord class.

Instances

Eq SourcePos
Instance details Defined in Text.Parsec.Pos Methods (==) :: SourcePos -> SourcePos -> Bool # (/=) :: SourcePos -> SourcePos -> Bool #
Data SourcePos
Instance details Defined in Text.Parsec.Pos Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SourcePos -> c SourcePos # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SourcePos # toConstr :: SourcePos -> Constr # dataTypeOf :: SourcePos -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SourcePos) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SourcePos) # gmapT :: (forall b. Data b => b -> b) -> SourcePos -> SourcePos # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SourcePos -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SourcePos -> r # gmapQ :: (forall d. Data d => d -> u) -> SourcePos -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SourcePos -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SourcePos -> m SourcePos # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SourcePos -> m SourcePos # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SourcePos -> m SourcePos #
Ord SourcePos
Instance details Defined in Text.Parsec.Pos Methods compare :: SourcePos -> SourcePos -> Ordering # (<) :: SourcePos -> SourcePos -> Bool # (<=) :: SourcePos -> SourcePos -> Bool # (>) :: SourcePos -> SourcePos -> Bool # (>=) :: SourcePos -> SourcePos -> Bool # max :: SourcePos -> SourcePos -> SourcePos # min :: SourcePos -> SourcePos -> SourcePos #
Show SourcePos
Instance details Defined in Text.Parsec.Pos Methods showsPrec :: Int -> SourcePos -> ShowS # show :: SourcePos -> String # showList :: [SourcePos] -> ShowS #