sygaldry::detail::assembly_predicate< T > Struct Template Reference

Metafunction case for components; components are considered as assemblies for the purpose of this recursive predicate. More...

Inheritance diagram for sygaldry::detail::assembly_predicate< T >:

Public Types
using	tup = decltype(boost::pfr::structure_to_tuple(std::declval< T & >()))
using	valid_components = boost::mp11::mp_transform< assembly_predicate, tup >
using	all_valid = boost::mp11::mp_apply< boost::mp11::mp_all, valid_components >

Static Public Attributes
static constexpr bool	value = all_valid::value

Detailed Description

template<typename T>
requires Component<T>
struct sygaldry::detail::assembly_predicate< T >

Metafunction case for components; components are considered as assemblies for the purpose of this recursive predicate.

Metafunction case where T satisfies SimpleAggregate (but not Component or Tuple); checks if all its members are valid.

---

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

• sygaldry/sygac-components/sygac-components.hpp