Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/lib/ur/basis.urs Sun Jul 29 12:54:17 2012 -0400 +++ b/lib/ur/basis.urs Thu Aug 02 16:33:25 2012 -0400 @@ -191,6 +191,11 @@ val checkResponseHeader : string -> option responseHeader val setHeader : responseHeader -> string -> transaction unit +type envVar +val blessEnvVar : string -> envVar +val checkEnvVar : string -> option envVar +val getenv : envVar -> transaction (option string) + (** JavaScript-y gadgets *)