summaryrefslogtreecommitdiff
path: root/gemini/mimeType.mli
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@rak.ac>2020-05-31 22:30:55 -0400
committerRyan Kavanagh <rak@rak.ac>2020-05-31 22:30:55 -0400
commit8b5b6b12c07a0a4520349a270839696bb9ff11d2 (patch)
tree33987d4a81ab1fe9c984d83d41ab6397d791f601 /gemini/mimeType.mli
parentDrop unneeded _oasis file (diff)
mimetype stub
Diffstat (limited to 'gemini/mimeType.mli')
-rw-r--r--gemini/mimeType.mli16
1 files changed, 16 insertions, 0 deletions
diff --git a/gemini/mimeType.mli b/gemini/mimeType.mli
new file mode 100644
index 0000000..6075ef9
--- /dev/null
+++ b/gemini/mimeType.mli
@@ -0,0 +1,16 @@
+module type MIME_TYPE =
+sig
+ type t
+
+ exception ParseError of string
+
+ val from_string : string -> t
+
+ val to_type : t -> string
+
+ val to_subtype : t -> string
+
+ val to_parameter : t -> (string * string) option
+end
+
+module MimeType : MIME_TYPE