1// Copyright Louis Dionne 2013-2022
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/bool.hpp>
7#include <boost/hana/none.hpp>
8#include <boost/hana/not.hpp>
9#include <boost/hana/tuple.hpp>
10namespace hana = boost::hana;
11
12
13static_assert(hana::none(hana::make_tuple(false, hana::false_c, hana::false_c)), "");
14static_assert(!hana::none(hana::make_tuple(false, hana::false_c, true)), "");
15BOOST_HANA_CONSTANT_CHECK(!hana::none(hana::make_tuple(false, hana::false_c, hana::true_c)));
16
17int main() { }
18

source code of boost/libs/hana/example/none.cpp