package parsexp

You can search for identifiers within the package.

in-package search v0.2.0

parsexp
- Parsexp
  - Conv
  - Conv_error
  - Conv_many
  - 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
  - Parse_error
  - Parser
    
    Stack
    
    State
  - Positions
    
    Builder
    
    Iterator
  - Private
    
    Parser_automaton
    
    Error
  - Single
    
    Stack
    
    State
  - Single_and_positions
    
    Stack
    
    State
  - Single_just_positions
    
    Stack
    
    State

Legend:
Library
Module
Module type
Parameter
Class
Class type

type 'a single_or_many = 'a

val parse_string : 
  string ->
  (Sexplib0.Sexp.t -> 'a) ->
  ('a single_or_many, Conv_error.t) result

val parse_string_exn : string -> (Sexplib0.Sexp.t -> 'a) -> 'a single_or_many

val conv : 
  (Sexplib0.Sexp.t single_or_many * Positions.t) ->
  (Sexplib0.Sexp.t -> 'a) ->
  ('a single_or_many, Of_sexp_error.t) result

val conv_exn : 
  (Sexplib0.Sexp.t single_or_many * Positions.t) ->
  (Sexplib0.Sexp.t -> 'a) ->
  'a single_or_many

val conv_combine : 
  (Sexplib0.Sexp.t single_or_many * Positions.t, Parse_error.t) result ->
  (Sexplib0.Sexp.t -> 'a) ->
  ('a single_or_many, Conv_error.t) result

Convenience function for merging parsing and conversion errors.

For instance if you have a load function as follow:

val load : string -> (Sexp.t list * Positions.t, Parse_error.t) result

then you can create a load_conv function as follow:

let load_conv : string -> (Sexp.t -> 'a) -> ('a list, Conv_error.t) result
  = fun filename f -> conv_combine (load filename) f