diff options
| author | Matthew Hall <hallmatthew314@gmail.com> | 2023-03-11 18:53:23 +1300 |
|---|---|---|
| committer | Matthew Hall <hallmatthew314@gmail.com> | 2023-03-11 18:53:23 +1300 |
| commit | 3b61b8ae6dab474b8ae3e32532292a0e9d8597bb (patch) | |
| tree | 9833bea6d29791a444634fef6a78ae5866d29598 /src/parcom.cr | |
| parent | a7c2a377bd9984d1ca60b947a0e2c1fff615ff1f (diff) | |
Documentation for Assert
Diffstat (limited to 'src/parcom.cr')
| -rw-r--r-- | src/parcom.cr | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/src/parcom.cr b/src/parcom.cr index 39329f7..c1d9791 100644 --- a/src/parcom.cr +++ b/src/parcom.cr @@ -81,24 +81,6 @@ module Parcom end end - class Assert(T, V) < Parser(T, V) - def initialize(@p : Parser(T, V), &block : V -> Bool) - @f = block - end - - def parse(tokens : Tokens(T)) : Result(T, V) - result = @p.parse(tokens) - rescue ex : ParserFail - raise ParserFail.new("Assert (pre-assertion): #{ex.message}") - else - unless @f.call(result.value) - raise ParserFail.new("Assert: predicate failed for <#{result.value}>") - end - - return result - end - end - class Satisfy(T) < Parser(T, T) @p : Assert(T, T) |
