dedekind::category::has_one_value< T > Struct Template Reference

Trait: the type T has exactly one value, so that two of its values are equal without comparing them: an empty type, or a composite of two such, whose legs leave nothing to choose. What lets a law read on a type speak of the one value it has (:natural). More...

Inheritance diagram for dedekind::category::has_one_value< T >:

Collaboration diagram for dedekind::category::has_one_value< T >:

Detailed Description

template<typename T>
struct dedekind::category::has_one_value< T >

Trait: the type T has exactly one value, so that two of its values are equal without comparing them: an empty type, or a composite of two such, whose legs leave nothing to choose. What lets a law read on a type speak of the one value it has (:natural).

Template Parameters

T

the type.

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/category/morphism.cppm