nkr::constant_ttg<... > Class Template Reference

The identity template tag for nkr::constant_t. More...

Classes
class	identity_lb
	A label label that identifies its outer template and instantiated outer type as a member of an identity. More...
class	tag_lb
	A label label that identifies its outer template and instantiated outer type as a tag. More...
class	template_lb
	A label label that identifies its outer template and instantiated outer type as a template of type. More...

Detailed Description

template<typename ...>
class nkr::constant_ttg<... >

The identity template tag for nkr::constant_t.

Note

nkr::constant_ttg is an entity of the nkr::constant_t Identity.

Examples:

TEST_CASE("should satisfy the following generic template traits")
{
    static_assert(nkr::generic::tag_ttr<nkr::constant_ttg>);
    static_assert(nkr::generic::tag::template_ttr<nkr::constant_ttg>);
    static_assert(nkr::generic::tag::identity_ttr<nkr::constant_ttg>);
}

TEST_CASE_TEMPLATE("each qualification of any instantiated type should satisfy the following generic type traits",
                   instantiated_type_tag_p,
 
                   nkr::constant_ttg<>,
                   const nkr::constant_ttg<>,
                   volatile nkr::constant_ttg<>,
                   const volatile nkr::constant_ttg<>)
{
    static_assert(nkr::generic::tag_tr<instantiated_type_tag_p>);
    static_assert(nkr::generic::tag::template_tr<instantiated_type_tag_p>);
    static_assert(nkr::generic::tag::identity_tr<instantiated_type_tag_p>);
}