Vicente J. Botet Escriba

Request for interest in the equivalent of std::is_callable<Fn(Args...), R> in Meta

4

Hi, I need a type traits to check if a _Callable_ `Fn` can be invoked with some specific parameters `Args...`and if the result is convertible to a type `R`. Something...

Mixing always/const_ and meta::id. Missing meta::identity Callable.

8

`id`: A trait that always returns its argument `T`. Also, a _Callable_ that always returns `T`. Other libraries use `always` or `const_` for a _Callable_ that always returns `T`. Naming...

As for Display the special operations generated by the compiler #224 discussion, the documentation will improve if we had a section describing the transformation of each featre and his limitations....

Add example for : destructors are implicitly noexcept

2

The tool take cre already of implicit noexcept for destructors https://cppinsights.io/s/f0e3aba8 Wondering if adding an it on the list of features and examples isn't a good idea.

Make use of the Boost.Config/Boost.Predef and cleanup macros

5

I will suggest to start by using the existing configuration macros The examples I give are for Boost.Config BOOST_FIT_NO_EXPRESSION_SFINAE - BOOST_NO_SFINAE_EXPR BOOST_FIT_HAS_TEMPLATE_ALIAS - BOOST_NO_CXX11_TEMPLATE_ALIASES BOOST_FIT_HAS_RELAXED_CONSTEXPR - BOOST_NO_CXX14_CONSTEXPR There are others...

implicit semantics not clear enough

1

It is not clear to me from http://pfultz2.github.io/Fit/doc/html/implicit/index.html the semantics of implicit as the T is not part of the implicit parameters ``` assert(T(implicit()(xs...)) == F()(xs...)); ``` IIUC, what you...

lazy - the example should show the consexpr ability

1

The example in http://pfultz2.github.io/Fit/doc/html/lazy/index.html should show the consexpr ability

compress versus fold

29

There are two variants of fold, left associative versus right. What about naming them `fold_left` and `fold_right`? Given an adaptor that results in a variadic function as `compress` compress:: F...