Relation.h

Go to the documentation of this file.

#pragma once

//#ifdef SCL_CPP17
//#include <scl/concepts/require.h>
#include <scl/macros.h>
#include <scl/tools/meta/constexpr_assert.h>
#include <scl/concepts/Predicate.h>

namespace scl{
    namespace concepts{
        template <class R, class T, class U>
        struct Relation{
            constexpr operator bool() const{
                using namespace scl::tools;
                return META::constexpr_assert<
                    Predicate<R, T, T>{}
                    && Predicate<R, T, U>{}
                    && Predicate<R, U, T>{}
                    && Predicate<R, U, U>{}
                >();
            }
        };
    }
}
//#endif