tetl
0.1.0
Embedded Template Library
Loading...
Searching...
No Matches
incrementable.hpp
Go to the documentation of this file.
1
// SPDX-License-Identifier: BSL-1.0
2
3
#ifndef TETL_ITERATOR_INCREMENTABLE_HPP
4
#define TETL_ITERATOR_INCREMENTABLE_HPP
5
6
#include <
etl/_concepts/regular.hpp
>
7
#include <
etl/_concepts/same_as.hpp
>
8
#include <
etl/_iterator/weakly_incrementable.hpp
>
9
10
namespace
etl
{
11
12
// clang-format off
13
template
<
typename
T>
14
concept
incrementable
=
etl::regular<T>
and
etl::weakly_incrementable<T>
and
requires
(T i) {
15
{ i++ } ->
etl::same_as<T>
;
16
};
17
// clang-format on
18
19
}
// namespace etl
20
21
#endif
// TETL_ITERATOR_INCREMENTABLE_HPP
etl::incrementable
Definition
incrementable.hpp:14
etl::regular
Definition
regular.hpp:13
etl::same_as
The concept same_as<T, U> is satisfied if and only if T and U denote the same type....
Definition
same_as.hpp:19
etl::weakly_incrementable
Definition
weakly_incrementable.hpp:16
etl
Definition
adjacent_find.hpp:8
regular.hpp
same_as.hpp
weakly_incrementable.hpp
include
etl
_iterator
incrementable.hpp
Generated on Sat Mar 8 2025 16:19:59 for tetl by
1.14.0