String {Ramble}

String is a combinator which allows us to build parsers which recognise strings of symbols, rather than just single symbols

Description

String is a combinator which allows us to build parsers which recognise strings of symbols, rather than just single symbols

Usage

String(string)

Arguments

string

is the string to be matched

See Also

Digit, Lower, Upper, Alpha, AlphaNum, SpaceCheck, ident, nat, space, token, identifier, natural, symbol

Examples

String("123")("123 abc")