package goblint
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=b729c94adb383a39aea32eb005c988dfd44b92af22ee6a4eedf4239542ac6c26
sha512=643b98770e5fe5644324c95c9ae3a9f698f25c8b11b298f0751d524e0b20af368b2a465fc8200b75a73d48fc9a053fd90f5e8920d4db070927f93188bb8687e0
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.