1 // Copyright Louis Dionne 2013-2017 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/assert.hpp> 6 #include <boost/hana/equal.hpp> 7 #include <boost/hana/ext/std/pair.hpp> 8 #include <boost/hana/first.hpp> 9 #include <boost/hana/second.hpp> 10 11 #include <laws/base.hpp> 12 13 #include <utility> 14 namespace hana = boost::hana; 15 using hana::test::ct_eq; 16 17 main()18int main() { 19 // first 20 BOOST_HANA_CONSTANT_CHECK(hana::equal( 21 hana::first(std::make_pair(ct_eq<0>{}, ct_eq<1>{})), 22 ct_eq<0>{} 23 )); 24 25 // second 26 BOOST_HANA_CONSTANT_CHECK(hana::equal( 27 hana::second(std::make_pair(ct_eq<0>{}, ct_eq<1>{})), 28 ct_eq<1>{} 29 )); 30 } 31