type_traits.hpp File Reference

#include <yaclib/fwd.hpp>
#include <yaclib/util/detail/type_traits_impl.hpp>
#include <exception>
#include <type_traits>
#include <utility>
#include <variant>

Include dependency graph for type_traits.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	yaclib::Prepend< T, std::tuple< Ts... > >
struct	yaclib::Tail< std::tuple< T, Ts... > >
struct	yaclib::Filter< F, std::tuple<> >
struct	yaclib::Filter< F, std::tuple< T > >
struct	yaclib::Filter< F, std::tuple< T, Ts... > >
struct	yaclib::Unique< std::tuple<> >
struct	yaclib::Unique< std::tuple< T > >
struct	yaclib::Unique< std::tuple< T, Ts... > >
struct	yaclib::Variant< std::tuple< Ts... > >
struct	yaclib::MaybeVariant< std::tuple< T > >
struct	yaclib::MaybeVariant< std::tuple< Ts... > >
struct	yaclib::WrapVoid< T >
struct	yaclib::WrapVoid< void >
struct	yaclib::TranslateIndexImpl< 0, ToIndex, std::tuple< From... >, std::tuple< To... > >
struct	yaclib::TranslateIndexImpl< FromIndex, ToIndex, std::tuple< From... >, std::tuple< To... > >
struct	yaclib::IndexOf< T, std::tuple< Ts... > >

Namespaces
namespace	yaclib

Typedefs
template<typename T >
using	yaclib::remove_cvref_t = std::remove_cv_t< std::remove_reference_t< T > >
template<typename... Args>
using	yaclib::head_t = typename detail::Head< Args... >::Type
template<typename Func , typename... Arg>
using	yaclib::invoke_t = typename detail::Invoke< Func, Arg... >::Type
template<typename T >
using	yaclib::result_value_t = typename detail::InstantiationType< Result, T >::Value
template<typename T >
using	yaclib::task_value_t = typename detail::InstantiationTypes< Task, T >::Value
template<typename T >
using	yaclib::task_trait_t = typename detail::InstantiationTypes< Task, T >::Trait
template<typename T >
using	yaclib::async_value_t = typename detail::AsyncTypes< T >::Value
template<typename T >
using	yaclib::async_trait_t = typename detail::AsyncTypes< T >::Trait
template<typename Tuple >
using	yaclib::tail_t = typename Tail< Tuple >::Type
template<typename T >
using	yaclib::wrap_void_t = typename WrapVoid< T >::Type

Functions
template<bool Condition, typename T >
decltype(auto)	yaclib::move_if (T &&arg) noexcept
template<typename T >
constexpr bool	yaclib::Check () noexcept

Variables
template<typename Func , typename... Arg>
constexpr bool	yaclib::is_invocable_v = detail::IsInvocable<Func, Arg...>::Value
template<typename T >
constexpr bool	yaclib::is_result_v = detail::IsInstantiationOf<Result, T>::Value
template<typename T >
constexpr bool	yaclib::is_future_base_v
template<typename T >
constexpr bool	yaclib::is_shared_future_base_v
template<typename T >
constexpr bool	yaclib::is_task_v = detail::IsInstantiationOf<Task, T>::Value
template<typename T >
constexpr bool	yaclib::is_waitable_v
template<typename T >
constexpr bool	yaclib::is_waitable_with_timeout_v
template<typename T >
constexpr bool	yaclib::is_combinator_input_v = (is_shared_future_base_v<T> || is_future_base_v<T>)
template<typename T , typename... List>
constexpr auto	yaclib::kCount = (std::size_t{std::is_same_v<T, List> ? 1 : 0} + ...)
template<typename T , typename... Ts>
constexpr auto	yaclib::kContains = (std::is_same_v<T, Ts> || ...)
template<std::size_t FromIndex, typename FromTuple , typename ToTuple >
constexpr std::size_t	yaclib::translate_index_v = TranslateIndexImpl<FromIndex, 0, FromTuple, ToTuple>::Index()
template<typename T , typename Tuple >
constexpr std::size_t	yaclib::index_of_v = IndexOf<T, Tuple>::Index()
template<typename It >
constexpr bool	yaclib::is_input_iterator_v = detail::IsInputIterator<It>::Value
template<typename Sentinel , typename It >
constexpr bool	yaclib::is_sentinel_for_v = detail::IsSentinelFor<Sentinel, It>::Value
template<typename It , typename Sentinel >
constexpr bool	yaclib::is_input_range_pair_v = detail::IsInputRangePair<It, Sentinel>::Value
template<typename Range >
constexpr bool	yaclib::is_input_range_v = detail::IsInputRange<Range>::Value
template<typename It , typename Sentinel >
constexpr bool	yaclib::has_constant_time_distance_v = detail::HasConstantTimeDistance<It, Sentinel>::Value