Public Member Functions | |
template<typename I > | |
auto | requires_ (I i) -> decltype(concepts::valid_expr(concepts::model_of< DerivedFrom, category_t< I >, ranges::random_access_iterator_tag >(), concepts::has_type< I >(i+(i - i)), concepts::has_type< I >((i - i)+i), concepts::has_type< I >(i -(i - i)), concepts::has_type< I &>(i+=(i-i)), concepts::has_type< I &>(i -=(i - i)), concepts::model_of< Same, reference_t< I >, decltype(i[i - i])>())) |
Public Member Functions inherited from ranges::v3::concepts::refines< BidirectionalIterator, TotallyOrdered, SizedSentinel(_1, _1)> | |
void | requires_ () |
Additional Inherited Members | |
Public Types inherited from ranges::v3::concepts::refines< BidirectionalIterator, TotallyOrdered, SizedSentinel(_1, _1)> | |
using | base_concepts_t = meta::list< Concepts... > |