Logicwise – A Factory for C++ Concepts

Logicwise is intended to validate a bunch of types or values around a simple atomic concept using straightforward syntax.


Say, you have several types, and you want to ensure any of the following:

\- Each type satisfies some constraints.

\- All types must be distinct.

\- No type may inherit from any other type.

\- Each type must match any type from another type list.

You will find an intuitive solution in Logicwise: https://github.com/frog-singing/Logicwise

It even allows you to forge your requirement into a new concept.


Happy to share my design thoughts with you!

https://redd.it/1tukz5q
@r_cpp