package sexplib0

  1. Overview
  2. Docs
Library containing the definition of S-expressions and some base converters

Install 

dune-project
 Dependency

github.com Readme Changelog MIT License Edit opam file Versions (8)

Authors

  1. J
    Jane Street Group, LLC

Maintainers

  1. J
    Jane Street developers

Sources

v0.17.0.tar.gz
md5=abafe8fd1d6302e55a315f4d78960d2a
sha512=ad387e40789fe70a11473db7e85fe017b801592624414e9030730b2e92ea08f98095fb6e9236430f33c801605ebee0a2a6284e0f618a26a7da4599d4fd9d395d

doc/src/sexplib0/sexpable.ml.html

Source file sexpable.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
module type S = sig
  type t

  val t_of_sexp : Sexp.t -> t
  val sexp_of_t : t -> Sexp.t
end

module type S1 = sig
  type 'a t

  val t_of_sexp : (Sexp.t -> 'a) -> Sexp.t -> 'a t
  val sexp_of_t : ('a -> Sexp.t) -> 'a t -> Sexp.t
end

module type S2 = sig
  type ('a, 'b) t

  val t_of_sexp : (Sexp.t -> 'a) -> (Sexp.t -> 'b) -> Sexp.t -> ('a, 'b) t
  val sexp_of_t : ('a -> Sexp.t) -> ('b -> Sexp.t) -> ('a, 'b) t -> Sexp.t
end

module type S3 = sig
  type ('a, 'b, 'c) t

  val t_of_sexp
    :  (Sexp.t -> 'a)
    -> (Sexp.t -> 'b)
    -> (Sexp.t -> 'c)
    -> Sexp.t
    -> ('a, 'b, 'c) t

  val sexp_of_t
    :  ('a -> Sexp.t)
    -> ('b -> Sexp.t)
    -> ('c -> Sexp.t)
    -> ('a, 'b, 'c) t
    -> Sexp.t
end