Instigate Open Source Documentation

---

src/generic/_equality_comparable.hpp

Go to the documentation of this file.

#ifndef _INSTIGATE_OPEN_SOURCE_INTERNAL_HEADER_IN_CONCEPT
#error This is an internal header file used to implement Instigate Open Source.\
        It should never be included directly by a program.
#endif

#ifndef INSTIGATE_GENERIC_EQUALITY_COMPARABLE_HPP
#define INSTIGATE_GENERIC_EQUALITY_COMPARABLE_HPP

// Headers from this project

// Headers from other projects

// Headers from standard libraries

// Forward declarations
namespace instigate {
        namespace generic {
                namespace equality_comparable {
                        struct tag;
                        template <typename T> struct interface;
                        template <typename T> struct requirements;
                } 
        }
} 

struct instigate::generic::equality_comparable::tag
{
};

template<typename T>
struct instigate::generic::equality_comparable::interface
{
        static bool equal(const T& a, const T& b)
        {
                return a == b;
        }
}; 

template<typename T>
struct instigate::generic::equality_comparable::requirements
{
        static void return_type_must_be_convertible_to_bool(const T& a,
                        const T& b)
        {
                (bool)instigate::generic::equality_comparable::
                        interface<T>::equal(a, b);
        }

        static void require_equal(const T& a, const T& b)
        {
                instigate::generic::equality_comparable::interface<T>::equal(a, b);
        }

        requirements()
        {
                (void)return_type_must_be_convertible_to_bool;
                (void)require_equal;
        }
};

// vim:et:tabstop=8:shiftwidth=8:cindent:fo=croq:textwidth=80:
      
#endif // INSTIGATE_GENERIC_EQUALITY_COMPARABLE_HPP

---

© Instigate CJSC, Open Source