dedekind::category::LiftableInto Concept Reference

T can be lifted into To's answers: it already is one, or it is a classifier answer whose species' registered embedding into To accepts it and lands in To::Ω (a Truth<L> wrapper is not an L::Ω and is refused). More...

Concept definition

template<typename T, typename To>
concept dedekind::category::LiftableInto =  std::same_as<std::remove_cvref_t<T>, typename To::Ω> ||
                       requires(const T& t) {
                         {
                           species_embed<classifier_logic_t<T>, To>::apply(t)
                         } -> std::same_as<typename To::Ω>;
                       }

Detailed Description

T can be lifted into To's answers: it already is one, or it is a classifier answer whose species' registered embedding into To accepts it and lands in To::Ω (a Truth<L> wrapper is not an L::Ω and is refused).