Safe Haskell	None
Language	Haskell2010

Language.LaTeX.Types

Contents

Orphan instances

Synopsis

data Document = Document {
- documentClass :: DocumentClss
- documentPreamble :: PreambleItm
- documentBody :: ParItm
}
type LineNumber = Int
type CharNumber = Int
data Loc = Loc {
- locFile :: FilePath
- locLine :: LineNumber
- locChar :: CharNumber
}
data Note
- = TextNote String
- | IntNote Int
- | LocNote Loc
data DocumentClassKind
- = Article
- | Book
- | Report
- | Letter
- | OtherDocumentClassKind String
data DocumentClss = DocClass {
- docClassKind :: DocumentClassKind
- docClassOptions :: [AnyItm]
}
data AnyItm
- = PreambleItm PreambleItm
- | LatexItm LatexItm
- | MathItm MathItm
- | ParItm ParItm
- | LocSpecs [LocSpec]
- | Key Key
- | PackageName PackageName
- | Coord Coord
- | Length LatexLength
- | SaveBin SaveBin
data PreambleItm
- = PreambleCmdArgs String [Arg AnyItm]
- | PreambleEnv String [Arg AnyItm] AnyItm
- | PreambleCast AnyItm
- | PreambleConcat [PreambleItm]
- | RawPreamble String
- | PreambleNote Key Note PreambleItm
data TexDcl = TexDcl {
- texDeclName :: String
- texDeclArgs :: [Arg AnyItm]
}
data LatexItm
- = LatexCmdArgs String [Arg LatexItm]
- | LatexCmdAnyArgs String [Arg AnyItm]
- | TexDecls [TexDcl]
- | TexCmdNoArg String
- | TexCmdArg String LatexItm
- | Environment String [Arg AnyItm] AnyItm
- | RawTex String
- | LatexCast AnyItm
- | TexGroup LatexItm
- | LatexEmpty
- | LatexAppend LatexItm LatexItm
- | LatexNote Key Note LatexItm
appendAny :: AnyItm -> AnyItm -> Maybe AnyItm
data Named a = Named String a
data PackageAction
- = PackageDependency PackageName
- | ProvidePackage PackageName
data Arg a
- = NoArg
- | StarArg
- | Mandatory [a]
- | Optional [a]
- | NamedArgs [Named a]
- | NamedOpts [Named a]
- | Coordinates a a
- | RawArg String
- | LiftArg a
- | PackageAction PackageAction
data Star
- = Star
- | NoStar
data Coord = MkCoord LatexLength LatexLength
newtype Percentage = Percentage {
- percentage :: Int
}
data ParItm
- = ParCmdArgs String [Arg AnyItm]
- | ParEnv String [Arg AnyItm] AnyItm
- | Tabular [RowSpec LatexItm] [Row LatexItm]
- | RawParMode String
- | ParCast AnyItm
- | ParGroup ParItm
- | ParConcat [ParItm]
- | ParNote Key Note ParItm
unParNote :: ParItm -> Maybe (Key, Note, ParItm)
uncatParItm :: ParItm -> [ParItm]
newtype MathDcl = MathDcl String
data MathItm
- = MathDecls [MathDcl]
- | MathCmdArgs String [Arg AnyItm]
- | MathArray [RowSpec MathItm] [Row MathItm]
- | RawMath String
- | MathCast AnyItm
- | MathRat Rational
- | MathGroup MathItm
- | MathConcat [MathItm]
- | MathBinOp String MathItm MathItm
- | MathUnOp String MathItm
- | MathNote Key Note MathItm
data TexUnit
- = Sp
- | Pt
- | Bp
- | Dd
- | Em
- | Ex
- | Cm
- | Mm
- | In
- | Pc
- | Cc
- | Mu
data LatexLength
- = LengthScaledBy Rational LatexLength
- | LengthCmdRatArg String Rational
- | LengthCmd String
- | LengthCst (Maybe TexUnit) Rational
lengthCst :: LatexLength -> Maybe (Maybe TexUnit, Rational)
safeLengthOp :: String -> (Rational -> Rational -> Rational) -> LatexLength -> LatexLength -> LatexLength
scaleBy :: Rational -> LatexLength -> LatexLength
data RowSpec a
- = Rc
- | Rl
- | Rr
- | Rvline
- | Rtext a
data LocSpec
- = Lh
- | Lt
- | Lb
- | Lp
locSpecChar :: LocSpec -> Char
data Pos
- = Centered
- | FlushLeft
- | FlushRight
- | Stretch
charPos :: Pos -> Char
data LatexPaperSize
- = A4paper
- | OtherPaperSize String
data Row cell
- = Cells [cell]
- | Hline
- | Cline Int Int
data ListItm = ListItm {
- itemOptions :: [Arg LatexItm]
- itemContents :: ParItm
}
newtype PackageName = PkgName {
- getPkgName :: String
}
newtype Key = MkKey {
- getKey :: String
}
newtype SaveBin = UnsafeMakeSaveBin {
- unsafeGetSaveBin :: Int
}
data LatexState = LS {
- freshSaveBin :: SaveBin
}
type ErrorMessage = String
newtype LatexM a = LatexM {
- runLatexM :: Either ErrorMessage a
}
type TexDecl = LatexM TexDcl
type LatexItem = LatexM LatexItm
type ParItem = LatexM ParItm
type MathDecl = LatexM MathDcl
newtype AnyItem = AnyItem {
- anyItmM :: LatexM AnyItm
}
newtype MathItem = MathItem {
- mathItmM :: LatexM MathItm
}
type ListItem = LatexM ListItm
type PreambleItem = LatexM PreambleItm
type DocumentClass = LatexM DocumentClss
type TexDeclW = Writer TexDecl ()
type LatexItemW = Writer LatexItem ()
type ParItemW = Writer ParItem ()
type MathDeclW = Writer MathDecl ()
type MathItemW = Writer MathItem ()
type PreambleItemW = Writer PreambleItem ()
rawhchar :: Char -> String
newtype Encoding = Encoding {
- fromEncoding :: String
}

Documentation

data Document Source #

Constructors

Document
Fields documentClass :: DocumentClss documentPreamble :: PreambleItm documentBody :: ParItm

Instances

Eq Document Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: Document -> Document -> Bool # (/=) :: Document -> Document -> Bool #
Data Document Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Document -> c Document # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Document # toConstr :: Document -> Constr # dataTypeOf :: Document -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Document) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Document) # gmapT :: (forall b. Data b => b -> b) -> Document -> Document # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Document -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Document -> r # gmapQ :: (forall d. Data d => d -> u) -> Document -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Document -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Document -> m Document # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Document -> m Document # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Document -> m Document #
Show Document Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> Document -> ShowS # show :: Document -> String # showList :: [Document] -> ShowS #

type LineNumber = Int Source #

type CharNumber = Int Source #

data Loc Source #

Constructors

Loc
Fields locFile :: FilePath locLine :: LineNumber locChar :: CharNumber

Instances

Eq Loc Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: Loc -> Loc -> Bool # (/=) :: Loc -> Loc -> Bool #
Data Loc Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Loc -> c Loc # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Loc # toConstr :: Loc -> Constr # dataTypeOf :: Loc -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Loc) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Loc) # gmapT :: (forall b. Data b => b -> b) -> Loc -> Loc # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Loc -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Loc -> r # gmapQ :: (forall d. Data d => d -> u) -> Loc -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Loc -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Loc -> m Loc # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Loc -> m Loc # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Loc -> m Loc #
Show Loc Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> Loc -> ShowS # show :: Loc -> String # showList :: [Loc] -> ShowS #

data Note Source #

Constructors

TextNote String
IntNote Int
LocNote Loc

Instances

Eq Note Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: Note -> Note -> Bool # (/=) :: Note -> Note -> Bool #
Data Note Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Note -> c Note # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Note # toConstr :: Note -> Constr # dataTypeOf :: Note -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Note) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Note) # gmapT :: (forall b. Data b => b -> b) -> Note -> Note # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Note -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Note -> r # gmapQ :: (forall d. Data d => d -> u) -> Note -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Note -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Note -> m Note # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Note -> m Note # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Note -> m Note #
Show Note Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> Note -> ShowS # show :: Note -> String # showList :: [Note] -> ShowS #

data DocumentClassKind Source #

Constructors

Article
Book
Report
Letter
OtherDocumentClassKind String

Instances

Eq DocumentClassKind Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: DocumentClassKind -> DocumentClassKind -> Bool # (/=) :: DocumentClassKind -> DocumentClassKind -> Bool #
Data DocumentClassKind Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DocumentClassKind -> c DocumentClassKind # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DocumentClassKind # toConstr :: DocumentClassKind -> Constr # dataTypeOf :: DocumentClassKind -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DocumentClassKind) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DocumentClassKind) # gmapT :: (forall b. Data b => b -> b) -> DocumentClassKind -> DocumentClassKind # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DocumentClassKind -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DocumentClassKind -> r # gmapQ :: (forall d. Data d => d -> u) -> DocumentClassKind -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DocumentClassKind -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DocumentClassKind -> m DocumentClassKind # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DocumentClassKind -> m DocumentClassKind # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DocumentClassKind -> m DocumentClassKind #
Show DocumentClassKind Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> DocumentClassKind -> ShowS # show :: DocumentClassKind -> String # showList :: [DocumentClassKind] -> ShowS #

data DocumentClss Source #

Constructors

DocClass
Fields docClassKind :: DocumentClassKind docClassOptions :: [AnyItm]

Instances

Eq DocumentClss Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: DocumentClss -> DocumentClss -> Bool # (/=) :: DocumentClss -> DocumentClss -> Bool #
Data DocumentClss Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DocumentClss -> c DocumentClss # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DocumentClss # toConstr :: DocumentClss -> Constr # dataTypeOf :: DocumentClss -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DocumentClss) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DocumentClss) # gmapT :: (forall b. Data b => b -> b) -> DocumentClss -> DocumentClss # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DocumentClss -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DocumentClss -> r # gmapQ :: (forall d. Data d => d -> u) -> DocumentClss -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DocumentClss -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DocumentClss -> m DocumentClss # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DocumentClss -> m DocumentClss # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DocumentClss -> m DocumentClss #
Show DocumentClss Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> DocumentClss -> ShowS # show :: DocumentClss -> String # showList :: [DocumentClss] -> ShowS #

data AnyItm Source #

Constructors

PreambleItm PreambleItm
LatexItm LatexItm
MathItm MathItm
ParItm ParItm
LocSpecs [LocSpec]
Key Key
PackageName PackageName
Coord Coord
Length LatexLength
SaveBin SaveBin

Instances

Eq AnyItm Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: AnyItm -> AnyItm -> Bool # (/=) :: AnyItm -> AnyItm -> Bool #
Data AnyItm Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AnyItm -> c AnyItm # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AnyItm # toConstr :: AnyItm -> Constr # dataTypeOf :: AnyItm -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AnyItm) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AnyItm) # gmapT :: (forall b. Data b => b -> b) -> AnyItm -> AnyItm # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AnyItm -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AnyItm -> r # gmapQ :: (forall d. Data d => d -> u) -> AnyItm -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AnyItm -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AnyItm -> m AnyItm # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AnyItm -> m AnyItm # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AnyItm -> m AnyItm #
Show AnyItm Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> AnyItm -> ShowS # show :: AnyItm -> String # showList :: [AnyItm] -> ShowS #

data PreambleItm Source #

Constructors

PreambleCmdArgs String [Arg AnyItm]
PreambleEnv String [Arg AnyItm] AnyItm
PreambleCast AnyItm
PreambleConcat [PreambleItm]
RawPreamble String
PreambleNote Key Note PreambleItm

Instances

Eq PreambleItm Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: PreambleItm -> PreambleItm -> Bool # (/=) :: PreambleItm -> PreambleItm -> Bool #
Data PreambleItm Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PreambleItm -> c PreambleItm # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PreambleItm # toConstr :: PreambleItm -> Constr # dataTypeOf :: PreambleItm -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PreambleItm) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PreambleItm) # gmapT :: (forall b. Data b => b -> b) -> PreambleItm -> PreambleItm # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PreambleItm -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PreambleItm -> r # gmapQ :: (forall d. Data d => d -> u) -> PreambleItm -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PreambleItm -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PreambleItm -> m PreambleItm # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PreambleItm -> m PreambleItm # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PreambleItm -> m PreambleItm #
Show PreambleItm Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> PreambleItm -> ShowS # show :: PreambleItm -> String # showList :: [PreambleItm] -> ShowS #
Semigroup PreambleItm Source #
Instance details Defined in Language.LaTeX.Types Methods (<>) :: PreambleItm -> PreambleItm -> PreambleItm # sconcat :: NonEmpty PreambleItm -> PreambleItm # stimes :: Integral b => b -> PreambleItm -> PreambleItm #
Monoid PreambleItm Source #
Instance details Defined in Language.LaTeX.Types Methods mempty :: PreambleItm # mappend :: PreambleItm -> PreambleItm -> PreambleItm # mconcat :: [PreambleItm] -> PreambleItm #

data TexDcl Source #

Constructors

TexDcl
Fields texDeclName :: String texDeclArgs :: [Arg AnyItm]

Instances

Eq TexDcl Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: TexDcl -> TexDcl -> Bool # (/=) :: TexDcl -> TexDcl -> Bool #
Data TexDcl Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TexDcl -> c TexDcl # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TexDcl # toConstr :: TexDcl -> Constr # dataTypeOf :: TexDcl -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TexDcl) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TexDcl) # gmapT :: (forall b. Data b => b -> b) -> TexDcl -> TexDcl # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TexDcl -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TexDcl -> r # gmapQ :: (forall d. Data d => d -> u) -> TexDcl -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TexDcl -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TexDcl -> m TexDcl # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TexDcl -> m TexDcl # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TexDcl -> m TexDcl #
Show TexDcl Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> TexDcl -> ShowS # show :: TexDcl -> String # showList :: [TexDcl] -> ShowS #

data LatexItm Source #

Instances

Eq LatexItm Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: LatexItm -> LatexItm -> Bool # (/=) :: LatexItm -> LatexItm -> Bool #
Data LatexItm Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LatexItm -> c LatexItm # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LatexItm # toConstr :: LatexItm -> Constr # dataTypeOf :: LatexItm -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LatexItm) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LatexItm) # gmapT :: (forall b. Data b => b -> b) -> LatexItm -> LatexItm # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LatexItm -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LatexItm -> r # gmapQ :: (forall d. Data d => d -> u) -> LatexItm -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> LatexItm -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LatexItm -> m LatexItm # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LatexItm -> m LatexItm # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LatexItm -> m LatexItm #
Show LatexItm Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> LatexItm -> ShowS # show :: LatexItm -> String # showList :: [LatexItm] -> ShowS #
IsString LatexItm Source #
Instance details Defined in Language.LaTeX.Types Methods fromString :: String -> LatexItm #
Semigroup LatexItm Source #
Instance details Defined in Language.LaTeX.Types Methods (<>) :: LatexItm -> LatexItm -> LatexItm # sconcat :: NonEmpty LatexItm -> LatexItm # stimes :: Integral b => b -> LatexItm -> LatexItm #
Monoid LatexItm Source #
Instance details Defined in Language.LaTeX.Types Methods mempty :: LatexItm # mappend :: LatexItm -> LatexItm -> LatexItm # mconcat :: [LatexItm] -> LatexItm #
Greek (LatexM LatexItm) Source #
Instance details Defined in Language.LaTeX.Unicode Methods α :: LatexM LatexItm Source # β :: LatexM LatexItm Source # χ :: LatexM LatexItm Source # δ :: LatexM LatexItm Source # _Δ :: LatexM LatexItm Source # ε :: LatexM LatexItm Source # η :: LatexM LatexItm Source # γ :: LatexM LatexItm Source # _Γ :: LatexM LatexItm Source # ι :: LatexM LatexItm Source # κ :: LatexM LatexItm Source # λ :: LatexM LatexItm Source # _Λ :: LatexM LatexItm Source # μ :: LatexM LatexItm Source # ν :: LatexM LatexItm Source # ω :: LatexM LatexItm Source # _Ω :: LatexM LatexItm Source # ο :: LatexM LatexItm Source # φ :: LatexM LatexItm Source # _Φ :: LatexM LatexItm Source # π :: LatexM LatexItm Source # _Π :: LatexM LatexItm Source # ψ :: LatexM LatexItm Source # ρ :: LatexM LatexItm Source # σ :: LatexM LatexItm Source # _Σ :: LatexM LatexItm Source # τ :: LatexM LatexItm Source # θ :: LatexM LatexItm Source # _Θ :: LatexM LatexItm Source # ξ :: LatexM LatexItm Source # ζ :: LatexM LatexItm Source #

appendAny :: AnyItm -> AnyItm -> Maybe AnyItm Source #

data Named a Source #

Constructors

Named String a

Instances

Functor Named Source #
Instance details Defined in Language.LaTeX.Types Methods fmap :: (a -> b) -> Named a -> Named b # (<$) :: a -> Named b -> Named a #
Foldable Named Source #
Instance details Defined in Language.LaTeX.Types Methods fold :: Monoid m => Named m -> m # foldMap :: Monoid m => (a -> m) -> Named a -> m # foldr :: (a -> b -> b) -> b -> Named a -> b # foldr' :: (a -> b -> b) -> b -> Named a -> b # foldl :: (b -> a -> b) -> b -> Named a -> b # foldl' :: (b -> a -> b) -> b -> Named a -> b # foldr1 :: (a -> a -> a) -> Named a -> a # foldl1 :: (a -> a -> a) -> Named a -> a # toList :: Named a -> [a] # null :: Named a -> Bool # length :: Named a -> Int # elem :: Eq a => a -> Named a -> Bool # maximum :: Ord a => Named a -> a # minimum :: Ord a => Named a -> a # sum :: Num a => Named a -> a # product :: Num a => Named a -> a #
Traversable Named Source #
Instance details Defined in Language.LaTeX.Types Methods traverse :: Applicative f => (a -> f b) -> Named a -> f (Named b) # sequenceA :: Applicative f => Named (f a) -> f (Named a) # mapM :: Monad m => (a -> m b) -> Named a -> m (Named b) # sequence :: Monad m => Named (m a) -> m (Named a) #
Eq a => Eq (Named a) Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: Named a -> Named a -> Bool # (/=) :: Named a -> Named a -> Bool #
Data a => Data (Named a) Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Named a -> c (Named a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Named a) # toConstr :: Named a -> Constr # dataTypeOf :: Named a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Named a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Named a)) # gmapT :: (forall b. Data b => b -> b) -> Named a -> Named a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Named a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Named a -> r # gmapQ :: (forall d. Data d => d -> u) -> Named a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Named a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Named a -> m (Named a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Named a -> m (Named a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Named a -> m (Named a) #
Show a => Show (Named a) Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> Named a -> ShowS # show :: Named a -> String # showList :: [Named a] -> ShowS #

data PackageAction Source #

Constructors

PackageDependency PackageName
ProvidePackage PackageName

Instances

Eq PackageAction Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: PackageAction -> PackageAction -> Bool # (/=) :: PackageAction -> PackageAction -> Bool #
Data PackageAction Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PackageAction -> c PackageAction # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PackageAction # toConstr :: PackageAction -> Constr # dataTypeOf :: PackageAction -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PackageAction) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PackageAction) # gmapT :: (forall b. Data b => b -> b) -> PackageAction -> PackageAction # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PackageAction -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PackageAction -> r # gmapQ :: (forall d. Data d => d -> u) -> PackageAction -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PackageAction -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PackageAction -> m PackageAction # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PackageAction -> m PackageAction # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PackageAction -> m PackageAction #
Show PackageAction Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> PackageAction -> ShowS # show :: PackageAction -> String # showList :: [PackageAction] -> ShowS #

data Arg a Source #

Constructors

NoArg
StarArg
Mandatory [a]
Optional [a]
NamedArgs [Named a]
NamedOpts [Named a]
Coordinates a a
RawArg String
LiftArg a
PackageAction PackageAction

Instances

Functor Arg Source #
Instance details Defined in Language.LaTeX.Types Methods fmap :: (a -> b) -> Arg a -> Arg b # (<$) :: a -> Arg b -> Arg a #
Foldable Arg Source #
Instance details Defined in Language.LaTeX.Types Methods fold :: Monoid m => Arg m -> m # foldMap :: Monoid m => (a -> m) -> Arg a -> m # foldr :: (a -> b -> b) -> b -> Arg a -> b # foldr' :: (a -> b -> b) -> b -> Arg a -> b # foldl :: (b -> a -> b) -> b -> Arg a -> b # foldl' :: (b -> a -> b) -> b -> Arg a -> b # foldr1 :: (a -> a -> a) -> Arg a -> a # foldl1 :: (a -> a -> a) -> Arg a -> a # toList :: Arg a -> [a] # null :: Arg a -> Bool # length :: Arg a -> Int # elem :: Eq a => a -> Arg a -> Bool # maximum :: Ord a => Arg a -> a # minimum :: Ord a => Arg a -> a # sum :: Num a => Arg a -> a # product :: Num a => Arg a -> a #
Traversable Arg Source #
Instance details Defined in Language.LaTeX.Types Methods traverse :: Applicative f => (a -> f b) -> Arg a -> f (Arg b) # sequenceA :: Applicative f => Arg (f a) -> f (Arg a) # mapM :: Monad m => (a -> m b) -> Arg a -> m (Arg b) # sequence :: Monad m => Arg (m a) -> m (Arg a) #
Eq a => Eq (Arg a) Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: Arg a -> Arg a -> Bool # (/=) :: Arg a -> Arg a -> Bool #
Data a => Data (Arg a) Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Arg a -> c (Arg a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Arg a) # toConstr :: Arg a -> Constr # dataTypeOf :: Arg a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Arg a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Arg a)) # gmapT :: (forall b. Data b => b -> b) -> Arg a -> Arg a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Arg a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Arg a -> r # gmapQ :: (forall d. Data d => d -> u) -> Arg a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Arg a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Arg a -> m (Arg a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Arg a -> m (Arg a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Arg a -> m (Arg a) #
Show a => Show (Arg a) Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> Arg a -> ShowS # show :: Arg a -> String # showList :: [Arg a] -> ShowS #

data Star Source #

Constructors

Star
NoStar

Instances

Eq Star Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: Star -> Star -> Bool # (/=) :: Star -> Star -> Bool #
Data Star Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Star -> c Star # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Star # toConstr :: Star -> Constr # dataTypeOf :: Star -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Star) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Star) # gmapT :: (forall b. Data b => b -> b) -> Star -> Star # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Star -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Star -> r # gmapQ :: (forall d. Data d => d -> u) -> Star -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Star -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Star -> m Star # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Star -> m Star # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Star -> m Star #
Show Star Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> Star -> ShowS # show :: Star -> String # showList :: [Star] -> ShowS #
Semigroup Star Source #
Instance details Defined in Language.LaTeX.Types Methods (<>) :: Star -> Star -> Star # sconcat :: NonEmpty Star -> Star # stimes :: Integral b => b -> Star -> Star #
Monoid Star Source #
Instance details Defined in Language.LaTeX.Types Methods mempty :: Star # mappend :: Star -> Star -> Star # mconcat :: [Star] -> Star #

data Coord Source #

Constructors

MkCoord LatexLength LatexLength

Instances

Eq Coord Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: Coord -> Coord -> Bool # (/=) :: Coord -> Coord -> Bool #
Data Coord Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Coord -> c Coord # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Coord # toConstr :: Coord -> Constr # dataTypeOf :: Coord -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Coord) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Coord) # gmapT :: (forall b. Data b => b -> b) -> Coord -> Coord # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Coord -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Coord -> r # gmapQ :: (forall d. Data d => d -> u) -> Coord -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Coord -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Coord -> m Coord # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Coord -> m Coord # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Coord -> m Coord #
Show Coord Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> Coord -> ShowS # show :: Coord -> String # showList :: [Coord] -> ShowS #

newtype Percentage Source #

Constructors

Percentage
Fields percentage :: Int

Instances

Eq Percentage Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: Percentage -> Percentage -> Bool # (/=) :: Percentage -> Percentage -> Bool #
Num Percentage Source #
Instance details Defined in Language.LaTeX.Types Methods (+) :: Percentage -> Percentage -> Percentage # (-) :: Percentage -> Percentage -> Percentage # (*) :: Percentage -> Percentage -> Percentage # negate :: Percentage -> Percentage # abs :: Percentage -> Percentage # signum :: Percentage -> Percentage # fromInteger :: Integer -> Percentage #
Ord Percentage Source #
Instance details Defined in Language.LaTeX.Types Methods compare :: Percentage -> Percentage -> Ordering # (<) :: Percentage -> Percentage -> Bool # (<=) :: Percentage -> Percentage -> Bool # (>) :: Percentage -> Percentage -> Bool # (>=) :: Percentage -> Percentage -> Bool # max :: Percentage -> Percentage -> Percentage # min :: Percentage -> Percentage -> Percentage #
Show Percentage Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> Percentage -> ShowS # show :: Percentage -> String # showList :: [Percentage] -> ShowS #

data ParItm Source #

Constructors

ParCmdArgs String [Arg AnyItm]
ParEnv String [Arg AnyItm] AnyItm
Tabular [RowSpec LatexItm] [Row LatexItm]
RawParMode String
ParCast AnyItm
ParGroup ParItm
ParConcat [ParItm]
ParNote Key Note ParItm

Instances

Eq ParItm Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: ParItm -> ParItm -> Bool # (/=) :: ParItm -> ParItm -> Bool #
Data ParItm Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ParItm -> c ParItm # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ParItm # toConstr :: ParItm -> Constr # dataTypeOf :: ParItm -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ParItm) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ParItm) # gmapT :: (forall b. Data b => b -> b) -> ParItm -> ParItm # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ParItm -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ParItm -> r # gmapQ :: (forall d. Data d => d -> u) -> ParItm -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ParItm -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ParItm -> m ParItm # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ParItm -> m ParItm # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ParItm -> m ParItm #
Show ParItm Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> ParItm -> ShowS # show :: ParItm -> String # showList :: [ParItm] -> ShowS #
Semigroup ParItm Source #
Instance details Defined in Language.LaTeX.Types Methods (<>) :: ParItm -> ParItm -> ParItm # sconcat :: NonEmpty ParItm -> ParItm # stimes :: Integral b => b -> ParItm -> ParItm #
Monoid ParItm Source #
Instance details Defined in Language.LaTeX.Types Methods mempty :: ParItm # mappend :: ParItm -> ParItm -> ParItm # mconcat :: [ParItm] -> ParItm #

unParNote :: ParItm -> Maybe (Key, Note, ParItm) Source #

uncatParItm :: ParItm -> [ParItm] Source #

newtype MathDcl Source #

Constructors

MathDcl String

Instances

Eq MathDcl Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: MathDcl -> MathDcl -> Bool # (/=) :: MathDcl -> MathDcl -> Bool #
Data MathDcl Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MathDcl -> c MathDcl # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MathDcl # toConstr :: MathDcl -> Constr # dataTypeOf :: MathDcl -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MathDcl) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MathDcl) # gmapT :: (forall b. Data b => b -> b) -> MathDcl -> MathDcl # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MathDcl -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MathDcl -> r # gmapQ :: (forall d. Data d => d -> u) -> MathDcl -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MathDcl -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MathDcl -> m MathDcl # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MathDcl -> m MathDcl # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MathDcl -> m MathDcl #
Show MathDcl Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> MathDcl -> ShowS # show :: MathDcl -> String # showList :: [MathDcl] -> ShowS #

data MathItm Source #

Instances

Eq MathItm Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: MathItm -> MathItm -> Bool # (/=) :: MathItm -> MathItm -> Bool #
Fractional MathItm Source #
Instance details Defined in Language.LaTeX.Types Methods (/) :: MathItm -> MathItm -> MathItm # recip :: MathItm -> MathItm # fromRational :: Rational -> MathItm #
Data MathItm Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MathItm -> c MathItm # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MathItm # toConstr :: MathItm -> Constr # dataTypeOf :: MathItm -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MathItm) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MathItm) # gmapT :: (forall b. Data b => b -> b) -> MathItm -> MathItm # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MathItm -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MathItm -> r # gmapQ :: (forall d. Data d => d -> u) -> MathItm -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MathItm -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MathItm -> m MathItm # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MathItm -> m MathItm # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MathItm -> m MathItm #
Num MathItm Source #
Instance details Defined in Language.LaTeX.Types Methods (+) :: MathItm -> MathItm -> MathItm # (-) :: MathItm -> MathItm -> MathItm # (*) :: MathItm -> MathItm -> MathItm # negate :: MathItm -> MathItm # abs :: MathItm -> MathItm # signum :: MathItm -> MathItm # fromInteger :: Integer -> MathItm #
Show MathItm Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> MathItm -> ShowS # show :: MathItm -> String # showList :: [MathItm] -> ShowS #
Semigroup MathItm Source #
Instance details Defined in Language.LaTeX.Types Methods (<>) :: MathItm -> MathItm -> MathItm # sconcat :: NonEmpty MathItm -> MathItm # stimes :: Integral b => b -> MathItm -> MathItm #
Monoid MathItm Source #
Instance details Defined in Language.LaTeX.Types Methods mempty :: MathItm # mappend :: MathItm -> MathItm -> MathItm # mconcat :: [MathItm] -> MathItm #

data TexUnit Source #

Constructors

Sp	Scalled point (1pt = 65536sp)
Pt	Point unit size (1pt = 0.351mm)
Bp	Big point (1in = 72bp), also PostScript point
Dd	Didôt point (1dd = 0.376mm)
Em	One em is about the width of the letter M in the current font
Ex	One ex is about the hoigh of the letter x in the current font
Cm	Centimeter unit size
Mm	Milimeter unit size (1mm = 2.845pt)
In	Inch unit size (1in = 72.27pt)
Pc	Picas (1pc = 12pt)
Cc	Cicero (1dd = 12dd = 4.531mm)
Mu	Math unit (18mu = 1em)

Instances

Enum TexUnit Source #
Instance details Defined in Language.LaTeX.Types Methods succ :: TexUnit -> TexUnit # pred :: TexUnit -> TexUnit # toEnum :: Int -> TexUnit # fromEnum :: TexUnit -> Int # enumFrom :: TexUnit -> [TexUnit] # enumFromThen :: TexUnit -> TexUnit -> [TexUnit] # enumFromTo :: TexUnit -> TexUnit -> [TexUnit] # enumFromThenTo :: TexUnit -> TexUnit -> TexUnit -> [TexUnit] #
Eq TexUnit Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: TexUnit -> TexUnit -> Bool # (/=) :: TexUnit -> TexUnit -> Bool #
Data TexUnit Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TexUnit -> c TexUnit # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TexUnit # toConstr :: TexUnit -> Constr # dataTypeOf :: TexUnit -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TexUnit) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TexUnit) # gmapT :: (forall b. Data b => b -> b) -> TexUnit -> TexUnit # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TexUnit -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TexUnit -> r # gmapQ :: (forall d. Data d => d -> u) -> TexUnit -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TexUnit -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TexUnit -> m TexUnit # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TexUnit -> m TexUnit # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TexUnit -> m TexUnit #
Ord TexUnit Source #
Instance details Defined in Language.LaTeX.Types Methods compare :: TexUnit -> TexUnit -> Ordering # (<) :: TexUnit -> TexUnit -> Bool # (<=) :: TexUnit -> TexUnit -> Bool # (>) :: TexUnit -> TexUnit -> Bool # (>=) :: TexUnit -> TexUnit -> Bool # max :: TexUnit -> TexUnit -> TexUnit # min :: TexUnit -> TexUnit -> TexUnit #
Show TexUnit Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> TexUnit -> ShowS # show :: TexUnit -> String # showList :: [TexUnit] -> ShowS #

data LatexLength Source #

Constructors

LengthScaledBy Rational LatexLength
LengthCmdRatArg String Rational
LengthCmd String
LengthCst (Maybe TexUnit) Rational

Instances

Eq LatexLength Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: LatexLength -> LatexLength -> Bool # (/=) :: LatexLength -> LatexLength -> Bool #
Fractional LatexLength Source #
Instance details Defined in Language.LaTeX.Types Methods (/) :: LatexLength -> LatexLength -> LatexLength # recip :: LatexLength -> LatexLength # fromRational :: Rational -> LatexLength #
Data LatexLength Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LatexLength -> c LatexLength # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LatexLength # toConstr :: LatexLength -> Constr # dataTypeOf :: LatexLength -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LatexLength) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LatexLength) # gmapT :: (forall b. Data b => b -> b) -> LatexLength -> LatexLength # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LatexLength -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LatexLength -> r # gmapQ :: (forall d. Data d => d -> u) -> LatexLength -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> LatexLength -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LatexLength -> m LatexLength # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LatexLength -> m LatexLength # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LatexLength -> m LatexLength #
Num LatexLength Source #
Instance details Defined in Language.LaTeX.Types Methods (+) :: LatexLength -> LatexLength -> LatexLength # (-) :: LatexLength -> LatexLength -> LatexLength # (*) :: LatexLength -> LatexLength -> LatexLength # negate :: LatexLength -> LatexLength # abs :: LatexLength -> LatexLength # signum :: LatexLength -> LatexLength # fromInteger :: Integer -> LatexLength #
Show LatexLength Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> LatexLength -> ShowS # show :: LatexLength -> String # showList :: [LatexLength] -> ShowS #
Semigroup LatexLength Source #
Instance details Defined in Language.LaTeX.Types Methods (<>) :: LatexLength -> LatexLength -> LatexLength # sconcat :: NonEmpty LatexLength -> LatexLength # stimes :: Integral b => b -> LatexLength -> LatexLength #
Monoid LatexLength Source #
Instance details Defined in Language.LaTeX.Types Methods mempty :: LatexLength # mappend :: LatexLength -> LatexLength -> LatexLength # mconcat :: [LatexLength] -> LatexLength #

lengthCst :: LatexLength -> Maybe (Maybe TexUnit, Rational) Source #

safeLengthOp :: String -> (Rational -> Rational -> Rational) -> LatexLength -> LatexLength -> LatexLength Source #

scaleBy :: Rational -> LatexLength -> LatexLength Source #

data RowSpec a Source #

Constructors

Rc
Rl
Rr
Rvline
Rtext a

Instances

Functor RowSpec Source #
Instance details Defined in Language.LaTeX.Types Methods fmap :: (a -> b) -> RowSpec a -> RowSpec b # (<$) :: a -> RowSpec b -> RowSpec a #
Foldable RowSpec Source #
Instance details Defined in Language.LaTeX.Types Methods fold :: Monoid m => RowSpec m -> m # foldMap :: Monoid m => (a -> m) -> RowSpec a -> m # foldr :: (a -> b -> b) -> b -> RowSpec a -> b # foldr' :: (a -> b -> b) -> b -> RowSpec a -> b # foldl :: (b -> a -> b) -> b -> RowSpec a -> b # foldl' :: (b -> a -> b) -> b -> RowSpec a -> b # foldr1 :: (a -> a -> a) -> RowSpec a -> a # foldl1 :: (a -> a -> a) -> RowSpec a -> a # toList :: RowSpec a -> [a] # null :: RowSpec a -> Bool # length :: RowSpec a -> Int # elem :: Eq a => a -> RowSpec a -> Bool # maximum :: Ord a => RowSpec a -> a # minimum :: Ord a => RowSpec a -> a # sum :: Num a => RowSpec a -> a # product :: Num a => RowSpec a -> a #
Traversable RowSpec Source #
Instance details Defined in Language.LaTeX.Types Methods traverse :: Applicative f => (a -> f b) -> RowSpec a -> f (RowSpec b) # sequenceA :: Applicative f => RowSpec (f a) -> f (RowSpec a) # mapM :: Monad m => (a -> m b) -> RowSpec a -> m (RowSpec b) # sequence :: Monad m => RowSpec (m a) -> m (RowSpec a) #
Eq a => Eq (RowSpec a) Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: RowSpec a -> RowSpec a -> Bool # (/=) :: RowSpec a -> RowSpec a -> Bool #
Data a => Data (RowSpec a) Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RowSpec a -> c (RowSpec a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (RowSpec a) # toConstr :: RowSpec a -> Constr # dataTypeOf :: RowSpec a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (RowSpec a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (RowSpec a)) # gmapT :: (forall b. Data b => b -> b) -> RowSpec a -> RowSpec a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RowSpec a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RowSpec a -> r # gmapQ :: (forall d. Data d => d -> u) -> RowSpec a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> RowSpec a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> RowSpec a -> m (RowSpec a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RowSpec a -> m (RowSpec a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RowSpec a -> m (RowSpec a) #
Show a => Show (RowSpec a) Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> RowSpec a -> ShowS # show :: RowSpec a -> String # showList :: [RowSpec a] -> ShowS #
HaveR (RowSpec a) Source #
Instance details Defined in Language.LaTeX.Builder Methods r :: RowSpec a Source #
HaveL (RowSpec a) Source #
Instance details Defined in Language.LaTeX.Builder Methods l :: RowSpec a Source #
HaveC (RowSpec a) Source #
Instance details Defined in Language.LaTeX.Builder Methods c :: RowSpec a Source #

data LocSpec Source #

Constructors

Lh
Lt
Lb
Lp

Instances

Eq LocSpec Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: LocSpec -> LocSpec -> Bool # (/=) :: LocSpec -> LocSpec -> Bool #
Data LocSpec Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LocSpec -> c LocSpec # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LocSpec # toConstr :: LocSpec -> Constr # dataTypeOf :: LocSpec -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LocSpec) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LocSpec) # gmapT :: (forall b. Data b => b -> b) -> LocSpec -> LocSpec # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LocSpec -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LocSpec -> r # gmapQ :: (forall d. Data d => d -> u) -> LocSpec -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> LocSpec -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LocSpec -> m LocSpec # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LocSpec -> m LocSpec # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LocSpec -> m LocSpec #
Show LocSpec Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> LocSpec -> ShowS # show :: LocSpec -> String # showList :: [LocSpec] -> ShowS #

locSpecChar :: LocSpec -> Char Source #

data Pos Source #

Constructors

Centered	Centered (default).
FlushLeft	Flush left
FlushRight	Flush right
Stretch	Stretch (justify) across entire width; text must contain stretchable space for this to work.

charPos :: Pos -> Char Source #

data LatexPaperSize Source #

Constructors

A4paper
OtherPaperSize String

Instances

Eq LatexPaperSize Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: LatexPaperSize -> LatexPaperSize -> Bool # (/=) :: LatexPaperSize -> LatexPaperSize -> Bool #
Data LatexPaperSize Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LatexPaperSize -> c LatexPaperSize # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LatexPaperSize # toConstr :: LatexPaperSize -> Constr # dataTypeOf :: LatexPaperSize -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LatexPaperSize) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LatexPaperSize) # gmapT :: (forall b. Data b => b -> b) -> LatexPaperSize -> LatexPaperSize # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LatexPaperSize -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LatexPaperSize -> r # gmapQ :: (forall d. Data d => d -> u) -> LatexPaperSize -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> LatexPaperSize -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LatexPaperSize -> m LatexPaperSize # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LatexPaperSize -> m LatexPaperSize # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LatexPaperSize -> m LatexPaperSize #
Show LatexPaperSize Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> LatexPaperSize -> ShowS # show :: LatexPaperSize -> String # showList :: [LatexPaperSize] -> ShowS #

data Row cell Source #

Constructors

Cells [cell]
Hline
Cline Int Int

Instances

Functor Row Source #
Instance details Defined in Language.LaTeX.Types Methods fmap :: (a -> b) -> Row a -> Row b # (<$) :: a -> Row b -> Row a #
Foldable Row Source #
Instance details Defined in Language.LaTeX.Types Methods fold :: Monoid m => Row m -> m # foldMap :: Monoid m => (a -> m) -> Row a -> m # foldr :: (a -> b -> b) -> b -> Row a -> b # foldr' :: (a -> b -> b) -> b -> Row a -> b # foldl :: (b -> a -> b) -> b -> Row a -> b # foldl' :: (b -> a -> b) -> b -> Row a -> b # foldr1 :: (a -> a -> a) -> Row a -> a # foldl1 :: (a -> a -> a) -> Row a -> a # toList :: Row a -> [a] # null :: Row a -> Bool # length :: Row a -> Int # elem :: Eq a => a -> Row a -> Bool # maximum :: Ord a => Row a -> a # minimum :: Ord a => Row a -> a # sum :: Num a => Row a -> a # product :: Num a => Row a -> a #
Traversable Row Source #
Instance details Defined in Language.LaTeX.Types Methods traverse :: Applicative f => (a -> f b) -> Row a -> f (Row b) # sequenceA :: Applicative f => Row (f a) -> f (Row a) # mapM :: Monad m => (a -> m b) -> Row a -> m (Row b) # sequence :: Monad m => Row (m a) -> m (Row a) #
Eq cell => Eq (Row cell) Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: Row cell -> Row cell -> Bool # (/=) :: Row cell -> Row cell -> Bool #
Data cell => Data (Row cell) Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Row cell -> c (Row cell) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Row cell) # toConstr :: Row cell -> Constr # dataTypeOf :: Row cell -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Row cell)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Row cell)) # gmapT :: (forall b. Data b => b -> b) -> Row cell -> Row cell # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Row cell -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Row cell -> r # gmapQ :: (forall d. Data d => d -> u) -> Row cell -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Row cell -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Row cell -> m (Row cell) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Row cell -> m (Row cell) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Row cell -> m (Row cell) #
Show cell => Show (Row cell) Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> Row cell -> ShowS # show :: Row cell -> String # showList :: [Row cell] -> ShowS #

data ListItm Source #

Constructors

ListItm
Fields itemOptions :: [Arg LatexItm] itemContents :: ParItm

newtype PackageName Source #

Constructors

PkgName
Fields getPkgName :: String

Instances

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

newtype Key Source #

Constructors

MkKey
Fields getKey :: String

Instances

Eq Key Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: Key -> Key -> Bool # (/=) :: Key -> Key -> Bool #
Data Key Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Key -> c Key # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Key # toConstr :: Key -> Constr # dataTypeOf :: Key -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Key) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Key) # gmapT :: (forall b. Data b => b -> b) -> Key -> Key # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Key -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Key -> r # gmapQ :: (forall d. Data d => d -> u) -> Key -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Key -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Key -> m Key # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Key -> m Key # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Key -> m Key #
Show Key Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> Key -> ShowS # show :: Key -> String # showList :: [Key] -> ShowS #

newtype SaveBin Source #

Constructors

UnsafeMakeSaveBin
Fields unsafeGetSaveBin :: Int

Instances

Eq SaveBin Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: SaveBin -> SaveBin -> Bool # (/=) :: SaveBin -> SaveBin -> Bool #
Data SaveBin Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SaveBin -> c SaveBin # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SaveBin # toConstr :: SaveBin -> Constr # dataTypeOf :: SaveBin -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SaveBin) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SaveBin) # gmapT :: (forall b. Data b => b -> b) -> SaveBin -> SaveBin # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SaveBin -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SaveBin -> r # gmapQ :: (forall d. Data d => d -> u) -> SaveBin -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SaveBin -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SaveBin -> m SaveBin # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SaveBin -> m SaveBin # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SaveBin -> m SaveBin #
Show SaveBin Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> SaveBin -> ShowS # show :: SaveBin -> String # showList :: [SaveBin] -> ShowS #

data LatexState Source #

Constructors

LS
Fields freshSaveBin :: SaveBin

type ErrorMessage = String Source #

newtype LatexM a Source #

Constructors

LatexM
Fields runLatexM :: Either ErrorMessage a

Instances

Monad LatexM Source #
Instance details Defined in Language.LaTeX.Types Methods (>>=) :: LatexM a -> (a -> LatexM b) -> LatexM b # (>>) :: LatexM a -> LatexM b -> LatexM b # return :: a -> LatexM a # fail :: String -> LatexM a #
Functor LatexM Source #
Instance details Defined in Language.LaTeX.Types Methods fmap :: (a -> b) -> LatexM a -> LatexM b # (<$) :: a -> LatexM b -> LatexM a #
Applicative LatexM Source #
Instance details Defined in Language.LaTeX.Types Methods pure :: a -> LatexM a # (<>) :: LatexM (a -> b) -> LatexM a -> LatexM b # liftA2 :: (a -> b -> c) -> LatexM a -> LatexM b -> LatexM c # (>) :: LatexM a -> LatexM b -> LatexM b # (<*) :: LatexM a -> LatexM b -> LatexM a #
Alternative LatexM Source #
Instance details Defined in Language.LaTeX.Types Methods empty :: LatexM a # (<\|>) :: LatexM a -> LatexM a -> LatexM a # some :: LatexM a -> LatexM [a] # many :: LatexM a -> LatexM [a] #
MonadPlus LatexM Source #
Instance details Defined in Language.LaTeX.Types Methods mzero :: LatexM a # mplus :: LatexM a -> LatexM a -> LatexM a #
MonadError ErrorMessage LatexM Source #
Instance details Defined in Language.LaTeX.Types Methods throwError :: ErrorMessage -> LatexM a # catchError :: LatexM a -> (ErrorMessage -> LatexM a) -> LatexM a #
Eq a => Eq (LatexM a) Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: LatexM a -> LatexM a -> Bool # (/=) :: LatexM a -> LatexM a -> Bool #
Fractional a => Fractional (LatexM a) Source #
Instance details Defined in Language.LaTeX.Types Methods (/) :: LatexM a -> LatexM a -> LatexM a # recip :: LatexM a -> LatexM a # fromRational :: Rational -> LatexM a #
Data a => Data (LatexM a) Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LatexM a -> c (LatexM a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (LatexM a) # toConstr :: LatexM a -> Constr # dataTypeOf :: LatexM a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (LatexM a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (LatexM a)) # gmapT :: (forall b. Data b => b -> b) -> LatexM a -> LatexM a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LatexM a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LatexM a -> r # gmapQ :: (forall d. Data d => d -> u) -> LatexM a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> LatexM a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LatexM a -> m (LatexM a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LatexM a -> m (LatexM a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LatexM a -> m (LatexM a) #
Num a => Num (LatexM a) Source #
Instance details Defined in Language.LaTeX.Types Methods (+) :: LatexM a -> LatexM a -> LatexM a # (-) :: LatexM a -> LatexM a -> LatexM a # (*) :: LatexM a -> LatexM a -> LatexM a # negate :: LatexM a -> LatexM a # abs :: LatexM a -> LatexM a # signum :: LatexM a -> LatexM a # fromInteger :: Integer -> LatexM a #
Show a => Show (LatexM a) Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> LatexM a -> ShowS # show :: LatexM a -> String # showList :: [LatexM a] -> ShowS #
IsString a => IsString (LatexM a) Source #
Instance details Defined in Language.LaTeX.Types Methods fromString :: String -> LatexM a #
Semigroup a => Semigroup (LatexM a) Source #
Instance details Defined in Language.LaTeX.Types Methods (<>) :: LatexM a -> LatexM a -> LatexM a # sconcat :: NonEmpty (LatexM a) -> LatexM a # stimes :: Integral b => b -> LatexM a -> LatexM a #
Monoid a => Monoid (LatexM a) Source #
Instance details Defined in Language.LaTeX.Types Methods mempty :: LatexM a # mappend :: LatexM a -> LatexM a -> LatexM a # mconcat :: [LatexM a] -> LatexM a #
Greek (LatexM LatexItm) Source #
Instance details Defined in Language.LaTeX.Unicode Methods α :: LatexM LatexItm Source # β :: LatexM LatexItm Source # χ :: LatexM LatexItm Source # δ :: LatexM LatexItm Source # _Δ :: LatexM LatexItm Source # ε :: LatexM LatexItm Source # η :: LatexM LatexItm Source # γ :: LatexM LatexItm Source # _Γ :: LatexM LatexItm Source # ι :: LatexM LatexItm Source # κ :: LatexM LatexItm Source # λ :: LatexM LatexItm Source # _Λ :: LatexM LatexItm Source # μ :: LatexM LatexItm Source # ν :: LatexM LatexItm Source # ω :: LatexM LatexItm Source # _Ω :: LatexM LatexItm Source # ο :: LatexM LatexItm Source # φ :: LatexM LatexItm Source # _Φ :: LatexM LatexItm Source # π :: LatexM LatexItm Source # _Π :: LatexM LatexItm Source # ψ :: LatexM LatexItm Source # ρ :: LatexM LatexItm Source # σ :: LatexM LatexItm Source # _Σ :: LatexM LatexItm Source # τ :: LatexM LatexItm Source # θ :: LatexM LatexItm Source # _Θ :: LatexM LatexItm Source # ξ :: LatexM LatexItm Source # ζ :: LatexM LatexItm Source #

type TexDecl = LatexM TexDcl Source #

type LatexItem = LatexM LatexItm Source #

type ParItem = LatexM ParItm Source #

type MathDecl = LatexM MathDcl Source #

newtype AnyItem Source #

Constructors

AnyItem
Fields anyItmM :: LatexM AnyItm

Instances

Eq AnyItem Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: AnyItem -> AnyItem -> Bool # (/=) :: AnyItem -> AnyItem -> Bool #
Data AnyItem Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AnyItem -> c AnyItem # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AnyItem # toConstr :: AnyItem -> Constr # dataTypeOf :: AnyItem -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AnyItem) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AnyItem) # gmapT :: (forall b. Data b => b -> b) -> AnyItem -> AnyItem # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AnyItem -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AnyItem -> r # gmapQ :: (forall d. Data d => d -> u) -> AnyItem -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AnyItem -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AnyItem -> m AnyItem # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AnyItem -> m AnyItem # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AnyItem -> m AnyItem #
Show AnyItem Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> AnyItem -> ShowS # show :: AnyItem -> String # showList :: [AnyItem] -> ShowS #

newtype MathItem Source #

Constructors

MathItem
Fields mathItmM :: LatexM MathItm

Instances

Eq MathItem Source #
Instance details Defined in Language.LaTeX.Types Methods (==) :: MathItem -> MathItem -> Bool # (/=) :: MathItem -> MathItem -> Bool #
Fractional MathItem Source #
Instance details Defined in Language.LaTeX.Types Methods (/) :: MathItem -> MathItem -> MathItem # recip :: MathItem -> MathItem # fromRational :: Rational -> MathItem #
Data MathItem Source #
Instance details Defined in Language.LaTeX.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MathItem -> c MathItem # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MathItem # toConstr :: MathItem -> Constr # dataTypeOf :: MathItem -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MathItem) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MathItem) # gmapT :: (forall b. Data b => b -> b) -> MathItem -> MathItem # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MathItem -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MathItem -> r # gmapQ :: (forall d. Data d => d -> u) -> MathItem -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MathItem -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MathItem -> m MathItem # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MathItem -> m MathItem # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MathItem -> m MathItem #
Num MathItem Source #
Instance details Defined in Language.LaTeX.Types Methods (+) :: MathItem -> MathItem -> MathItem # (-) :: MathItem -> MathItem -> MathItem # (*) :: MathItem -> MathItem -> MathItem # negate :: MathItem -> MathItem # abs :: MathItem -> MathItem # signum :: MathItem -> MathItem # fromInteger :: Integer -> MathItem #
Show MathItem Source #
Instance details Defined in Language.LaTeX.Types Methods showsPrec :: Int -> MathItem -> ShowS # show :: MathItem -> String # showList :: [MathItem] -> ShowS #
IsString MathItem Source #
Instance details Defined in Language.LaTeX.Builder.Math Methods fromString :: String -> MathItem #
Semigroup MathItem Source #
Instance details Defined in Language.LaTeX.Types Methods (<>) :: MathItem -> MathItem -> MathItem # sconcat :: NonEmpty MathItem -> MathItem # stimes :: Integral b => b -> MathItem -> MathItem #
Monoid MathItem Source #
Instance details Defined in Language.LaTeX.Types Methods mempty :: MathItem # mappend :: MathItem -> MathItem -> MathItem # mconcat :: [MathItem] -> MathItem #
Greek MathItem Source #
Instance details Defined in Language.LaTeX.Unicode Methods α :: MathItem Source # β :: MathItem Source # χ :: MathItem Source # δ :: MathItem Source # _Δ :: MathItem Source # ε :: MathItem Source # η :: MathItem Source # γ :: MathItem Source # _Γ :: MathItem Source # ι :: MathItem Source # κ :: MathItem Source # λ :: MathItem Source # _Λ :: MathItem Source # μ :: MathItem Source # ν :: MathItem Source # ω :: MathItem Source # _Ω :: MathItem Source # ο :: MathItem Source # φ :: MathItem Source # _Φ :: MathItem Source # π :: MathItem Source # _Π :: MathItem Source # ψ :: MathItem Source # ρ :: MathItem Source # σ :: MathItem Source # _Σ :: MathItem Source # τ :: MathItem Source # θ :: MathItem Source # _Θ :: MathItem Source # ξ :: MathItem Source # ζ :: MathItem Source #

type ListItem = LatexM ListItm Source #

type PreambleItem = LatexM PreambleItm Source #

type DocumentClass = LatexM DocumentClss Source #

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 #

rawhchar :: Char -> String Source #

newtype Encoding Source #

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

Constructors

Encoding
Fields fromEncoding :: String

Instances

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

Orphan instances

(Error a, Eq a, Show a, Fractional b) => Fractional (Either a b) Source #
Instance details Methods (/) :: Either a b -> Either a b -> Either a b # recip :: Either a b -> Either a b # fromRational :: Rational -> Either a b #
(Error a, Eq a, Show a, Num b) => Num (Either a b) Source #
Instance details Methods (+) :: Either a b -> Either a b -> Either a b # (-) :: Either a b -> Either a b -> Either a b # (*) :: Either a b -> Either a b -> Either a b # negate :: Either a b -> Either a b # abs :: Either a b -> Either a b # signum :: Either a b -> Either a b # fromInteger :: Integer -> Either a b #

LatexCmdArgs String [Arg LatexItm]
LatexCmdAnyArgs String [Arg AnyItm]
TexDecls [TexDcl]
TexCmdNoArg String
TexCmdArg String LatexItm
Environment String [Arg AnyItm] AnyItm
RawTex String
LatexCast AnyItm
TexGroup LatexItm
LatexEmpty
LatexAppend LatexItm LatexItm
LatexNote Key Note LatexItm

MathDecls [MathDcl]
MathCmdArgs String [Arg AnyItm]
MathArray [RowSpec MathItm] [Row MathItm]
RawMath String
MathCast AnyItm
MathRat Rational
MathGroup MathItm
MathConcat [MathItm]
MathBinOp String MathItm MathItm
MathUnOp String MathItm
MathNote Key Note MathItm