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