From 262f161f42c4e59beec41c6f440336c38385426a Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Wed, 20 Dec 2023 20:46:00 -0600 Subject: Initial commit --- lib/user.ml | 31 ------------------------------- 1 file changed, 31 deletions(-) delete mode 100644 lib/user.ml (limited to 'lib/user.ml') diff --git a/lib/user.ml b/lib/user.ml deleted file mode 100644 index ba802c0..0000000 --- a/lib/user.ml +++ /dev/null @@ -1,31 +0,0 @@ -open Ppx_yojson_conv_lib.Yojson_conv.Primitives -open Cohttp -open Cohttp_lwt_unix -open Lwt - -type public_key = { - id : string; - owner : string; - public_key_pem : string; [@key "publicKeyPem"] -} -[@@deriving yojson] [@@yojson.allow_extra_fields] - -type t = { name : string; public_key : public_key [@key "publicKey"] } -[@@deriving yojson] [@@yojson.allow_extra_fields] - -let activity_header = - Some (Header.of_list [ ("Accept", "application/activity+json") ]) - -let get_user actor_url = - let%lwt _, body = - Client.get ?headers:activity_header (Uri.of_string actor_url) - in - body |> Cohttp_lwt.Body.to_string >|= fun body -> - let body = Yojson.Safe.from_string body |> t_of_yojson in - body - -let get_public_pem user = - user.public_key.public_key_pem |> Cstruct.of_string - |> X509.Public_key.decode_pem - -let name user = user.name -- cgit v1.2.3