merge_error_set< ES1, ES2 > Class Template Reference

Utility to merge two error_set types. More...

#include <sumty/error_set.hpp>

Inheritance diagram for merge_error_set< ES1, ES2 >:

Collaboration diagram for merge_error_set< ES1, ES2 >:

Related Functions
(Note that these are not member functions.)
template<typename ES1 , typename ES2 >
using	merge_error_set_t = typename merge_error_set< ES1, ES2 >::type
	Utility to merge two error_set types. More...

Detailed Description

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

Utility to merge two error_set types.

merge_error_set combines the alternative types of two error_set instantiations into a single error_set instantiation. The two types may or may not have alternatives in common. Since error_set requires that there are no two alternatives with the same type, any alternatives common between the two error_set instantiations are deduplicated.

Example

using merged = typename merge_error_set<
    error_set<error1, error2>,
    error_set<error3, error1>
>::type;
 
assert(is_equivalent_v<merged, error_set<error1, error2, error3>>);

Template Parameters

ES1	An error_set type
ES2	An error_set type

Friends And Related Function Documentation

merge_error_set_t

using merge_error_set_t = typename merge_error_set<ES1, ES2>::type

related

Utility to merge two error_set types.

merge_error_set combines the alternative types of two error_set instantiations into a single error_set instantiation. The two types may or may not have alternatives in common. Since error_set requires that there are no two alternatives with the same type, any alternatives common between the two error_set instantiations are deduplicated.

Example

using merged = merge_error_set_t<
    error_set<error1, error2>,
    error_set<error3, error1>
>;
 
assert(is_equivalent_v<merged, error_set<error1, error2, error3>>);

Template Parameters

ES1	An error_set type
ES2	An error_set type

---

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

• sumty/error_set.hpp