package b0

  1. Overview
  2. Docs
Software construction and deployment kit

Install 

dune-project
 Dependency

erratique.ch Readme Changelog ISC; BSD-2-Clause License Edit opam file Versions (2)

Authors

  1. T
    The b0 programmers

Maintainers

  1. Daniel Bünzli

Sources

b0-0.0.6.tbz
sha512=e9aa779e66c08fc763019f16d4706f465d16c05d6400b58fbd0313317ef33ddea51952e2b058db28e65f7ddb7012f328c8bf02d8f1da17bb543348541a2587f0

doc/b0.std/B0_sexp/Sexp/index.html

Module B0_sexp.SexpSource

S-expression definitions and codec.

Meta information

Sourcetype 'a fmt = Format.formatter -> 'a -> unit

The type for formatting functions.

The type for source text locations.

Sourceval loc_nil : B0_text.Tloc.t

loc_nil is a source text location for non-parsed s-expressions.

Sourceval pp_loc : loc fmt

pp_loc is Tloc.pp.

Sourcetype a_meta

The type for meta information about atoms.

Sourcetype l_meta

The type for meta information about lists.

Sourceval a_meta_nil : a_meta

a_meta_nil is parse information for non-parsed atoms.

Sourceval l_meta_nil : l_meta

l_meta_nil is parse information for non-parsed lists.

S-expressions

Sourcetype t = [
  1. | `A of string * a_meta
  2. | `L of t list * l_meta
]

The type for generic s-expression representations. Either an atom or a list.

Sourceval atom : string -> t

atom a is `A (a, a_meta_nil).

Sourceval list : t list -> t

list l is `L (l, l_meta_nil).

Accessors

Sourceval loc : t -> loc

loc s is s's source text location.

Sourceval to_atom : t -> (string, string) result

to_atom s extracts an atom from s. If s is a list an error with the location formatted according to Tloc.pp is returned.

Sourceval get_atom : t -> string

get_atom s is like to_atom but raises Invalid_argument if s is not an atom.

Sourceval to_list : t -> (t list, string) result

to_list s extracts a list from s. If s is an atom an error with the location formatted according to Tloc.pp is returned.

Sourceval get_list : t -> t list

get_atom s is like to_list but raises Invalid_argument if s is not an list.

Sourceval to_splice : t -> t list

to_splice s is the either the list of s if s is or or [s] if s is an atom.

Formatting

Sourceval pp : t fmt

pp formats an s-expression.

Sourceval pp_layout : t fmt

pp_layout ppf l is like pp but uses layout information.

Sourceval pp_seq : t fmt

pp_seq formats an s-expression but if it is a list the outer list separators are not formatted in the output.

Warning. Assumes all OCaml strings in the formatted value are UTF-8 encoded.

Sourceval pp_seq_layout : t fmt

pp_seq_layout is like pp_seq but uses layout information.

Codec

Sourcetype error_kind

The type for kinds of decoding error.

Sourceval pp_error_kind : unit -> error_kind fmt

pp_error_kind () formats an error kind.

Sourcetype error = error_kind * loc

The type for decoding errors.

Sourceval pp_error : ?pp_loc:loc fmt -> ?pp_error_kind:error_kind fmt -> ?pp_prefix:unit fmt -> unit -> error fmt

pp_error ~pp_loc ~pp_error_kind ~pp_prefix () formats errors using pp_loc (defaults to pp_loc), pp_error_kind (defaults to pp_error_kind) and pp_prefix (defaults formats "Error: ").

Sourceval error_to_string : ?pp_error:error fmt -> ('a, error) result -> ('a, string) result

error_to_string r converts an error to a string using pp_error (defaults to pp_error).

Sourceval seq_of_string : ?file:B0_text.Tloc.fpath -> string -> (t, error) result

seq_of_string ?file s parses a sequence of s-expressions from s. file is the file for locations, defaults to "-". The sequence is returned as a fake s-expression list that spans from the start of the first s-expression in s to the end of the last one; note that this list does not exist syntactically in s.

If there are no s-expression in s the list is empty its location has both start and end positions at byte 0 (which may not exist).

Note. All OCaml strings returned by this function are UTF-8 encoded.

Sourceval seq_of_string' : ?pp_error:error fmt -> ?file:B0_text.Tloc.fpath -> string -> (t, string) result

seq_of_string' s seq_of_string composed with error_to_string.

Sourceval seq_to_string : t -> string

seq_to_string s encodes s to a sequence of s-expressions. If s is an s-expression list this wrapping list is not syntactically represented in the output (see also seq_of_string), use to_string (list [l]) if you want to output l as a list.

Warning. Assumes all OCaml strings in s are UTF-8 encoded.

S-expression indices

Sourcetype index =
  1. | Nth of int
  2. | Key of string

The type for s-expression indexing operations.

  • Nth n, lookup zero-based element n in a list. If n is negative, counts the number of elements from the end of the list, i.e. -1 is the last list element.
  • Key k, lookup binding k in an s-expression dictionary.
Sourceval pp_key : string fmt

pp_key formats a key, this is Format.pp_print_string.

Sourceval pp_index : ?pp_key:string fmt -> unit -> index fmt

pp_index formats indices. Keys are unbracketed and formatted with pp_key, defaults to pp_key.

S-expression paths

Sourcetype path = index list

The type for paths, a sequence of indexing operations in reverse order.

Sourceval path_of_string : string -> (path, string) result

path_of_string parses a path from s according to the syntax given here.

Sourceval pp_path : ?pp_key:string fmt -> unit -> path fmt

pp_path ?pp_key () is a formatter for paths using pp_key to format keys (defaults to pp_key).

Carets

Sourcetype caret_loc =
  1. | Before
    (*

    The void before the s-expression found by the path.

    *)
  2. | Over
    (*

    The s-expression found by the path.

    *)
  3. | After
    (*

    The void after the s-expression found by the path.

    *)

The type for caret locations.

Sourcetype caret = caret_loc * path

The type for carets. A caret location and the path at which it applies.

Sourceval caret_of_string : string -> (caret, string) result

caret_of_string s parses a caret from s according to the syntax given here.

Sourceval pp_caret : ?pp_key:string fmt -> unit -> caret fmt

pp_caret ?pp_key () is a formatter for carets using pp_key to format keys (defaults to pp_key).