package goblint
Static analysis framework for C
Install
dune-project
Dependency
Authors
Maintainers
Sources
goblint-2.6.0.tbz
sha256=20d5b7332a9f6072ab9ba86c4a53b898eaf681286c56a8805c41850bbf3ddf41
sha512=7c7685cfcd9aa866bc40e813df2bfcb3c79b3d40e615d8d6d0939c5798b9d70dd7f2ba87a741f5ba0ce891e9d254627207fb28057f1f2f6611e4e0d128fd6a71
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)"
>