You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Submitted by Huw Simpson on 6/25/2014 12:00:00 AM 1 votes on UserVoice prior to migration
I suggest the following enhancement to the Option module:
// Combines the given option-of-option into a single option.
let concat value =
match value with
| None -> None
| Some o -> o
concat : value : 'a option option -> 'a option
Response
** by fslang-admin on 9/16/2014 12:00:00 AM **
Declining as “Option.bind id” is a suitable workaround, or it is very easy to define this function in user code.
Don Syme Current BDFL F# Language/Library Evolution
Add a function to concat Options [6098514]
Submitted by Huw Simpson on 6/25/2014 12:00:00 AM
1 votes on UserVoice prior to migration
I suggest the following enhancement to the Option module:
// Combines the given option-of-option into a single option.
let concat value =
match value with
| None -> None
| Some o -> o
concat : value : 'a option option -> 'a option
Response
** by fslang-admin on 9/16/2014 12:00:00 AM **
Declining as “Option.bind id” is a suitable workaround, or it is very easy to define this function in user code.
Don Syme Current BDFL F# Language/Library Evolution
Original UserVoice Submission
Archived Uservoice Comments
The text was updated successfully, but these errors were encountered: