package goblint
Static analysis framework for C
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-2.3.0.tbz
sha256=b729c94adb383a39aea32eb005c988dfd44b92af22ee6a4eedf4239542ac6c26
sha512=643b98770e5fe5644324c95c9ae3a9f698f25c8b11b298f0751d524e0b20af368b2a465fc8200b75a73d48fc9a053fd90f5e8920d4db070927f93188bb8687e0
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
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")) 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")
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>