native_rounding_tag.h

 
//          Copyright John McFarlane 2018.
// 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)
 
#if !defined(CNL_IMPL_ROUNDING_NATIVE_ROUNDING_TAG_H)
#define CNL_IMPL_ROUNDING_NATIVE_ROUNDING_TAG_H
 
#include "../custom_operator/native_tag.h"
#include "is_rounding_tag.h"
#include "is_tag.h"
 
#include <type_traits>
 
namespace cnl {
    struct native_rounding_tag
        : _impl::homogeneous_deduction_tag_base
        , _impl::homogeneous_operator_tag_base {
    };
 
    namespace _impl {
        template<>
        struct is_rounding_tag<native_rounding_tag> : std::true_type {
        };
    }
 
    template<typename Source, typename Destination>
    struct custom_operator<_impl::convert_op, op_value<Source>, op_value<Destination, native_rounding_tag>>
        : custom_operator<_impl::convert_op, op_value<Source>, op_value<Destination>> {
    };
 
    template<_impl::unary_arithmetic_op Operator, typename Operand>
    struct custom_operator<Operator, op_value<Operand, native_rounding_tag>>
        : custom_operator<Operator, op_value<Operand, _impl::native_tag>> {
    };
 
    template<_impl::binary_arithmetic_op Operator, typename Lhs, typename Rhs>
    struct custom_operator<
            Operator,
            op_value<Lhs, native_rounding_tag>,
            op_value<Rhs, native_rounding_tag>>
        : custom_operator<Operator, op_value<Lhs>, op_value<Rhs>> {
    };
 
    template<_impl::shift_op Operator, tag RhsTag, typename Lhs, typename Rhs>
    struct custom_operator<
            Operator,
            op_value<Lhs, native_rounding_tag>, op_value<Rhs, RhsTag>>
        : custom_operator<Operator, op_value<Lhs>, op_value<Rhs>> {
    };
 
    template<_impl::prefix_op Operator, typename Rhs>
    struct custom_operator<Operator, native_rounding_tag, Rhs>
        : custom_operator<Operator, op_value<Rhs, _impl::native_tag>> {
    };
 
    template<_impl::postfix_op Operator, typename Rhs>
    struct custom_operator<Operator, native_rounding_tag, Rhs>
        : custom_operator<Operator, op_value<Rhs, _impl::native_tag>> {
    };
}
 
#endif  // CNL_IMPL_ROUNDING_NATIVE_ROUNDING_TAG_H