package goblint
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=452d8491527aea21f2cbb11defcc14ba0daf9fdb6bdb9fc0af73e56eac57b916
sha512=1993cd45c4c7fe124ca6e157f07d17ec50fab5611b270a434ed1b7fb2910aa85a8e6eaaa77dad770430710aafb2f6d676c774dd33942d921f23e2f9854486551
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.