Safe Haskell | None |
---|---|
Language | Haskell2010 |
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
- printLatexDocument :: LatexM Document -> IO ()
- data ViewOpts = ViewOpts {}
- quickView :: ViewOpts -> FilePath -> LatexM Document -> IO ()
- myViewOpts :: ViewOpts
- testViewOpts :: ViewOpts
- showLaTeX :: LatexM Document -> Either ErrorMessage String
- runLatexM :: LatexM a -> Either ErrorMessage a
Types
Instances
Eq Document Source # | |
Data Document Source # | |
Defined in Language.LaTeX.Types 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 # | |
type LineNumber = Int Source #
type CharNumber = Int Source #
Instances
Eq Loc Source # | |
Data Loc Source # | |
Defined in Language.LaTeX.Types 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 # 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 # | |
Instances
Eq Note Source # | |
Data Note Source # | |
Defined in Language.LaTeX.Types 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 # 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 # | |
Instances
Functor Named Source # | |
Foldable Named Source # | |
Defined in Language.LaTeX.Types 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 # elem :: Eq a => a -> Named a -> Bool # maximum :: Ord a => Named a -> a # minimum :: Ord a => Named a -> a # | |
Traversable Named Source # | |
Eq a => Eq (Named a) Source # | |
Data a => Data (Named a) Source # | |
Defined in Language.LaTeX.Types 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 # | |
data DocumentClassKind Source #
Instances
data DocumentClss Source #
Instances
Eq DocumentClss Source # | |
Defined in Language.LaTeX.Types (==) :: DocumentClss -> DocumentClss -> Bool # (/=) :: DocumentClss -> DocumentClss -> Bool # | |
Data DocumentClss Source # | |
Defined in Language.LaTeX.Types 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 # | |
Defined in Language.LaTeX.Types showsPrec :: Int -> DocumentClss -> ShowS # show :: DocumentClss -> String # showList :: [DocumentClss] -> ShowS # |
Instances
Eq Star Source # | |
Data Star Source # | |
Defined in Language.LaTeX.Types 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 # 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 # | |
Semigroup Star Source # | |
Monoid Star Source # | |
Instances
Eq Coord Source # | |
Data Coord Source # | |
Defined in Language.LaTeX.Types 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 # 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 # | |
data Percentage Source #
Instances
Instances
Enum TexUnit Source # | |
Eq TexUnit Source # | |
Data TexUnit Source # | |
Defined in Language.LaTeX.Types 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 # | |
Show TexUnit Source # | |
data LatexLength Source #
Instances
Instances
Functor RowSpec Source # | |
Foldable RowSpec Source # | |
Defined in Language.LaTeX.Types 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 # elem :: Eq a => a -> RowSpec a -> Bool # maximum :: Ord a => RowSpec a -> a # minimum :: Ord a => RowSpec a -> a # | |
Traversable RowSpec Source # | |
Eq a => Eq (RowSpec a) Source # | |
Data a => Data (RowSpec a) Source # | |
Defined in Language.LaTeX.Types 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 # | |
HaveR (RowSpec a) Source # | |
Defined in Language.LaTeX.Builder | |
HaveL (RowSpec a) Source # | |
Defined in Language.LaTeX.Builder | |
HaveC (RowSpec a) Source # | |
Defined in Language.LaTeX.Builder |
Instances
Eq LocSpec Source # | |
Data LocSpec Source # | |
Defined in Language.LaTeX.Types 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 # | |
data LatexPaperSize Source #
Instances
Instances
Functor Row Source # | |
Foldable Row Source # | |
Defined in Language.LaTeX.Types 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 # elem :: Eq a => a -> Row a -> Bool # maximum :: Ord a => Row a -> a # | |
Traversable Row Source # | |
Eq cell => Eq (Row cell) Source # | |
Data cell => Data (Row cell) Source # | |
Defined in Language.LaTeX.Types 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 # | |
data PackageName Source #
Instances
Instances
Eq Key Source # | |
Data Key Source # | |
Defined in Language.LaTeX.Types 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 # 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 # | |
Instances
Eq SaveBin Source # | |
Data SaveBin Source # | |
Defined in Language.LaTeX.Types 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 # | |
data LatexState Source #
Instances
Eq AnyItem Source # | |
Data AnyItem Source # | |
Defined in Language.LaTeX.Types 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 # | |
Instances
Eq MathItem Source # | |
Fractional MathItem Source # | |
Data MathItem Source # | |
Defined in Language.LaTeX.Types 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 # | |
Show MathItem Source # | |
IsString MathItem Source # | |
Defined in Language.LaTeX.Builder.Math fromString :: String -> MathItem # | |
Semigroup MathItem Source # | |
Monoid MathItem Source # | |
Greek MathItem Source # | |
Defined in Language.LaTeX.Unicode |
type PreambleItem = LatexM PreambleItm Source #
type DocumentClass = LatexM DocumentClss Source #
Instances
Monad LatexM Source # | |
Functor LatexM Source # | |
Applicative LatexM Source # | |
Alternative LatexM Source # | |
MonadPlus LatexM Source # | |
MonadError ErrorMessage LatexM Source # | |
Defined in Language.LaTeX.Types throwError :: ErrorMessage -> LatexM a # catchError :: LatexM a -> (ErrorMessage -> LatexM a) -> LatexM a # | |
Eq a => Eq (LatexM a) Source # | |
Fractional a => Fractional (LatexM a) Source # | |
Data a => Data (LatexM a) Source # | |
Defined in Language.LaTeX.Types 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 # | |
Show a => Show (LatexM a) Source # | |
IsString a => IsString (LatexM a) Source # | |
Defined in Language.LaTeX.Types fromString :: String -> LatexM a # | |
Semigroup a => Semigroup (LatexM a) Source # | |
Monoid a => Monoid (LatexM a) Source # | |
Greek (LatexM LatexItm) Source # | |
Type for encodings used in commands like.
usepackage[utf8]{inputenc}
, that we can
express as useInputenc
utf8
.
Internal types
Instances
Functor Arg Source # | |
Foldable Arg Source # | |
Defined in Language.LaTeX.Types 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 # elem :: Eq a => a -> Arg a -> Bool # maximum :: Ord a => Arg a -> a # | |
Traversable Arg Source # | |
Eq a => Eq (Arg a) Source # | |
Data a => Data (Arg a) Source # | |
Defined in Language.LaTeX.Types 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) # 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 # | |
Instances
Eq MathDcl Source # | |
Data MathDcl Source # | |
Defined in Language.LaTeX.Types 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 # | |
Instances
Eq AnyItm Source # | |
Data AnyItm Source # | |
Defined in Language.LaTeX.Types 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 # | |
data PreambleItm Source #
Instances
Instances
Eq TexDcl Source # | |
Data TexDcl Source # | |
Defined in Language.LaTeX.Types 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 # | |
Instances
Eq LatexItm Source # | |
Data LatexItm Source # | |
Defined in Language.LaTeX.Types 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 # | |
IsString LatexItm Source # | |
Defined in Language.LaTeX.Types fromString :: String -> LatexItm # | |
Semigroup LatexItm Source # | |
Monoid LatexItm Source # | |
Greek (LatexM LatexItm) Source # | |
Instances
Eq ParItm Source # | |
Data ParItm Source # | |
Defined in Language.LaTeX.Types 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 # | |
Semigroup ParItm Source # | |
Monoid ParItm Source # | |
Instances
Eq MathItm Source # | |
Fractional MathItm Source # | |
Data MathItm Source # | |
Defined in Language.LaTeX.Types 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 # | |
Show MathItm Source # | |
Semigroup MathItm Source # | |
Monoid MathItm Source # | |
Writer type aliases
type LatexItemW = Writer LatexItem () Source #
type PreambleItemW = Writer PreambleItem () Source #
Utils
tell :: MonadWriter w m => w -> m () #
is an action that produces the output tell
ww
.
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
= xmempty
<>
x = xx
(<>
(y<>
z) = (x<>
y)<>
zSemigroup
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 newtype
s and make those instances
of Monoid
, e.g. Sum
and Product
.
NOTE: Semigroup
is a superclass of Monoid
since base-4.11.0.0.
Identity of mappend
An associative operation
NOTE: This method is redundant and has the default
implementation
since base-4.11.0.0.mappend
= '(<>)'
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 |
Monoid () | Since: base-2.1 |
Monoid All | Since: base-2.1 |
Monoid Any | Since: base-2.1 |
Monoid IntSet | |
Monoid Doc | |
Monoid MathItem Source # | |
Monoid LatexLength Source # | |
Defined in Language.LaTeX.Types mempty :: LatexLength # mappend :: LatexLength -> LatexLength -> LatexLength # mconcat :: [LatexLength] -> LatexLength # | |
Monoid MathItm Source # | |
Monoid ParItm Source # | |
Monoid Star Source # | |
Monoid LatexItm Source # | |
Monoid PreambleItm Source # | |
Defined in Language.LaTeX.Types mempty :: PreambleItm # mappend :: PreambleItm -> PreambleItm -> PreambleItm # mconcat :: [PreambleItm] -> PreambleItm # | |
Monoid [a] | Since: base-2.1 |
Semigroup a => Monoid (Maybe a) | Lift a semigroup into Since 4.11.0: constraint on inner Since: base-2.1 |
Monoid a => Monoid (IO a) | Since: base-4.9.0.0 |
Monoid p => Monoid (Par1 p) | Since: base-4.12.0.0 |
Monoid a => Monoid (Identity a) | Since: base-4.9.0.0 |
Monoid (First a) | Since: base-2.1 |
Monoid (Last a) | Since: base-2.1 |
Monoid a => Monoid (Dual a) | Since: base-2.1 |
Monoid (Endo a) | Since: base-2.1 |
Num a => Monoid (Sum a) | Since: base-2.1 |
Num a => Monoid (Product a) | Since: base-2.1 |
Monoid a => Monoid (Down a) | Since: base-4.11.0.0 |
Monoid (IntMap a) | |
Ord a => Monoid (Set a) | |
Monoid (Doc a) | |
Monoid a => Monoid (LatexM a) Source # | |
Monoid (MergeSet a) | |
Monoid b => Monoid (a -> b) | Since: base-2.1 |
Monoid (U1 p) | Since: base-4.12.0.0 |
(Monoid a, Monoid b) => Monoid (a, b) | Since: base-2.1 |
Monoid (Proxy s) | Since: base-4.7.0.0 |
Monoid (f p) => Monoid (Rec1 f p) | Since: base-4.12.0.0 |
(Monoid a, Monoid b, Monoid c) => Monoid (a, b, c) | Since: base-2.1 |
Monoid a => Monoid (Const a b) | Since: base-4.9.0.0 |
(Applicative f, Monoid a) => Monoid (Ap f a) | Since: base-4.12.0.0 |
Alternative f => Monoid (Alt f a) | Since: base-4.8.0.0 |
Monoid c => Monoid (K1 i c p) | Since: base-4.12.0.0 |
(Monoid (f p), Monoid (g p)) => Monoid ((f :*: g) p) | Since: base-4.12.0.0 |
(Monoid a, Monoid b, Monoid c, Monoid d) => Monoid (a, b, c, d) | Since: base-2.1 |
Monoid (f p) => Monoid (M1 i c f p) | Since: base-4.12.0.0 |
Monoid (f (g p)) => Monoid ((f :.: g) p) | Since: base-4.12.0.0 |
(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e) => Monoid (a, b, c, d, e) | Since: base-2.1 |