dedekind::category::IsProjectedTerminalObject Concept Reference

Terminal-object witness through an optional projection policy. More...

Concept definition

template<typename T, typename Project std::identity>
concept dedekind::category::IsProjectedTerminalObject = 
    requires(Project project, const T& t) {
      { project(t) };
    } &&
    IsTerminalObject<std::remove_cvref_t<decltype(std::declval<Project>()(
        std::declval<const T&>()))>>

Detailed Description

Terminal-object witness through an optional projection policy.

With the default projector (std::identity), this reduces to IsTerminalObject<T>. With an opt-in projector (for example an operator-> drill-down policy), wrappers can expose a terminal object while keeping ownership/lifetime semantics explicit.