String: 'String' is a combinator which allows us to build parsers...

Description Usage Arguments See Also Examples

Description

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

Usage

1
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

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

chappers/Ramble documentation built on May 13, 2019, 3:30 p.m.