dedekind::category::IsPathProjection Concept Reference

Projection contract used by check_path to map objects into an orderable relation carrier. More...

Concept definition

template<typename Project, typename T, typename Rel, typename Ω>
concept dedekind::category::IsPathProjection =  requires(Project project, T x, Rel rel) {
  { project(x) };
  { rel(project(x), project(x)) } -> std::same_as<Ω>;
}

Detailed Description

Projection contract used by check_path to map objects into an orderable relation carrier.