Oasis::TransformerAcceptsCheckArg Concept Reference

#include <Oasis/MatchCast.hpp>

Concept definition

template<typename CheckF, typename TransformerF>
concept Oasis::TransformerAcceptsCheckArg =  requires(CheckF f1, TransformerF f2, const lambda_argument_type<CheckF>& t) {
    { f1(t) } -> std::convertible_to<bool>;
    { f2(t) } -> std::same_as<std::unique_ptr<Expression>>;
}