parse_callback.pony

1
2
3
4
5
6
7
8
interface val ParseCallback[
  S: (Any #read & Equatable[S]),
  D: Any #share,
  V: Any #share]
  """
  Used to report the results of a parse attempt.
  """
  fun apply(result: Result[S, D, V], values: ReadSeq[V] val)