kumi::concepts::unit_type Concept Reference

Concept specifying a type represents a Unit Type. More...

#include <kumi/utils/concepts.hpp>

Detailed Description

Concept specifying a type represents a Unit Type.

A type T models kumi::concepts::unit_type if it is a kumi::concepts::product_type with a size of 0 or if std::is_null_pointer_v returns true.

See also

Unit Type : \( (1 / \top) \)

Concept definition

    template<typename T>
    concept unit_type =
      (kumi::concepts::product_type<T> && (kumi::size_v<T> == 0)) || std::is_null_pointer_v<std::remove_cvref_t<T>>