mpc
Haskell-like feature supports in C++
type_traits.hpp File Reference

Go to the source code of this file.

Classes

struct  mpc::detail::is_implicitly_default_constructible< T >
 is_implicitly_default_constructible More...
 
struct  mpc::detail::is_explicitly_convertible< class, class, class >
 is_explicitly_convertible More...
 
struct  mpc::detail::is_explicitly_convertible< From, To, std::void_t< decltype(To(std::declval< From >()))> >
 A partial specialization of is_explicitly_convertible. More...
 
struct  mpc::detail::is_implicitly_convertible< From, To >
 is_implicitly_convertible More...
 
struct  mpc::detail::copy_const< From, To >
 Copies the const qualifier. More...
 
struct  mpc::detail::clone_const< From, To >
 Clones the const qualifier. More...
 
struct  mpc::detail::copy_volatile< From, To >
 Copies the volatile qualifier. More...
 
struct  mpc::detail::clone_volatile< From, To >
 Clones the volatile qualifier. More...
 
struct  mpc::detail::copy_cv< From, To >
 Copies cv qualifiers. More...
 
struct  mpc::detail::clone_cv< From, To >
 Clones cv qualifiers. More...
 
struct  mpc::detail::copy_reference< From, To >
 Copies the reference qualifier. More...
 
struct  mpc::detail::clone_reference< From, To >
 Clones the reference qualifier. More...
 
struct  mpc::detail::copy_cvref< From, To >
 Copies cv and reference qualifiers. More...
 
struct  mpc::detail::clone_cvref< From, To >
 Clones cv and reference qualifiers. More...
 

Namespaces

namespace  mpc::detail
 Implementation details are here.
 

Typedefs

template<std::size_t N>
using mpc::detail::make_reversed_index_sequence = decltype(reversed_index_sequence_impl(std::make_index_sequence< N >{}))
 make_reversed_index_sequence
 
template<class From , class To >
using mpc::detail::copy_const_t = typename copy_const< From, To >::type
 A helper alias template for copy_const.
 
template<class From , class To >
using mpc::detail::clone_const_t = typename clone_const< From, To >::type
 A helper alias template for clone_const.
 
template<class From , class To >
using mpc::detail::copy_volatile_t = typename copy_volatile< From, To >::type
 A helper alias template for copy_volatile.
 
template<class From , class To >
using mpc::detail::clone_volatile_t = typename clone_volatile< From, To >::type
 A helper alias template for clone_volatile.
 
template<class From , class To >
using mpc::detail::copy_cv_t = typename copy_cv< From, To >::type
 A helper alias template for copy_cv.
 
template<class From , class To >
using mpc::detail::clone_cv_t = typename clone_cv< From, To >::type
 A helper alias template for clone_cv.
 
template<class From , class To >
using mpc::detail::copy_reference_t = typename copy_reference< From, To >::type
 A helper alias template for copy_reference.
 
template<class From , class To >
using mpc::detail::clone_reference_t = typename clone_reference< From, To >::type
 A helper alias template for clone_reference.
 
template<class From , class To >
using mpc::detail::copy_cvref_t = typename copy_cvref< From, To >::type
 A helper alias template for copy_cvref.
 
template<class From , class To >
using mpc::detail::clone_cvref_t = typename clone_cvref< From, To >::type
 A helper alias template for clone_cvref.
 

Variables

template<class T >
constexpr bool mpc::detail::is_implicitly_default_constructible_v
 A helper inline variable for is_implicitly_default_constructible. More...
 
template<class From , class To >
constexpr bool mpc::detail::is_explicitly_convertible_v = is_explicitly_convertible<From, To>::value
 A helper inline variable for is_explicitly_convertible.
 
template<class From , class To >
constexpr bool mpc::detail::is_implicitly_convertible_v = is_implicitly_convertible<From, To>::value
 A helper inline variable for is_implicitly_convertible.