libpsynth 0.2.1
Public Member Functions
psynth::sound::ChannelBasesCompatibleConcept< ChannelBase1, ChannelBase2 > Struct Template Reference

Two channel bases are compatible if they have the same channel space and their elements are compatible, semantic-pairwise. More...

#include <concept.hpp>

List of all members.

Public Member Functions

void constraints ()

Detailed Description

template<typename ChannelBase1, typename ChannelBase2>
struct psynth::sound::ChannelBasesCompatibleConcept< ChannelBase1, ChannelBase2 >

Two channel bases are compatible if they have the same channel space and their elements are compatible, semantic-pairwise.

concept ChannelBasesCompatibleConcept<ChannelBaseConcept C1, ChannelBaseConcept C2> {
    where SameType<C1::layout_t::channel_space_t, C2::layout_t::channel_space_t>;
    // also, for all K in [0 ... size<C1>::value):
    //     where Convertible<kth_semantic_element_type<C1,K>::type,
                 kth_semantic_element_type<C2,K>::type>;
    //     where Convertible<kth_semantic_element_type<C2,K>::type,
                 kth_semantic_element_type<C1,K>::type>;
};

Member Function Documentation

template<typename ChannelBase1 , typename ChannelBase2 >
void psynth::sound::ChannelBasesCompatibleConcept< ChannelBase1, ChannelBase2 >::constraints ( ) [inline]

The documentation for this struct was generated from the following file: