|
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.
|
|
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.
|
|
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.
|
|
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 .
|
|
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.
|
|
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.
|
|
template<template< typename... > class Fallback, template< typename... > class TargetType, typename... Args> |
using | Dune::detected_or_fallback_t = Std::detected_or_t< decltype(detail::warningIfNotDefined< Std::detected_t< Fallback, Args... > >(std::declval< const Std::detected_t< TargetType, Args... > * >())), TargetType, Args... > |
| This type will be either TargetType<Args...> if it exists, or the Fallback<Args...> type.
|
|
|
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.
|
|
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.
|
|
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.
|
|