equivalent to f . eos . g

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

any character

matches any Text

the parser returns the remainder of the current Text segment, (but does not consume the 'end of segment'.

Note that the only combinator that should follow anyText is eos or </>. Other combinators will lead to inconsistent inversions.

For example, if we have:

unparseTexts (rPair . anyText . anyText)  ("foo","bar")

That will unparse to Just ["foobar"]. But if we call

parseTexts (rPair . anyText . anyText)  ["foobar"]

We will get Right ("foobar","") instead of the original Right ("foo","bar")

matches the specified character

ascii digits '0'..'9'

a sequence of one or more digits

an optional - character

Typically used with digits to support signed numbers

signed digits

end of string

matches an Integral value

Note that the combinator (rPair . integral . integral) is ill-defined because the parse canwell. not tell where it is supposed to split the sequence of digits to produced two ints.

matches an Int Note that the combinator (rPair . int . int) is ill-defined because the parse canwell. not tell where it is supposed to split the sequence of digits to produced two ints.

matches an Integer

Note that the combinator (rPair . integer . integer) is ill-defined because the parse can not tell where it is supposed to split the sequence of digits to produced two ints.

a constant string

lift 'Read'/'Show' to a Boomerang

There are a few restrictions here:

1. Error messages are a bit fuzzy. Read does not tell us where or why a parse failed. So all we can do it use the the position that we were at when we called read and say that it failed.
2. it is (currently) not safe to use readshow on integral values because the Read instance for Int, Integer, etc,

statisfy a Char predicate

satisfy a Text predicate.

Note: must match the entire remainder of the Text in this segment

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

the first character of a Text

the empty string

construct/parse some Text by repeatedly apply a Char 0 or more times parser

construct/parse some Text by repeatedly apply a Char 1 or more times parser

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

see also: parseTexts

run the parser

Returns the first complete parse or a parse error.

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

run the printer

unparseTexts (rUnit . lit "foo") ()