Mercurial > urweb
comparison lib/ur/basis.urs @ 1799:3d922a28370b
Basis.getenv
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 02 Aug 2012 16:33:25 -0400 |
parents | 2f8b8952fe27 |
children | b8558b613abd |
comparison
equal
deleted
inserted
replaced
1798:10a2cb93d175 | 1799:3d922a28370b |
---|---|
188 | 188 |
189 type responseHeader | 189 type responseHeader |
190 val blessResponseHeader : string -> responseHeader | 190 val blessResponseHeader : string -> responseHeader |
191 val checkResponseHeader : string -> option responseHeader | 191 val checkResponseHeader : string -> option responseHeader |
192 val setHeader : responseHeader -> string -> transaction unit | 192 val setHeader : responseHeader -> string -> transaction unit |
193 | |
194 type envVar | |
195 val blessEnvVar : string -> envVar | |
196 val checkEnvVar : string -> option envVar | |
197 val getenv : envVar -> transaction (option string) | |
193 | 198 |
194 | 199 |
195 (** JavaScript-y gadgets *) | 200 (** JavaScript-y gadgets *) |
196 | 201 |
197 val alert : string -> transaction unit | 202 val alert : string -> transaction unit |