Re: [boost] [concept_check] convert Concept to trait?

Subject: Re: [boost] [concept_check] convert Concept to trait?
From: Robert Ramey (ramey_at_[hidden])
Date: 2016-10-04 11:32:17

On 10/4/16 7:55 AM, Vinnie Falco wrote:
> I don't see a place to open issues on
> https://github.com/boostorg/concept_check so I am posting this here.
>
> What I want to do is convert a concept into a trait. For example,
> given the ForwardIterator concept checking class, I would like to
> write:
>
> template<T>
> using is_ForwardIterator = std::integral_constant<bool, ...>;
>
> Which aliases to std::true_type if T meets the requirements of
> ForwardIterator and false otherwise.
>
> Or perhaps a general purpose alias:
>
> template<t>
> using is_concept<T, C> = std::integral_constant<bool, ...>;l
>
> Which aliases to std::true_type if T meets the requirements of concept C.
>
> Are such things possible, or perhaps already in the library? My
> preliminary analysis suggests the answers to these questions are no
> and no. Has this point been brought up elsewhere, and if so where
> could I find it?
>
> Regards
>
> _______________________________________________
> Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost
>

Consider looking at paul fultz's TICK library in the incubator.

Robert Ramey