Public aliases to the type template arguments about type_safe HOT 6 CLOSED

Aliases for what exactly?

from type_safe.

For the template arguments of the template classes. Like strong_typedef would get a value_type for its T, which would be useful in a generic context or when T is hard to type and there's no readily available alias for it, and maybe a tag_type for its Tag too.

from type_safe.

There is a non-member alias to get the underlying type of strong_typedef, I've deliberately didn't make it a member.

from type_safe.

Then I guess strong_typedef is fine as it is, but what about the other types? At least the type of the value they wrap should be aliased.

from type_safe.

Sorry, I was busy.

As far as I see all the types have aliases? Could you specify exactly where you want which aliases?

from type_safe.

I am potentially interested in having convenient access to all the template arguments of the relational constraints and bounded template classes.

from type_safe.