bsl/is__detected_8hpp_source.html

 #ifndef BSL_IS_DETECTED_HPP
 #define BSL_IS_DETECTED_HPP

 #include "detected.hpp"
 #include "is_convertible.hpp"
 #include "is_same.hpp"

 namespace bsl
 {
     template<template<class...> class Op, typename... Args>
     using is_detected = typename details::detector<nonesuch, void, Op, Args...>::value_t;

     template<class Expected, template<class...> class Op, class... Args>
     using is_detected_exact = is_same<Expected, detected_t<Op, Args...>>;

     template<class To, template<class...> class Op, class... Args>
     using is_detected_convertible = is_convertible<detected_t<Op, Args...>, To>;
 }

 #endif
bsl::nonesuch
Used by is_detected to indicate detection failure.
Definition: nonesuch.hpp:38

is_convertible.hpp

bsl::is_convertible
If the provided type is convertible from "From" to "To", provides the member constant value equal to ...
Definition: is_convertible.hpp:48

bsl::is_same
If the provided types are the same, provides the member constant value equal to true....
Definition: is_same.hpp:48

is_same.hpp

bsl::detected_t
typename details::detector< nonesuch, void, Op, Args... >::type detected_t
The alias template detected_t is equivalent to typename detected_or<bsl::nonesuch,...
Definition: detected.hpp:41

bsl::is_detected
typename details::detector< nonesuch, void, Op, Args... >::value_t is_detected
The alias template is_detected is equivalent to typename detected_or<bsl::nonesuch,...
Definition: is_detected.hpp:42

detected.hpp