device.hpp

#pragma once
#include "common.hpp"
#include <macros/labels.hpp>
#include <io/button_presser.hpp>
 
#include <string_view>
#include <type_traits>
 
namespace bugui
{
template <typename Tp>
concept has_color = std::is_aggregate_v<typename Tp::color>;
 
template <typename Tp>
concept has_color_palette = !std::is_void_v
                            <decltype(Tp::palette())>;
 
template <typename Tp>
concept hex_color_palette = requires
{
  { Tp::palette()[0].first } -> std::same_as<unsigned long&>;
};
 
template <typename Tp>
concept is_valid_id = (std::is_arithmetic_v<Tp>
                       && different<Tp, bool>)
                      || std::same_as<Tp, char*>
                      || std::same_as<Tp, std::string_view>;
 
template <typename Tp>
concept has_grid = is_valid_id<std::remove_cvref_t
                               <decltype(Tp::grid::ids()[0][0])>>
                   && requires
{
  Tp::grid::ids().size() > 2;
  Tp::grid::ids()[0].size() > 2;
};
 
template <typename Tp>
concept has_buttons = (std::is_aggregate_v<typename Tp::buttons>
                       && is_valid_id
                       <typename Tp::buttons::id_type>);
 
template <typename Tp>
concept sends_sysex = !std::is_void_v
                      <decltype(Tp::sysex_prefix())>
                      && !std::is_void_v
                         <decltype(Tp::sysex_sufix())>;
 
template <typename Tp>
concept has_init = !std::is_void_v<decltype(Tp::init())>;
 
template <typename Tp>
concept has_clear = !std::is_void_v<decltype(Tp::clear())>;
 
#define has_button(L)                               \
template <typename Device>                          \
concept device_##L##_button =                       \
is_valid_id<decltype(Device::buttons::L##_id())>;   \
                                                    \
template <typename Controller>                      \
concept controller_##L##_button =                   \
requires(Controller c, button_presser p)            \
{ std::is_void_v<decltype(c.on_##L(p))>; };         \
                                                    \
template <typename Device, typename Controller>     \
concept L##_button =                                \
device_##L##_button<Device>                         \
&& controller_##L##_button<Controller>;
// FIXME : find more succint macro
#define CALL_MACRO(r, data, elem) has_button(elem)
FOR_EACH_LABEL(CALL_MACRO)
#undef CALL_MACRO
#undef has_button
 
} // namespace bugui