Utility to test that one error_set is equivalent to another. More...
#include <sumty/error_set.hpp>
Related Functions | |
(Note that these are not member functions.) | |
| template<typename ES1 , typename ES2 > | |
| static constexpr bool | is_equivalent_v = is_equivalent<ES1, ES2>::value |
| Utility to test that one error_set is equivalent to another. More... | |
Detailed Description
template<typename ES1, typename ES2>
class sumty::is_equivalent< ES1, ES2 >
Utility to test that one error_set is equivalent to another.
This type is a template metaprogramming utility to test that the error_set ES1 is equivalent to the error_set ES2. Two error_set instantiations are equivalent if each alternative type of one is an alternative type in the other, in both directions. Thus equivalence is commutative. So, reworded, the two are equivalent if the have the same alternative types, but potentially in different orders.
is_equivalent has the member constant value, which is true if the two error_set instantiations are equivalent, and false otherwise.
Example
Friends And Related Function Documentation
◆ is_equivalent_v
|
related |
Utility to test that one error_set is equivalent to another.
This is a template metaprogramming utility to test that the error_set ES1 is equivalent to the error_set ES2. Two error_set instantiations are equivalent if each alternative type of one is an alternative type in the other, in both directions. Thus equivalence is commutative. So, reworded, the two are equivalent if the have the same alternative types, but potentially in different orders.
Example
The documentation for this class was generated from the following file:
- sumty/error_set.hpp
