package jose
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Source file Jwks.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
type t = { keys : Jwk.public Jwk.t list } let to_json t = let keys_json = List.map Jwk.to_pub_json t.keys in `Assoc [ ("keys", `List keys_json) ] let of_json json = { keys = json |> Yojson.Safe.Util.member "keys" |> Yojson.Safe.Util.to_list |> List.map Jwk.of_pub_json |> Utils.U_List.filter_map Utils.U_Result.to_opt; } let to_string t = to_json t |> Yojson.Safe.to_string let of_string str = Yojson.Safe.from_string str |> of_json let find_key jwks kid = Utils.U_List.find_opt (fun (jwk : Jwk.public Jwk.t) -> let curr_kid = Jwk.get_kid jwk in match curr_kid with Some curr_kid -> curr_kid = kid | None -> false) jwks.keys
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>