From 5b421885fdfad728ab584ef15ec1873ec3bc2a05 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 29 May 2011 14:29:26 -0400
Subject: getHeader and setHeader

---
 lib/ur/basis.urs | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'lib/ur/basis.urs')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 09fd1a1d..bb671388 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -163,6 +163,16 @@ val setCookie : t ::: Type -> http_cookie t -> {Value : t,
                                                 Secure : bool} -> transaction unit
 val clearCookie : t ::: Type -> http_cookie t -> transaction unit
 
+type requestHeader
+val blessRequestHeader : string -> requestHeader
+val checkRequestHeader : string -> option requestHeader
+val getHeader : requestHeader -> transaction (option string)
+
+type responseHeader
+val blessResponseHeader : string -> responseHeader
+val checkResponseHeader : string -> option responseHeader
+val setHeader : responseHeader -> string -> transaction unit
+
 
 (** JavaScript-y gadgets *)
 
-- 
cgit v1.2.3