Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/branches/idlbasis-devel/src/system/Basis/Implementation/sml-basis-sig.sml
ViewVC logotype

Annotation of /sml/branches/idlbasis-devel/src/system/Basis/Implementation/sml-basis-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1246 - (view) (download)

1 : dbm 857
2 :     (*
3 :     * This file was automatically generated by ml-idl
4 : blume 871 * (Fri Jul 6 15:20:40 2001)
5 : dbm 857 *)
6 :    
7 :     signature SML_BASIS = sig
8 :     type idl_string = String.string
9 :     type ML_word8vec_t = Word8Vector.vector
10 : blume 870 type ML_word8vec_opt_t = Word8Vector.vector option
11 : dbm 857 type ML_word8arr_t = Word8Array.array
12 :     type ML_charvec_t = CharVector.vector
13 : blume 870 type ML_charvec_opt_t = CharVector.vector option
14 : dbm 857 type ML_chararr_t = CharArray.array
15 :     type ML_unit_t = unit
16 : blume 870 type ML_bool_t = bool
17 :     type ML_int_t = int
18 :     type ML_int32_t = Int32.int
19 : dbm 857 type ML_string_t = string
20 :     type ML_string_opt_t = string option
21 : blume 871 type ML_string_list_t = string list
22 :     type ML_int_opt_t = int option
23 : blume 1235 type ML_iodesc_t = word (* was: Unsafe.Object.object *)
24 : blume 863 type ML_directory_t = Unsafe.Object.object
25 : blume 870 type Time_t = {seconds:Int32.int,uSeconds:Int32.int}
26 : blume 1235 type ML_polldesc_list_t = (word * word (* Unsafe.Object.object *)) list
27 :     type ML_pollinfo_list_t = (word * word (* Unsafe.Object.object *)) list
28 : dbm 857 type Date_t = {tm_sec:Int32.int,tm_min:Int32.int,tm_hour:Int32.int,tm_mday:Int32.int,tm_mon:Int32.int,tm_year:Int32.int,tm_wday:Int32.int,tm_yday:Int32.int,tm_isdst:Int32.int}
29 : blume 863 val TO_NEAREST : Int.int
30 :     val TO_NEGINF : Int.int
31 :     val TO_POSINF : Int.int
32 :     val TO_ZERO : Int.int
33 :     val getRoundingMode : unit -> Int.int
34 :     val setRoundingMode : Int.int -> unit
35 : blume 870 val OPEN_RD : Int.int
36 :     val OPEN_WR : Int.int
37 :     val OPEN_RDWR : Int.int
38 :     val OPEN_CREATE : Int.int
39 :     val OPEN_TRUNC : Int.int
40 :     val OPEN_APPEND : Int.int
41 : blume 863 val openFile : (ML_string_t * Int.int) -> ML_iodesc_t
42 :     val closeFile : ML_iodesc_t -> unit
43 : blume 871 val cmpIODesc : (ML_iodesc_t * ML_iodesc_t) -> Int.int
44 : blume 870 val readTextVec : (Bool.bool * ML_iodesc_t * Int.int) -> ML_charvec_opt_t
45 :     val readTextArr : (Bool.bool * ML_iodesc_t * ML_chararr_t * Int.int * Int.int) -> ML_int_t
46 :     val writeTextVec : (Bool.bool * ML_iodesc_t * ML_charvec_t * Int.int * Int.int) -> ML_int_t
47 :     val writeTextArr : (Bool.bool * ML_iodesc_t * ML_chararr_t * Int.int * Int.int) -> ML_int_t
48 :     val readBinVec : (Bool.bool * ML_iodesc_t * Int.int) -> ML_word8vec_opt_t
49 :     val readBinArr : (Bool.bool * ML_iodesc_t * ML_word8arr_t * Int.int * Int.int) -> ML_int_t
50 :     val writeBinVec : (Bool.bool * ML_iodesc_t * ML_word8vec_t * Int.int * Int.int) -> ML_int_t
51 :     val writeBinArr : (Bool.bool * ML_iodesc_t * ML_word8arr_t * Int.int * Int.int) -> ML_int_t
52 :     val SET_POS_BEGIN : Int.int
53 :     val SET_POS_CUR : Int.int
54 :     val SET_POS_END : Int.int
55 :     val getPos : ML_iodesc_t -> ML_int32_t
56 :     val setPos : (ML_iodesc_t * ML_int32_t * Int.int) -> ML_unit_t
57 : blume 863 val getStdIn : unit -> ML_iodesc_t
58 :     val getStdOut : unit -> ML_iodesc_t
59 :     val getStdErr : unit -> ML_iodesc_t
60 : blume 870 val errorName : Int32.int -> ML_string_t
61 :     val errorMessage : Int32.int -> ML_string_t
62 : blume 871 val syserror : idl_string -> ML_int_opt_t
63 : blume 870 val osSystem : idl_string -> ML_int_t
64 :     val exit : Int.int -> unit
65 : dbm 857 val getEnv : idl_string -> ML_string_opt_t
66 : blume 863 val osSleep : Time_t -> unit
67 :     val openDir : idl_string -> ML_directory_t
68 :     val readDir : ML_directory_t -> ML_string_opt_t
69 :     val rewindDir : ML_directory_t -> ML_unit_t
70 :     val closeDir : ML_directory_t -> ML_unit_t
71 : dbm 857 val chDir : idl_string -> ML_unit_t
72 :     val getDir : unit -> ML_string_t
73 : blume 863 val mkDir : idl_string -> ML_unit_t
74 : dbm 857 val rmDir : idl_string -> ML_unit_t
75 : blume 870 val isReg : idl_string -> ML_bool_t
76 :     val isDir : idl_string -> ML_bool_t
77 :     val isLink : idl_string -> ML_bool_t
78 : dbm 857 val readLink : idl_string -> ML_string_t
79 : blume 870 val fileSize : idl_string -> ML_int32_t
80 :     val modTime : idl_string -> ML_int32_t
81 : dbm 857 val setTime : (idl_string * Time_t option) -> ML_unit_t
82 : blume 870 val removeFile : idl_string -> ML_unit_t
83 :     val renameFile : (idl_string * idl_string) -> ML_unit_t
84 : blume 863 val A_READ : Int.int
85 :     val A_WRITE : Int.int
86 :     val A_EXEC : Int.int
87 : blume 870 val fileAccess : (idl_string * Int.int) -> ML_bool_t
88 : dbm 857 val tmpName : unit -> ML_string_t
89 :     val fileId : idl_string -> ML_word8vec_t
90 : blume 863 val IOD_KIND_FILE : Int.int
91 :     val IOD_KIND_DIR : Int.int
92 :     val IOD_KIND_SYMLINK : Int.int
93 :     val IOD_KIND_TTY : Int.int
94 :     val IOD_KIND_PIPE : Int.int
95 :     val IOD_KIND_SOCKET : Int.int
96 :     val IOD_KIND_DEVICE : Int.int
97 : blume 870 val ioDescKind : ML_iodesc_t -> ML_int_t
98 : dbm 865 val POLL_RD : Word.word
99 :     val POLL_WR : Word.word
100 :     val POLL_ERR : Word.word
101 : blume 870 val osPoll : (ML_polldesc_list_t * Time_t option) -> ML_pollinfo_list_t
102 : dbm 857 val now : unit -> Time_t
103 :     val gmTime : Time_t -> Date_t
104 :     val localTime : Time_t -> Date_t
105 : blume 1244 val mkTime : Date_t -> Time_t
106 : blume 1246 val strFTime : (idl_string * Date_t) -> ML_string_t
107 : dbm 857 val getCPUTime : unit -> (Time_t * Time_t * Time_t)
108 : blume 871 val cmdName : unit -> idl_string
109 :     val cmdArgs : unit -> ML_string_list_t
110 : dbm 857 end
111 :    

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0