A stage that reads a query's elements: an arrow out of the type its present elements have. More...

Concept definition

template<typename Q, typename F>
concept dedekind::category::detail_comprehension::ReadsItsElements = 
    std::same_as<typename Q::element_type, Maybe<Dom<F>>>

Detailed Description

A stage that reads a query's elements: an arrow out of the type its present elements have.