polymake::mlist_find_first< List, Func, Match > Struct Template Reference

Inherits true_type.

Inherited by polymake::is_instance_of_any< T, Template >.

Detailed Description

template<typename List, template< typename > class Func, bool Match = msafely_eval_boolean<typename mlist_head<List>::type, Func>::value>
struct polymake::mlist_find_first< List, Func, Match >

Find the first element in a meta-list evaluating the given unary boolean meta-function to true Avoids instantiation of the meta-function for the tail after the match.

Returns

value true or false

match list element or void

pos position of match in the list

match_with_tail list tail starting with match

---

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

• lib/core/include/meta_list.h