Mercurial > urweb
comparison doc/manual.tex @ 1055:118a5a08a881
Merge
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 03 Dec 2009 11:56:15 -0500 |
| parents | 93315ac00394 |
| children | ae885ad70d83 |
comparison
equal
deleted
inserted
replaced
| 1054:b06a2a65e670 | 1055:118a5a08a881 |
|---|---|
| 1286 $$\begin{array}{l} | 1286 $$\begin{array}{l} |
| 1287 \mt{val} \; \mt{requestHeader} : \mt{string} \to \mt{transaction} \; (\mt{option} \; \mt{string}) \\ | 1287 \mt{val} \; \mt{requestHeader} : \mt{string} \to \mt{transaction} \; (\mt{option} \; \mt{string}) \\ |
| 1288 \\ | 1288 \\ |
| 1289 \mt{con} \; \mt{http\_cookie} :: \mt{Type} \to \mt{Type} \\ | 1289 \mt{con} \; \mt{http\_cookie} :: \mt{Type} \to \mt{Type} \\ |
| 1290 \mt{val} \; \mt{getCookie} : \mt{t} ::: \mt{Type} \to \mt{http\_cookie} \; \mt{t} \to \mt{transaction} \; (\mt{option} \; \mt{t}) \\ | 1290 \mt{val} \; \mt{getCookie} : \mt{t} ::: \mt{Type} \to \mt{http\_cookie} \; \mt{t} \to \mt{transaction} \; (\mt{option} \; \mt{t}) \\ |
| 1291 \mt{val} \; \mt{setCookie} : \mt{t} ::: \mt{Type} \to \mt{http\_cookie} \; \mt{t} \to \mt{t} \to \mt{transaction} \; \mt{unit} | 1291 \mt{val} \; \mt{setCookie} : \mt{t} ::: \mt{Type} \to \mt{http\_cookie} \; \mt{t} \to \{\mt{Value} : \mt{t}, \mt{Expires} : \mt{option} \; \mt{time}, \mt{Secure} : \mt{bool}\} \to \mt{transaction} \; \mt{unit} \\ |
| 1292 \mt{val} \; \mt{clearCookie} : \mt{t} ::: \mt{Type} \to \mt{http\_cookie} \; \mt{t} \to \mt{transaction} \; \mt{unit} | |
| 1292 \end{array}$$ | 1293 \end{array}$$ |
| 1293 | 1294 |
| 1294 There are also an abstract $\mt{url}$ type and functions for converting to it, based on the policy defined by \texttt{[allow|deny] url} directives in the project file. | 1295 There are also an abstract $\mt{url}$ type and functions for converting to it, based on the policy defined by \texttt{[allow|deny] url} directives in the project file. |
| 1295 $$\begin{array}{l} | 1296 $$\begin{array}{l} |
| 1296 \mt{type} \; \mt{url} \\ | 1297 \mt{type} \; \mt{url} \\ |