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/token.cr | |
| parent | 77c370d27be174e0b036b33d1469e84e67a7153a (diff) | |
Second rewrite attempt, this one should work, monkaS
Diffstat (limited to 'src/__OLD_parcom/token.cr')
| -rw-r--r-- | src/__OLD_parcom/token.cr | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/__OLD_parcom/token.cr b/src/__OLD_parcom/token.cr new file mode 100644 index 0000000..b4e1fef --- /dev/null +++ b/src/__OLD_parcom/token.cr @@ -0,0 +1,20 @@ +require "./satisfy" + +module Parcom + # `Token` is a `Parser` that tries to parse a specific token + # from the input stream. + class Token(T) < Parser(T, T) + # Accepts the token that this parser will try to parse. + def initialize(@expected : T) + @p = Satisfy(T).new { |x| x == @expected } + end + + # Tries to parse the specified token from the input stream. + def parse(tokens : Tokens(T)) : Result(T, T) + @p.parse(tokens) + rescue ex : ParserFail + raise ParserFail.new("Token <#{@expected}>: #{ex.message}") + end + end +end + |
