Detector pattern

Paul Gessinger-Befurtrequested to merge
detector-pattern-ordered into master

This replaces parts of !527 (closed).

  • Reimplement type generation for FittableMeasurement using boost::hana. This also effectively switches that type away from boost::variant to std::variant.
  • Reimplement action / abort list introspection using boost::hana
  • This reimplements the static assertions on steppers from !518 (merged) using a custom setup not using boost (see TypeTraits.hpp and StepperConcept.hpp). These concepts are only enforced at compile and are not (and cannot be) used for type erasure.

After this is in, there should be no more boost::mpl.

Depends on !533 (merged) to be merged first.

Merge request reports