Mercurial > urweb
comparison lib/basis.urs @ 288:4260ad920c36
Converting string to int
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 07 Sep 2008 11:33:13 -0400 |
parents | ffe5b01908ae |
children | 0cc956a3216f |
comparison
equal
deleted
inserted
replaced
287:3ed7a7c7b060 | 288:4260ad920c36 |
---|---|
4 | 4 |
5 type unit = {} | 5 type unit = {} |
6 | 6 |
7 datatype bool = False | True | 7 datatype bool = False | True |
8 | 8 |
9 (*datatype option t = None | Some of t*) | 9 datatype option t = None | Some of t |
10 | 10 |
11 | 11 |
12 (** Basic type classes *) | 12 (** Basic type classes *) |
13 | 13 |
14 class eq | 14 class eq |
21 | 21 |
22 (** String operations *) | 22 (** String operations *) |
23 | 23 |
24 val strcat : string -> string -> string | 24 val strcat : string -> string -> string |
25 | 25 |
26 val intToString : int -> string | |
27 val floatToString : float -> string | |
28 val boolToString : bool -> string | |
29 | |
30 class show | 26 class show |
31 val show : t ::: Type -> show t -> t -> string | 27 val show : t ::: Type -> show t -> t -> string |
32 val show_int : show int | 28 val show_int : show int |
33 val show_float : show float | 29 val show_float : show float |
34 val show_string : show string | 30 val show_string : show string |
35 val show_bool : show bool | 31 val show_bool : show bool |
32 | |
33 val stringToInt : string -> option int | |
36 | 34 |
37 | 35 |
38 (** SQL *) | 36 (** SQL *) |
39 | 37 |
40 con sql_table :: {Type} -> Type | 38 con sql_table :: {Type} -> Type |