Module `Parsexp`Source

Sourcemodule Conv_error : sig ... end

Sourcemodule Of_sexp_error : sig ... end

Sourcemodule Old_parser_cont_state : sig ... end

Sourcemodule Parse_error : sig ... end

Sourcemodule Positions : sig ... end

Compact set of positions

Sourcemodule Cst : sig ... end

Concrete syntax tree of s-expressions

Sourcemodule type Conv = sig ... end

Sourcemodule type Parser = sig ... end

Sourcemodule type Eager_parser = sig ... end

Same as Parser but gives back a s-expression as soon as they are found in the input.

Sourceexception Of_sexp_error of Of_sexp_error.t

Exception raised in case of a conversion error

Sourceexception Parse_error of Parse_error.t

Exception raised in case of a parsing error

Source

module Single : 
  Parsexp.Parser
    with type parsed_value = Sexplib0.Sexp.t
     and type State.t =
           (unit, Parsexp__.Automaton_stack.t)
             Parsexp__.Automaton_state_intf.State.t
     and type Stack.t = Parsexp__.Automaton_stack.t

Source

module Many : 
  Parsexp.Parser
    with type parsed_value = Sexplib0.Sexp.t list
     and type State.t =
           (unit, Parsexp__.Automaton_stack.t)
             Parsexp__.Automaton_state_intf.State.t
     and type Stack.t = Parsexp__.Automaton_stack.t

Source

module Eager : 
  Parsexp.Eager_parser
    with type parsed_value = Sexplib0.Sexp.t
     and type State.t =
           (unit, Parsexp__.Automaton_stack.t)
             Parsexp__.Automaton_state_intf.State.t
     and type Stack.t = Parsexp__.Automaton_stack.t

Same as Parser but gives back a s-expression as soon as they are found in the input.

Source

module Single_and_positions : 
  Parsexp.Parser
    with type parsed_value = Sexplib0.Sexp.t * Positions.t
     and type State.t =
           (Positions.Builder.t, Parsexp__.Automaton_stack.t)
             Parsexp__.Automaton_state_intf.State.t
     and type Stack.t = Parsexp__.Automaton_stack.t

Source

module Many_and_positions : 
  Parsexp.Parser
    with type parsed_value = Sexplib0.Sexp.t list * Positions.t
     and type State.t =
           (Positions.Builder.t, Parsexp__.Automaton_stack.t)
             Parsexp__.Automaton_state_intf.State.t
     and type Stack.t = Parsexp__.Automaton_stack.t

Source

module Eager_and_positions : 
  Parsexp.Eager_parser
    with type parsed_value = Sexplib0.Sexp.t * Positions.t
     and type State.t =
           (Positions.Builder.t, Parsexp__.Automaton_stack.t)
             Parsexp__.Automaton_state_intf.State.t
     and type Stack.t = Parsexp__.Automaton_stack.t

Same as Parser but gives back a s-expression as soon as they are found in the input.

Source

module Single_just_positions : 
  Parsexp.Parser
    with type parsed_value = Positions.t
     and type State.t =
           (Positions.Builder.t, unit) Parsexp__.Automaton_state_intf.State.t
     and type Stack.t = unit

Source

module Many_just_positions : 
  Parsexp.Parser
    with type parsed_value = Positions.t
     and type State.t =
           (Positions.Builder.t, unit) Parsexp__.Automaton_state_intf.State.t
     and type Stack.t = unit

Source

module Eager_just_positions : 
  Parsexp.Eager_parser
    with type parsed_value = Positions.t
     and type State.t =
           (Positions.Builder.t, unit) Parsexp__.Automaton_state_intf.State.t
     and type Stack.t = unit

Same as Parser but gives back a s-expression as soon as they are found in the input.

Source

module Many_cst : 
  Parsexp.Parser
    with type parsed_value = Cst.t_or_comment list
     and type State.t =
           (Parsexp__.Automaton_state_intf.For_cst.t,
             Parsexp__.Automaton_stack.For_cst.t)
             Parsexp__.Automaton_state_intf.State.t
     and type Stack.t = Parsexp__.Automaton_stack.For_cst.t

Source

module Eager_cst : 
  Parsexp.Eager_parser
    with type parsed_value = Cst.t_or_comment
     and type State.t =
           (Parsexp__.Automaton_state_intf.For_cst.t,
             Parsexp__.Automaton_stack.For_cst.t)
             Parsexp__.Automaton_state_intf.State.t
     and type Stack.t = Parsexp__.Automaton_stack.For_cst.t

Same as Parser but gives back a s-expression as soon as they are found in the input.

Sourcetype 'a id = 'a

Sourcetype sexp_list = Sexplib0.Sexp.t list

Source

module Conv_single : 
  Parsexp.Conv
    with type 'a res := 'a Parsexp.id
     and type parsed_sexp := Sexplib0.Sexp.t
     and type chunk_to_conv := Sexplib0.Sexp.t

Source

module Conv_many : 
  Parsexp.Conv
    with type 'a res := 'a list
     and type parsed_sexp := Parsexp.sexp_list
     and type chunk_to_conv := Sexplib0.Sexp.t

Source

module Conv_many_and_locations : 
  Parsexp.Conv
    with type 'a res := 'a list
     and type parsed_sexp := Parsexp.sexp_list * Positions.t
     and type chunk_to_conv := Sexplib0.Sexp.t * Positions.range

Source

module Conv_many_at_once : 
  Parsexp.Conv
    with type 'a res := 'a Parsexp.id
     and type parsed_sexp := Parsexp.sexp_list
     and type chunk_to_conv := Parsexp.sexp_list

Sourcemodule Private : sig ... end

Module ParsexpSource

Module `Parsexp`Source