package containers

You can search for identifiers within the package.

in-package search v0.2.0

A modular, clean and powerful extension of the OCaml standard library

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (23)

Authors

S

Simon Cruanes

Maintainers

S

simon.cruanes.2007@m4x.org

Sources

v2.8.tar.gz

md5=03b80e963186e91ddac62ef645bf7fb2

sha512=c8f434808be540c16926bf03d89f394d33fc2d092f963a7b6d412481229e0a96290f1ad7c7d522415115d35426b7aa0b3fda4b991ddc321dad279d402c9a0c0b

doc/containers.sexp/CCSexp/index.html

Module `CCSexp`Source

Handling S-expressions

Sourcetype 'a or_error = ('a, string) result

Sourcetype 'a sequence = ('a -> unit) -> unit

Sourcetype 'a gen = unit -> 'a option

Sourcemodule type SEXP = CCSexp_intf.SEXP

Sourcemodule type S = CCSexp_intf.S

Sourcemodule Make (Sexp : SEXP) : S with type t = Sexp.t

Basics

Sourcetype t = [

| `Atom of string
| `List of t list

]

A simple, structural representation of S-expressions.

include S with type t := t

Sourcetype sexp = t

Re-exports

Sourceval list : t list -> t

Make a Sexpr of this list.

since 2.8

Constructors

Sourceval of_int : int -> t

Sourceval of_bool : bool -> t

Sourceval of_list : t list -> t

Sourceval of_rev_list : t list -> t

Reverse the list.

Sourceval of_float : float -> t

Sourceval of_unit : t

Sourceval of_pair : (t * t) -> t

Sourceval of_triple : (t * t * t) -> t

Sourceval of_quad : (t * t * t * t) -> t

Sourceval of_variant : string -> t list -> t

of_variant name args is used to encode algebraic variants into a S-expr. For instance of_variant "some" [of_int 1] represents the value Some 1.

Sourceval of_field : string -> t -> t

Used to represent one record field.

Sourceval of_record : (string * t) list -> t

Represent a record by its named fields.

Printing

Sourceval to_buf : Buffer.t -> t -> unit

Sourceval to_string : t -> string

Sourceval to_file : string -> t -> unit

Sourceval to_file_seq : string -> t CCSexp_intf.sequence -> unit

Print the given sequence of expressions to a file.

Sourceval to_chan : out_channel -> t -> unit

Sourceval pp : Format.formatter -> t -> unit

Pretty-printer nice on human eyes (including indentation).

Sourceval pp_noindent : Format.formatter -> t -> unit

Raw, direct printing as compact as possible.

Parsing

Sourcetype 'a parse_result =

| Yield of 'a
| Fail of string
| End

A parser of 'a can return Yield x when it parsed a value, or Fail e when a parse error was encountered, or End if the input was empty.

Sourcemodule Decoder : sig ... end

Sourceval parse_string : string -> t CCSexp_intf.or_error

Parse a string.

Sourceval parse_string_list : string -> t list CCSexp_intf.or_error

Parse a string into a list of S-exprs.

since 2.8

Sourceval parse_chan : in_channel -> t CCSexp_intf.or_error

Parse a S-expression from the given channel. Can read more data than necessary, so don't use this if you need finer-grained control (e.g. to read something else after the S-exp).

Sourceval parse_chan_gen : in_channel -> t CCSexp_intf.or_error CCSexp_intf.gen

Parse a channel into a generator of S-expressions.

Sourceval parse_chan_list : in_channel -> t list CCSexp_intf.or_error

Sourceval parse_file : string -> t CCSexp_intf.or_error

Open the file and read a S-exp from it.

Sourceval parse_file_list : string -> t list CCSexp_intf.or_error