midi_message.hpp

#pragma once
#include "common.hpp"
#include "recursive.hpp"
 
#include <cstdint>
 
namespace bugui
{
template <typename Tp>
concept valid_midi = std::convertible_to
    <std::remove_reference_t<Tp>, uint8_t>;
 
template <typename Tp>
concept sends_sysex = array_like<decltype(Tp::sysex_id())>
                      && valid_midi
                      <decltype(Tp::sysex_id()[0])>;
 
EMPTY_ENUM_CHECK(sysex)
EMPTY_ENUM_CHECK(cc)
EMPTY_ENUM_CHECK(on_off)
 
template <typename... Args>
concept is_sysex = (((sysex_empty_enum<Args>
                      || sends_sysex<Args>)
                     && (!cc_empty_enum<Args>
                        && !on_off_empty_enum<Args>))
                    || ...);
 
template <typename... Args>
concept is_cc = ((cc_empty_enum<Args>
                  && !is_sysex<Args>
                  && !on_off_empty_enum<Args>)
                 || ...);
 
template <typename... Args>
concept is_on_off = ((on_off_empty_enum<Args>
                      || (!is_sysex<Args>
                          && !cc_empty_enum<Args>))
                     && ...);
 
template <typename... Args>
concept is_explicit_on_off = ((on_off_empty_enum<Args>
                               && !is_sysex<Args>
                               && !cc_empty_enum<Args>)
                              && ...);
 
// ENUM_CHECK(in, sysex)
ENUM_CHECK(in, cc)
ENUM_CHECK(in, on_off)
 
// template <typename... Args>
// concept is_sysex_in = ((in_enum_sysex<Args>
//                             && !in_enum_cc<Args>
//                             && !in_enum_on_off<Args>
//                         || is_sysex<Args>)
//                        || ...);;
 
template <typename... Args>
concept is_cc_in = ((in_enum_cc<Args>
                         // && !in_enum_sysex<Args>
                         && !in_enum_on_off<Args>
                     || is_cc<Args>)
                    || ...);
 
template <typename... Args>
concept is_on_off_in = !is_cc_in<Args...>;
 
template <typename... Args>
concept is_explicit_on_off_in = ((in_enum_on_off<Args>
                                      // && !in_enum_sysex<Args>
                                      && !in_enum_cc<Args>
                                  || is_explicit_on_off<Args>)
                                 || ...);
 
template <typename Tp>
concept is_cc_in_component =
    is_cc_in<typename Tp::in_message_t>;
 
template <typename Tp>
concept is_on_off_in_component =
    is_on_off_in<typename Tp::in_message_t>;
 
template <typename Tp>
concept has_in_type = (is_on_off_in<Tp> || is_cc_in<Tp>);
 
template <typename Tp>
concept has_explicit_in_type = (is_explicit_on_off_in<Tp>
                                || is_cc_in<Tp>);
 
ENUM_CHECK(out, sysex)
ENUM_CHECK(out, cc)
ENUM_CHECK(out, on_off)
 
template <typename... Args>
concept is_sysex_out = ((out_enum_sysex<Args>
                             && !out_enum_on_off<Args>
                             && !out_enum_cc<Args>
                         || is_sysex<Args>)
                        || ...);
 
template <typename... Args>
concept is_cc_out = ((out_enum_cc<Args>
                          && !out_enum_sysex<Args>
                          && !out_enum_on_off<Args>
                      || is_cc<Args>)
                     || ...);
 
template <typename... Args>
concept is_on_off_out = !is_cc_out<Args...>
                        && !is_sysex_out<Args...>;
 
template <typename... Args>
concept is_explicit_on_off_out = ((out_enum_on_off<Args>
                                       && !out_enum_sysex<Args>
                                       && !out_enum_cc<Args>
                                   || is_explicit_on_off<Args>)
                                  || ...);
 
template <typename Tp>
concept is_sysex_out_component =
    is_sysex_out<typename Tp::out_message_t>;
 
template <typename Tp>
concept is_cc_out_component =
    is_cc_out<typename Tp::out_message_t>;
 
template <typename Tp>
concept is_on_off_out_component =
    is_on_off_out<typename Tp::out_message_t>;
 
template <typename Tp>
concept has_out_type = (is_on_off_out<Tp>
                        || is_cc_out<Tp>
                        || is_sysex_out<Tp>);
 
template <typename Tp>
concept has_explicit_out_type =
    (is_explicit_on_off_out<Tp>
     || is_cc_out<Tp>
     || is_sysex_out<Tp>);
 
template <typename Tp>
concept sends_sysex_only =
    (sends_sysex<Tp>
     && RECURSIVE_CONCEPT(!is_cc_out, Tp)
     && RECURSIVE_CONCEPT(!is_on_off_out, Tp));
 
} // namespace bugui