diff options
| author | Matthew Hall <hallmatthew314@gmail.com> | 2023-03-11 21:16:55 +1300 |
|---|---|---|
| committer | Matthew Hall <hallmatthew314@gmail.com> | 2023-03-11 21:16:55 +1300 |
| commit | 32d70fc65632508a32aa71f807098aa74d6c7abf (patch) | |
| tree | 83b6707308857d73ed2b6d5e50c3379c68ded846 | |
| parent | 9f3c396bc54ca7b7e5201a79956ae255bc6db548 (diff) | |
Documentation for Token
| -rw-r--r-- | src/parcom.cr | 12 | ||||
| -rw-r--r-- | src/parcom/token.cr | 20 |
2 files changed, 20 insertions, 12 deletions
diff --git a/src/parcom.cr b/src/parcom.cr index 16abe22..82c4c3b 100644 --- a/src/parcom.cr +++ b/src/parcom.cr @@ -81,18 +81,6 @@ module Parcom end end - class Token(T) < Parser(T, T) - def initialize(@expected : T) - @p = Satisfy(T).new { |x| x == @expected } - end - - def parse(tokens : Tokens(T)) : Result(T, T) - @p.parse(tokens) - rescue ex : ParserFail - raise ParserFail.new("Token <#{@expected}>: #{ex.message}") - end - end - class Alt(T, V) < Parser(T, V) def initialize(@p1 : Parser(T, V), @p2 : Parser(T, V)) end diff --git a/src/parcom/token.cr b/src/parcom/token.cr new file mode 100644 index 0000000..b4e1fef --- /dev/null +++ b/src/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 + |
