package goblint
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=9175eec0143102243964e34a0786584fd590c60422009259c705a89a27f88de4
sha512=9d760007dd8d003cf596516444ed7acc7370fc3d446e75ac71b0176522c3baae090410762f9035e7aae4f6b0e394bf28bb5b1c08ca0476920b94aa919ef04f42
doc/goblint.std/Goblint_std/GobYaml/index.html
Module Goblint_std.GobYamlSource
val to_string' :
?len:??? ->
?encoding:??? ->
?scalar_style:??? ->
?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.