base_concepts.h

// Description: Gathers base-concepts to Refines<...>

#ifndef PASTELSYS_BASE_CONCEPTS_H
#define PASTELSYS_BASE_CONCEPTS_H

#include "pastel/sys/concept/refines.h"
#include "pastel/sys/concept/join_refines.h"
#include "pastel/sys/type_traits/is_template_instance.h"
#include "pastel/sys/type_traits/template_base.h"

namespace Pastel
{

    namespace Concept_
    {

        template <
            typename Concept,
            typename PreType =
                typename std::conditional<
                    IsTemplateInstance<Concept, Refines>::value,
                    void,
                    TemplateBase<Refines, Concept>
                >::type
         >
        struct BaseConcepts_F_
        : std::conditional<
            std::is_same<PreType, void>::value,
            Refines<>,
            PreType
        >
        {};

    }

    //! Retrieves the base-concepts.
    /*!
   returns:
   The base-concepts of each concept combined 
   into a Refine<...> class.
   */
    template <typename... ConceptSet>
    struct BaseConcepts_F
    : JoinRefines_F<typename Concept_::BaseConcepts_F_<ConceptSet>::type...>
    {};

    template <typename... ConceptSet>
    using BaseConcepts =
        typename BaseConcepts_F<ConceptSet...>::type;

}

#endif