is_subset_of< ES1, ES2 > Class Template Reference

Utility to test that one error_set is a subset of another. More...

#include <sumty/error_set.hpp>

Inheritance diagram for is_subset_of< ES1, ES2 >:

Collaboration diagram for is_subset_of< ES1, ES2 >:

Related Functions
(Note that these are not member functions.)
template<typename ES1 , typename ES2 >
static constexpr bool	is_subset_of_v = is_subset_of<ES1, ES2>::value
	Utility to test that one error_set is a subset of another. More...

Detailed Description

template<typename ES1, typename ES2>
class sumty::is_subset_of< ES1, ES2 >

Utility to test that one error_set is a subset of another.

This type is a template metaprogramming utility to test that the error_set ES1 is a subset of the error_set ES2. If every alternative of ES1 is an alternative of ES2, regardless of order or index, then ES1 is a subset of ES2. The static member constant value is a bool that is true if ES1 is a subset of ES2.

Example

assert(is_subset_of<
    error_set<error1>,
    error_set<error3, error2, error2>
>::value);
 
assert(!is_subset_of<
    error_set<error3, error2, error2>
    error_set<error1>,
>::value);

Template Parameters

ES1	The proposed subset
ES2	The proposed superset

Friends And Related Function Documentation

is_subset_of_v

constexpr bool is_subset_of_v = is_subset_of<ES1, ES2>::value

related

Utility to test that one error_set is a subset of another.

This is a template metaprogramming utility to test that the error_set, ES1, is a subset of the error_set ES2. If every alternative of ES1 is an alternative of ES2, regardless of order or index, then ES1 is a subset of ES2.

Example

assert(is_subset_of_v<
    error_set<error1>,
    error_set<error3, error2, error2>
>);
 
assert(!is_subset_of_v<
    error_set<error3, error2, error2>
    error_set<error1>,
>);

Template Parameters

ES1	The proposed subset
ES2	The proposed superset

---

The documentation for this class was generated from the following file:

• sumty/error_set.hpp