From 69d3f53365568524e18dfb1200a386309e174359 Mon Sep 17 00:00:00 2001
From: Marc Coquand <marcc@fastmail.fr>
Date: Sat, 2 Dec 2023 09:49:42 -0600
Subject: Initial commit

---
 lib/post.mli | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 lib/post.mli

(limited to 'lib/post.mli')

diff --git a/lib/post.mli b/lib/post.mli
new file mode 100644
index 0000000..9bf32ae
--- /dev/null
+++ b/lib/post.mli
@@ -0,0 +1,31 @@
+type t = {
+  link : string;
+  summary : string;
+  tags : string list;
+  published : string;
+  author : string;
+}
+
+type mastodon_tag = { kind : string; name : string; href : string }
+
+val mastodon_tag_of_yojson : Yojson.Safe.t -> mastodon_tag
+val yojson_of_mastodon_tag : mastodon_tag -> Yojson.Safe.t
+
+type mastodon_object = { tag : mastodon_tag list }
+
+val mastodon_object_of_yojson : Yojson.Safe.t -> mastodon_object
+val yojson_of_mastodon_object : mastodon_object -> Yojson.Safe.t
+
+type mastodon_post = {
+  actor : string;
+  published : string;
+  obj : mastodon_object;
+}
+
+val mastodon_post_of_yojson : Yojson.Safe.t -> mastodon_post
+val yojson_of_mastodon_post : mastodon_post -> Yojson.Safe.t
+val post_of_mastodon_post : mastodon_post -> t
+val get_tld : string -> string
+val db : t list ref
+val add : t -> unit
+val get_all : unit -> t list
-- 
cgit v1.2.3