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
83
84
85
86
87
88
89
90
91
92
|
-- | Parsers for Mighty
module Program.Mighty.Parser (
-- * Utilities
parseFile,
-- * Parsers
spcs,
spcs1,
spc,
commentLines,
trailing,
comment,
) where
import Control.Exception
import qualified Data.ByteString.Lazy.Char8 as BL
import System.IO
import Text.Parsec
import Text.Parsec.ByteString.Lazy
-- $setup
-- >>> :seti -XOverloadedStrings
-- >>> import Data.Either
-- | Parsing a file.
-- If parsing fails, an 'IOException' is thrown.
parseFile :: Parser a -> FilePath -> IO a
parseFile p file = do
hdl <- openFile file ReadMode
hSetEncoding hdl latin1
bs <- BL.hGetContents hdl
case parse p "parseFile" bs of
Right x -> return x
Left e -> throwIO . userError . show $ e
-- | 'Parser' to consume zero or more white spaces
--
-- >>> parse spcs "" " "
-- Right ()
-- >>> parse spcs "" ""
-- Right ()
spcs :: Parser ()
spcs = () <$ many spc
-- | 'Parser' to consume one or more white spaces
--
-- >>> parse spcs1 "" " "
-- Right ()
-- >>> parse spcs1 "" " "
-- Right ()
-- >>> isLeft $ parse spcs1 "" ""
-- True
spcs1 :: Parser ()
spcs1 = () <$ many1 spc
-- | 'Parser' to consume exactly one white space
--
-- >>> parse spc "" " "
-- Right ' '
-- >>> isLeft $ parse spc "" ""
-- True
spc :: Parser Char
spc = satisfy (`elem` " \t")
-- | 'Parser' to consume one or more comment lines
--
-- >>> parse commentLines "" "# comments\n# comments\n# comments\n"
-- Right ()
commentLines :: Parser ()
commentLines = () <$ many commentLine
where
commentLine = trailing
-- | 'Parser' to consume a trailing comment
--
-- >>> parse trailing "" " # comments\n"
-- Right ()
-- >>> parse trailing "" " \n"
-- Right ()
-- >>> isLeft $ parse trailing "" "X# comments\n"
-- True
trailing :: Parser ()
trailing = () <$ (spcs *> optional comment *> newline)
-- | 'Parser' to consume a trailing comment
--
-- >>> parse comment "" "# comments"
-- Right ()
-- >>> isLeft $ parse comment "" "foo"
-- True
comment :: Parser ()
comment = () <$ char '#' <* many (noneOf "\n")
|
