FM / detail

/usr/include/boost/histogram/detail

Name	Size	Mode	Actions
accumulator_traits.hpp	2812	0644	edit dl rm
args_type.hpp	1546	0644	edit dl rm
argument_traits.hpp	2548	0644	edit dl rm
array_wrapper.hpp	2050	0644	edit dl rm
axes.hpp	13362	0644	edit dl rm
common_type.hpp	1335	0644	edit dl rm
convert_integer.hpp	566	0644	edit dl rm
counting_streambuf.hpp	1923	0644	edit dl rm
detect.hpp	8320	0644	edit dl rm
fill.hpp	12609	0644	edit dl rm
fill_n.hpp	13696	0644	edit dl rm
index_translator.hpp	3437	0644	edit dl rm
iterator_adaptor.hpp	4484	0644	edit dl rm
large_int.hpp	6543	0644	edit dl rm
limits.hpp	986	0644	edit dl rm
linearize.hpp	4482	0644	edit dl rm
make_default.hpp	710	0644	edit dl rm
mutex_base.hpp	1228	0644	edit dl rm
nonmember_container_access.hpp	1448	0644	edit dl rm
operators.hpp	4494	0644	edit dl rm
optional_index.hpp	1426	0644	edit dl rm
priority.hpp	593	0644	edit dl rm
reduce_command.hpp	2541	0644	edit dl rm
relaxed_equal.hpp	1217	0644	edit dl rm
relaxed_tuple_size.hpp	956	0644	edit dl rm
replace_type.hpp	818	0644	edit dl rm
safe_comparison.hpp	2519	0644	edit dl rm
span.hpp	9048	0644	edit dl rm
static_if.hpp	1477	0644	edit dl rm
sub_array.hpp	3577	0644	edit dl rm
try_cast.hpp	1575	0644	edit dl rm
tuple_slice.hpp	1019	0644	edit dl rm
type_name.hpp	1083	0644	edit dl rm
variant_proxy.hpp	2430	0644	edit dl rm

Edit: /usr/include/boost/histogram/detail/operators.hpp (4494B)

// Copyright 2019 Hans Dembinski
//
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt
// or copy at http://www.boost.org/LICENSE_1_0.txt)

#ifndef BOOST_HISTOGRAM_DETAIL_OPERATORS_HPP
#define BOOST_HISTOGRAM_DETAIL_OPERATORS_HPP

#include <boost/histogram/detail/detect.hpp>
#include <boost/mp11/algorithm.hpp>
#include <boost/mp11/list.hpp>
#include <boost/mp11/utility.hpp>

namespace boost {
namespace histogram {
namespace detail {

template <class T, class U>
using if_not_same_and_has_eq =
 std::enable_if_t<(!std::is_same<T, U>::value && has_method_eq<T, U>::value), bool>;

// totally_ordered is for types with a <= b == !(a > b) [floats with NaN violate this]
// Derived must implement <,== for symmetric form and <,>,== for non-symmetric.

// partially_ordered is for types with a <= b == a ,== for non-symmetric.

template <class T, class U>
struct mirrored {
 friend bool operator<(const U& a, const T& b) noexcept { return b > a; }
 friend bool operator>(const U& a, const T& b) noexcept { return b < a; }
 friend bool operator==(const U& a, const T& b) noexcept { return b == a; }
 friend bool operator<=(const U& a, const T& b) noexcept { return b >= a; }
 friend bool operator>=(const U& a, const T& b) noexcept { return b <= a; }
 friend bool operator!=(const U& a, const T& b) noexcept { return b != a; }
};

template <class T>
struct mirrored<T, void> {
 template <class U>
 friend if_not_same_and_has_eq<T, U> operator<(const U& a, const T& b) noexcept {
 return b > a;
 }
 template <class U>
 friend if_not_same_and_has_eq<T, U> operator>(const U& a, const T& b) noexcept {
 return b < a;
 }
 template <class U>
 friend if_not_same_and_has_eq<T, U> operator==(const U& a, const T& b) noexcept {
 return b == a;
 }
 template <class U>
 friend if_not_same_and_has_eq<T, U> operator<=(const U& a, const T& b) noexcept {
 return b >= a;
 }
 template <class U>
 friend if_not_same_and_has_eq<T, U> operator>=(const U& a, const T& b) noexcept {
 return b <= a;
 }
 template <class U>
 friend if_not_same_and_has_eq<T, U> operator!=(const U& a, const T& b) noexcept {
 return b != a;
 }
};

template <class T>
struct mirrored<T, T> {
 friend bool operator>(const T& a, const T& b) noexcept { return b.operator<(a); }
};

template <class T, class U>
struct equality {
 friend bool operator!=(const T& a, const U& b) noexcept { return !a.operator==(b); }
};

template <class T>
struct equality<T, void> {
 template <class U>
 friend if_not_same_and_has_eq<T, U> operator!=(const T& a, const U& b) noexcept {
 return !(a == b);
 }
};

template <class T, class U>
struct totally_ordered_impl : equality<T, U>, mirrored<T, U> {
 friend bool operator<=(const T& a, const U& b) noexcept { return !(a > b); }
 friend bool operator>=(const T& a, const U& b) noexcept { return !(a < b); }
};

template <class T>
struct totally_ordered_impl<T, void> : equality<T, void>, mirrored<T, void> {
 template <class U>
 friend if_not_same_and_has_eq<T, U> operator<=(const T& a, const U& b) noexcept {
 return !(a > b);
 }
 template <class U>
 friend if_not_same_and_has_eq<T, U> operator>=(const T& a, const U& b) noexcept {
 return !(a < b);
 }
};

template <class T, class... Ts>
using totally_ordered = mp11::mp_rename<
 mp11::mp_product<totally_ordered_impl, mp11::mp_list<T>, mp11::mp_list<Ts...> >,
 mp11::mp_inherit>;

template <class T, class U>
struct partially_ordered_impl : equality<T, U>, mirrored<T, U> {
 friend bool operator<=(const T& a, const U& b) noexcept { return a =(const T& a, const U& b) noexcept { return a > b || a == b; }
};

template <class T>
struct partially_ordered_impl<T, void> : equality<T, void>, mirrored<T, void> {
 template <class U>
 friend if_not_same_and_has_eq<T, U> operator<=(const T& a, const U& b) noexcept {
 return a 
 friend if_not_same_and_has_eq<T, U> operator>=(const T& a, const U& b) noexcept {
 return a > b || a == b;
 }
};

template <class T, class... Ts>
using partially_ordered = mp11::mp_rename<
 mp11::mp_product<partially_ordered_impl, mp11::mp_list<T>, mp11::mp_list<Ts...> >,
 mp11::mp_inherit>;

} // namespace detail
} // namespace histogram
} // namespace boost

#endif // BOOST_HISTOGRAM_DETAIL_OPERATORS_HPP

// Copyright 2019 Hans Dembinski // // Distributed under the Boost Software License, Version 1.0. // (See accompanying file LICENSE_1_0.txt // or copy at http://www.boost.org/LICENSE_1_0.txt) #ifndef BOOST_HISTOGRAM_DETAIL_OPERATORS_HPP #define BOOST_HISTOGRAM_DETAIL_OPERATORS_HPP #include #include #include #include namespace boost { namespace histogram { namespace detail { template using if_not_same_and_has_eq = std::enable_if_t<(!std::is_same::value && has_method_eq::value), bool>; // totally_ordered is for types with a <= b == !(a > b) [floats with NaN violate this] // Derived must implement <,== for symmetric form and <,>,== for non-symmetric. // partially_ordered is for types with a <= b == a ,== for non-symmetric. template struct mirrored { friend bool operator<(const U& a, const T& b) noexcept { return b > a; } friend bool operator>(const U& a, const T& b) noexcept { return b < a; } friend bool operator==(const U& a, const T& b) noexcept { return b == a; } friend bool operator<=(const U& a, const T& b) noexcept { return b >= a; } friend bool operator>=(const U& a, const T& b) noexcept { return b <= a; } friend bool operator!=(const U& a, const T& b) noexcept { return b != a; } }; template struct mirrored { template friend if_not_same_and_has_eq operator<(const U& a, const T& b) noexcept { return b > a; } template friend if_not_same_and_has_eq operator>(const U& a, const T& b) noexcept { return b < a; } template friend if_not_same_and_has_eq operator==(const U& a, const T& b) noexcept { return b == a; } template friend if_not_same_and_has_eq operator<=(const U& a, const T& b) noexcept { return b >= a; } template friend if_not_same_and_has_eq operator>=(const U& a, const T& b) noexcept { return b <= a; } template friend if_not_same_and_has_eq operator!=(const U& a, const T& b) noexcept { return b != a; } }; template struct mirrored { friend bool operator>(const T& a, const T& b) noexcept { return b.operator<(a); } }; template struct equality { friend bool operator!=(const T& a, const U& b) noexcept { return !a.operator==(b); } }; template struct equality { template friend if_not_same_and_has_eq operator!=(const T& a, const U& b) noexcept { return !(a == b); } }; template struct totally_ordered_impl : equality, mirrored { friend bool operator<=(const T& a, const U& b) noexcept { return !(a > b); } friend bool operator>=(const T& a, const U& b) noexcept { return !(a < b); } }; template struct totally_ordered_impl : equality, mirrored { template friend if_not_same_and_has_eq operator<=(const T& a, const U& b) noexcept { return !(a > b); } template friend if_not_same_and_has_eq operator>=(const T& a, const U& b) noexcept { return !(a < b); } }; template using totally_ordered = mp11::mp_rename< mp11::mp_product, mp11::mp_list >, mp11::mp_inherit>; template struct partially_ordered_impl : equality, mirrored { friend bool operator<=(const T& a, const U& b) noexcept { return a =(const T& a, const U& b) noexcept { return a > b || a == b; } }; template struct partially_ordered_impl : equality, mirrored { template friend if_not_same_and_has_eq operator<=(const T& a, const U& b) noexcept { return a =(const T& a, const U& b) noexcept { return a > b || a == b; } }; template using partially_ordered = mp11::mp_rename< mp11::mp_product, mp11::mp_list >, mp11::mp_inherit>; } // namespace detail } // namespace histogram } // namespace boost #endif // BOOST_HISTOGRAM_DETAIL_OPERATORS_HPP