package goblint
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=20d5b7332a9f6072ab9ba86c4a53b898eaf681286c56a8805c41850bbf3ddf41
sha512=7c7685cfcd9aa866bc40e813df2bfcb3c79b3d40e615d8d6d0939c5798b9d70dd7f2ba87a741f5ba0ce891e9d254627207fb28057f1f2f6611e4e0d128fd6a71
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.