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/trunk/src/smlnj-lib/Doc/mldoc/list-xprod.mldoc
ViewVC logotype

Annotation of /sml/trunk/src/smlnj-lib/Doc/mldoc/list-xprod.mldoc

Parent Directory Parent Directory | Revision Log Revision Log


Revision 168 - (view) (download)

1 : monnier 167 <!-- list-xprod.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 LIST_XPROD signature</TITLE>
8 :    
9 :     <SECT>
10 :     <HEAD>The <CD/LIST_XPROD/ signature</HEAD>
11 :    
12 :     <PP>
13 :     <!-- Some general introductory text -->
14 :    
15 :     <SIGNATURE SIGID="LIST_XPROD">
16 :     <SIGBODY SIGID="LIST_XPROD" FILE=LIST-XPROD-SIG>
17 :     <SPEC>
18 :     <VAL>appX<TY>(('a * 'b) -> 'c) -> ('a list * 'b list) -> unit
19 :     <COMMENT>
20 :     <PROTOTY>
21 :     appX <ARG/f/ (<ARG/l/, <ARG/l2/)
22 :     </PROTOTY>
23 :     explain the use and semantics of appX HERE.
24 :     <SPEC>
25 :     <VAL>mapX<TY>(('a * 'b) -> 'c) -> ('a list * 'b list) -> 'c list
26 :     <COMMENT>
27 :     <PROTOTY>
28 :     mapX <ARG/f/ (<ARG/l/, <ARG/l2/)
29 :     </PROTOTY>
30 :     explain the use and semantics of mapX HERE.
31 :     <SPEC>
32 :     <VAL>foldX<TY>(('a * 'b * 'c) -> 'c) -> ('a list * 'b list) -> 'c -> 'c
33 :     <COMMENT>
34 :     <PROTOTY>
35 :     foldX <ARG/f/ (<ARG/l/, <ARG/l2/) <ARG/a/
36 :     </PROTOTY>
37 :     explain the use and semantics of foldX HERE.
38 :     <!-- optional SEEALSO; uncomment to use -->
39 :     <!-- <SEEALSO> -->
40 :     <!-- non-empty list of XREFS here -->
41 :     <!-- </SEEALSO> -->
42 :     </SIGNATURE>

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