dedekind::category::detail_limit::HasIndependentComponents Concept Reference

A point whose components are stored independently, every value of one beside every value of the others: a tuple, a pair-like product, or a carrier that says so. Not a fibred product's point, whose components are read off one value. More...

Concept definition

template<typename P>
concept dedekind::category::detail_limit::HasIndependentComponents =  TupleLike<P> || requires(const P& p) {
  p.first;
  p.second;
} || requires { typename P::components_are_independent; }

Detailed Description

A point whose components are stored independently, every value of one beside every value of the others: a tuple, a pair-like product, or a carrier that says so. Not a fibred product's point, whose components are read off one value.