dedekind::sequences::HasLimit Concept Reference

Species that can resolve a Path into a single point. More...

Concept definition

template<typename T>
concept dedekind::sequences::HasLimit =  IsArchimedean<T> && requires(Path<T> s) {
  
  { limit(s) } -> std::same_as<T>;
}

Detailed Description

Species that can resolve a Path into a single point.

Requires the species to be Archimedean (ordered and steppable) and provides a formal 'limit' mapping.