mpusz/mp-units
1
0
Fork 1
mirror of https://github.com/mpusz/mp-units.git synced 2025-08-03 12:24:26 +02:00
Code Issues Packages Projects Releases Wiki Activity

docs: "Basic Concepts" TOC refactored

Browse Source
This commit is contained in:
Mateusz Pusz
2023-07-10 16:55:44 +02:00
parent 8765a9c1e3
commit 1585f96bef
1 changed files with 6 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
docs/users_guide/framework_basics/basic_concepts.md
View File

@@ -316,12 +316,10 @@ class template.
- the type of `V` satisfies [`PointOrigin`](#pointorigin) concept and the quantity point's - the type of `V` satisfies [`PointOrigin`](#pointorigin) concept and the quantity point's
[absolute point origin](../../../appendix/glossary/#absolute-point-origin) is convertible to `V`. [absolute point origin](../../../appendix/glossary/#absolute-point-origin) is convertible to `V`.
## Interoperability concepts ## `QuantityLike`
### `QuantityLike` `QuantityLike` concept provides interoperability with other libraries and is satisfied by a type `T`
for which an instantiation of `quantity_like_traits` type trait yields a valid type that provides:
`QuantityLike` concept is satisfied by a type `T` for which an instantiation of `quantity_like_traits`
type trait yields a valid type that provides:
- static member `reference` that matches the [`Reference`](#reference) concept - static member `reference` that matches the [`Reference`](#reference) concept
- `rep` type that matches [`RepresentationOf`](#representationof) concept with the character provided - `rep` type that matches [`RepresentationOf`](#representationof) concept with the character provided
@@ -341,10 +339,10 @@ type trait yields a valid type that provides:
}; };
``` ```
### `QuantityPointLike` ## `QuantityPointLike`
`QuantityPointLike` concept is satisfied by a type `T` for which an instantiation of `QuantityPointLike` concept provides interoperability with other libraries and is satisfied by a type `T`
`quantity_point_like_traits` type trait yields a valid type that provides: for which an instantiation of `quantity_point_like_traits` type trait yields a valid type that provides:
- static member `reference` that matches the [`Reference`](#reference) concept - static member `reference` that matches the [`Reference`](#reference) concept
- static member `point_origin` that matches the [`PointOrigin`](#pointorigin) concept - static member `point_origin` that matches the [`PointOrigin`](#pointorigin) concept