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: