From 301c28f2157d5822b60499c93e7ee77a92b8cfe8 Mon Sep 17 00:00:00 2001 From: Ryan Kavanagh Date: Tue, 2 Jun 2020 12:09:42 -0400 Subject: Rename request to geminiTransaction --- gemini/request.mli | 41 ----------------------------------------- 1 file changed, 41 deletions(-) delete mode 100644 gemini/request.mli (limited to 'gemini/request.mli') diff --git a/gemini/request.mli b/gemini/request.mli deleted file mode 100644 index 45049f1..0000000 --- a/gemini/request.mli +++ /dev/null @@ -1,41 +0,0 @@ -module type GEMINI_TRANSACTION = -sig - type request - - module M : MimeType.MIME_TYPE - - type status = - | INPUT - | SUCCESS - | SUCCESS_EOCSS - | REDIR_TEMP - | REDIR_PERM - | TEMP_FAIL - | SERVER_UNAVAILABLE - | CGI_ERROR - | PROXY_ERROR - | SLOW_DOWN - | PERM_FAIL - | NOT_FOUND - | GONE - | PROXY_REQ_REFUSED - | BAD_REQ - | CLIENT_CERT_REQUIRED - | TRANSIENT_CERT_REQUESTED - | AUTHORISED_CERT_REQUIRED - | CERT_NOT_ACCEPTED - | FUTURE_CERT_REJECTED - | EXPIRED_CERT_REJECTED - - type mime_type = M.t - - type response = status * mime_type * string - - val string_to_request : string -> request - - val int_to_status : int -> status option - - val transaction : request -> response option Lwt.t -end - -module GeminiTransaction (M : MimeType.MIME_TYPE) : GEMINI_TRANSACTION with module M = M -- cgit v1.2.3