Detailed Description

Concept that constrains the range R to be a std::ranges::view where the range's value type is exactly T.

This enables documenting the return type of range-returning functions, without promising a concrete type of range.

This concept should not be used by code outside of Drake (it is not Stable API); it is intended only for use by Drake's documentation.

#include <drake/common/ranges.h>

Concept definition

template<typename R, typename T>
concept drake::range_view_of = 
    std::ranges::view<R> && std::same_as<std::ranges::range_value_t<R>, T>