package goblint
Static analysis framework for C
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-2.5.0.tbz
sha256=452d8491527aea21f2cbb11defcc14ba0daf9fdb6bdb9fc0af73e56eac57b916
sha512=1993cd45c4c7fe124ca6e157f07d17ec50fab5611b270a434ed1b7fb2910aa85a8e6eaaa77dad770430710aafb2f6d676c774dd33942d921f23e2f9854486551
doc/src/goblint.std/gobYaml.ml.html
Source file gobYaml.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48
let to_string' ?(len=65535 * 4) ?encoding ?scalar_style ?layout_style v = assert (len >= 1); let rec aux len = match Yaml.to_string ~len ?encoding ?scalar_style ?layout_style v with | Ok _ as o -> o | Error (`Msg ("scalar failed" | "doc_end failed" | "seq_end failed")) when len < Sys.max_string_length / 2 -> aux (len * 2) | Error (`Msg _) as e -> e in aux len include Yaml.Util include GobResult.Syntax let option_map (f: 'a -> ('b, 'e) result) (o: 'a option): ('b option, 'e) result = match o with | Some x -> Result.map Option.some (f x) | None -> Ok None let rec list_map (f: 'a -> ('b, 'e) result) (l: 'a list): ('b list, 'e) result = match l with | [] -> Ok [] | x :: xs -> let+ y = f x and+ ys = list_map f xs in y :: ys let find s y = match Yaml.Util.find s y with | Ok (Some y'') -> Ok y'' | Ok None -> Error (`Msg ("find " ^ s)) | Error `Msg e -> Error (`Msg ("find " ^ s ^ ": " ^ e)) let to_int y = let+ f = to_float y in int_of_float f let list = function | `A l -> Ok l | _ -> Error (`Msg "Failed to get elements from non-array value") let entries = function | `O assoc -> Ok assoc | _ -> Error (`Msg "Failed to get entries from non-object value") let int i = float (float_of_int i)
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>