Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature BASIS_2002_VALS = |
2 | sig | |
3 | (* Top-level values *) | |
4 | val ! : 'a ref -> 'a | |
5 | val := : 'a ref * 'a -> unit | |
6 | val @ : ('a list * 'a list) -> 'a list | |
7 | val ^ : string * string -> string | |
8 | val app : ('a -> unit) -> 'a list -> unit | |
9 | val before : 'a * unit -> 'a | |
10 | val ceil : real -> int | |
11 | val chr : int -> char | |
12 | val concat : string list -> string | |
13 | val exnMessage : exn -> string | |
14 | val exnName : exn -> string | |
15 | val explode : string -> char list | |
16 | val floor : real -> int | |
17 | val foldl : ('a * 'b -> 'b) -> 'b -> 'a list -> 'b | |
18 | val foldr : ('a * 'b -> 'b) -> 'b -> 'a list -> 'b | |
19 | val getOpt : ('a option * 'a) -> 'a | |
20 | val hd : 'a list -> 'a | |
21 | val ignore : 'a -> unit | |
22 | val isSome : 'a option -> bool | |
23 | val implode : char list -> string | |
24 | val length : 'a list -> int | |
25 | val map : ('a -> 'b) -> 'a list -> 'b list | |
26 | val not : bool -> bool | |
27 | val null : 'a list -> bool | |
28 | val o : ('a -> 'b) * ('c -> 'a) -> 'c -> 'b | |
29 | val ord : char -> int | |
30 | val print : string -> unit | |
31 | val real : int -> real | |
32 | (* | |
33 | val ref : 'a -> 'a ref | |
34 | *) | |
35 | val rev : 'a list -> 'a list | |
36 | val round : real -> int | |
37 | val size : string -> int | |
38 | val str : char -> string | |
39 | val substring : string * int * int -> string | |
40 | val tl : 'a list -> 'a list | |
41 | val trunc : real -> int | |
42 | (* | |
43 | val use : string -> unit | |
44 | *) | |
45 | val valOf : 'a option -> 'a | |
46 | val vector : 'a list -> 'a vector | |
47 | ||
48 | val = : ''a * ''a -> bool | |
49 | val <> : ''a * ''a -> bool | |
50 | end |