Source file `automaton_helpers_intf.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
(** Convenience functions for feeding the automaton. *)

open! Import

module type Automaton_helpers = sig
  val feed_bytes : (_, 'stack) Parser_automaton.state -> bytes -> 'stack -> 'stack
  val feed_string : (_, 'stack) Parser_automaton.state -> string -> 'stack -> 'stack

  val feed_subbytes
    :  (_, 'stack) Parser_automaton.state
    -> bytes
    -> pos:int
    -> len:int
    -> 'stack
    -> 'stack

  val feed_substring
    :  (_, 'stack) Parser_automaton.state
    -> string
    -> pos:int
    -> len:int
    -> 'stack
    -> 'stack
end