summaryrefslogtreecommitdiffstats
path: root/src/boost/libs/hana/test/lazy.cpp
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/boost/libs/hana/test/lazy.cpp342
1 files changed, 342 insertions, 0 deletions
diff --git a/src/boost/libs/hana/test/lazy.cpp b/src/boost/libs/hana/test/lazy.cpp
new file mode 100644
index 000000000..87d9f2e77
--- /dev/null
+++ b/src/boost/libs/hana/test/lazy.cpp
@@ -0,0 +1,342 @@
+// Copyright Louis Dionne 2013-2017
+// 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/lazy.hpp>
+
+#include <boost/hana/ap.hpp>
+#include <boost/hana/assert.hpp>
+#include <boost/hana/chain.hpp>
+#include <boost/hana/concept/comparable.hpp>
+#include <boost/hana/config.hpp>
+#include <boost/hana/duplicate.hpp>
+#include <boost/hana/equal.hpp>
+#include <boost/hana/eval.hpp>
+#include <boost/hana/extend.hpp>
+#include <boost/hana/extract.hpp>
+#include <boost/hana/flatten.hpp>
+#include <boost/hana/functional/compose.hpp>
+#include <boost/hana/lift.hpp>
+#include <boost/hana/transform.hpp>
+#include <boost/hana/tuple.hpp>
+
+#include <laws/applicative.hpp>
+#include <laws/base.hpp>
+#include <laws/comonad.hpp>
+#include <laws/functor.hpp>
+#include <laws/monad.hpp>
+#include <support/tracked.hpp>
+
+#include <array>
+#include <iostream>
+namespace hana = boost::hana;
+using hana::test::ct_eq;
+
+
+namespace boost { namespace hana {
+ // We provide this instance for unit tests only because it is _so_ much
+ // more convenient, but this instance is too dangerous for general usage.
+ // See the documentation of `hana::lazy` for more info.
+ template <>
+ struct equal_impl<lazy_tag, lazy_tag> {
+ template <typename X, typename Y>
+ static constexpr auto apply(X x, Y y)
+ { return hana::equal(hana::eval(x), hana::eval(y)); }
+ };
+}}
+
+auto invalid = [](auto x)
+{ return x.this_function_must_not_be_instantiated; };
+
+
+int main() {
+ hana::test::_injection<0> f{};
+
+ auto eqs = hana::make_tuple(
+ hana::make_lazy(ct_eq<0>{}),
+ hana::make_lazy(ct_eq<1>{}),
+ hana::make_lazy(ct_eq<2>{})
+ );
+ auto eq_elems = hana::make_tuple(ct_eq<0>{}, ct_eq<1>{}, ct_eq<1>{});
+ auto nested = hana::make_tuple(
+ hana::make_lazy(hana::make_lazy(ct_eq<0>{})),
+ hana::make_lazy(hana::make_lazy(ct_eq<1>{})),
+ hana::make_lazy(hana::make_lazy(ct_eq<2>{}))
+ );
+
+ //////////////////////////////////////////////////////////////////////////
+ // Lazy methods
+ //////////////////////////////////////////////////////////////////////////
+ {
+ // lazy
+ {
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::make_lazy(f)(),
+ hana::make_lazy(f())
+ ));
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::make_lazy(f)(ct_eq<0>{}),
+ hana::make_lazy(f(ct_eq<0>{}))
+ ));
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::make_lazy(f)(ct_eq<0>{}, ct_eq<1>{}),
+ hana::make_lazy(f(ct_eq<0>{}, ct_eq<1>{}))
+ ));
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::make_lazy(f)(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}),
+ hana::make_lazy(f(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}))
+ ));
+
+ // The function is not applied.
+ hana::make_lazy(invalid)();
+ hana::make_lazy(invalid)(ct_eq<0>{});
+ hana::make_lazy(invalid)(ct_eq<0>{}, ct_eq<1>{});
+ hana::make_lazy(invalid)(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{});
+ }
+
+ // eval
+ {
+ // With lazy expressions
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::eval(hana::make_lazy(ct_eq<0>{})),
+ ct_eq<0>{}
+ ));
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::eval(hana::make_lazy(ct_eq<1>{})),
+ ct_eq<1>{}
+ ));
+
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::eval(hana::make_lazy(f)()),
+ f()
+ ));
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::eval(hana::make_lazy(f)(ct_eq<3>{})),
+ f(ct_eq<3>{})
+ ));
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::eval(hana::make_lazy(f)(ct_eq<3>{}, ct_eq<4>{})),
+ f(ct_eq<3>{}, ct_eq<4>{})
+ ));
+
+ // Should call a nullary function
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::eval([]{ return ct_eq<3>{}; }),
+ ct_eq<3>{}
+ ));
+
+ // Should call a unary function with hana::id.
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::eval([](auto _) { return _(ct_eq<3>{}); }),
+ ct_eq<3>{}
+ ));
+
+ // For overloaded function objects that are both nullary and unary,
+ // the nullary overload should be preferred.
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::eval(f),
+ f()
+ ));
+ }
+
+ // Make sure this does not move from a destroyed object, as that
+ // used to be the case.
+ {
+ auto x = hana::flatten(hana::make_lazy(hana::make_lazy(Tracked{1})));
+ auto z = hana::eval(x); (void)z;
+ }
+
+ // In some cases where a type has a constructor that is way too
+ // general, copying a lazy value holding an object of that type
+ // could trigger the instantiation of that constructor. If that
+ // constructor was ill-formed, the compilation would fail. We
+ // make sure this does not happen.
+ {
+ {
+ auto expr = hana::make_lazy(hana::test::trap_construct{});
+ auto implicit_copy = expr; (void)implicit_copy;
+ decltype(expr) explicit_copy(expr); (void)explicit_copy;
+ }
+
+ {
+ auto expr = hana::make_lazy(hana::test::trap_construct{})();
+ auto implicit_copy = expr; (void)implicit_copy;
+ decltype(expr) explicit_copy(expr); (void)explicit_copy;
+ }
+ }
+ }
+
+ //////////////////////////////////////////////////////////////////////////
+ // Functor
+ //////////////////////////////////////////////////////////////////////////
+ {
+ // transform
+ {
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::transform(hana::make_lazy(ct_eq<0>{}), f),
+ hana::make_lazy(f(ct_eq<0>{}))
+ ));
+ }
+
+ // laws
+ hana::test::TestFunctor<hana::lazy_tag>{eqs, eq_elems};
+ }
+
+ //////////////////////////////////////////////////////////////////////////
+ // Applicative
+ //////////////////////////////////////////////////////////////////////////
+ {
+ // ap
+ {
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::ap(hana::make_lazy(f), hana::make_lazy(ct_eq<0>{})),
+ hana::make_lazy(f(ct_eq<0>{}))
+ ));
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::ap(hana::make_lazy(f), hana::make_lazy(ct_eq<0>{}), hana::make_lazy(ct_eq<1>{})),
+ hana::make_lazy(f(ct_eq<0>{}, ct_eq<1>{}))
+ ));
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::ap(hana::make_lazy(f), hana::make_lazy(ct_eq<0>{}), hana::make_lazy(ct_eq<1>{}), hana::make_lazy(ct_eq<2>{})),
+ hana::make_lazy(f(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}))
+ ));
+
+ // The function is not applied.
+ hana::ap(hana::make_lazy(invalid), hana::make_lazy(ct_eq<0>{}));
+ hana::ap(hana::make_lazy(invalid), hana::make_lazy(ct_eq<0>{}), hana::make_lazy(ct_eq<1>{}));
+ hana::ap(hana::make_lazy(invalid), hana::make_lazy(ct_eq<0>{}), hana::make_lazy(ct_eq<1>{}), hana::make_lazy(ct_eq<2>{}));
+ }
+
+ // lift
+ {
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::lift<hana::lazy_tag>(ct_eq<0>{}),
+ hana::make_lazy(ct_eq<0>{})
+ ));
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::lift<hana::lazy_tag>(ct_eq<1>{}),
+ hana::make_lazy(ct_eq<1>{})
+ ));
+ }
+
+ // laws
+ hana::test::TestApplicative<hana::lazy_tag>{eqs};
+ }
+
+ //////////////////////////////////////////////////////////////////////////
+ // Monad
+ //////////////////////////////////////////////////////////////////////////
+ {
+ auto f_ = hana::compose(hana::make_lazy, f);
+
+ // chain
+ {
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::chain(hana::make_lazy(ct_eq<0>{}), f_),
+ f_(ct_eq<0>{})
+ ));
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::chain(hana::make_lazy(ct_eq<1>{}), f_),
+ f_(ct_eq<1>{})
+ ));
+
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::make_lazy(ct_eq<1>{}) | f_,
+ f_(ct_eq<1>{})
+ ));
+ }
+
+ // flatten
+ {
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::flatten(hana::make_lazy(hana::make_lazy(ct_eq<0>{}))),
+ hana::make_lazy(ct_eq<0>{})
+ ));
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::flatten(hana::make_lazy(hana::make_lazy(ct_eq<1>{}))),
+ hana::make_lazy(ct_eq<1>{})
+ ));
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::flatten(hana::make_lazy(hana::make_lazy(hana::make_lazy(ct_eq<1>{})))),
+ hana::make_lazy(hana::make_lazy(ct_eq<1>{}))
+ ));
+ }
+
+ // laws
+ hana::test::TestMonad<hana::lazy_tag>{eqs, nested};
+ }
+
+ //////////////////////////////////////////////////////////////////////////
+ // Comonad
+ //////////////////////////////////////////////////////////////////////////
+ {
+ // extract
+ {
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::extract(hana::make_lazy(ct_eq<4>{})),
+ ct_eq<4>{}
+ ));
+ }
+
+ // duplicate
+ {
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::duplicate(hana::make_lazy(ct_eq<4>{})),
+ hana::make_lazy(hana::make_lazy(ct_eq<4>{}))
+ ));
+ }
+
+ // extend
+ {
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ hana::extend(hana::make_lazy(ct_eq<4>{}), f),
+ hana::make_lazy(f(hana::make_lazy(ct_eq<4>{})))
+ ));
+ }
+
+ // laws
+ hana::test::TestComonad<hana::lazy_tag>{eqs};
+ }
+
+ //////////////////////////////////////////////////////////////////////////
+ // Make sure the monadic chain is evaluated in the right order.
+ //////////////////////////////////////////////////////////////////////////
+ {
+ std::array<bool, 3> executed = {{false, false, false}};
+ int dummy = 0;
+
+ std::cout << "creating the monadic chain...\n";
+ auto chain = hana::make_lazy(dummy)
+ | [&](int dummy) {
+ std::cout << "executing the first computation...\n";
+ executed[0] = true;
+ BOOST_HANA_RUNTIME_CHECK(
+ executed == std::array<bool, 3>{{true, false, false}}
+ );
+ return hana::make_lazy(dummy);
+ }
+ | [&](int dummy) {
+ std::cout << "executing the second computation...\n";
+ executed[1] = true;
+ BOOST_HANA_RUNTIME_CHECK(
+ executed == std::array<bool, 3>{{true, true, false}}
+ );
+ return hana::make_lazy(dummy);
+ }
+ | [&](int dummy) {
+ std::cout << "executing the third computation...\n";
+ executed[2] = true;
+ BOOST_HANA_RUNTIME_CHECK(
+ executed == std::array<bool, 3>{{true, true, true}}
+ );
+ return hana::make_lazy(dummy);
+ };
+
+ BOOST_HANA_RUNTIME_CHECK(
+ executed == std::array<bool, 3>{{false, false, false}}
+ );
+
+ std::cout << "evaluating the chain...\n";
+ hana::eval(chain);
+ }
+}
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-05 10:24:15 +0000