diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-07 11:33:13 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-07 11:33:13 -0400 |
| commit | 5cf1d4d086475575a31f57413c57c22bd6fda378 (patch) | |
| tree | ab36ce67d2931f2c715b5b734930139c53adc670 /lib | |
| parent | 42c284b9204ef5dfc249cc7273ff2eaa9304e9e6 (diff) | |
Converting string to int
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/basis.urs | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/lib/basis.urs b/lib/basis.urs index 22a033a0..e6072690 100644 --- a/lib/basis.urs +++ b/lib/basis.urs @@ -6,7 +6,7 @@ type unit = {} datatype bool = False | True -(*datatype option t = None | Some of t*) +datatype option t = None | Some of t (** Basic type classes *) @@ -23,10 +23,6 @@ val eq_bool : eq bool val strcat : string -> string -> string -val intToString : int -> string -val floatToString : float -> string -val boolToString : bool -> string - class show val show : t ::: Type -> show t -> t -> string val show_int : show int @@ -34,6 +30,8 @@ val show_float : show float val show_string : show string val show_bool : show bool +val stringToInt : string -> option int + (** SQL *) |