catsfoot::product< Type, Constructor, Projections > Struct Template Reference

Inheritance diagram for catsfoot::product< Type, Constructor, Projections >:

Collaboration diagram for catsfoot::product< Type, Constructor, Projections >:

List of all members.

Public Types
typedef concept_list < is_callable< Projections(const Type &)>..., is_callable < Constructor(typename is_callable< Projections(const Type &)>::result_type...)> , std::is_convertible < typename is_callable < Constructor(typename is_callable< Projections(const Type &)>::result_type...)> ::result_type, Type > , equivalence_eq< Type > , equivalence_eq< typename is_callable< Projections(const Type &)>::result_type >... >	requirements
Public Member Functions
	AXIOMS (projections, universality)
Static Public Member Functions
static void	projections (const std::tuple< typename is_callable< Projections(const Type &)>::result_type...> &comps, const std::tuple< Projections...> &p, const Constructor &constr)
static void	universality (const Type &t, const std::tuple< Projections...> &p, const Constructor &constr)

template<typename Type, typename Constructor, typename... Projections>
struct catsfoot::product< Type, Constructor, Projections >

---

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

• concept/product.hh