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/SMLNJ/src/smlnj-lib/Doc/mldoc/ord-map.mldoc
ViewVC logotype

Annotation of /sml/branches/SMLNJ/src/smlnj-lib/Doc/mldoc/ord-map.mldoc

Parent Directory Parent Directory | Revision Log Revision Log


Revision 167 - (view) (download)

1 : monnier 167 <!-- ord-map.mldoc -->
2 :    
3 :     <!DOCTYPE ML-DOC SYSTEM>
4 :    
5 :     <COPYRIGHT OWNER="AT&AMP;T Bell Laboratories" YEAR=1996>
6 :     <VERSION VERID="1.0" YEAR=1996 MONTH=5 DAY=29>
7 :     <TITLE>The ORD_MAP signature</TITLE>
8 :    
9 :     <SECT>
10 :     <HEAD>The <CD/ORD_MAP/ signature</HEAD>
11 :    
12 :     <PP>
13 :     <!-- Some general introductory text -->
14 :    
15 :     <SIGNATURE SIGID="ORD_MAP">
16 :     <SIGBODY SIGID="ORD_MAP" FILE=ORD-MAP-SIG>
17 :     <SPEC>
18 :     <SUBSTRUCT>Key<ID>ORD_KEY</SUBSTRUCT>
19 :     <SPEC>
20 :     <TYPE><TYPARAM>'a<ID>map
21 :     <SPEC>
22 :     <VAL>empty<TY>'a map
23 :     <COMMENT>
24 :     <PROTOTY>
25 :     empty
26 :     </PROTOTY>
27 :     explain the use and semantics of empty HERE.
28 :     <SPEC>
29 :     <VAL>insert<TY>('a map * Key.ord_key * 'a) -> 'a map
30 :     <COMMENT>
31 :     <PROTOTY>
32 :     insert (<ARG/ma/, <ARG/ok/, <ARG/a/)
33 :     </PROTOTY>
34 :     explain the use and semantics of insert HERE.
35 :     <SPEC>
36 :     <VAL>find<TY>('a map * Key.ord_key) -> 'a option
37 :     <COMMENT>
38 :     <PROTOTY>
39 :     find (<ARG/ma/, <ARG/ok/)
40 :     </PROTOTY>
41 :     explain the use and semantics of find HERE.
42 :     <SPEC>
43 :     <VAL>remove<TY>('a map * Key.ord_key) -> ('a map * 'a)
44 :     <COMMENT>
45 :     <PROTOTY>
46 :     remove (<ARG/ma/, <ARG/ok/)
47 :     </PROTOTY>
48 :     explain the use and semantics of remove HERE.
49 :     <SPEC>
50 :     <VAL>numItems<TY>'a map -> int
51 :     <COMMENT>
52 :     <PROTOTY>
53 :     numItems <ARG/ma/
54 :     </PROTOTY>
55 :     explain the use and semantics of numItems HERE.
56 :     <SPEC>
57 :     <VAL>listItems<TY>'a map -> (Key.ord_key * 'a) list
58 :     <COMMENT>
59 :     <PROTOTY>
60 :     listItems <ARG/ma/
61 :     </PROTOTY>
62 :     explain the use and semantics of listItems HERE.
63 :     <SPEC>
64 :     <VAL>app<TY>('a -> unit) -> 'a map -> unit
65 :     <COMMENT>
66 :     <PROTOTY>
67 :     app <ARG/f/ <ARG/ma/
68 :     </PROTOTY>
69 :     explain the use and semantics of app HERE.
70 :     <SPEC>
71 :     <VAL>appi<TY>((Key.ord_key * 'a) -> unit) -> 'a map -> unit
72 :     <COMMENT>
73 :     <PROTOTY>
74 :     appi <ARG/f/ <ARG/ma/
75 :     </PROTOTY>
76 :     explain the use and semantics of appi HERE.
77 :     <SPEC>
78 :     <VAL>map<TY>('a -> 'b) -> 'a map -> 'b map
79 :     <COMMENT>
80 :     <PROTOTY>
81 :     map <ARG/f/ <ARG/ma/
82 :     </PROTOTY>
83 :     explain the use and semantics of map HERE.
84 :     <SPEC>
85 :     <VAL>mapi<TY>((Key.ord_key * 'a) -> 'b) -> 'a map -> 'b map
86 :     <COMMENT>
87 :     <PROTOTY>
88 :     mapi <ARG/f/ <ARG/ma/
89 :     </PROTOTY>
90 :     explain the use and semantics of mapi HERE.
91 :     <SPEC>
92 :     <VAL>foldl<TY>(('a * 'b) -> 'b) -> 'b -> 'a map -> 'b
93 :     <COMMENT>
94 :     <PROTOTY>
95 :     foldl <ARG/f/ <ARG/a/ <ARG/ma/
96 :     </PROTOTY>
97 :     explain the use and semantics of foldl HERE.
98 :     <SPEC>
99 :     <VAL>foldli<TY>((Key.ord_key * 'a * 'b) -> 'b) -> 'b -> 'a map -> 'b
100 :     <COMMENT>
101 :     <PROTOTY>
102 :     foldli <ARG/f/ <ARG/a/ <ARG/ma/
103 :     </PROTOTY>
104 :     explain the use and semantics of foldli HERE.
105 :     <SPEC>
106 :     <VAL>foldr<TY>(('a * 'b) -> 'b) -> 'b -> 'a map -> 'b
107 :     <COMMENT>
108 :     <PROTOTY>
109 :     foldr <ARG/f/ <ARG/a/ <ARG/ma/
110 :     </PROTOTY>
111 :     explain the use and semantics of foldr HERE.
112 :     <SPEC>
113 :     <VAL>foldri<TY>((Key.ord_key * 'a * 'b) -> 'b) -> 'b -> 'a map -> 'b
114 :     <COMMENT>
115 :     <PROTOTY>
116 :     foldri <ARG/f/ <ARG/a/ <ARG/ma/
117 :     </PROTOTY>
118 :     explain the use and semantics of foldri HERE.
119 :     </SIGBODY>
120 :     <SIGINSTANCE><ID>IntBinaryMap
121 :     <SIGINSTANCE><ID>IntListMap
122 :     <SEEALSO>
123 :     <FCTREF/BinaryMapFn/ <FCTREF/ListMapFn/ <SIGREF/ORD_KEY/ <SIGREF/ORD_SET/
124 :     </SEEALSO>
125 :     </SIGNATURE>

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