Lines Matching full:requires

69   concept __decrementable = incrementable<_Iter> && requires(_Iter __i) {  in requires()  function
77     requires(_Iter __i, const _Iter __j, const _IotaDiffT<_Iter> __n) {  in requires()  function
95     requires __weakly_equality_comparable_with<_Start, _BoundSentinel> && copyable<_Start>
112       __iterator() requires default_initializable<_Start> = default;
132       constexpr __iterator operator++(int) requires incrementable<_Start> {
139       constexpr __iterator& operator--() requires __decrementable<_Start> {
145       constexpr __iterator  operator--(int) requires __decrementable<_Start> {
153         requires __advanceable<_Start>
169         requires __advanceable<_Start>
185         requires __advanceable<_Start>
192         requires equality_comparable<_Start>
199         requires totally_ordered<_Start>
206         requires totally_ordered<_Start>
213         requires totally_ordered<_Start>
220         requires totally_ordered<_Start>
227         requires totally_ordered<_Start> && three_way_comparable<_Start>
234         requires __advanceable<_Start>
242         requires __advanceable<_Start>
249         requires __advanceable<_Start>
257         requires __advanceable<_Start>
290         requires sized_sentinel_for<_BoundSentinel, _Start>
297         requires sized_sentinel_for<_BoundSentinel, _Start>
308     iota_view() requires default_initializable<_Start> = default;
325       requires same_as<_Start, _BoundSentinel>
330       requires same_as<_BoundSentinel, unreachable_sentinel_t>
335       requires(!same_as<_Start, _BoundSentinel> && !same_as<_Start, unreachable_sentinel_t>)
351       requires same_as<_Start, _BoundSentinel>
358       requires(same_as<_Start, _BoundSentinel> && __advanceable<_Start>) ||
375     requires(!__integer_like<_Start> || !__integer_like<_BoundSentinel> ||