HandlerTraits.hpp

Go to the documentation of this file.

 
//                Copyright Oliver J. Rosten 2018.                //
// Distributed under the GNU GENERAL PUBLIC LICENSE, Version 3.0. //
//    (See accompanying file LICENSE.md or copy at                //
//          https://www.gnu.org/licenses/gpl-3.0.en.html)         //
 
#pragma once
 
#include "sequoia/Core/Meta/Concepts.hpp"
 
namespace sequoia::object
{
  template<class H>
  concept handler = requires(H& h, typename H::product_type& x, const typename H::product_type& cx){
    typename H::product_type;
    typename H::value_type;
 
    { h.get(x) }      -> std::same_as<typename H::value_type&>;
    { h.get_ptr(x) }  -> std::same_as<typename H::value_type*>;
    { h.get(cx) }     -> std::same_as<const typename H::value_type&>;
    { h.get_ptr(cx) } -> std::same_as<const typename H::value_type*>;
  };
}