Public Member Functions | |
template<typename I > | |
auto | requires_ (I &&i) -> decltype( concepts::valid_expr( concepts::model_of< DerivedFrom, category_t< I >, ranges::bidirectional_iterator_tag >(), concepts::has_type< I & >(--i), concepts::has_type< I >(i--), concepts::same_type(*i,*i--) )) |
![]() | |
void | requires_ (Ts &&...) |
Additional Inherited Members | |
![]() | |
using | base_concepts_t = meta::list< Concepts... > |