Public Types | |
template<typename I > | |
using | category_t = meta::_t< ranges::iterator_category< I >> |
![]() | |
using | base_concepts_t = meta::list< Concepts...> |
Public Member Functions | |
template<typename I > | |
auto | requires_ (I &&i) -> decltype(concepts::valid_expr(concepts::model_of< DerivedFrom, category_t< I >, ranges::weak_input_iterator_tag >(), concepts::model_of< Readable >(i++))) |
![]() | |
void | requires_ (Ts &&...) |