libs/hana/test/map/contains.cpp

   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/contains.hpp>
   7 #include <boost/hana/map.hpp>
   8 #include <boost/hana/not.hpp>
   9
  10 #include <laws/base.hpp>
  11 #include <support/minimal_product.hpp>
  12 namespace hana = boost::hana;
  13
  14
  15 template <int i>
  16 auto key() { return hana::test::ct_eq<i>{}; }
  17
  18 template <int i>
  19 auto val() { return hana::test::ct_eq<-i>{}; }
  20
  21 template <int i, int j>
  22 auto p() { return ::minimal_product(key<i>(), val<j>()); }
  23
  24 int main() {
  25     BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::contains(
  26         hana::make_map(),
  27         key<0>()
  28     )));
  29     BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::contains(
  30         hana::make_map(),
  31         key<1>()
  32     )));
  33
  34     BOOST_HANA_CONSTANT_CHECK(hana::contains(
  35         hana::make_map(p<0,0>()),
  36         key<0>()
  37     ));
  38     BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::contains(
  39         hana::make_map(p<0,0>()),
  40         key<1>()
  41     )));
  42     BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::contains(
  43         hana::make_map(p<0,0>()),
  44         key<2>()
  45     )));
  46
  47     BOOST_HANA_CONSTANT_CHECK(hana::contains(
  48         hana::make_map(p<0,0>(), p<1,1>()),
  49         key<0>()
  50     ));
  51     BOOST_HANA_CONSTANT_CHECK(hana::contains(
  52         hana::make_map(p<0,0>(), p<1,1>()),
  53         key<1>()
  54     ));
  55     BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::contains(
  56         hana::make_map(p<0,0>(), p<1,1>()),
  57         key<2>()
  58     )));
  59
  60     BOOST_HANA_CONSTANT_CHECK(hana::contains(
  61         hana::make_map(p<0,0>(), p<1,1>(), p<2,2>()),
  62         key<0>()
  63     ));
  64     BOOST_HANA_CONSTANT_CHECK(hana::contains(
  65         hana::make_map(p<0,0>(), p<1,1>(), p<2,2>()),
  66         key<1>()
  67     ));
  68     BOOST_HANA_CONSTANT_CHECK(hana::contains(
  69         hana::make_map(p<0,0>(), p<1,1>(), p<2,2>()),
  70         key<2>()
  71     ));
  72     BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::contains(
  73         hana::make_map(p<0,0>(), p<1,1>(), p<2,2>()),
  74         key<3>()
  75     )));
  76
  77     BOOST_HANA_CONSTANT_CHECK(hana::contains(
  78         hana::make_map(p<0,0>(), p<1,1>(), p<2,2>(), p<3,3>(), p<6,6>(), p<8,8>()),
  79         key<0>()
  80     ));
  81     BOOST_HANA_CONSTANT_CHECK(hana::contains(
  82         hana::make_map(p<0,0>(), p<1,1>(), p<2,2>(), p<3,3>(), p<6,6>(), p<8,8>()),
  83         key<1>()
  84     ));
  85     BOOST_HANA_CONSTANT_CHECK(hana::contains(
  86         hana::make_map(p<0,0>(), p<1,1>(), p<2,2>(), p<3,3>(), p<6,6>(), p<8,8>()),
  87         key<2>()
  88     ));
  89     BOOST_HANA_CONSTANT_CHECK(hana::contains(
  90         hana::make_map(p<0,0>(), p<1,1>(), p<2,2>(), p<3,3>(), p<6,6>(), p<8,8>()),
  91         key<3>()
  92     ));
  93     BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::contains(
  94         hana::make_map(p<0,0>(), p<1,1>(), p<2,2>(), p<3,3>(), p<6,6>(), p<8,8>()),
  95         key<4>()
  96     )));
  97     BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::contains(
  98         hana::make_map(p<0,0>(), p<1,1>(), p<2,2>(), p<3,3>(), p<6,6>(), p<8,8>()),
  99         key<5>()
 100     )));
 101     BOOST_HANA_CONSTANT_CHECK(hana::contains(
 102         hana::make_map(p<0,0>(), p<1,1>(), p<2,2>(), p<3,3>(), p<6,6>(), p<8,8>()),
 103         key<6>()
 104     ));
 105     BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::contains(
 106         hana::make_map(p<0,0>(), p<1,1>(), p<2,2>(), p<3,3>(), p<6,6>(), p<8,8>()),
 107         key<7>()
 108     )));
 109     BOOST_HANA_CONSTANT_CHECK(hana::contains(
 110         hana::make_map(p<0,0>(), p<1,1>(), p<2,2>(), p<3,3>(), p<6,6>(), p<8,8>()),
 111         key<8>()
 112     ));
 113     BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::contains(
 114         hana::make_map(p<0,0>(), p<1,1>(), p<2,2>(), p<3,3>(), p<6,6>(), p<8,8>()),
 115         key<9>()
 116     )));
 117 }