token {Ramble}

token is a new primitive that ignores any space before and after applying a parser to a token.

Description

token is a new primitive that ignores any space before and after applying a parser to a token.

Usage

token(p)

Arguments

p

is the parser to have spaces stripped.

See Also

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

Examples

token(ident()) ("   variable1   ")