Chart.FlatParse

Lower-level flatparse parsers

Documentation

runParserMaybe :: Parser e a -> ByteString -> Maybe a

run a Parser, Nothing on failure

runParserEither :: Parser Error a -> ByteString -> Either ByteString a

Run parser, Left error on failure.

testParser :: Show a => Parser Error a -> String -> IO ()

Run parser, print pretty error on failure.

data Expected

An expected item which is displayed in error messages.

Constructors

Msg String

An error message.

Lit String

A literal expected thing.

Instances

IsString Expected

Defined in Chart.FlatParse

Methods

fromString :: String -> Expected

Show Expected

Defined in Chart.FlatParse

Methods

showsPrec :: Int -> Expected -> ShowS

show :: Expected -> String

showList :: [Expected] -> ShowS

Eq Expected

Defined in Chart.FlatParse

Methods

(==) :: Expected -> Expected -> Bool

(/=) :: Expected -> Expected -> Bool

Ord Expected

Defined in Chart.FlatParse

Methods

compare :: Expected -> Expected -> Ordering

(<) :: Expected -> Expected -> Bool

(<=) :: Expected -> Expected -> Bool

(>) :: Expected -> Expected -> Bool

(>=) :: Expected -> Expected -> Bool

max :: Expected -> Expected -> Expected

min :: Expected -> Expected -> Expected

data Error

A parsing error.

Constructors

Precise Pos Expected

A precisely known error, like leaving out "in" from "let".

Imprecise Pos [Expected]

An imprecise error, when we expect a number of different things, but parse something else.

Instances

Show Error

Defined in Chart.FlatParse

Methods

showsPrec :: Int -> Error -> ShowS

show :: Error -> String

showList :: [Error] -> ShowS

prettyError :: ByteString -> Error -> String

Pretty print an error. The ByteString input is the source file. The offending line from the source is displayed in the output.

cut :: Parser Error a -> [Expected] -> Parser Error a

Imprecise cut: we slap a list of items on inner errors.

cut' :: Parser Error a -> Expected -> Parser Error a

Precise cut: we propagate at most a single error.

ws :: Parser e Char

single whitespace

>>> runParser ws " \nx"
OK ' ' "\nx"

ws_ :: Parser e ()

Consume whitespace.

>>> runParser ws_ " \nx"
OK () "x"

>>> runParser ws_ "x"
OK () "x"

wss :: Parser e ByteString

multiple whitespace

>>> runParser wss " \nx"
OK " \n" "x"

>>> runParser wss "x"
Fail

sep :: Parser e s -> Parser e a -> Parser e [a]

some with a separator

>>> runParser (sep ws (many (satisfy (/= ' ')))) "a b c"
OK ["a","b","c"] ""

bracketed :: Parser e b -> Parser e b -> Parser e a -> Parser e a

parser bracketed by two other parsers

>>> runParser (bracketed ($(char '[')) ($(char ']')) (many (satisfy (/= ']')))) "[bracketed]"
OK "bracketed" ""

wrapped :: Parser e () -> Parser e a -> Parser e a

parser wrapped by another parser

>>> runParser (wrapped ($(char '"')) (many (satisfy (/= '"')))) "\"wrapped\""
OK "wrapped" ""

digit :: Parser e Int

A single digit

runParserMaybe digit "5" Just 5

int :: Parser e Int

(unsigned) Int parser

runParserMaybe int "567" Just 567

double :: Parser e Double

>>> runParser double "1.234x"
OK 1.234 "x"

>>> runParser double "."
Fail

>>> runParser double "123"
OK 123.0 ""

>>> runParser double ".123"
OK 0.123 ""

>>> runParser double "123."
OK 123.0 ""

signed :: Num b => Parser e b -> Parser e b

>>> runParser (signed double) "-1.234x"
OK (-1.234) "x"