"ScL Feature"/
SCL Feature 0.0.1
C++20 composable proxy wrapper with pluggable executor strategy
Loading...
Searching...
No Matches
wrapper.h
1#pragma once
2
3#include <scl/feature/type_traits/wrapper.h>
4
5namespace scl::feature::concepts
6{
18 template <typename Type>
19 concept wrapper = ::scl::feature::is_wrapper_v<Type>;
20
21 template <typename Expected, typename Type>
22 concept compatible_with = ::scl::feature::is_compatible_with_v<Expected, Type>;
23
24 template <typename Expected, typename Type>
25 concept compatible_with_part_of = ::scl::feature::is_compatible_with_part_of_v<Expected, Type>;
26
27 template <typename Expected, typename Type>
28 concept part_compatible_with = ::scl::feature::is_part_compatible_with_v<Expected, Type>;
29} // namespace scl::feature::concepts
scl::feature::concepts::wrapper
Satisfied when T is a wrapper specialization.
Definition wrapper.h:19
scl::feature::is_part_compatible_with_v
constexpr bool is_part_compatible_with_v
Checks whether Test (a wrapper) recursively contains a value that is compatible with Expected (also a...
Definition wrapper.h:143
scl::feature::is_compatible_with_v
constexpr bool is_compatible_with_v
Checks whether Test is compatible with (usable in place of) Expected.
Definition wrapper.h:62
scl::feature::is_compatible_with_part_of_v
constexpr bool is_compatible_with_part_of_v
Checks whether Expected (a wrapper) recursively contains a value that is compatible with Test (also a...
Definition wrapper.h:101
scl::feature::is_wrapper_v
constexpr bool is_wrapper_v
Checks whether Type is a wrapper specialization.
Definition wrapper.h:28
scl::feature::concepts
C++20 concepts for ScL Feature types.