dedekind::category::LogicalMap Concept Reference

A callable Pred that maps T -> Ω for some IsΩ Ω. Captures the notion of a predicate valued in an arbitrary logic species. More...

Concept definition

template<typename Pred, typename T>
concept dedekind::category::LogicalMap = 
    std::invocable<const std::decay_t<Pred>&, const T&> &&
    IsΩ<std::remove_cvref_t<
        std::invoke_result_t<const std::decay_t<Pred>&, const T&>>>

Detailed Description

A callable Pred that maps T -> Ω for some IsΩ Ω. Captures the notion of a predicate valued in an arbitrary logic species.