1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
{-# LANGUAGE FlexibleInstances #-}
{- |
Module : Text.Pandoc.TeX
Copyright : Copyright (C) 2017-2024 John MacFarlane
License : GNU GPL, version 2 or above
Maintainer : John MacFarlane <[email protected]>
Stability : alpha
Portability : portable
Types for TeX tokens and macros.
-}
module Text.Pandoc.TeX ( Tok(..)
, TokType(..)
, Macro(..)
, ArgSpec(..)
, ExpansionPoint(..)
, MacroScope(..)
, SourcePos
)
where
import Data.Text (Text)
import Text.Parsec (SourcePos, sourceName)
import Text.Pandoc.Sources
import Data.List (groupBy)
data TokType = CtrlSeq Text | Spaces | Newline | Symbol | Word | Comment |
Esc1 | Esc2 | Arg Int | DeferredArg Int
deriving (Eq, Ord, Show)
data Tok = Tok SourcePos TokType Text
deriving (Eq, Ord, Show)
instance ToSources [Tok] where
toSources = Sources
. map (\ts -> case ts of
Tok p _ _ : _ -> (p, mconcat $ map tokToText ts)
_ -> error "toSources [Tok] encountered empty group")
. groupBy (\(Tok p1 _ _) (Tok p2 _ _) -> sourceName p1 == sourceName p2)
tokToText :: Tok -> Text
tokToText (Tok _ _ t) = t
data ExpansionPoint = ExpandWhenDefined | ExpandWhenUsed
deriving (Eq, Ord, Show)
data MacroScope = GlobalScope | GroupScope
deriving (Eq, Ord, Show)
data Macro = Macro MacroScope ExpansionPoint [ArgSpec] (Maybe [Tok]) [Tok]
deriving Show
data ArgSpec = ArgNum Int | Pattern [Tok]
deriving Show
|
