Function or value | Description |
Full Usage:
curry f x y
Parameters:
'a * 'b -> 'c
x : 'a
y : 'b
Returns: 'c
|
|
Full Usage:
extendFst f (x, y)
Parameters:
'a * 'b -> 'c
x : 'a
y : 'b
Returns: 'c * 'b
|
|
Full Usage:
extendSnd f (x, y)
Parameters:
'a * 'b -> 'c
x : 'a
y : 'b
Returns: 'a * 'c
|
|
Full Usage:
map f (x, y)
Parameters:
'a -> 'b -> 'c
x : 'a
y : 'b
Returns: 'c
|
|
Full Usage:
mapBoth f (x, y)
Parameters:
'a -> 'b
x : 'a
y : 'a
Returns: 'b * 'b
|
|
Full Usage:
mapFst f (x, y)
Parameters:
'a -> 'b
x : 'a
y : 'c
Returns: 'b * 'c
|
|
Full Usage:
mapSnd f (x, y)
Parameters:
'a -> 'b
x : 'c
y : 'a
Returns: 'c * 'b
|
|
Full Usage:
optionOfFst f (x, y)
Parameters:
'a -> 'b option
x : 'a
y : 'c
Returns: ('b * 'c) option
|
|
Full Usage:
optionOfSnd f (x, y)
Parameters:
'a -> 'b option
x : 'c
y : 'a
Returns: ('c * 'b) option
|
|
Full Usage:
pair x y
Parameters:
'a
y : 'b
Returns: 'a * 'b
|
|
Full Usage:
replicate x
Parameters:
'a
Returns: 'a * 'a
|
|
Full Usage:
swap (x, y)
Parameters:
'a
y : 'b
Returns: 'b * 'a
|
|
Full Usage:
toList (x, y)
Parameters:
'a
y : 'a
Returns: 'a list
|
|
Full Usage:
uncurry f (x, y)
Parameters:
'a -> 'b -> 'c
x : 'a
y : 'b
Returns: 'c
|
|