proxsuite 0.7.2
The Advanced Proximal Optimization Toolbox
Loading...
Searching...
No Matches
proxsuite::linalg::veg::_detail::_meta Namespace Reference

Namespaces

namespace  _detail

Classes

struct  _detector
struct  _detector< meta::void_t< Ftor< Args... > >, Ftor, Args... >
struct  adl_get
struct  all_same_impl
struct  all_same_impl< meta::index_sequence< Is... >, discard_1st< decltype(Is), T >... >
struct  all_same_impl< meta::index_sequence<> >
struct  apply_type_seq
struct  apply_type_seq< F, meta::type_sequence< Ts... > >
struct  array_get
struct  baseof_wrapper
struct  concat_type_seq
struct  concat_type_seq< true_type, F >
struct  concat_type_seq< true_type, F, F< Ts... > >
struct  concat_type_seq< true_type, F, F< Ts... >, F< Us... > >
struct  concat_type_seq< true_type, F, F< Ts... >, F< Us... >, F< Vs... >, Seqs... >
struct  conditional_
struct  conditional_< false >
struct  conditional_< true >
struct  decay_helper
struct  decay_helper< Ret(Args...)>
struct  decay_helper< T[N]>
struct  detector
struct  enable_if
struct  enable_if< false, T >
struct  has_adl_get
struct  has_array_get
struct  has_member_get
struct  integer_sequence
struct  is_complete
struct  is_complete< T, bool_constant< sizeof(T)==sizeof(T)> >
struct  is_const
struct  is_const< T const >
struct  is_fix
struct  is_fix< Fix< N > >
struct  is_lvalue_reference
struct  is_lvalue_reference< T & >
struct  is_pointer
struct  is_pointer< T * >
struct  is_rvalue_reference
struct  is_rvalue_reference< T && >
struct  make_signed
struct  make_signed< unsigned char >
struct  make_signed< unsigned int >
struct  make_signed< unsigned long >
struct  make_signed< unsigned long long >
struct  make_signed< unsigned short >
struct  member_get
struct  none
struct  none_found
struct  specialize_len
struct  specialize_len< F, F< Ts... > >
struct  specializes
struct  specializes< F, F< Ts... > >
struct  type_sequence
struct  uncvlref
struct  uncvlref< T & >
struct  uncvlref< T const & >
struct  uncvlref< T volatile & >
struct  uncvlref< T volatile const & >
struct  unref
struct  unref< T & >
struct  wrapper
struct  wrapper_base
struct  zip_type_seq
struct  zip_type_seq2
struct  zip_type_seq2< F, F< Ts... >, F< Zipped... > >
struct  zip_type_seq< meta::true_type, F >
struct  zip_type_seq< meta::true_type, F, F< Ts... > >
struct  zip_type_seq< meta::true_type, F, F< Ts... >, Seq, Seqs... >

Typedefs

template<typename U, typename V>
using discard_1st = V
template<typename T, T N>
using make_integer_sequence
template<usize N>
using make_index_sequence = make_integer_sequence<usize, N>
template<typename T, typename U>
using is_same = decltype(wrapper<T>::test(static_cast<wrapper<U>*>(nullptr)))
template<template< typename... > class Op, typename... Args>
using is_detected = typename detector<_meta::none, Op, Args...>::value_type
template<typename Base, typename Derived>
using is_base_of
template<typename Fn, typename... Args>
using call_expr = decltype(VEG_DECLVAL(Fn&&)(VEG_DECLVAL(Args&&)...))
template<typename I, typename T>
using member_get_expr = decltype(VEG_DECLVAL(T&&).template get<I::value>())
template<typename I, typename T>
using adl_get_expr = decltype(get<I::value>(VEG_DECLVAL(T&&)))

Functions

template<typename T>
void get ()=delete

Typedef Documentation

◆ discard_1st

template<typename U, typename V>
using proxsuite::linalg::veg::_detail::_meta::discard_1st = V

Definition at line 631 of file macros.hpp.

◆ make_integer_sequence

Initial value:
typename _merge< typename _make_integer_sequence< T, N/2 >::type, typename _make_integer_sequence< T, N/2 >::type >::type type
Definition macros.hpp:754

Definition at line 781 of file macros.hpp.

◆ make_index_sequence

◆ is_same

template<typename T, typename U>
using proxsuite::linalg::veg::_detail::_meta::is_same = decltype(wrapper<T>::test(static_cast<wrapper<U>*>(nullptr)))

Definition at line 919 of file macros.hpp.

◆ is_detected

template<template< typename... > class Op, typename... Args>
using proxsuite::linalg::veg::_detail::_meta::is_detected = typename detector<_meta::none, Op, Args...>::value_type

Definition at line 161 of file core.hpp.

◆ is_base_of

template<typename Base, typename Derived>
using proxsuite::linalg::veg::_detail::_meta::is_base_of
Initial value:
decltype(baseof_wrapper<Base>::test(static_cast<Derived>(nullptr)))
static auto test(Base const volatile *) -> true_type

Definition at line 184 of file core.hpp.

◆ call_expr

template<typename Fn, typename... Args>
using proxsuite::linalg::veg::_detail::_meta::call_expr = decltype(VEG_DECLVAL(Fn&&)(VEG_DECLVAL(Args&&)...))

Definition at line 14 of file invocable.hpp.

◆ member_get_expr

template<typename I, typename T>
using proxsuite::linalg::veg::_detail::_meta::member_get_expr = decltype(VEG_DECLVAL(T&&).template get<I::value>())

Definition at line 71 of file get.hpp.

◆ adl_get_expr

template<typename I, typename T>
using proxsuite::linalg::veg::_detail::_meta::adl_get_expr = decltype(get<I::value>(VEG_DECLVAL(T&&)))

Definition at line 73 of file get.hpp.

Function Documentation

◆ get()

template<typename T>
void proxsuite::linalg::veg::_detail::_meta::get()
delete