Dwm::AreFFI_Addable Concept Reference

Concepts to apply to binary operators. More...

#include <DwmFFIVar.hh>

Concept definition

template<typename T1, typename T2>
concept Dwm::AreFFI_Addable =  requires(T1 a, T2 b) {
    { a + b } -> std::same_as<T1>;
  }

Detailed Description

Concepts to apply to binary operators.

T2 can be added to T1 and yield a T1. i.e. { T1 + T2 } -> T1