Zmap Module
Functions and values
Function or value |
Description
|
|
|
Full Usage:
choose arg1 arg2
Parameters:
'Key -> 'T -> 'U option
arg1 : Zmap<'Key, 'T>
Returns: 'U option
|
|
Full Usage:
chooseL arg1 arg2
Parameters:
'Key -> 'T -> 'U option
arg1 : Zmap<'Key, 'T>
Returns: 'U list
|
|
|
|
Full Usage:
exists arg1 arg2
Parameters:
'Key -> 'T -> bool
arg1 : Zmap<'Key, 'T>
Returns: bool
|
|
|
|
Full Usage:
first arg1 arg2
Parameters:
'Key -> 'T -> bool
arg1 : Zmap<'Key, 'T>
Returns: ('Key * 'T) option
|
|
Full Usage:
fold arg1 arg2 arg3
Parameters:
'Key -> 'T -> 'U -> 'U
arg1 : Zmap<'Key, 'T>
arg2 : 'U
Returns: 'U
|
|
|
|
Full Usage:
foldSection arg1 arg2 arg3 arg4 arg5
Parameters:
'Key
arg1 : 'Key
arg2 : 'Key -> 'T -> 'U -> 'U
arg3 : Zmap<'Key, 'T>
arg4 : 'U
Returns: 'U
|
|
Full Usage:
forall arg1 arg2
Parameters:
'Key -> 'T -> bool
arg1 : Zmap<'Key, 'T>
Returns: bool
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|