package sexplib

You can search for identifiers within the package.

in-package search v0.2.0

package sexplib

sexplib
- Sexplib
  - Conv
    
    Exn_converter
    
    For_unit_tests_only
  - Conv_error
  - Exn_magic
  - Lexer
  - Parser
  - Parser_with_layout
  - Path
  - Pre_sexp
    
    Annot
    
    Annotated
    
    Bigstring_single_annot
    
    Bigstring_single_sexp
    
    Make_parser
    
    T
    
    Impl
    
    Lexbuf_consumer
    
    Stack
    
    State
    
    Read_only
    
    Of_string_conv_exn
    
    Parse_pos
    
    Parser_output
    
    Annotated_sexp
    
    Impl
    
    Lexbuf_consumer
    
    Stack
    
    State
    
    Read_only
    
    Bare_sexp
    
    Impl
    
    Lexbuf_consumer
    
    Stack
    
    State
    
    Read_only
    
    T
    
    Impl
    
    Lexbuf_consumer
    
    Stack
    
    State
    
    Read_only
    
    String_single_annot
    
    String_single_sexp
    
    Tmp_file
  - Sexp
    
    Annotated
    
    Cont_state
    
    Of_string_conv_exn
    
    Parse_pos
    
    With_layout
    
    Forget
    
    Lexer
    
    Parser
    
    Render
  - Sexp_grammar
  - Sexp_grammar_intf
    
    S
    
    Sexp_grammar
  - Sexp_intf
    
    S
    
    Annotated
    
    Cont_state
    
    Of_string_conv_exn
    
    Parse_pos
    
    With_layout
    
    Forget
    
    Lexer
    
    Parser
    
    Render
  - Sexp_with_layout
    
    Forget
    
    Cps
    
    Lexer
    
    List
    
    Render
  - Src_pos
    
    Absolute
    
    Relative
  - Std
    
    Hashtbl
    
    HashedType
    
    S
    
    SeededHashedType
    
    SeededS
    
    Lazy
  - Type
  - Type_with_layout
    
    Make
    
    Pos
    
    S
    
    Parsed
sexplib.num
- Sexplib_num
  - Sexplib_num_conv
  - Std
    
    Big_int
    
    Nat
    
    Num
    
    Ratio
sexplib.unix
- Sexplib_unix
  - Sexplib_unix_conv

Legend:
Library
Module
Module type
Parameter
Class
Class type

include Sexp_grammar_intf.Sexp_grammar

module type S = Sexp_grammar_intf.S

include module type of struct include Sexplib0.Sexp_grammar end

type grammar = Sexplib0__Sexp_grammar.grammar =

| Any of string
| Bool
| Char
| Integer
| Float
| String
| Option of grammar
| List of list_grammar
| Variant of variant
| Union of grammar list
| Tagged of grammar with_tag
| Tyvar of string
| Tycon of string * grammar list
| Recursive of grammar * defn list
| Lazy of grammar lazy_t

and list_grammar = Sexplib0__Sexp_grammar.list_grammar =

| Empty
| Cons of grammar * list_grammar
| Many of grammar
| Fields of record

and case_sensitivity = Sexplib0__Sexp_grammar.case_sensitivity =

| Case_insensitive
| Case_sensitive
| Case_sensitive_except_first_character

and variant = Sexplib0__Sexp_grammar.variant = {

case_sensitivity : case_sensitivity;
clauses : clause with_tag_list list;

}

and clause = Sexplib0__Sexp_grammar.clause = {

name : string;
clause_kind : clause_kind;

}

and clause_kind = Sexplib0__Sexp_grammar.clause_kind =

| Atom_clause
| List_clause of {
1. args : list_grammar;
}

and record = Sexplib0__Sexp_grammar.record = {

allow_extra_fields : bool;
fields : field with_tag_list list;

}

and field = Sexplib0__Sexp_grammar.field = {

name : string;
required : bool;
args : list_grammar;

}

and !'a with_tag = 'a Sexplib0__Sexp_grammar.with_tag = {

key : string;
value : Sexplib0__.Sexp.t;
grammar : 'a;

}

and !'a with_tag_list = 'a Sexplib0__Sexp_grammar.with_tag_list =

| Tag of 'a with_tag_list with_tag
| No_tag of 'a

and defn = Sexplib0__Sexp_grammar.defn = {

tycon : string;
tyvars : string list;
grammar : grammar;

}

type !'a t = 'a Sexplib0__Sexp_grammar.t = {

untyped : grammar;

}

val coerce : 'a t -> 'b t

val doc_comment_tag : string

val remember_to_update_these_together : 
  t_of_sexp:(Sexp.t -> 'a) ->
  t_sexp_grammar:'a t ->
  (Sexp.t -> 'a) * 'a t

Idiomatic usage looks like this:

let t_of_sexp, t_sexp_grammar =
  remember_to_update_these_together ~t_of_sexp ~t_sexp_grammar