Text.Boomerang.String

a PrinterParser library for working with a String

Types

type StringPrinterParser = PrinterParser StringError String

type StringError = ParserError MajorMinorPos

Combinators

alpha :: StringPrinterParser r (Char :- r)

matches alphabetic Unicode characters (lower-case, upper-case and title-case letters, plus letters of caseless scripts and modifiers letters). (Uses isAlpha)

anyChar :: StringPrinterParser r (Char :- r)

any character

char :: Char -> StringPrinterParser r (Char :- r)

matches the specified character

digit :: StringPrinterParser r (Char :- r)

ascii digits '0'..'9'

int :: StringPrinterParser r (Int :- r)

matches an Int

integer :: StringPrinterParser r (Integer :- r)

matches an Integer

lit :: String -> StringPrinterParser r r

a constant string

satisfy :: (Char -> Bool) -> StringPrinterParser r (Char :- r)

statisfy a Char predicate

space :: StringPrinterParser r (Char :- r)

matches white-space characters in the Latin-1 range. (Uses isSpace)

Running the PrinterParser

isComplete :: String -> Bool

Predicate to test if we have parsed all the strings. Typically used as argument to parse1

see also: parseStrings

parseString :: StringPrinterParser () (r :- ()) -> String -> Either StringError r

run the parser

Returns the first complete parse or a parse error.

 parseString (rUnit . lit "foo") ["foo"]

unparseString :: StringPrinterParser () (r :- ()) -> r -> Maybe String

run the printer

 unparseString (rUnit . lit "foo") ()