Module `Single_and_positions.State`

type t: State of the parser

val create : ?⁠pos:Positions.pos -> unit -> t: Create a new parser state. pos is the initial position, it defaults to {line=1;col=0;offset=0}.

val reset : ?⁠pos:Positions.pos -> t -> unit

Reset the given parsing state. The following always succeed:

reset t ?pos;
assert (t = create ?pos ())

val offset : t -> int: Number of characters fed to the parser

val line : t -> int
val column : t -> int
val position : t -> Positions.pos
val stop : t -> unit: Prevent the state from receiving any more characters. Trying to feed more characters will result in an exception, unless the state is reset.