package parsexp

You can search for identifiers within the package.

in-package search v0.2.0

package parsexp

parsexp
- Parsexp
  - Conv
  - Conv_error
  - Conv_many
  - Conv_many_and_locations
  - Conv_many_at_once
  - Conv_single
  - Cst
    
    Forget
  - Eager
    
    Lexbuf_consumer
    
    Stack
    
    State
    
    Read_only
  - Eager_and_positions
    
    Lexbuf_consumer
    
    Stack
    
    State
    
    Read_only
  - Eager_cst
    
    Lexbuf_consumer
    
    Stack
    
    State
    
    Read_only
  - Eager_just_positions
    
    Lexbuf_consumer
    
    Stack
    
    State
    
    Read_only
  - Eager_parser
    
    Lexbuf_consumer
    
    Stack
    
    State
    
    Read_only
  - Many
    
    Stack
    
    State
  - Many_and_positions
    
    Stack
    
    State
  - Many_cst
    
    Stack
    
    State
  - Many_just_positions
    
    Stack
    
    State
  - Of_sexp_error
  - Old_parser_cont_state
  - Parse_error
  - Parser
    
    Stack
    
    State
  - Positions
    
    Builder
    
    Iterator
  - Private
    
    Automaton
    
    Context
    
    For_cst
    
    Kind
    
    Mode
    
    Stack
    
    For_cst
    
    Just_positions
    
    State
    
    Automaton_stack
    
    For_cst
    
    Just_positions
    
    Automaton_state
    
    Context
    
    For_cst
    
    Kind
    
    Mode
    
    State
  - Single
    
    Stack
    
    State
  - Single_and_positions
    
    Stack
    
    State
  - Single_just_positions
    
    Stack
    
    State

Legend:
Library
Module
Module type
Parameter
Class
Class type

API for iterating over positions in an efficient way

type t

val create : t -> t

exception No_more

Exception raised when the iterator has reached the end of the sequence.

val advance_exn : t -> skip:int -> pos

advance t ~skip skips the next skip positions in the sequence, advance to the next position and return it. Raises No_more when reaching the end of the position set.

val advance_sexp_exn : t -> Sexplib0.Sexp.t -> range

Advance over a whole s-expression worth of positions. Returns the position range corresponding to that s-expression.