equal
deleted
inserted
replaced
71 |
71 |
72 def maybe(pred: Symbol.Symbol => Boolean): Parser[String] = |
72 def maybe(pred: Symbol.Symbol => Boolean): Parser[String] = |
73 repeated(pred, 0, 1) |
73 repeated(pred, 0, 1) |
74 |
74 |
75 def many(pred: Symbol.Symbol => Boolean): Parser[String] = |
75 def many(pred: Symbol.Symbol => Boolean): Parser[String] = |
76 repeated(pred, 0, Integer.MAX_VALUE) |
76 repeated(pred, 0, Int.MaxValue) |
77 |
77 |
78 def many1(pred: Symbol.Symbol => Boolean): Parser[String] = |
78 def many1(pred: Symbol.Symbol => Boolean): Parser[String] = |
79 repeated(pred, 1, Integer.MAX_VALUE) |
79 repeated(pred, 1, Int.MaxValue) |
80 |
80 |
81 |
81 |
82 /* character */ |
82 /* character */ |
83 |
83 |
84 def character(pred: Char => Boolean): Symbol.Symbol => Boolean = |
84 def character(pred: Char => Boolean): Symbol.Symbol => Boolean = |