dedekind::category::IsArrow Concept Reference

A type that knows its own Domain (A) and Codomain (B), objects it maps between: called at the domain's representative, its result presents the codomain (morphism__Objects_And_Their_Presentations). More...

Concept definition

template<typename F>
concept dedekind::category::IsArrow = 
    requires {
      typename std::remove_cvref_t<F>::Domain;
      typename std::remove_cvref_t<F>::Codomain;
    } &&
    requires(const std::remove_cvref_t<F>& f,
             const archetype_t<typename std::remove_cvref_t<F>::Domain>& x) {
      
      
      
      
      
      
      
      { f(x) } -> Presents<typename std::remove_cvref_t<F>::Codomain>;
    }

Detailed Description

A type that knows its own Domain (A) and Codomain (B), objects it maps between: called at the domain's representative, its result presents the codomain (morphism__Objects_And_Their_Presentations).