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/rt-transition/idl-specs/sml-basis-sig.sml
ViewVC logotype

Annotation of /sml/branches/rt-transition/idl-specs/sml-basis-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2983 - (view) (download)

1 : jhr 2848
2 :     (*
3 :     * This file was automatically generated by ml-idl
4 :     * (Tue Jul 3 16:34:27 2007)
5 :     *)
6 :    
7 :     signature SML_BASIS = sig
8 :     type idl_string = String.string
9 :     type ML_word8vec_t = Word8Vector.vector
10 :     type ML_word8vec_opt_t = Word8Vector.vector option
11 :     type ML_word8arr_t = Word8Array.array
12 :     type ML_charvec_t = CharVector.vector
13 :     type ML_charvec_opt_t = CharVector.vector option
14 :     type ML_chararr_t = CharArray.array
15 :     type ML_unit_t = unit
16 :     type ML_bool_t = bool
17 :     type ML_int_t = int
18 :     type ML_int32_t = Int32.int
19 :     type ML_string_t = string
20 :     type ML_string_opt_t = string option
21 :     type ML_string_list_t = string list
22 :     type ML_int_opt_t = int option
23 :     type ML_iodesc_t = word
24 :     type ML_directory_t = Unsafe.Object.object
25 :     type Time_t = {seconds:Int32.int,uSeconds:Int32.int}
26 :     type ML_polldesc_list_t = (word * word) list
27 :     type ML_pollinfo_list_t = (word * word) list
28 :     type Date_t = {tm_sec:Int.int,tm_min:Int.int,tm_hour:Int.int,tm_mday:Int.int,tm_mon:Int.int,tm_year:Int.int,tm_wday:Int.int,tm_yday:Int.int,tm_isdst:Int.int}
29 :     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 :     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 :     val openFile : (ML_string_t * Int.int) -> ML_iodesc_t
42 :     val closeFile : ML_iodesc_t -> unit
43 :     val cmpIODesc : (ML_iodesc_t * ML_iodesc_t) -> Int.int
44 :     val readTextVec : (ML_bool_t * ML_iodesc_t * Int.int) -> ML_charvec_opt_t
45 :     val readTextArr : (ML_bool_t * ML_iodesc_t * ML_chararr_t * Int.int * Int.int) -> ML_int_t
46 :     val writeTextVec : (ML_bool_t * ML_iodesc_t * ML_charvec_t * Int.int * Int.int) -> ML_int_t
47 :     val writeTextArr : (ML_bool_t * ML_iodesc_t * ML_chararr_t * Int.int * Int.int) -> ML_int_t
48 :     val readBinVec : (ML_bool_t * ML_iodesc_t * Int.int) -> ML_word8vec_opt_t
49 :     val readBinArr : (ML_bool_t * ML_iodesc_t * ML_word8arr_t * Int.int * Int.int) -> ML_int_t
50 :     val writeBinVec : (ML_bool_t * ML_iodesc_t * ML_word8vec_t * Int.int * Int.int) -> ML_int_t
51 :     val writeBinArr : (ML_bool_t * 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 :     val getStdIn : unit -> ML_iodesc_t
58 :     val getStdOut : unit -> ML_iodesc_t
59 :     val getStdErr : unit -> ML_iodesc_t
60 :     val errorName : Int32.int -> ML_string_t
61 :     val errorMessage : Int32.int -> ML_string_t
62 :     val syserror : String.string -> ML_int_opt_t
63 :     val osSystem : String.string -> ML_int_t
64 :     val exitProc : Int.int -> unit
65 :     val getEnv : String.string -> ML_string_opt_t
66 :     val osSleep : Time_t -> unit
67 :     val openDir : String.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 :     val chDir : String.string -> ML_unit_t
72 :     val getDir : unit -> ML_string_t
73 :     val mkDir : String.string -> ML_unit_t
74 :     val rmDir : String.string -> ML_unit_t
75 :     val isReg : String.string -> ML_bool_t
76 :     val isDir : String.string -> ML_bool_t
77 :     val isLink : String.string -> ML_bool_t
78 :     val readLink : String.string -> ML_string_t
79 :     val fileSize : String.string -> ML_int32_t
80 :     val modTime : String.string -> ML_int32_t
81 :     val setTime : (String.string * Time_t option) -> ML_unit_t
82 :     val removeFile : String.string -> ML_unit_t
83 :     val renameFile : (String.string * String.string) -> ML_unit_t
84 :     val A_READ : Int.int
85 :     val A_WRITE : Int.int
86 :     val A_EXEC : Int.int
87 :     val fileAccess : (String.string * Int.int) -> ML_bool_t
88 :     val tmpName : unit -> ML_string_t
89 :     val fileId : String.string -> ML_word8vec_t
90 :     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 :     val ioDescKind : ML_iodesc_t -> ML_int_t
98 :     val POLL_RD : Word.word
99 :     val POLL_WR : Word.word
100 :     val POLL_ERR : Word.word
101 :     val osPoll : (ML_polldesc_list_t * Time_t option) -> ML_pollinfo_list_t
102 :     val now : unit -> Time_t
103 :     val ascTime : Date_t -> ML_string_t
104 :     val strfTime : (ML_string_t * Date_t) -> ML_string_t
105 :     val gmTime : Time_t -> Date_t
106 :     val localTime : Time_t -> Date_t
107 :     val mkTime : Date_t -> Time_t
108 :     val getCPUTime : unit -> (Time_t * Time_t * Time_t)
109 :     val cmdName : unit -> String.string
110 :     val cmdArgs : unit -> ML_string_list_t
111 :     end
112 :    

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