Parser.Parser

• Parser
• Parsing locations
• Parsing brackets
• Parsing lists

Documentation

(<+>) :: Eq token => Parser' token t -> Parser' token t -> Parser' token t infixr 3

Symmetric choice between two parsers that selects the longest match. Note that if both parsers successfully reach the same location it will result in an ambiguity error that, unlike a normal parse error, is not recoverable by backtracking. Also note that while this operator is normally associative it is not when ambiguity errors are involved.

data Parse_error' token

The types of tokens that were expected at a certain location and the token that was actually found instead (or Nothing if the end of file was reached unexpectedly).

Constructors

Parse_error Line_and_char (Set String) (Maybe token)

Instances

Show token => Show (Parse_error' token)

Defined in Parser.Parser

Methods

showsPrec :: Int -> Parse_error' token -> ShowS

show :: Parse_error' token -> String

showList :: [Parse_error' token] -> ShowS

data Parser' token t

A parser that works with any kind of tokens.

Instances

Monad (Parser' token)

Defined in Parser.Parser

Methods

(>>=) :: Parser' token a -> (a -> Parser' token b) -> Parser' token b

(>>) :: Parser' token a -> Parser' token b -> Parser' token b

return :: a -> Parser' token a

Functor (Parser' token)

Defined in Parser.Parser

Methods

fmap :: (a -> b) -> Parser' token a -> Parser' token b

(<$) :: a -> Parser' token b -> Parser' token a

Applicative (Parser' token)

Defined in Parser.Parser

Methods

pure :: a -> Parser' token a

(<*>) :: Parser' token (a -> b) -> Parser' token a -> Parser' token b

liftA2 :: (a -> b -> c) -> Parser' token a -> Parser' token b -> Parser' token c

(*>) :: Parser' token a -> Parser' token b -> Parser' token b

(<*) :: Parser' token a -> Parser' token b -> Parser' token a

add_location :: Parser' token t -> Parser' token (L t)

Parse something with an added location from the first token.

parse :: Eq token => (Char -> char) -> (char -> Line_and_char -> Line_and_char) -> Tokeniser' char token err () -> Parser' token t -> (Parse_error' token -> err) -> String -> Either Error (Either err t)

Parse the text. You have to provide a function that classifies characters, a function that tells how to update the location depending on the character, a tokeniser, a parser and a function that converts parse errors to your preferred type.

parse_brackets :: Parser' token () -> Parser' token () -> Parser' token t -> Parser' token t

Parse a term in brackets.

parse_empty_list :: Parser' token [t]

Returns an empty list.

parse_line_and_char :: Parser' token Line_and_char

Get the current location.

parse_list :: Eq token => Parser' token () -> Parser' token t -> Parser' token [t]

Parse a (possibly empty) list with separators.

parse_many :: Eq token => Parser' token t -> Parser' token [t]

Parse a (possibly empty) list without separators.

parse_non_empty_list :: Eq token => Parser' token () -> Parser' token t -> Parser' token [t]

Parse a non-empty list with separators.

parse_some :: Eq token => Parser' token t -> Parser' token [t]

Parse a non-empty list without separators.

parse_token :: Eq token => token -> String -> Parser' token ()

Parse a certain token (for example, a delimiter or a keyword) without returning any results. You also have to provide a string that briefly describes the kind of token that is expected - it is used to provide detailed parse errors.

parse_token' :: Eq token => (token -> Maybe t) -> String -> Parser' token t

Parses tokens that fit a certain pattern and transforms them into something more useful - for example, a string or an integer. You also have to provide a string that briefly describes the kind of token that is expected - it is used to provide detailed parse errors.