diff options
| author | Matthew Hall <hallmatthew314@gmail.com> | 2023-03-16 20:36:03 +1300 |
|---|---|---|
| committer | Matthew Hall <hallmatthew314@gmail.com> | 2023-03-16 20:36:03 +1300 |
| commit | b274828831fec26cd8b3089ffef14cb96ce2de2f (patch) | |
| tree | ff5927b85a59b4d85c9e4aa269a475a7a37a54a0 /src/__OLD_parcom/any_token.cr | |
| parent | 77c370d27be174e0b036b33d1469e84e67a7153a (diff) | |
Second rewrite attempt, this one should work, monkaS
Diffstat (limited to 'src/__OLD_parcom/any_token.cr')
| -rw-r--r-- | src/__OLD_parcom/any_token.cr | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/__OLD_parcom/any_token.cr b/src/__OLD_parcom/any_token.cr new file mode 100644 index 0000000..1f65bfc --- /dev/null +++ b/src/__OLD_parcom/any_token.cr @@ -0,0 +1,18 @@ +require "./parser.cr" + +module Parcom + # `AnyToken` is a `Parser` that consumes exactly one token from + # the input stream and returns it. + # It fails if the input stream is empty. + class AnyToken(T) < Parser(T, T) + # Parses the first token in the input, fails if the input is empty. + def parse(tokens : Tokens(T)) : Result(T, T) + if tokens.empty? + raise ParserFail.new("AnyToken: input was empty") + else + Result.new(tokens[1..], tokens[0]) + end + end + end +end + |
