A parser that matches a symbol satisfying a given predicate.
A parser that returns the matched symbol and the next index if the predicate is satisfied.
The predicate to satisfy.