| 1432 | |
| 1433 | template <typename F> |
| 1434 | optional<typename optional_detail::optional_value_type<typename boost::result_of<F(reference_type)>::type>::type> flat_map(F f) & |
| 1435 | { |
| 1436 | if (this->has_value()) |
| 1437 | return f(get()); |
| 1438 | else |
| 1439 | return none; |
| 1440 | } |
| 1441 | |
| 1442 | template <typename F> |
| 1443 | optional<typename optional_detail::optional_value_type<typename boost::result_of<F(reference_const_type)>::type>::type> flat_map(F f) const& |