|
template<typename Default , template< typename... > class Op, typename... Args> |
using | Dune::Std::detected_or = Impl::detector< Default, void, Op, Args... > |
| Detects whether Op<Args...> is valid and makes the result available. More...
|
|
template<template< typename... > class Op, typename... Args> |
using | Dune::Std::is_detected = typename detected_or< nonesuch, Op, Args... >::value_t |
| Detects whether Op<Args...> is valid. More...
|
|
template<template< typename... > class Op, typename... Args> |
using | Dune::Std::detected_t = typename detected_or< nonesuch, Op, Args... >::type |
| Returns Op<Args...> if that is valid; otherwise returns nonesuch. More...
|
|
template<typename Default , template< typename... > class Op, typename... Args> |
using | Dune::Std::detected_or_t = typename detected_or< Default, Op, Args... >::type |
| Returns Op<Args...> if that is valid; otherwise returns the fallback type Default . More...
|
|
template<typename Expected , template< typename... > class Op, typename... Args> |
using | Dune::Std::is_detected_exact = std::is_same< Expected, detected_t< Op, Args... > > |
| Checks whether Op<Args...> is Expected without causing an error if Op<Args...> is invalid. More...
|
|
template<typename Target , template< typename... > class Op, typename... Args> |
using | Dune::Std::is_detected_convertible = std::is_convertible< Target, detected_t< Op, Args... > > |
| Checks whether Op<Args...> is convertible to Target without causing an error if Op<Args...> is invalid. More...
|
|
|
template<template< typename... > class Op, typename... Args> |
constexpr bool | Dune::Std::is_detected_v = is_detected<Op,Args...>::value |
| Detects whether Op<Args...> is valid and makes the result available as a value. More...
|
|
template<typename Expected , template< typename... > class Op, typename... Args> |
constexpr bool | Dune::Std::is_detected_exact_v = is_detected_exact<Expected,Op,Args...>::value |
| Convenient access to the result value of is_detected_exact. More...
|
|
template<typename Target , template< typename... > class Op, typename... Args> |
constexpr bool | Dune::Std::is_detected_convertible_v = is_detected_convertible<Target,Op,Args...>::value |
| Convenient access to the result value of is_detected_convertible. More...
|
|