diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2020-07-22 14:23:26 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2020-07-22 14:23:26 -0700 |
| commit | 65865b31867efcdf28c51526797fc1b8ec7685a6 (patch) | |
| tree | c87f38e9ed78686c0298d4e5ccb56a8d4684ed86 /src/Text/Pandoc/Readers/LaTeX/Parsing.hs | |
| parent | 7faa9d90644b4ae151571e80734365bd96e857dc (diff) | |
| download | pandoc-65865b31867efcdf28c51526797fc1b8ec7685a6.tar.gz | |
LaTeX reader: support ams proof environment.
Diffstat (limited to 'src/Text/Pandoc/Readers/LaTeX/Parsing.hs')
| -rw-r--r-- | src/Text/Pandoc/Readers/LaTeX/Parsing.hs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/Text/Pandoc/Readers/LaTeX/Parsing.hs b/src/Text/Pandoc/Readers/LaTeX/Parsing.hs index 06df54116..26a88c13e 100644 --- a/src/Text/Pandoc/Readers/LaTeX/Parsing.hs +++ b/src/Text/Pandoc/Readers/LaTeX/Parsing.hs @@ -18,6 +18,7 @@ module Text.Pandoc.Readers.LaTeX.Parsing ( DottedNum(..) , renderDottedNum , incrementDottedNum + , TheoremSpec(..) , LaTeXState(..) , defaultLaTeXState , LP @@ -114,6 +115,13 @@ incrementDottedNum level (DottedNum ns) = DottedNum $ (x:xs) -> reverse (x+1 : xs) [] -> [] -- shouldn't happen +data TheoremSpec = + TheoremSpec + { theoremName :: Text + , theoremSeries :: Maybe Text + , theoremLastNum :: DottedNum } + deriving (Show) + data LaTeXState = LaTeXState{ sOptions :: ReaderOptions , sMeta :: Meta , sQuoteContext :: QuoteContext @@ -128,6 +136,7 @@ data LaTeXState = LaTeXState{ sOptions :: ReaderOptions , sLastHeaderNum :: DottedNum , sLastFigureNum :: DottedNum , sLastTableNum :: DottedNum + , sTheoremMap :: M.Map Text TheoremSpec , sLastLabel :: Maybe Text , sLabels :: M.Map Text [Inline] , sHasChapters :: Bool @@ -151,6 +160,7 @@ defaultLaTeXState = LaTeXState{ sOptions = def , sLastHeaderNum = DottedNum [] , sLastFigureNum = DottedNum [] , sLastTableNum = DottedNum [] + , sTheoremMap = M.empty , sLastLabel = Nothing , sLabels = M.empty , sHasChapters = False |