feedc0de/mp-units
1
0
Fork 0
forked from mpusz/mp-units
Code Pull Requests Activity

feat: negation requirement added to Representation concepts

Browse Source
This commit is contained in:
Mateusz Pusz
2024-11-07 08:49:31 +01:00
parent 315e47c257
commit 10a82268aa
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/core/include/mp-units/framework/representation_concepts.h
View File

@@ -95,6 +95,7 @@ concept ScalarRepresentation = Scalar<T> && WeaklyRegular<T> && requires(T a, T
{ a / f } -> Scalar; { a / f } -> Scalar;
// scalar operations // scalar operations
{ -a } -> Scalar;
{ a + b } -> Scalar; { a + b } -> Scalar;
{ a - b } -> Scalar; { a - b } -> Scalar;
{ a* b } -> Scalar; { a* b } -> Scalar;
@@ -112,6 +113,7 @@ concept ComplexRepresentation = Complex<T> && WeaklyRegular<T> && requires(T a,
{ a / T(f) } -> Complex; { a / T(f) } -> Complex;
// complex operations // complex operations
{ -a } -> Complex;
{ a + b } -> Complex; { a + b } -> Complex;
{ a - b } -> Complex; { a - b } -> Complex;
{ a* b } -> Complex; { a* b } -> Complex;
@@ -134,6 +136,7 @@ concept VectorRepresentation = Vector<T> && WeaklyRegular<T> && requires(T a, T
{ a / f } -> Vector; { a / f } -> Vector;
// vector operations // vector operations
{ -a } -> Vector;
{ a + b } -> Vector; { a + b } -> Vector;
{ a - b } -> Vector; { a - b } -> Vector;
// TBD // TBD