dedekind::relational::detail_rows::HasCarrierConstant Concept Reference

The constant type K has its own hook for a carrier's value c: carrier_constant, found by argument-dependent lookup. More...

Concept definition

template<typename K, typename C>
concept dedekind::relational::detail_rows::HasCarrierConstant = 
    requires(const C& c) { carrier_constant(std::type_identity<K>{}, c); }

Detailed Description

The constant type K has its own hook for a carrier's value c: carrier_constant, found by argument-dependent lookup.