Public Types | |
template<typename I > | |
using | difference_t = meta::_t< difference_type< I >> |
![]() | |
using | base_concepts_t = meta::list< Concepts... > |
Public Member Functions | |
concepts::has_type (++i) | |
template<typename I > | |
auto | requires_ (I &&i) -> decltype( concepts::valid_expr( concepts::is_true(std::is_integral< difference_t< I >> |
![]() | |
void | requires_ (Ts &&...) |
Public Attributes | |
void | i |