![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to perv.sig CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [Research Unix] / researchv10no / cmd / sml / src / boot|
Return to perv.sig CVS log | Up to [Research Unix] / researchv10no / cmd / sml / src / boot |
1.1 ! root 1: (* Copyright 1989 by AT&T Bell Laboratories *) ! 2: signature REF = ! 3: sig ! 4: infix 3 := ! 5: val ! : 'a ref -> 'a ! 6: val := : 'a ref * 'a -> unit ! 7: val inc : int ref -> unit ! 8: val dec : int ref -> unit ! 9: end ! 10: ! 11: signature LIST = ! 12: sig ! 13: infixr 5 :: @ ! 14: datatype 'a list = :: of ('a * 'a list) | nil ! 15: exception Hd ! 16: exception Tl ! 17: exception Nth ! 18: exception NthTail ! 19: val hd : 'a list -> 'a ! 20: val tl : 'a list -> 'a list ! 21: val null : 'a list -> bool ! 22: val length : 'a list -> int ! 23: val @ : 'a list * 'a list -> 'a list ! 24: val rev : 'a list -> 'a list ! 25: val map : ('a -> 'b) -> 'a list -> 'b list ! 26: val fold : (('a * 'b) -> 'b) -> 'a list -> 'b -> 'b ! 27: val revfold : (('a * 'b) -> 'b) -> 'a list -> 'b -> 'b ! 28: val app : ('a -> 'b) -> 'a list -> unit ! 29: val revapp : ('a -> 'b) -> 'a list -> unit ! 30: val nth : 'a list * int -> 'a ! 31: val nthtail : 'a list * int -> 'a list ! 32: val exists : ('a -> bool) -> 'a list -> bool ! 33: end ! 34: ! 35: signature ARRAY = ! 36: sig ! 37: infix 3 sub ! 38: type 'a array ! 39: exception Subscript ! 40: val array : int * '1a -> '1a array ! 41: val sub : 'a array * int -> 'a ! 42: val update : 'a array * int * 'a -> unit ! 43: val length : 'a array -> int ! 44: val arrayoflist : '1a list -> '1a array ! 45: end ! 46: ! 47: signature BYTEARRAY = ! 48: sig ! 49: infix 3 sub ! 50: eqtype bytearray ! 51: exception Subscript ! 52: exception Range ! 53: val array : int * int -> bytearray ! 54: val sub : bytearray * int -> int ! 55: val update : bytearray * int * int -> unit ! 56: val length : bytearray -> int ! 57: val extract : bytearray * int * int -> string ! 58: val fold : ((int * 'b) -> 'b) -> bytearray -> 'b -> 'b ! 59: val revfold : ((int * 'b) -> 'b) -> bytearray -> 'b -> 'b ! 60: val app : (int -> 'a) -> bytearray -> unit ! 61: val revapp : (int -> 'b) -> bytearray -> unit ! 62: end ! 63: ! 64: signature BASICIO = ! 65: sig ! 66: type instream ! 67: type outstream ! 68: exception Io of string ! 69: val std_in : instream ! 70: val std_out : outstream ! 71: val open_in : string -> instream ! 72: val open_out : string -> outstream ! 73: val close_in : instream -> unit ! 74: val close_out : outstream -> unit ! 75: val output : outstream -> string -> unit ! 76: val input : instream -> int -> string ! 77: val lookahead : instream -> string ! 78: val end_of_stream : instream -> bool ! 79: end ! 80: ! 81: signature IO = ! 82: sig ! 83: type instream ! 84: type outstream ! 85: exception Io of string ! 86: val std_in : instream ! 87: val std_out : outstream ! 88: val open_in : string -> instream ! 89: val open_out : string -> outstream ! 90: val open_append : string -> outstream ! 91: val open_string : string -> instream ! 92: val close_in : instream -> unit ! 93: val close_out : outstream -> unit ! 94: val output : outstream -> string -> unit ! 95: val input : instream -> int -> string ! 96: val input_line : instream -> string ! 97: val lookahead : instream -> string ! 98: val end_of_stream : instream -> bool ! 99: val can_input : instream -> int ! 100: val flush_out : outstream -> unit ! 101: val is_term_in : instream -> bool ! 102: val is_term_out : outstream -> bool ! 103: val set_term_in : instream * bool -> unit ! 104: val set_term_out : outstream * bool -> unit ! 105: val execute : string -> instream * outstream ! 106: val exportML : string -> bool ! 107: val exportFn : string * (string list * string list -> unit) -> unit ! 108: val use : string -> unit ! 109: val use_stream : instream -> unit ! 110: val reduce : ('a -> 'b) -> ('a -> 'b) ! 111: val mtime : instream -> int ! 112: (* the following are temporary components *) ! 113: val reduce_r : ((unit -> unit) -> (unit -> unit)) ref ! 114: val cleanup : unit -> unit ! 115: val use_f : (string -> unit) ref ! 116: val use_s : (instream -> unit) ref ! 117: end ! 118: ! 119: signature BOOL = ! 120: sig ! 121: datatype bool = true | false ! 122: val not : bool -> bool ! 123: val print : bool -> unit ! 124: val makestring : bool -> string ! 125: end ! 126: ! 127: signature STRING = ! 128: sig ! 129: infix 6 ^ ! 130: infix 4 > < >= <= ! 131: type string ! 132: exception Substring ! 133: val length : string -> int ! 134: val size : string -> int ! 135: val substring : string * int * int -> string ! 136: val explode : string -> string list ! 137: val implode : string list -> string ! 138: val <= : string * string -> bool ! 139: val < : string * string -> bool ! 140: val >= : string * string -> bool ! 141: val > : string * string -> bool ! 142: val ^ : string * string -> string ! 143: exception Chr ! 144: val chr : int -> string ! 145: exception Ord ! 146: val ord : string -> int ! 147: val ordof : string * int -> int ! 148: val print : string -> unit ! 149: end ! 150: ! 151: signature INTEGER = ! 152: sig ! 153: infix 7 * div mod ! 154: infix 6 + - ! 155: infix 4 > < >= <= ! 156: exception Div ! 157: exception Overflow ! 158: type int ! 159: val ~ : int -> int ! 160: val * : int * int -> int ! 161: val div : int * int -> int ! 162: val mod : int * int -> int ! 163: val + : int * int -> int ! 164: val - : int * int -> int ! 165: val > : int * int -> bool ! 166: val >= : int * int -> bool ! 167: val < : int * int -> bool ! 168: val <= : int * int -> bool ! 169: val min : int * int -> int ! 170: val max : int * int -> int ! 171: val abs : int -> int ! 172: val print : int -> unit ! 173: val makestring : int -> string ! 174: end ! 175: ! 176: signature BITS = ! 177: sig ! 178: type int ! 179: val orb : int * int -> int ! 180: val andb : int * int -> int ! 181: val xorb : int * int -> int ! 182: val lshift : int * int -> int ! 183: val rshift : int * int -> int ! 184: val notb : int * int -> int ! 185: end ! 186: ! 187: signature REAL = ! 188: sig ! 189: infix 7 * / ! 190: infix 6 + - ! 191: infix 4 > < >= <= ! 192: type real ! 193: exception Floor and Sqrt and Exp and Ln ! 194: exception Real of string ! 195: exception Float of string (* same as Real *) ! 196: val ~ : real -> real ! 197: val + : (real * real) -> real ! 198: val - : (real * real) -> real ! 199: val * : (real * real) -> real ! 200: val / : (real * real) -> real ! 201: val > : (real * real) -> bool ! 202: val < : (real * real) -> bool ! 203: val >= : (real * real) -> bool ! 204: val <= : (real * real) -> bool ! 205: val abs : real -> real ! 206: val real : int -> real ! 207: val floor : real -> int ! 208: val truncate : real -> int ! 209: val ceiling : real -> int ! 210: val sqrt : real -> real ! 211: val sin : real -> real ! 212: val cos : real -> real ! 213: val arctan : real -> real ! 214: val exp : real -> real ! 215: val ln : real -> real ! 216: val print : real -> unit ! 217: val makestring : real -> string ! 218: end ! 219: ! 220: signature GENERAL = ! 221: sig ! 222: infix 3 o ! 223: infix before ! 224: exception Bind ! 225: exception Match ! 226: exception Interrupt ! 227: exception SystemCall of string ! 228: val callcc : ('a cont -> 'a) -> 'a ! 229: val throw : 'a cont -> 'a -> 'b ! 230: val o : ('b -> 'c) * ('a -> 'b) -> ('a -> 'c) ! 231: val before : ('a * 'b) -> 'a (* this may be renamed soon *) ! 232: datatype 'a option = NONE | SOME of 'a ! 233: type 'a cont ! 234: type exn ! 235: type unit ! 236: infix 4 = <> ! 237: val = : ''a * ''a -> bool ! 238: val <> : ''a * ''a -> bool ! 239: end
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.