ceph/src/boost/libs/hana/test/optional/laws.cpp

   1 // Copyright Louis Dionne 2013-2016
   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/bool.hpp>
   6 #include <boost/hana/optional.hpp>
   7 #include <boost/hana/tuple.hpp>
   8
   9 #include <laws/applicative.hpp>
  10 #include <laws/base.hpp>
  11 #include <laws/comparable.hpp>
  12 #include <laws/foldable.hpp>
  13 #include <laws/functor.hpp>
  14 #include <laws/monad.hpp>
  15 #include <laws/monad_plus.hpp>
  16 #include <laws/orderable.hpp>
  17 #include <laws/searchable.hpp>
  18 namespace hana = boost::hana;
  19 using hana::test::ct_eq;
  20 using hana::test::ct_ord;
  21
  22
  23 int main() {
  24     auto ords = hana::make_tuple(
  25         hana::nothing,
  26         hana::just(ct_ord<0>{}),
  27         hana::just(ct_ord<1>{}),
  28         hana::just(ct_ord<2>{})
  29     );
  30
  31     auto eqs = hana::make_tuple(
  32         hana::nothing,
  33         hana::just(ct_eq<0>{}),
  34         hana::just(ct_eq<1>{}),
  35         hana::just(ct_eq<2>{})
  36     );
  37
  38     auto eq_values = hana::make_tuple(ct_eq<0>{}, ct_eq<2>{}, ct_eq<3>{});
  39
  40     auto predicates = hana::make_tuple(
  41         hana::equal.to(ct_eq<0>{}),
  42         hana::equal.to(ct_eq<2>{}),
  43         hana::equal.to(ct_eq<3>{}),
  44         hana::always(hana::false_c),
  45         hana::always(hana::true_c)
  46     );
  47
  48     auto nested_eqs = hana::make_tuple(
  49         hana::nothing,
  50         hana::just(hana::just(ct_eq<0>{})),
  51         hana::just(hana::nothing),
  52         hana::just(hana::just(ct_eq<2>{}))
  53     );
  54
  55
  56     hana::test::TestComparable<hana::optional_tag>{eqs};
  57     hana::test::TestOrderable<hana::optional_tag>{ords};
  58     hana::test::TestFunctor<hana::optional_tag>{eqs, eq_values};
  59     hana::test::TestApplicative<hana::optional_tag>{eqs};
  60     hana::test::TestMonad<hana::optional_tag>{eqs, nested_eqs};
  61     hana::test::TestMonadPlus<hana::optional_tag>{eqs, predicates, eq_values};
  62     hana::test::TestSearchable<hana::optional_tag>{eqs, eq_values};
  63     hana::test::TestSearchable<hana::optional_tag>{
  64         hana::make_tuple(
  65             hana::just(hana::true_c),
  66             hana::just(hana::false_c),
  67             hana::nothing
  68         ),
  69         hana::make_tuple(hana::true_c, hana::false_c)
  70     };
  71     hana::test::TestFoldable<hana::optional_tag>{eqs};
  72 }