VtUtils.Parsec

Additional combinators and utilities for Parsec library

Documentation

type Parser = Parsec Text ()

parsecLineContains :: Text -> Parser Text

Finds a line containing a specified substring

Uses LF as a line separator

Resulting line doesn't contain a line separator

Arguments:

• needle :: Text: Substring to find

Return value: Line that contains a specified substring

parsecLinePrefix :: Text -> Parser Text

Finds a line with a specified prefix

Uses LF as a line separator

Whitespace is stripped from the start of each line before checking for prefix

Resulting line doesn't contain a line separator

Arguments:

• prefix :: Text: Prefix to find

Return value: Line with the specified prefix

parsecLineNoPrefix :: Text -> Parser Text

Finds a line that does not have a specified prefix

Uses LF as a line separator

Whitespace is stripped from the start of each line before checking for prefix

Resulting line doesn't contain a line separator

Arguments:

• prefix :: Text: Prefix that should be skipped

Return value: First line that does not have a specified prefix

parsecSkipLines :: Int -> Parser ()

Skips a specified number of lines

Uses LF as a line separator

Does not consume additional whitespace after the last line skipped (or between the lines)

Arguments:

• count :: Int: Number of lines to skip

parsecSkipManyTill :: Text -> Parser ()

Skips all input until the specified substring is found

Warning: all look-ahead data is kept in memory

Arguments:

• needle :: Text: Substring to find

Return value: First line that does not have a specified prefix

parsecTry :: Parser a -> Parser a

The parser parsecTry p behaves like parser p, except that it pretends that it hasn't consumed any input when an error occurs

This is a re-export of Text.Parsec.try under a different name to not conflict with Control.Exception.try

Arguments:

• parser :: Parser a: Parser to wrap into try

Return value: Resulting value from the specified parser

parsecWhitespace :: Parser ()

Skips one or more whitespace characters

Note: Lexemes from Text.Parsec.Token.TokenParser can be used instead

data ParsecParseFileException

Exception for parsecParseFile function

Instances

Show ParsecParseFileException

Defined in VtUtils.Parsec

Methods

showsPrec :: Int -> ParsecParseFileException -> ShowS

show :: ParsecParseFileException -> String

showList :: [ParsecParseFileException] -> ShowS

Exception ParsecParseFileException

Defined in VtUtils.Parsec

Methods

toException :: ParsecParseFileException -> SomeException

fromException :: SomeException -> Maybe ParsecParseFileException

displayException :: ParsecParseFileException -> String

parsecParseFile :: Parser a -> Text -> IO a

Lazily reads contents from a specified file and parses it using the specified parser

File contents are decoded as UTF-8

Throws an exception on file IO error or parsing error

Arguments:

• parser :: Parser a: Parser to use for the contents of the file
• path :: ParseError: Path to a file to parse

Return value: Resulting value from the specified parser

data ParsecParseTextError

Error for parsecParseText function

Instances

Show ParsecParseTextError

Defined in VtUtils.Parsec

Methods

showsPrec :: Int -> ParsecParseTextError -> ShowS

show :: ParsecParseTextError -> String

showList :: [ParsecParseTextError] -> ShowS

parsecParseText :: Parser a -> Text -> Either ParsecParseTextError a

Parser a specified strict Text string using a specified parser

Note: parser is typed on a lazy Text input (so it can also be used with parsecParseFile)

Returns an error on parsing error

Arguments:

• parser :: Parser a: Parser to use for the contents of the file
• text :: Text: Text string to parse

Return value: Resulting value from the specified parser or parsing error