A query: a range whose elements are Maybe, each present or a hole. More...

Concept definition

template<typename R>
concept dedekind::category::IsQuery = 
    std::ranges::input_range<R> &&
    detail_comprehension::is_maybe_v<std::ranges::range_value_t<R>>

Detailed Description

A query: a range whose elements are Maybe, each present or a hole.