Lumiera  0.pre.03
»edit your freedom«
FirstMatchingType< TYPES, _P_ > Struct Template Reference

#include "lib/variant.hpp"

Description

template<class TYPES, template< class > class _P_>
struct lib::variant::FirstMatchingType< TYPES, _P_ >

Helper to pick the first type from a type sequence, which fulfils the predicate (meta function) given as template.

Template Parameters
TYPESa type sequence or type list
apredicate template or type trait
Note
result as embedded typedef Type

Definition at line 156 of file variant.hpp.

+ Inheritance diagram for FirstMatchingType< TYPES, _P_ >:
+ Collaboration diagram for FirstMatchingType< TYPES, _P_ >:

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