Safe Haskell	None
Language	Haskell2010

Language.LaTeX

Contents

Types
Internal types
Writer type aliases
Utils

Synopsis

data Document
type LineNumber = Int
type CharNumber = Int
data Loc
data Note
data Named a
data DocumentClassKind
data DocumentClss
data Star
data Coord
data Percentage
data TexUnit
data LatexLength
data RowSpec a
data LocSpec
data Pos
data LatexPaperSize
data Row cell
data PackageName
data Key
data SaveBin
data LatexState
type TexDecl = LatexM TexDcl
type LatexItem = LatexM LatexItm
type ParItem = LatexM ParItm
type MathDecl = LatexM MathDcl
data AnyItem
data MathItem
type ListItem = LatexM ListItm
type PreambleItem = LatexM PreambleItm
type DocumentClass = LatexM DocumentClss
data LatexM a
data Encoding
data Arg a
data MathDcl
data AnyItm
data PreambleItm
data TexDcl
data LatexItm
data ParItm
data MathItm
data ListItm
type TexDeclW = Writer TexDecl ()
type LatexItemW = Writer LatexItem ()
type ParItemW = Writer ParItem ()
type MathDeclW = Writer MathDecl ()
type MathItemW = Writer MathItem ()
type PreambleItemW = Writer PreambleItem ()
module Language.LaTeX.Builder.MonoidUtils
(!$) :: Monoid b => (a -> b) -> a -> Writer b ()
($?) :: (a -> b) -> Writer a () -> b
(!$?) :: Monoid b => (a -> b) -> Writer a () -> Writer b ()
tell :: MonadWriter w m => w -> m ()
type Writer w = WriterT w Identity
(★) :: Star
class Semigroup a => Monoid a where
- mempty :: a
- mappend :: a -> a -> a
- mconcat :: [a] -> a
printLatexDocument :: LatexM Document -> IO ()
data ViewOpts = ViewOpts {
- basedir :: FilePath
- pdflatex :: String
- pdfviewer :: String
- inputdirs :: [FilePath]
- showoutput :: Bool
}
quickView :: ViewOpts -> FilePath -> LatexM Document -> IO ()
myViewOpts :: ViewOpts
testViewOpts :: ViewOpts
showLaTeX :: LatexM Document -> Either ErrorMessage String
runLatexM :: LatexM a -> Either ErrorMessage a

Types

data Document Source #

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 #

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 #

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 Named a Source #

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 DocumentClassKind Source #

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 #

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 Star Source #

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 #

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 #

data Percentage Source #

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 TexUnit Source #

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 #

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 #

data RowSpec a Source #

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 #

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 #

data Pos Source #

data LatexPaperSize Source #

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 #

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 PackageName Source #

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 #

data Key Source #

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 #

data SaveBin Source #

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 #

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 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 #

data MathItem Source #

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 #

data LatexM a Source #

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 #

data Encoding Source #

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

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 #

Internal types

data Arg a Source #

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 MathDcl Source #

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 AnyItm Source #

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 #

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 #

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 #

data ParItm Source #

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 #

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 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 () infixr 0 Source #

($?) :: (a -> b) -> Writer a () -> b infixr 0 Source #

(!$?) :: Monoid b => (a -> b) -> Writer a () -> Writer b () infixr 0 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 Semigroup a => Monoid a where #

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

```
x <> mempty = x
```
```
mempty <> x = x
```
x <> (y <> z) = (x <> y) <> z (Semigroup law)
```
mconcat = foldr '(<>)' mempty
```

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

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.

NOTE: Semigroup is a superclass of Monoid since base-4.11.0.0.

Minimal complete definition

mempty

Methods

mempty :: a #

Identity of mappend

mappend :: a -> a -> a #

An associative operation

NOTE: This method is redundant and has the default implementation mappend = '(<>)' since base-4.11.0.0.

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	Since: base-2.1
Instance details Defined in GHC.Base Methods mempty :: Ordering # mappend :: Ordering -> Ordering -> Ordering # mconcat :: [Ordering] -> Ordering #
Monoid ()	Since: base-2.1
Instance details Defined in GHC.Base Methods mempty :: () # mappend :: () -> () -> () # mconcat :: [()] -> () #
Monoid All	Since: base-2.1
Instance details Defined in Data.Semigroup.Internal Methods mempty :: All # mappend :: All -> All -> All # mconcat :: [All] -> All #
Monoid Any	Since: base-2.1
Instance details Defined in Data.Semigroup.Internal Methods mempty :: Any # mappend :: Any -> Any -> Any # mconcat :: [Any] -> Any #
Monoid IntSet
Instance details Defined in Data.IntSet.Internal Methods mempty :: IntSet # mappend :: IntSet -> IntSet -> IntSet # mconcat :: [IntSet] -> IntSet #
Monoid Doc
Instance details Defined in Text.PrettyPrint.HughesPJ Methods mempty :: Doc # mappend :: Doc -> Doc -> Doc # mconcat :: [Doc] -> Doc #
Monoid MathItem Source #
Instance details Defined in Language.LaTeX.Types Methods mempty :: MathItem # mappend :: MathItem -> MathItem -> MathItem # mconcat :: [MathItem] -> MathItem #
Monoid LatexLength Source #
Instance details Defined in Language.LaTeX.Types Methods mempty :: LatexLength # mappend :: LatexLength -> LatexLength -> LatexLength # mconcat :: [LatexLength] -> LatexLength #
Monoid MathItm Source #
Instance details Defined in Language.LaTeX.Types Methods mempty :: MathItm # mappend :: MathItm -> MathItm -> MathItm # mconcat :: [MathItm] -> MathItm #
Monoid ParItm Source #
Instance details Defined in Language.LaTeX.Types Methods mempty :: ParItm # mappend :: ParItm -> ParItm -> ParItm # mconcat :: [ParItm] -> ParItm #
Monoid Star Source #
Instance details Defined in Language.LaTeX.Types Methods mempty :: Star # mappend :: Star -> Star -> Star # mconcat :: [Star] -> Star #
Monoid LatexItm Source #
Instance details Defined in Language.LaTeX.Types Methods mempty :: LatexItm # mappend :: LatexItm -> LatexItm -> LatexItm # mconcat :: [LatexItm] -> LatexItm #
Monoid PreambleItm Source #
Instance details Defined in Language.LaTeX.Types Methods mempty :: PreambleItm # mappend :: PreambleItm -> PreambleItm -> PreambleItm # mconcat :: [PreambleItm] -> PreambleItm #
Monoid [a]	Since: base-2.1
Instance details Defined in GHC.Base Methods mempty :: [a] # mappend :: [a] -> [a] -> [a] # mconcat :: [[a]] -> [a] #
Semigroup 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 = se` for all `s ∈ S`." Since 4.11.0: constraint on inner `a` value generalised from `Monoid` to `Semigroup`. Since: base-2.1*
Instance details Defined in GHC.Base Methods mempty :: Maybe a # mappend :: Maybe a -> Maybe a -> Maybe a # mconcat :: [Maybe a] -> Maybe a #
Monoid a => Monoid (IO a)	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods mempty :: IO a # mappend :: IO a -> IO a -> IO a # mconcat :: [IO a] -> IO a #
Monoid p => Monoid (Par1 p)	Since: base-4.12.0.0
Instance details Defined in GHC.Generics Methods mempty :: Par1 p # mappend :: Par1 p -> Par1 p -> Par1 p # mconcat :: [Par1 p] -> Par1 p #
Monoid a => Monoid (Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods mempty :: Identity a # mappend :: Identity a -> Identity a -> Identity a # mconcat :: [Identity a] -> Identity a #
Monoid (First a)	Since: base-2.1
Instance details Defined in Data.Monoid Methods mempty :: First a # mappend :: First a -> First a -> First a # mconcat :: [First a] -> First a #
Monoid (Last a)	Since: base-2.1
Instance details Defined in Data.Monoid Methods mempty :: Last a # mappend :: Last a -> Last a -> Last a # mconcat :: [Last a] -> Last a #
Monoid a => Monoid (Dual a)	Since: base-2.1
Instance details Defined in Data.Semigroup.Internal Methods mempty :: Dual a # mappend :: Dual a -> Dual a -> Dual a # mconcat :: [Dual a] -> Dual a #
Monoid (Endo a)	Since: base-2.1
Instance details Defined in Data.Semigroup.Internal Methods mempty :: Endo a # mappend :: Endo a -> Endo a -> Endo a # mconcat :: [Endo a] -> Endo a #
Num a => Monoid (Sum a)	Since: base-2.1
Instance details Defined in Data.Semigroup.Internal Methods mempty :: Sum a # mappend :: Sum a -> Sum a -> Sum a # mconcat :: [Sum a] -> Sum a #
Num a => Monoid (Product a)	Since: base-2.1
Instance details Defined in Data.Semigroup.Internal Methods mempty :: Product a # mappend :: Product a -> Product a -> Product a # mconcat :: [Product a] -> Product a #
Monoid a => Monoid (Down a)	Since: base-4.11.0.0
Instance details Defined in Data.Ord Methods mempty :: Down a # mappend :: Down a -> Down a -> Down a # mconcat :: [Down a] -> Down a #
Monoid (IntMap a)
Instance details Defined in Data.IntMap.Internal Methods mempty :: IntMap a # mappend :: IntMap a -> IntMap a -> IntMap a # mconcat :: [IntMap a] -> IntMap a #
Ord a => Monoid (Set a)
Instance details Defined in Data.Set.Internal Methods mempty :: Set a # mappend :: Set a -> Set a -> Set a # mconcat :: [Set a] -> Set a #
Monoid (Doc a)
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Methods mempty :: Doc a # mappend :: Doc a -> Doc a -> Doc a # mconcat :: [Doc a] -> Doc 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 #
Monoid (MergeSet a)
Instance details Defined in Data.Set.Internal Methods mempty :: MergeSet a # mappend :: MergeSet a -> MergeSet a -> MergeSet a # mconcat :: [MergeSet a] -> MergeSet a #
Monoid b => Monoid (a -> b)	Since: base-2.1
Instance details Defined in GHC.Base Methods mempty :: a -> b # mappend :: (a -> b) -> (a -> b) -> a -> b # mconcat :: [a -> b] -> a -> b #
Monoid (U1 p)	Since: base-4.12.0.0
Instance details Defined in GHC.Generics Methods mempty :: U1 p # mappend :: U1 p -> U1 p -> U1 p # mconcat :: [U1 p] -> U1 p #
(Monoid a, Monoid b) => Monoid (a, b)	Since: base-2.1
Instance details Defined in GHC.Base Methods mempty :: (a, b) # mappend :: (a, b) -> (a, b) -> (a, b) # mconcat :: [(a, b)] -> (a, b) #
Monoid (Proxy s)	Since: base-4.7.0.0
Instance details Defined in Data.Proxy Methods mempty :: Proxy s # mappend :: Proxy s -> Proxy s -> Proxy s # mconcat :: [Proxy s] -> Proxy s #
Monoid (f p) => Monoid (Rec1 f p)	Since: base-4.12.0.0
Instance details Defined in GHC.Generics Methods mempty :: Rec1 f p # mappend :: Rec1 f p -> Rec1 f p -> Rec1 f p # mconcat :: [Rec1 f p] -> Rec1 f p #
(Monoid a, Monoid b, Monoid c) => Monoid (a, b, c)	Since: base-2.1
Instance details Defined in GHC.Base Methods mempty :: (a, b, c) # mappend :: (a, b, c) -> (a, b, c) -> (a, b, c) # mconcat :: [(a, b, c)] -> (a, b, c) #
Monoid a => Monoid (Const a b)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Const Methods mempty :: Const a b # mappend :: Const a b -> Const a b -> Const a b # mconcat :: [Const a b] -> Const a b #
(Applicative f, Monoid a) => Monoid (Ap f a)	Since: base-4.12.0.0
Instance details Defined in Data.Monoid Methods mempty :: Ap f a # mappend :: Ap f a -> Ap f a -> Ap f a # mconcat :: [Ap f a] -> Ap f a #
Alternative f => Monoid (Alt f a)	Since: base-4.8.0.0
Instance details Defined in Data.Semigroup.Internal Methods mempty :: Alt f a # mappend :: Alt f a -> Alt f a -> Alt f a # mconcat :: [Alt f a] -> Alt f a #
Monoid c => Monoid (K1 i c p)	Since: base-4.12.0.0
Instance details Defined in GHC.Generics Methods mempty :: K1 i c p # mappend :: K1 i c p -> K1 i c p -> K1 i c p # mconcat :: [K1 i c p] -> K1 i c p #
(Monoid (f p), Monoid (g p)) => Monoid ((f :*: g) p)	Since: base-4.12.0.0
Instance details Defined in GHC.Generics Methods mempty :: (f :: g) p # mappend :: (f :: g) p -> (f :: g) p -> (f :: g) p # mconcat :: [(f :: g) p] -> (f :: g) p #
(Monoid a, Monoid b, Monoid c, Monoid d) => Monoid (a, b, c, d)	Since: base-2.1
Instance details Defined in GHC.Base Methods mempty :: (a, b, c, d) # mappend :: (a, b, c, d) -> (a, b, c, d) -> (a, b, c, d) # mconcat :: [(a, b, c, d)] -> (a, b, c, d) #
Monoid (f p) => Monoid (M1 i c f p)	Since: base-4.12.0.0
Instance details Defined in GHC.Generics Methods mempty :: M1 i c f p # mappend :: M1 i c f p -> M1 i c f p -> M1 i c f p # mconcat :: [M1 i c f p] -> M1 i c f p #
Monoid (f (g p)) => Monoid ((f :.: g) p)	Since: base-4.12.0.0
Instance details Defined in GHC.Generics Methods mempty :: (f :.: g) p # mappend :: (f :.: g) p -> (f :.: g) p -> (f :.: g) p # mconcat :: [(f :.: g) p] -> (f :.: g) p #
(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e) => Monoid (a, b, c, d, e)	Since: base-2.1
Instance details Defined in GHC.Base Methods mempty :: (a, b, c, d, e) # mappend :: (a, b, c, d, e) -> (a, b, c, d, e) -> (a, b, c, d, e) # mconcat :: [(a, b, c, d, e)] -> (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 :: ViewOpts Source #

testViewOpts :: ViewOpts Source #

showLaTeX :: LatexM Document -> Either ErrorMessage String Source #

runLatexM :: LatexM a -> Either ErrorMessage a Source #