package parsexp

  1. Overview
  2. Docs
module Conv_error : sig ... end
module Of_sexp_error : sig ... end
module Old_parser_cont_state : sig ... end
module Parse_error : sig ... end
module Positions : sig ... end

Compact set of positions

module Cst : sig ... end

Concrete syntax tree of s-expressions

module type Conv = sig ... end
module type Parser = sig ... end
module type Eager_parser = sig ... end

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

exception Of_sexp_error of Of_sexp_error.t

Exception raised in case of a conversion error

exception Parse_error of Parse_error.t

Exception raised in case of a parsing error

module Single : 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
module Many : 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
module Eager : 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.

module Single_and_positions : 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
module Many_and_positions : 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
module Eager_and_positions : 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.

module Single_just_positions : 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
module Many_just_positions : 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
module Eager_just_positions : 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.

module Many_cst : 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
module Eager_cst : 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.

type 'a id = 'a
type sexp_list = Sexplib0.Sexp.t list
module Conv_single : Conv with type 'a res := 'a id and type parsed_sexp := Sexplib0.Sexp.t and type chunk_to_conv := Sexplib0.Sexp.t
module Conv_many : Conv with type 'a res := 'a list and type parsed_sexp := sexp_list and type chunk_to_conv := Sexplib0.Sexp.t
module Conv_many_at_once : Conv with type 'a res := 'a id and type parsed_sexp := sexp_list and type chunk_to_conv := sexp_list
module Private : sig ... end
OCaml

Innovation. Community. Security.