nkr::constant_tg Class Reference

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

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

Detailed Description

The identity type tag for nkr::constant_t.

Note

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

Examples:

TEST_CASE_TEMPLATE("all qualifications should satisfy the following generic type traits",
                   type_tag_p,
 
                   nkr::constant_tg,
                   const nkr::constant_tg,
                   volatile nkr::constant_tg,
                   const volatile nkr::constant_tg)
{
    static_assert(nkr::generic::tag_tr<type_tag_p>);
    static_assert(nkr::generic::tag::type_tr<type_tag_p>);
    static_assert(nkr::generic::tag::identity_tr<type_tag_p>);
}

TEST_CASE("should work within a nkr::TR expression in the place of any instantiation of its primary entity")
{
    using subject_ts = nkr::ts<
        nkr::AND_tg,
 
        nkr::constant_t<bool, false>,
        nkr::constant_t<bool, true>,
 
        nkr::constant_t<int, 0>,
        nkr::constant_t<int, 1>
    >;
 
    static_assert(nkr::TR<
                  subject_ts,
                  nkr::just_tg, nkr::t<nkr::constant_tg>
    >() == true);
 
    static_assert(nkr::TR<
                  const subject_ts,
                  nkr::just_tg, nkr::t<const nkr::constant_tg>
    >() == true);
 
    static_assert(nkr::TR<
                  volatile subject_ts,
                  nkr::just_tg, nkr::t<volatile nkr::constant_tg>
    >() == true);
 
    static_assert(nkr::TR<
                  const volatile subject_ts,
                  nkr::just_tg, nkr::t<const volatile nkr::constant_tg>
    >() == true);
}