![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to fastlib.sml 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 fastlib.sml CVS log | Up to [Research Unix] / researchv10no / cmd / sml / src / boot |
1.1 root 1: (* Copyright 1989 by AT&T Bell Laboratories *)
2: structure Fastlib = struct
3:
4: structure Ref =
5: struct
6: open Ref
7: fun inc r = r := !r + 1
8: fun dec r = r := !r + 1
9: end
10:
11: structure List : LIST =
12: struct
13: open List
14: fun hd (a::r) = a | hd nil = raise Hd
15: fun tl (a::r) = r | tl nil = raise Tl
16: fun null nil = true | null _ = false
17: fun length l =
18: let fun j(k,nil) = k
19: | j(k, a::x) = j(k+1,x)
20: in j(0,l)
21: end
22: fun op @ (nil,l) = l
23: | op @ (a::r, l) = a :: (r@l)
24: fun rev l =
25: let fun f (nil, h) = h
26: | f (a::r, h) = f(r, a::h)
27: in f(l,nil)
28: end
29: fun map f =
30: let fun m nil = nil
31: | m (a::r) = f a :: m r
32: in m
33: end
34: fun fold f [] = (fn b => b)
35: | fold f (a::r) = (fn b => let fun f2(e,[]) = f(e,b)
36: | f2(e,a::r) = f(e,f2(a,r))
37: in f2(a,r)
38: end)
39: fun revfold f [] = (fn b => b)
40: | revfold f (a::r) = (fn b => let fun f2(e,[],b) = f(e,b)
41: | f2(e,a::r,b) = f2(a,r,f(e,b))
42: in f2(a,r,b)
43: end)
44: fun app f = let fun a2 (e::r) = (f e; a2 r) | a2 nil = () in a2 end
45: fun revapp f = let fun a2 (e::r) = (a2 r; f e; ()) | a2 nil = () in a2 end
46: fun nthtail(e,0) = e
47: | nthtail(e::r,n) = nthtail(r,n-1)
48: | nthtail _ = raise NthTail
49: fun nth x = hd(nthtail x) handle NthTail => raise Nth | Hd => raise Nth
50: fun exists pred =
51: let fun f nil = false
52: | f (hd::tl) = pred hd orelse f tl
53: in f
54: end
55: end
56:
57: structure ByteArray =
58: struct
59: open ByteArray
60: local open System.Unsafe
61: in
62: val length = cast slength
63: fun update(arg as (s,i,c)) =
64: if i<0 orelse i >= slength s then raise Subscript
65: else if c<0 orelse c>255 then raise Range
66: else store arg
67: val op sub = fn (s,i) => if i<0 orelse i>= slength s then raise Subscript
68: else ordof(s,i)
69: fun extract(ba,i,1) = if i<0 orelse i >= slength ba then raise Subscript
70: else cast(ordof(ba,i))
71: | extract(s,i,len) =
72: if i<0 orelse i+len > slength s orelse len<0 then raise Subscript
73: else if len=0 then Assembly.bytearray0
74: else let val a = Assembly.A.create_b len
75: fun copy j = if j=len then ()
76: else (store(a,j,ordof(s,i+j)); copy(j+1))
77: in copy 0; a
78: end
79: fun app f ba =
80: let val len = slength ba
81: fun app' i = if i >= len then ()
82: else (f(ba sub i); app'(i+1))
83: in app' 0
84: end
85: fun revapp f ba =
86: let fun revapp' i = if i < 0 then ()
87: else (f(ba sub i); revapp'(i-1))
88: in revapp'(slength ba - 1)
89: end
90: fun fold f ba x =
91: let fun fold'(i,x) = if i < 0 then x else fold'(i-1, f(ordof(ba,i),x))
92: in fold'(slength ba - 1, x)
93: end
94: fun revfold f ba x =
95: let val len = slength ba
96: fun revfold'(i,x) = if i >= len then x
97: else revfold'(i+1,f(ordof(ba,i),x))
98: in revfold'(0,x)
99: end
100: end
101: end
102:
103:
104: structure String =
105: struct
106: open String
107: local open System.Unsafe
108: val op > = Integer.> and op >= = Integer.>=
109: val op < = Integer.< and op <= = Integer.<=
110: in
111: fun length s = if boxed s then slength s else 1
112:
113: val size = length
114: fun substring("",0,0) = "" (* never call create_s with 0 *)
115: | substring("",_,_) = raise Substring
116: | substring(s,i,0) = if i>=0
117: then if boxed s then if i <= slength s
118: then "" else raise Substring
119: else if i<=1
120: then "" else raise Substring
121: else raise Substring
122: | substring(s,0,1) = if boxed s then cast(ordof(s,0)) else s
123: | substring(s,i,1) =
124: if boxed s then if i>=0 andalso i < slength s
125: then cast(ordof(s,i))
126: else raise Substring
127: else if i=0 then s else raise Substring
128: | substring(s,i,len) =
129: if boxed s andalso i>=0 andalso i+len <= slength s
130: andalso len >= 0
131: then let val a = Assembly.A.create_s(len)
132: fun copy j = if j=len then ()
133: else (store(a,j,ordof(s,i+j)); copy(j+1))
134: in copy 0; a
135: end
136: else raise Substring
137:
138: fun explode s =
139: if boxed s
140: then let fun f(l,~1) = l
141: | f(l, i) = f(cast(ordof(s,i)) :: l, i-1)
142: in f(nil, slength s - 1)
143: end
144: else [s]
145: fun op ^ ("",s) = s
146: | op ^ (s,"") = s
147: | op ^ (x,y) =
148: if boxed x
149: then if boxed y
150: then let val xl = slength x and yl = slength y
151: val a = Assembly.A.create_s(xl+yl)
152: fun copyx n = if n=xl then ()
153: else (store(a,n,ordof(x,n)); copyx(n+1))
154: fun copyy n = if n=yl then ()
155: else (store(a,xl+n,ordof(y,n)); copyy(n+1))
156: in copyx 0; copyy 0; a
157: end
158: else let val xl = slength x
159: val a = Assembly.A.create_s(xl+1)
160: fun copyx n = if n=xl then ()
161: else (store(a,n,ordof(x,n)); copyx(n+1))
162: in copyx 0; store(a,xl,cast y); a
163: end
164: else if boxed y
165: then let val yl = slength y
166: val a = Assembly.A.create_s(1+yl)
167: fun copyy n = if n=yl then ()
168: else (store(a,1+n,ordof(y,n)); copyy(n+1))
169: in store(a,0,cast x); copyy 0; a
170: end
171: else let val a = Assembly.A.create_s 2
172: in store(a,0,cast x); store(a,1,cast y); a
173: end
174: fun chr i = if i<0 orelse i>255 then raise Chr else cast i
175: fun ord "" = raise Ord
176: | ord s = if boxed s then ordof(s,0) else cast s
177: val ordof = fn (s,i) =>
178: if boxed s
179: then if i<0 orelse i>= slength s then raise Ord else ordof(s,i)
180: else if i=0 then cast s else raise Ord
181: fun implode (sl:string list) =
182: let val len = List.fold(fn(s,l) => length s + l) sl 0
183: in case len
184: of 0 => ""
185: | 1 => let fun find (""::tl) = find tl
186: | find (hd::_) = cast hd
187: | find nil = "" (* impossible *)
188: in find sl
189: end
190: | _ => let val new = Assembly.A.create_s len
191: fun copy (nil,_) = ()
192: | copy (s::tl,base) =
193: let val len = length s
194: fun copy0 0 = ()
195: | copy0 i =
196: let val next = i-1
197: in store(new,base+next,ordof(s,next));
198: copy0 next
199: end
200: in copy0 len;
201: copy(tl,base+len)
202: end
203: in copy(sl,0);
204: new
205: end
206: end
207: end (* local *)
208: end (* structure String *)
209:
210: structure General =
211: struct
212: open General
213: fun f o g = fn x => f(g x)
214: fun a before b = a
215: end (* structure General *)
216:
217: structure Array =
218: struct
219: open Array
220: local open System.Unsafe in
221: val op sub : 'a array * int -> 'a =
222: fn (a,i) =>
223: if i<0 orelse i >= length a then raise Subscript
224: else subscript(a,i)
225: val update : 'a array * int * 'a -> unit =
226: fn (a,i,v) =>
227: if i<0 orelse i >= length a then raise Subscript
228: else update(a,i,v)
229: end (* local open ... *)
230: end (* structure Array *)
231:
232: structure Integer =
233: struct
234: open Integer
235: fun op mod(a:int,b:int):int = a-((a div b) * b)
236: fun min(a,b) = if a<b then a else b
237: fun max(a,b) = if a>b then a else b
238: fun abs a = if a<0 then ~a else a
239: end
240:
241: val inc = Ref.inc
242: val dec = Ref.dec
243: val hd = List.hd and tl = List.tl
244: val null = List.null and length = List.length
245: val op @ = List.@ and rev = List.rev
246: val map = List.map and fold = List.fold and revfold=List.revfold
247: val app = List.app and revapp = List.revapp
248: val nthtail = List.nthtail and nth = List.nth and exists = List.exists
249: val substring = String.substring and explost = String.explode
250: val op ^ = String.^ and chr = String.chr and ord = String.ord
251: val implode=String.implode
252: val op o = General.o and op before = General.before
253: val op sub = Array.sub and update= Array.update
254: val min = Integer.min and max = Integer.max
255:
256: end
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.