scl::feature Namespace Reference

Namespace of the ScL Feature module. More...

Namespaces
namespace	concepts
	C++20 concepts for ScL Feature types.

Classes
struct	executor_trait
	Trait that provides access to the executor inside a wrapper. More...
class	reflect
	Primary (terminal) template for the reflection mixin chain. More...
class	reflect< Wrapper, Executor, detail::wrapper< QualifiedInner, OuterExecutor > >
	Strips cv/ref qualifiers from a cv/ref-qualified inner wrapper. More...
class	reflect< Wrapper, Executor, detail::wrapper< Value, OuterExecutor > >
	Reflection chain for a plain (non-nested) wrapper. More...
class	reflect_operators
	CRTP mixin that reflects all standard C++ operators through the executor. More...

Variables
template<typename ExecutorType, typename ExecutorRefer>
constexpr bool	has_access_v
	true if ExecutorType has a access() method whose first (and only) parameter type is exactly ExecutorRefer.
template<typename ExecutorType, typename ExecutorRefer>
constexpr bool	has_execute_v
	true if ExecutorType has an execute() method whose first parameter type is exactly ExecutorRefer.
template<typename ExecutorType, typename ExecutorRefer>
constexpr bool	has_guard_v
	true if ExecutorType has a guard() method whose first (and only) parameter type is exactly ExecutorRefer.
template<typename ExecutorType, typename ExecutorRefer>
constexpr bool	has_unguard_v
	true if ExecutorType has an unguard() method whose first (and only) parameter type is exactly ExecutorRefer.
template<typename Expected, typename Test>
constexpr bool	is_compatible_with_part_of_v
	Checks whether Expected (a wrapper) recursively contains a value that is compatible with Test (also a wrapper).
template<typename Expected, typename Test>
constexpr bool	is_compatible_with_v
	Checks whether Test is compatible with (usable in place of) Expected.
template<typename Target, typename Refer>
constexpr bool	is_convertible_from_v
	Checks whether Target is convertible from Refer directly or through any level of the wrapper chain.
template<typename Type>
constexpr bool	is_executor_v
	true if Type satisfies the executor interface.
template<typename ExecutorType, typename ExecutorRefer>
constexpr bool	is_guard_noexcept_v
	true if ExecutorType::guard() for ExecutorRefer either does not exist or is noexcept.
template<typename Expected, typename Test>
constexpr bool	is_part_compatible_with_v
	Checks whether Test (a wrapper) recursively contains a value that is compatible with Expected (also a wrapper).
template<typename ExecutorType, typename ExecutorRefer>
constexpr bool	is_unguard_noexcept_v
	true if ExecutorType::unguard() for ExecutorRefer either does not exist or is noexcept.
template<typename Type>
constexpr bool	is_wrapper_v
	Checks whether Type is a wrapper specialization.

Detailed Description

Namespace of the ScL Feature module.