Experimental library for C++11/14/17.

• P0051R3 - C++ generic overload function (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0051r3.pdf)
• P0318R1 - decay_unwrap and unwrap_reference (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0318r1.pdf
• P0323R6 - std::expected http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0323r6.pdf

• P0050R0 - C++ generic match function (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/p0050r0.pdf)
• P0196R5 - Generic none() factories for Nullable types (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0196r5.pdf)
• P0319R2 - Adding Emplace functions for promise<T>/future<T> (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0319r2.pdf
• P0320R1 - Thread Constructor Attributes (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0320r1.pdf
• P0327R3 - Product types access (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0327r3.pdf)

This code forms the basis of several formal proposal to the C++ standard library

• P0338R3 - C++ generic factories (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0338r3.pdf)
• P0343R1 - Meta-programming High-Order Functions (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0343r1.pdf)
• P0648R0 - Extending Tuple-like algorithms to Product-Types - http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0648r0.pdf
• P0649R0 - Other Product-Type algorithms - http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0649r0.pdf
• P0650R2 - C++ Monadic interface (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0650r2.pdf)
• P0786R1 - ValuedOrError and ValueOrNone types (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0786r1.pdf)
• P1051R0 - std::experimental::expected LWG design issues (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p1051r0.pdf)

• D0051R4 - C++ generic overload function (https://github.com/viboes/tags/blob/master/doc/proposal/overload/d0051R4.md)
• D0323R7 - std::expected - https://github.com/viboes/std-make/blob/master/doc/proposal/expected/d0323r7.md
• D0338R4 - C++ generic factories - https://github.com/viboes/std-make/blob/master/doc/proposal/factories/d0338r4.md

• DXXXXR0 - Sum types - https://github.com/viboes/std-make/blob/master/doc/proposal/sum_type/SumType.md
• DXXXXR0 - C++ Ordinal types - https://github.com/viboes/std-make/blob/master/doc/proposal/ordinal/Ordinal.md
• DXXXXR0 - chrono::modulo types - https://github.com/viboes/std-make/blob/master/doc/proposal/chrono/DurationModulo.md
• DXXXXR0 - C++ Strong types and mixins

The following proposals have been abandoned and should be replaced by an alternative customization approach on ProductTypes

• P0198R0 - Default Swap (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0198r0.pdf)
• P0199R0 - Default Hash (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0199r0.pdf)

This code is undocumented (other than via the proposals), not fully tested, constantly changing, and generally not fit for any use whatsoever.

Most of the source code in this project are mine, and those are under the Boost Software License. I have borrowed a lot from Hana original editions, before it becomes Boost.Hana. A lot of code is inspired from the library Meta.

The code is known to work with the following compilers:

• Clang 5.0.0 -std=c++11 -std=c++14 -std=c++1y
• Clang 6.0.0 -std=c++11 -std=c++14 -std=c++1y -std=c++2a
• Clang 7.0.0 -std=c++11 -std=c++14 -std=c++1y -std=c++2a
• GCC 6.1.1 -std=c++11 -std=c++14 -std=c++1z
• GCC 7.3.0 -std=c++11 -std=c++14 -std=c++1z

Other compiler and older versions could works as well, but are not tested regularly

Development Status: The aim of the library is to be portable on conforming C++11/14/17 compilers. However some modules require

• C++14:

  • product_type
  • sum_type,
  • functional/overload
  • swappable

• C++17

  • expected

Hopefully this will change in the future.

Some parts of the code use other repositories as Boost, Optional and Expected. You will need to set some environment variable to be able to build the test.

• BOOST_ROOT : https://github.com/boostorg
• BOOST_EXPECTED : https://github.com/ptal/expected/
• STD_OPTIONAL : https://github.com/viboes/Optional/include

Next follows the repositories and the required variable pointing to them:

• Boost: https://github.com/boostorg/boost BOOST_ROOT
• Optional : https://github.com/viboes/Optional STD_OPTIONAL
• Expected : https://github.com/ptal/expected BOOST_EXPECTED

You can either use CMAKE or Boost.Build.

You need to have installed The 3 dependent repositories and define the variable described above. In order to run the tests go to the test folder and do

b2 toolset=<your tool set>

The CMAKE build doesn't use the additional repositories Optional and Expected, and so there are less test.

You need to install Boost and define the variable described above.

Do as you will do with CMAKE, make a build directory associated to your tool set and

mkdir build
cd build
cmake -C <toolset-file> <jasel-root-directory>

Then you can build the tests

make -j8

and run the test

make -j8 test

You can as well use CTEST.

Many thanks to Agustín K-ballo Bergé, David Sankel for his help, and pertinent feedback.