dedekind::linear_algebra::IsDimension Concept Reference

A type-template witness for a dimension cardinality. Today's inhabitants: dim_finite<N> and dedekind::sets::ℵ<N>. More...

Concept definition

template<typename D>
concept dedekind::linear_algebra::IsDimension =  requires {
  { D::is_finite } -> std::convertible_to<bool>;
  { D::is_countable } -> std::convertible_to<bool>;
}

Detailed Description

A type-template witness for a dimension cardinality. Today's inhabitants: dim_finite<N> and dedekind::sets::ℵ<N>.