forked from boostorg/hana
/
monad.bind.cpp
63 lines (49 loc) · 1.6 KB
/
monad.bind.cpp
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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
/*
@copyright Louis Dionne 2015
Distributed under the Boost Software License, Version 1.0.
(See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
*/
#include <boost/hana/assert.hpp>
#include <boost/hana/config.hpp>
#include <boost/hana/functional/partial.hpp>
#include <boost/hana/maybe.hpp>
#include <boost/hana/tuple.hpp>
#include <sstream>
using namespace boost::hana;
//! [bind]
// sfinae_impl(f, x...) is just(f(x...)) if that expression is
// well-formed, and nothing otherwise.
template <typename F, typename ...X>
constexpr auto sfinae_impl(F f, X ...x) -> decltype(just(f(x...)))
{ return just(f(x...)); }
constexpr auto sfinae_impl(...) { return nothing; }
// sfinae(f)(x...) is equivalent to sfinae_impl(f, x...). In other words,
// sfinae(f)(x...) is just(f(x...)) if that expression is well-formed,
// and nothing otherwise.
template <typename F>
BOOST_HANA_CONSTEXPR_LAMBDA auto sfinae(F f) {
return [=](auto ...x) { return sfinae_impl(f, x...); };
}
BOOST_HANA_CONSTEXPR_LAMBDA auto deref = [](auto x) -> decltype(*x) {
return *x;
};
BOOST_HANA_CONSTEXPR_LAMBDA auto age = [](auto x) -> decltype(x.age) {
return x.age;
};
BOOST_HANA_CONSTEXPR_LAMBDA auto f = [](auto x) {
return bind(sfinae(deref)(x), sfinae(age));
};
struct Person {
unsigned int age;
// ...
};
int main() {
Person john{30};
// Can't dereference a non-pointer.
BOOST_HANA_CONSTANT_CHECK(f(john) == nothing);
// `int` has no member named `age`.
BOOST_HANA_CONSTANT_CHECK(f(1) == nothing);
// All is good.
BOOST_HANA_CONSTEXPR_CHECK(f(&john) == just(30u));
}
//! [bind]