Mercurial > urweb
diff lib/basis.urs @ 290:df00701f2323
'read' type class
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 07 Sep 2008 11:53:30 -0400 |
| parents | 0cc956a3216f |
| children | 6e665c7c96f6 |
line wrap: on
line diff
--- a/lib/basis.urs Sun Sep 07 11:41:04 2008 -0400 +++ b/lib/basis.urs Sun Sep 07 11:53:30 2008 -0400 @@ -30,9 +30,12 @@ val show_string : show string val show_bool : show bool -val stringToInt : string -> option int -val stringToFloat : string -> option float -val stringToBool : string -> option bool +class read +val read : t ::: Type -> read t -> string -> option t +val read_int : read int +val read_float : read float +val read_string : read string +val read_bool : read bool (** SQL *)