basis-library/list/list-pair.sig

   1 signature LIST_PAIR =
   2    sig
   3       exception UnequalLengths
   4       val zip: 'a list * 'b list -> ('a * 'b) list
   5       val zipEq: 'a list * 'b list -> ('a * 'b) list
   6       val unzip: ('a * 'b) list -> 'a list * 'b list
   7       val app: ('a * 'b -> unit) -> 'a list * 'b list -> unit
   8       val appEq: ('a * 'b -> unit) -> 'a list * 'b list -> unit
   9       val map: ('a * 'b -> 'c) -> 'a list * 'b list -> 'c list
  10       val mapEq: ('a * 'b -> 'c) -> 'a list * 'b list -> 'c list
  11       val foldl: ('a * 'b * 'c -> 'c) -> 'c -> 'a list * 'b list -> 'c
  12       val foldr: ('a * 'b * 'c -> 'c) -> 'c -> 'a list * 'b list -> 'c
  13       val foldlEq: ('a * 'b * 'c -> 'c) -> 'c -> 'a list * 'b list -> 'c
  14       val foldrEq: ('a * 'b * 'c -> 'c) -> 'c -> 'a list * 'b list -> 'c
  15       val all: ('a * 'b -> bool) -> 'a list * 'b list -> bool
  16       val exists: ('a * 'b -> bool) -> 'a list * 'b list -> bool
  17       val allEq: ('a * 'b -> bool) -> 'a list * 'b list -> bool
  18    end