|
-
f
:
'a -> 'b
-
arg1
:
ZipList<'a>
-
Returns:
ZipList<'b>
|
|
-
f
:
'T1 -> 'T2 -> 'U
-
arg1
:
ZipList<'T1>
-
arg2
:
ZipList<'T2>
-
Returns:
ZipList<'U>
|
|
-
f
:
'T1 -> 'T2 -> 'T3 -> 'U
-
arg1
:
ZipList<'T1>
-
arg2
:
ZipList<'T2>
-
arg3
:
ZipList<'T3>
-
Returns:
ZipList<'U>
|
|
-
arg0
:
ZipList<'a>
-
Returns:
'a seq
|
|
-
x
:
'a
-
Returns:
ZipList<'a>
|
|
Combines the two lists into a list of pairs. The two lists need not have equal lengths:
when one list is exhausted any remaining elements in the other
list are ignored.
-
list1
:
ZipList<'T>
-
The first input list.
-
list2
:
ZipList<'U>
-
The second input list.
-
Returns:
ZipList<'T * 'U>
-
A single list containing pairs of matching elements from the input lists.
|