AutoProof.Internal.Utils.Parser.Char

Description

Defines character- and string-related parsers.

Synopsis

Documentation

Parse a single character if it satisfies a predicate

Expand

>>> runParser (charIf isDigit) "123"
Just ("23",'1')

>>> runParser (charIf isDigit) "abc"
Nothing

Parse a specific character.

Expand

>>> runParser (char 'a') "abc"
Just ("bc",'a')

>>> runParser (char 'a') "def"
Nothing

Parse any character.

Expand

>>> runParser anyChar "abc"
Just ("bc",'a')

>>> runParser anyChar ""
Nothing

Parse zero or more spaces.

Expand

>>> runParser spaces "   123"
Just ("123","   ")

>>> runParser spaces "123"
Just ("123","")

>>> runParser spaces ""
Just ("","")

Parse a specific string.

Expand

>>> runParser (string "foo") "foobar"
Just ("bar","foo")

>>> runParser (string "foo") "fobar"
Nothing

Parse one out of a list of characters.

Expand

>>> runParser (oneOf ['a', 'b']) "bar"
Just ("ar",'b')

>>> runParser (oneOf ['a', 'b']) "foo"
Nothing