libs/hana/test/experimental/view/transformed/transform.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/equal.hpp>
   7 #include <boost/hana/experimental/view.hpp>
   8 #include <boost/hana/transform.hpp>
   9
  10 #include <laws/base.hpp>
  11 #include <support/seq.hpp>
  12 namespace hana = boost::hana;
  13 using hana::test::ct_eq;
  14
  15
  16 int main() {
  17     auto container = ::seq;
  18     auto f = hana::test::_injection<0>{};
  19     auto g = hana::test::_injection<1>{};
  20
  21     {
  22         auto storage = container();
  23         auto transformed = hana::experimental::transformed(storage, f);
  24         BOOST_HANA_CONSTANT_CHECK(hana::equal(
  25             hana::transform(transformed, g),
  26             container()
  27         ));
  28     }{
  29         auto storage = container(ct_eq<0>{});
  30         auto transformed = hana::experimental::transformed(storage, f);
  31         BOOST_HANA_CONSTANT_CHECK(hana::equal(
  32             hana::transform(transformed, g),
  33             container(g(f(ct_eq<0>{})))
  34         ));
  35     }{
  36         auto storage = container(ct_eq<0>{}, ct_eq<1>{});
  37         auto transformed = hana::experimental::transformed(storage, f);
  38         BOOST_HANA_CONSTANT_CHECK(hana::equal(
  39             hana::transform(transformed, g),
  40             container(g(f(ct_eq<0>{})), g(f(ct_eq<1>{})))
  41         ));
  42     }{
  43         auto storage = container(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{});
  44         auto transformed = hana::experimental::transformed(storage, f);
  45         BOOST_HANA_CONSTANT_CHECK(hana::equal(
  46             hana::transform(transformed, g),
  47             container(g(f(ct_eq<0>{})), g(f(ct_eq<1>{})), g(f(ct_eq<2>{})))
  48         ));
  49     }{
  50         auto storage = container(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{});
  51         auto transformed = hana::experimental::transformed(storage, f);
  52         BOOST_HANA_CONSTANT_CHECK(hana::equal(
  53             hana::transform(transformed, g),
  54             container(g(f(ct_eq<0>{})), g(f(ct_eq<1>{})), g(f(ct_eq<2>{})), g(f(ct_eq<3>{})))
  55         ));
  56     }
  57 }