package why3find

  1. Overview
  2. Docs

Module Why3findUtils.JsonSource

Sourceval of_file : string -> t
Sourceval of_string : string -> t
Sourceval to_file : ?pretty_floats:bool -> string -> t -> unit

to_file ~pretty_floats path t print the json value t in file path. If pretty_floats is set to true, the floats inside t are truncated to 3 decimals. If it is set to false, floats are printed with full precision. The default is false.

Sourceval to_string : ?pretty_floats:bool -> t -> string

to_string ~pretty_floats t convert the json value t to a string. If pretty_floats is set to true, the floats inside t are truncated to 3 decimals. If it is set to false, floats are printed with full precision. The default is false.

Sourceval pp_gen : ?pretty_floats:bool -> Format.formatter -> t -> unit

pp_gen ~pretty_floats fmt t print the json value t in formatter fmt. If pretty_floats is set to true, the floats inside t are truncated to 3 decimals. If it is set to false, floats are printed with full precision. The default is false.

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

pretty fmt t print the json value t in formatter fmt, truncating floats inside t to 3 decimals.

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

print fmt t print the json value t in formatter fmt. Floats inside t are printed with full precision.

Sourceval is_empty : t -> bool
Sourceval jint : t -> int
Sourceval jbool : t -> bool
Sourceval jfloat : t -> float
Sourceval jstring : t -> string
Sourceval jstringlist : t -> string list
Sourceval jlist : t -> t list
Sourceval jmap : (t -> 'a) -> t -> 'a list
Sourceval mfield : string -> t -> bool
Sourceval jfield : string -> t -> t
Sourceval jfield_exn : string -> t -> t
Sourceval jpath : string -> t -> t
Sourceval joption : (t -> 'a) -> t -> 'a option
Sourceval jdefault : 'a -> (t -> 'a) -> t -> 'a
Sourceval jmem : string -> t -> bool
Sourceval jiter : (string -> t -> unit) -> t -> unit
Sourceval null : t
Sourceval int : int -> t
Sourceval bool : bool -> t
Sourceval string : string -> t
Sourceval assoc : ?keepnull:bool -> ?nullempty:bool -> (string * t) list -> t
Sourceval list : ?keepnull:bool -> ?nullempty:bool -> t list -> t
Sourceval list_map : ?keepnull:bool -> ?nullempty:bool -> ('a -> t) -> 'a list -> t
Sourceval option_map : ('a -> t) -> 'a option -> t