tetl
0.1.0
Embedded Template Library
Loading...
Searching...
No Matches
derived_from.hpp
Go to the documentation of this file.
1
// SPDX-License-Identifier: BSL-1.0
2
3
#ifndef TETL_CONCEPTS_DERIVED_FROM_HPP
4
#define TETL_CONCEPTS_DERIVED_FROM_HPP
5
6
#include <
etl/_type_traits/is_base_of.hpp
>
7
#include <
etl/_type_traits/is_convertible.hpp
>
8
9
namespace
etl
{
10
16
template
<
typename
Derived,
typename
Base>
17
concept
derived_from
=
is_base_of_v<Base, Derived>
and
is_convertible_v<Derived const volatile*, Base const volatile*>
;
18
19
}
// namespace etl
20
21
#endif
// TETL_CONCEPTS_DERIVED_FROM_HPP
etl::derived_from
The concept derived_from<Derived, Base> is satisfied if and only if Base is a class type that is eith...
Definition
derived_from.hpp:17
is_base_of.hpp
is_convertible.hpp
etl
Definition
adjacent_find.hpp:8
etl::is_base_of_v
constexpr bool is_base_of_v
Definition
is_base_of.hpp:39
etl::is_convertible_v
constexpr bool is_convertible_v
Definition
is_convertible.hpp:46
include
etl
_concepts
derived_from.hpp
Generated on Sat Mar 8 2025 16:19:59 for tetl by
1.14.0