Public Member Functions | |
template<typename I , typename P , typename O > | |
auto | requires_ (I i, P p, O o) -> decltype(concepts::valid_expr(concepts::model_of< Readable, I >(), concepts::model_of< RegularInvokable, P, Readable::reference_t< I >>(), concepts::model_of< SemiRegular, O >(), concepts::model_of< MoveWritable, O, Invokable::result_t< P, Readable::reference_t< I >>>())) |