package goblint
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=99b78e6def71534d195eef9084baa26d8334b36084e120aa6afb300c9bf8afa6
sha512=f3162bd95a03c00358a2991f6152fc6169205bfb4c55e2c483e98cc3935673df9656d025b6f1ea0fa5f1bd0aee037d4f483966b0d2907e3fa9bf11a93a3392af
doc/goblint.std/Goblint_std/GobYaml/index.html
Module Goblint_std.GobYamlSource
val to_string' :
?len:int ->
?encoding:Yaml.encoding ->
?scalar_style:Yaml.scalar_style ->
?layout_style:Yaml.layout_style ->
Yaml.value ->
(string, [> `Msg of string ]) resultinclude module type of struct include Yaml.Util end
An exception raised when the wrong type of yaml value is passed to a utility function.
keys obj returns the keys of the object value or an error if the wrong type of value is given as an argument.
keys_exn obj is the same as keys except it raises an exception.
values obj returns the values of the object value or an error if the wrong type of value is given as an argument.
values_exn obj is the same as values except it raises an exception.
combine a b combines the key-value pairs of the two objects or returns an error if the wrong type of value is given as an argument.
combines_exn a b is the same as combines except it raises an exception.
find_exn s obj is the same as find except it raises an exception.
map f arr applies f to every value in arr, an error is retured if the wrong type of value is given.
map_exn f obj is the same as map except it raises an exception.
filter f arr filters out values in arr using f, an error is retured if the wrong type of value is given.
filter_exn p obj is the same as filter except it raises an exception.
to_string v tries to convert v to a string if the underlying value is a string.
to_string_exn v is the same as to_string except it raises an exception.
to_bool v tries to convert v to a boolean if the underlying value is a boolean.
to_bool_exn v is the same as to_bool except it raises an exception.
to_float v tries to convert v to a float if the underlying value is a float.
to_float_exn v is the same as to_float except it raises an exception.
Make a value from a string.
Make a value from a boolean.
Make a value from a float.
Make a value from an association list.