exactly_one< Predicate, Default, Ts > Struct Template Reference

#include <common.h>

Public Types
using	type = conditional_t< found, typename pack_element< index, Ts... >::type, Default >

Static Public Attributes
static constexpr auto	found = constexpr_sum(Predicate<Ts>::value...)
static constexpr auto	index = found ? constexpr_first<Predicate, Ts...>() : 0

Detailed Description

template<template< typename > class Predicate, typename Default, typename... Ts>
struct exactly_one< Predicate, Default, Ts >

Return the one and only type which matches the predicate, or Default if none match. If more than one type matches the predicate, fail at compile-time.

Definition at line 597 of file wrap/pybind11/include/pybind11/detail/common.h.

Member Typedef Documentation

template<template< typename > class Predicate, typename Default , typename... Ts>

using exactly_one< Predicate, Default, Ts >::type = conditional_t<found, typename pack_element<index, Ts...>::type, Default>

Definition at line 602 of file wrap/pybind11/include/pybind11/detail/common.h.

Member Data Documentation

template<template< typename > class Predicate, typename Default , typename... Ts>

constexpr auto exactly_one< Predicate, Default, Ts >::found = constexpr_sum(Predicate<Ts>::value...)

static

Definition at line 598 of file wrap/pybind11/include/pybind11/detail/common.h.

template<template< typename > class Predicate, typename Default , typename... Ts>

constexpr auto exactly_one< Predicate, Default, Ts >::index = found ? constexpr_first<Predicate, Ts...>() : 0

static

Definition at line 601 of file wrap/pybind11/include/pybind11/detail/common.h.

---

The documentation for this struct was generated from the following file:

• wrap/pybind11/include/pybind11/detail/common.h