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/Util/list-xprod-sig.sml
ViewVC logotype

Annotation of /sml/trunk/src/smlnj-lib/Util/list-xprod-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 651 - (view) (download)

1 : monnier 2 (* list-xprod-sig.sml
2 :     *
3 :     * COPYRIGHT (c) 1993 by AT&T Bell Laboratories. See COPYRIGHT file for details.
4 :     *
5 :     * Functions for computing with the cross product of two lists.
6 :     *)
7 :    
8 :     signature LIST_XPROD =
9 :     sig
10 :    
11 :     val appX : (('a * 'b) -> 'c) -> ('a list * 'b list) -> unit
12 :     (* apply a function to the cross product of two lists *)
13 :    
14 :     val mapX : (('a * 'b) -> 'c) -> ('a list * 'b list) -> 'c list
15 :     (* map a function across the cross product of two lists *)
16 :    
17 :     val foldX : (('a * 'b * 'c) -> 'c) -> ('a list * 'b list) -> 'c -> 'c
18 :     (* fold a function across the cross product of two lists *)
19 :    
20 :     end; (* LIST_XPROD *)

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