dedekind::relational::IsPairLike Concept Reference

Pair-like carrier: both coordinates present — the shape every relation (converse, reflexive, symmetric, is_relation) assumes. More...

Concept definition

template<typename D>
concept dedekind::relational::IsPairLike =  requires(const D& d) {
  typename D::first_type;
  typename D::second_type;
  d.first;
  d.second;
}

Detailed Description

Pair-like carrier: both coordinates present — the shape every relation (converse, reflexive, symmetric, is_relation) assumes.