]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
1 | // Copyright Louis Dionne 2013-2016 |
2 | // Distributed under the Boost Software License, Version 1.0. | |
3 | // (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt) | |
4 | ||
5 | #include <boost/hana/chain.hpp> | |
6 | #include <boost/hana/ext/std/tuple.hpp> | |
7 | #include <boost/hana/functional/compose.hpp> | |
8 | #include <boost/hana/lift.hpp> | |
9 | ||
10 | #include <laws/base.hpp> | |
11 | ||
12 | #include <tuple> | |
13 | namespace hana = boost::hana; | |
14 | ||
15 | ||
16 | int main() { | |
17 | using M = hana::ext::std::tuple_tag; | |
18 | auto m = std::make_tuple(hana::test::ct_eq<0>{}); | |
19 | auto f = hana::compose(hana::lift<M>, hana::test::_injection<0>{}); | |
20 | hana::chain(m, hana::compose(hana::lift<M>, f)); | |
21 | } |