package b0
-
b0.b00.kit
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package b0
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
S-expression definitions and codec.
Meta information
type 'a fmt = Format.formatter -> 'a -> unitThe type for formatting functions.
type loc = B00_serialk_text.Tloc.tThe type for source text locations.
val loc_nil : B00_serialk_text.Tloc.tloc_nil is a source text location for non-parsed s-expressions.
val a_meta_nil : a_metaa_meta_nil is parse information for non-parsed atoms.
val l_meta_nil : l_metal_meta_nil is parse information for non-parsed lists.
S-expressions
The type for generic s-expression representations. Either an atom or a list.
val atom : string -> tatom a is `A (a, a_meta_nil).
Accessors
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.
val get_atom : t -> stringget_atom s is like to_atom but raises Invalid_argument if s is not an atom.
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.
get_atom s is like to_list but raises Invalid_argument if s is not an list.
to_splice s is the either the list of s if s is or or [s] if s is an atom.
Formatting
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.
Codec
val pp_error_kind : unit -> error_kind fmtpp_error_kind () formats an error kind.
type error = error_kind * locThe type for decoding errors.
val pp_error :
?pp_loc:loc fmt ->
?pp_error_kind:error_kind fmt ->
?pp_prefix:unit fmt ->
unit ->
error fmtpp_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: ").
error_to_string r converts an error to a string using pp_error (defaults to pp_error).
val seq_of_string :
?file:B00_serialk_text.Tloc.fpath ->
string ->
(t, error) resultseq_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.
val seq_of_string' :
?pp_error:error fmt ->
?file:B00_serialk_text.Tloc.fpath ->
string ->
(t, string) resultseq_of_string' s seq_of_string composed with error_to_string.
val seq_to_string : t -> stringseq_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
The type for s-expression indexing operations.
Nth n, lookup zero-based elementnin a list. Ifnis negative, counts the number of elements from the end of the list, i.e.-1is the last list element.Key k, lookup bindingkin an s-expression dictionary.
val pp_key : string fmtpp_key formats a key, this is Format.pp_print_string.
pp_index formats indices. Keys are unbracketed and formatted with pp_key, defaults to pp_key.
S-expression paths
type path = index listThe type for paths, a sequence of indexing operations in reverse order.
path_of_string parses a path from s according to the syntax given here.
pp_path ?pp_key () is a formatter for paths using pp_key to format keys (defaults to pp_key).
Carets
The type for carets. A caret location and the path at which it applies.
caret_of_string s parses a caret from s according to the syntax given here.