The SML/NJ Library Reference Manual


The LIST_XPROD signature


Synopsis

signature LIST_XPROD

Interface

val appX : (('a * 'b) -> 'c) -> ('a list * 'b list) -> unit
val mapX : (('a * 'b) -> 'c) -> ('a list * 'b list) -> 'c list
val foldX : (('a * 'b * 'c) -> 'c) -> ('a list * 'b list) -> 'c -> 'c

Description

appX f (l, l2)
explain the use and semantics of appX HERE.

mapX f (l, l2)
explain the use and semantics of mapX HERE.

foldX f (l, l2) a
explain the use and semantics of foldX HERE.



[ INDEX | TOP | Parent | Root ]

Last Modified May 29, 1996
Copyright © 1996 AT&T Research