From f1353a716669c1fad935e565a4c7bd879914885a Mon Sep 17 00:00:00 2001 From: Mateusz Pusz Date: Tue, 13 Feb 2024 20:25:28 +0100 Subject: [PATCH] docs: `get_kind()` note added to "Systems of Quantities" chapter --- docs/users_guide/framework_basics/systems_of_quantities.md | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/docs/users_guide/framework_basics/systems_of_quantities.md b/docs/users_guide/framework_basics/systems_of_quantities.md index 080972bb3..c87e493fc 100644 --- a/docs/users_guide/framework_basics/systems_of_quantities.md +++ b/docs/users_guide/framework_basics/systems_of_quantities.md @@ -392,4 +392,9 @@ static_assert(same_type / isq::time, isq::length / isq::tim Only a root quantity from the hierarchy tree or the one marked with `is_kind` specifier in the `quantity_spec` definition can be put as a template parameter to the `kind_of` - specifier. For example, `kind_of` will fail to compile. + specifier. For example, `kind_of` will fail to compile. However, we can call + `get_kind(q)` to obtain a kind of any quantity: + + ```cpp + static_assert(get_kind(isq::width) == kind_of); + ```