Module

Text.Parsing.Parser.String

Package
purescript-parsing
Repository
purescript-contrib/purescript-parsing

Primitive parsers for working with an input stream of type String.

The behavior of these primitive parsers is based on the behavior of the Data.String module in the strings package. In most JavaScript runtime environments, the String is little-endian UTF-16.

The primitive parsers which return Char will only succeed when the character being parsed is a code point in the Basic Multilingual Plane (the “BMP”). These parsers can be convenient because of the good support that PureScript has for writing Char literals like 'あ', 'β', 'C'.

The other primitive parsers, which return CodePoint and String types, can parse the full Unicode character set. All of the primitive parsers in this module can be used together.

#string Source

string :: forall m. Monad m => String -> ParserT String m String

Match the specified string.

#eof Source

eof :: forall m. Monad m => ParserT String m Unit

Match end-of-file.

#anyChar Source

anyChar :: forall m. Monad m => ParserT String m Char

Match any BMP Char. Parser will fail if the character is not in the Basic Multilingual Plane.

#anyCodePoint Source

anyCodePoint :: forall m. Monad m => ParserT String m CodePoint

Match any Unicode character. Always succeeds.

#satisfy Source

satisfy :: forall m. Monad m => (Char -> Boolean) -> ParserT String m Char

Match a BMP Char satisfying the predicate.

#satisfyCodePoint Source

satisfyCodePoint :: forall m. Monad m => (CodePoint -> Boolean) -> ParserT String m CodePoint

Match a Unicode character satisfying the predicate.

#char Source

char :: forall m. Monad m => Char -> ParserT String m Char

Match the specified BMP Char.

#whiteSpace Source

whiteSpace :: forall m. Monad m => ParserT String m String

Match zero or more whitespace characters satisfying Data.CodePoint.Unicode.isSpace.

#skipSpaces Source

skipSpaces :: forall m. Monad m => ParserT String m Unit

Skip whitespace characters.

#oneOf Source

oneOf :: forall m. Monad m => Array Char -> ParserT String m Char

Match one of the BMP Chars in the array.

#oneOfCodePoints Source

oneOfCodePoints :: forall m. Monad m => Array CodePoint -> ParserT String m CodePoint

Match one of the Unicode characters in the array.

#noneOf Source

noneOf :: forall m. Monad m => Array Char -> ParserT String m Char

Match any BMP Char not in the array.

#noneOfCodePoints Source

noneOfCodePoints :: forall m. Monad m => Array CodePoint -> ParserT String m CodePoint

Match any Unicode character not in the array.

#match Source

match :: forall m a. Monad m => ParserT String m a -> ParserT String m (Tuple String a)

Combinator which returns both the result of a parse and the portion of the input that was consumed while it was being parsed.