(str: string)
| 396 | } |
| 397 | |
| 398 | function character(str: string) { |
| 399 | return (scanner: Scanner): ParseResult<void> => { |
| 400 | scanner.skipWhitespaces(); |
| 401 | if (!scanner.startsWith(str)) return failure(); |
| 402 | scanner.next(str.length); |
| 403 | scanner.skipWhitespaces(); |
| 404 | return success(undefined); |
| 405 | }; |
| 406 | } |
| 407 | |
| 408 | // ----------------------- |
| 409 | // Parser components |
no test coverage detected