blob: 3c964db47abe7c9d7ed96ec39feb9e330cc5fed6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
/**
* @file optional.hpp
* @author Felix Morgner (felix.morgner@gmail.com)
* @since 1.0.0
*/
#ifndef WANDA_OPTIONAL_HPP
#define WANDA_OPTIONAL_HPP
#include <optional>
namespace wanda::std_ext
{
struct failable
{
constexpr static auto success() { return failable{false}; }
constexpr static auto failure() { return failable{true}; }
template<typename Handler>
constexpr auto operator||(Handler handler) const
{
if (m_failed)
{
handler();
}
}
private:
constexpr explicit failable(bool failed)
: m_failed{failed} {};
bool const m_failed;
};
template<typename ObjectType, typename HandlerType>
auto with(std::optional<ObjectType> && object, HandlerType handler)
{
if (object)
{
handler(object.value());
return failable::success();
}
return failable::failure();
}
} // namespace wanda::std_ext
#endif
|
