Tag representing a canonical Constant
.
This is an implementation detail used to provide many models for stuff like Monoid
, Group
, etc. To create a CanonicalConstant
, simply create an object with a nested hana_tag
equal to the proper specialization of CanonicalConstant<T>
, and then also provide a constexpr
static member ::value
holding the value of the constant.