Overview  Index  Help 
Standard ML Basis Library

LIST_PAIR

All Known Implementing Modules:

ListPair


signature LIST_PAIR =
sig
  exception UnequalLengths
  val zip : 'a list * 'b list -> ('a * 'b) list
  val zipEq : 'a list * 'b list -> ('a * 'b) list
  val unzip : ('a * 'b) list -> 'a list * 'b list
  val map : ('a * 'b -> 'c) -> 'a list * 'b list -> 'c list
  val mapEq : ('a * 'b -> 'c) -> 'a list * 'b list -> 'c list
  val app : ('a * 'b -> unit) -> 'a list * 'b list -> unit
  val appEq : ('a * 'b -> unit) -> 'a list * 'b list -> unit
  val foldl : ('a * 'b * 'c -> 'c) -> 'c -> 'a list * 'b list -> 'c
  val foldr : ('a * 'b * 'c -> 'c) -> 'c -> 'a list * 'b list -> 'c
  val foldlEq : ('a * 'b * 'c -> 'c) -> 'c -> 'a list * 'b list -> 'c
  val foldrEq : ('a * 'b * 'c -> 'c) -> 'c -> 'a list * 'b list -> 'c
  val all : ('a * 'b -> bool) -> 'a list * 'b list -> bool
  val allEq : ('a * 'b -> bool) -> 'a list * 'b list -> bool
  val exists : ('a * 'b -> bool) -> 'a list * 'b list -> bool
end

       
Value detail

zip

val zip : 'a list * 'b list -> ('a * 'b) list


zipEq

val zipEq : 'a list * 'b list -> ('a * 'b) list


unzip

val unzip : ('a * 'b) list -> 'a list * 'b list


map

val map : ('a * 'b -> 'c) -> 'a list * 'b list -> 'c list


mapEq

val mapEq : ('a * 'b -> 'c) -> 'a list * 'b list -> 'c list


app

val app : ('a * 'b -> unit) -> 'a list * 'b list -> unit


appEq

val appEq : ('a * 'b -> unit) -> 'a list * 'b list -> unit


foldl

val foldl : ('a * 'b * 'c -> 'c) -> 'c -> 'a list * 'b list -> 'c


foldr

val foldr : ('a * 'b * 'c -> 'c) -> 'c -> 'a list * 'b list -> 'c


foldlEq

val foldlEq : ('a * 'b * 'c -> 'c) -> 'c -> 'a list * 'b list -> 'c


foldrEq

val foldrEq : ('a * 'b * 'c -> 'c) -> 'c -> 'a list * 'b list -> 'c


all

val all : ('a * 'b -> bool) -> 'a list * 'b list -> bool


allEq

val allEq : ('a * 'b -> bool) -> 'a list * 'b list -> bool


exists

val exists : ('a * 'b -> bool) -> 'a list * 'b list -> bool

 
Exception detail

UnequalLengths

exception UnequalLengths


Overview  Index  Help 
Standard ML Basis Library

This document may be distributed freely over the internet as long as the copyright notice and license terms below are prominently displayed within every machine-readable copy.

Copyright © 2003 AT&T and Lucent Technologies. All rights reserved.

Permission is granted for internet users to make one paper copy for their own personal use. Further hardcopy reproduction is strictly prohibited. Permission to distribute the HTML document electronically on any medium other than the internet must be requested from the copyright holders by contacting the editors. Printed versions of the SML Basis Manual are available from Cambridge University Press. To order, please visit www.cup.org (North America) or www.cup.cam.ac.uk (outside North America).