Public Member Functions | |
template<typename I , typename O > | |
auto | requires_ (I &&, O &&) -> decltype( concepts::valid_expr( concepts::model_of< Movable, Readable::value_t< I >>(), concepts::model_of< Constructible, Readable::value_t< I >, Readable::rvalue_reference_t< I > && >(), concepts::model_of< Assignable, Readable::value_t< I > &, Readable::rvalue_reference_t< I > && >(), concepts::model_of< Writable, O, Readable::value_t< I > && >() )) |
![]() | |
void | requires_ (Ts &&...) |
Additional Inherited Members | |
![]() | |
using | base_concepts_t = meta::list< Concepts... > |