Adds types to the cardinal selection.
Variables | |
| template<typename ... Ts> | |
| auto | eve::algo::consider_types = ( consider_types_key = kumi::tuple<Ts...>{} ) |
| A trait that tells the algorithm to take an extra type into account when selecting a width. This is, for example, used by reduce algorithm to consider the sum type. | |
| auto eve::algo::consider_types = ( consider_types_key = kumi::tuple<Ts...>{} ) |
A trait that tells the algorithm to take an extra type into account when selecting a width. This is, for example, used by reduce algorithm to consider the sum type.
| Ts | Extra types the selection weighs. |
Adds Ts to the types the cardinal selection is based on. By default the cardinal of an algorithm is chosen from the types of its range; if the computation widens on the way, as a sum into a larger type does, the wider type is to be taken into account as well.