Additional operations on IDictionary<'Key, 'Value>
Function or value | Description |
Full Usage:
Dict.chooseValues chooser source
Parameters:
'T -> 'U option
-
The mapping function.
source : IDictionary<'Key, 'T>
-
The input dictionary.
Returns: IDictionary<'Key, 'U>
Returns dictionary with values x for each dictionary value where the function returns Some(x).
|
|
Full Usage:
Dict.choosei chooser source
Parameters:
'Key -> 'T -> 'U option
-
The mapping function, taking key and element as parameters.
source : IDictionary<'Key, 'T>
-
The input dictionary.
Returns: IDictionary<'Key, 'U>
Dictionary with values (k, x) for each dictionary value where the function returns Some(x).
|
|
Full Usage:
Dict.containsKey key source
Parameters:
'Key
-
The key to find.
source : IDictionary<'Key, 'Value>
-
The input dictionary.
Returns: bool
A bool indicating if the key was found
|
Note: this is a function wrapper for the IDictionary.ContainsKey method
|
Full Usage:
Dict.intersect source1 source2
Parameters:
IDictionary<'Key, 'T>
source2 : IDictionary<'Key, 'T>
Returns: IDictionary<'Key, 'T>
|
|
Full Usage:
Dict.intersectWith combiner source1 source2
Parameters:
'T -> 'T -> 'T
source1 : IDictionary<'Key, 'T>
source2 : IDictionary<'Key, 'T>
Returns: IDictionary<'Key, 'T>
|
|
Full Usage:
Dict.keys source
Parameters:
IDictionary<'a, 'b>
-
The input dictionary.
Returns: 'a seq
A seq of the keys in the dictionary.
|
|
Full Usage:
Dict.map mapper source
Parameters:
'T -> 'U
-
The mapping function.
source : IDictionary<'Key, 'T>
-
The input dictionary.
Returns: IDictionary<'Key, 'U>
The mapped dictionary.
|
|
Full Usage:
Dict.map2 mapper source1 source2
Parameters:
'T1 -> 'T2 -> 'U
-
The mapping function.
source1 : IDictionary<'Key, 'T1>
-
The first input dictionary.
source2 : IDictionary<'Key, 'T2>
-
The second input dictionary.
Returns: IDictionary<'Key, 'U>
The combined dictionary.
|
Keys that are not present on both dictionaries are dropped.
|
Full Usage:
Dict.map3 mapping source1 source2 source3
Parameters:
'T1 -> 'T2 -> 'T3 -> 'U
-
The mapping function.
source1 : IDictionary<'Key, 'T1>
-
First input dictionary.
source2 : IDictionary<'Key, 'T2>
-
Second input dictionary.
source3 : IDictionary<'Key, 'T3>
-
Third input dictionary.
Returns: IDictionary<'Key, 'U>
The mapped dictionary.
|
Keys that are not present on every dictionary are dropped.
|
Full Usage:
Dict.toIReadOnlyDictionary source
Parameters:
IDictionary<'a, 'b>
Returns: IReadOnlyDictionary<'a, 'b>
|
|
Full Usage:
Dict.tryGetValue key source
Parameters:
'Key
-
The key whose value you wish to find.
source : IDictionary<'Key, 'Value>
-
The input dictionary.
Returns: 'Value option
An option wrapped value
|
This is a function wrapper for the IDictionary.TryGetValue method,
representing the result as an Option
|
Full Usage:
Dict.union source altSource
Parameters:
IDictionary<'Key, 'T>
altSource : IDictionary<'Key, 'T>
Returns: IDictionary<'Key, 'T>
|
|
Full Usage:
Dict.unionWith combiner source1 source2
Parameters:
'Value -> 'Value -> 'Value
source1 : IDictionary<'Key, 'Value>
source2 : IDictionary<'Key, 'Value>
Returns: IDictionary<'Key, 'Value>
|
|
Full Usage:
Dict.unzip source
Parameters:
IDictionary<'Key, ('T1 * 'T2)>
-
The source dictionary.
Returns: IDictionary<'Key, 'T1> * IDictionary<'Key, 'T2>
A tuple of each untupled dictionary.
|
|
Full Usage:
Dict.values source
Parameters:
IDictionary<'a, 'b>
-
The input dictionary.
Returns: 'b seq
A seq of the values in the dictionary.
|
|
Full Usage:
Dict.zip source1 source2
Parameters:
IDictionary<'Key, 'T1>
-
The first input dictionary.
source2 : IDictionary<'Key, 'T2>
-
The second input dictionary.
Returns: IDictionary<'Key, ('T1 * 'T2)>
The tupled dictionary.
|
Keys that are not present on both dictionaries are dropped.
|