Re: [boost] Boost.Hana - Type Classes, data types and categories (tags).

21 Sep 2014

      Le 17/09/14 23:30, Vicente J. Botet Escriba a écrit :
...
Le 17/09/14 22:49, Louis Dionne a écrit :
...
Vicente J. Botet Escriba  writes:
...
...
In addition, I wonder if the category associated shouldn't depend on 
the
type class we want to map.
TC::Instance>
I'm not sure why that would be useful. Do you have a use case in mind?
After more thoughts the user can always specialize TC::Instance<T> 
inheriting from TC::Instance<CatA>.
struct TC::Instance<T> : TC::Instance<CatA> {};
A deeper analysis of your code let me think that you have already 
something similar to what I was requesting.

     #define 
BOOST_HANA_TYPECLASS(NAME)                                      \
         /** @cond 
*/                                                        \
         template                               \
         struct 
instance                                                     \
             : instance                        \
         { 
};                                                                \
\
         template <typename 
T>                                               \
         struct instance   \
             : T::hana_ ## 
NAME                                              \
         { 
};                                                                \

The previous specialization let the data type class define directly how 
is it could be seen as an instance of a given type class NAME.
I see however that this has been used only fro the Record type class.

boost/hana/record/macros.hpp:    struct hana_Record : 
::boost::hana::Record::mcd {                       \

So here you have the use_case you were requesting.

Best,.
Vicente