-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathBibTex.hs
83 lines (67 loc) · 1.9 KB
/
BibTex.hs
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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
module BibTex (
Bibliography
, Reference(..)
, Field
, bibliography
) where
import Text.ParserCombinators.Parsec
import Control.Monad (liftM)
-- Our main data structure
data Reference = Reference {
getType :: Type
, getName :: Name
, getFields :: [Field]
} deriving Show
type Bibliography = [Reference]
type Type = String
type Name = String
type Field = (Key, Value)
type Key = String
type Value = String
bibliography :: Parser Bibliography
bibliography = many $ surroundedByComments reference
where comments = many comment
surroundedByComments = between comments comments
comment :: Parser ()
comment = do
noneOf "@"
anyChar `manyTill` eol
return ()
reference :: Parser Reference
reference = do
char '@'
rtype <- many1 alphaNum
(name, fields) <- spaced $ bracketed block
return $ Reference rtype name fields
block :: Parser (Name, [Field])
block = do
name <- identifier
spaces >> comma
fields <- fields'
spaces
return (name, fields)
where
fields' = try (spaced field) `sepEndBy` comma
comma = char ','
field :: Parser Field
field = do
key <- identifier
spaced $ char '='
value <- value'
return $ (key, value)
where
value' = bracketed' <|> quoted' <|> identifier
bracketed' = bracketed $ contentsWithout "{}"
quoted' = quoted $ contentsWithout "\""
contents nonSpecial = liftM concat $ many (nonSpecial <|> bracketed')
contentsWithout x = contents $ many1 $ noneOf x
-- Helpers
spaced = between spaces spaces
bracketed = between (char '{') (char '}')
quoted = between (char '"') (char '"')
identifier = many1 (alphaNum <|> oneOf ":-_")
eol = try (string "\n\r")
<|> try (string "\r\n")
<|> string "\n"
<|> string "\r"
<?> "end of line"