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

Namespaces

namespace  nb

Classes

struct  and_test
struct  and_test< index_sequence< Is... >, indexed< Is, true_type >... >
struct  apply_wrapper
struct  array_extent
struct  array_extent< T[N]>
struct  conjunction
struct  conjunction< First, Preds... >
struct  conjunction<>
struct  constant
struct  disjunction
struct  disjunction< First, Preds... >
struct  disjunction<>
struct  is_bounded_array
struct  is_bounded_array< T[N]>
struct  meta_apply
struct  or_test
struct  or_test< index_sequence< Is... >, indexed< Is, false_type >... >
struct  pack_size
struct  static_const
struct  type_identity

Typedefs

template<typename T, T N>
using make_integer_sequence = _detail::_meta::make_integer_sequence<T, N>*
template<usize N>
using make_index_sequence = _detail::_meta::make_integer_sequence<usize, N>*
template<typename T, T... Nums>
using integer_sequence = _detail::_meta::integer_sequence<T, Nums...>*
template<usize... Nums>
using index_sequence = integer_sequence<usize, Nums...>
template<typename... Ts>
using type_sequence = _detail::_meta::type_sequence<Ts...>*
template<usize Is, typename T>
using indexed = T
template<template< typename... F > class F, typename... Seqs>
using type_sequence_cat
template<template< typename... > class F, typename... Seqs>
using type_sequence_zip
template<template< typename... > class F, typename Seq>
using type_sequence_apply
template<typename...>
using void_t = void
template<bool B, typename T = void>
using enable_if_t
template<typename T>
using uncvref_t = typename _detail::_meta::uncvlref<T&>::type
template<bool B>
using bool_constant = constant<bool, B>
using true_type = bool_constant<true>
using false_type = bool_constant<false>
template<typename T>
using type_identity_t = typename type_identity<T>::type
template<bool B, typename T, typename F>
using if_t = typename _detail::_meta::conditional_<B>::template type<T, F>
template<typename T>
using unref_t = typename _detail::_meta::unref<T&>::type
template<typename T>
using unptr_t = typename _detail::_meta::is_pointer<T>::type
template<typename Default, template< typename... > class Op, typename... Args>
using detected_or_t
template<template< typename... > class Op, typename... Args>
using detected_t = detected_or_t<_detail::_meta::none, Op, Args...>
template<template< typename... > class Op, typename... Args>
using detected_return_t = detected_or_t<_detail::_meta::none, Op, Args...>
template<typename T>
using decay_t = typename _detail::_meta::decay_helper<uncvref_t<T>>::type
template<typename Fn, typename... Args>
using invoke_result_t

Functions

 VEG_NIEBLOID (is_consteval)
 VEG_NIEBLOID (unreachable)
 VEG_NIEBLOID (unreachable_if)

Variables

template<typename T>
constexpr T static_const< T >::value
template<typename T, T Value>
constexpr T constant< T, Value >::value

Typedef Documentation

◆ make_integer_sequence

template<typename T, T N>
using proxsuite::linalg::veg::meta::make_integer_sequence = _detail::_meta::make_integer_sequence<T, N>*

Definition at line 14 of file integer_seq.hpp.

◆ make_index_sequence

template<usize N>
using proxsuite::linalg::veg::meta::make_index_sequence = _detail::_meta::make_integer_sequence<usize, N>*

Definition at line 16 of file integer_seq.hpp.

◆ integer_sequence

template<typename T, T... Nums>
using proxsuite::linalg::veg::meta::integer_sequence = _detail::_meta::integer_sequence<T, Nums...>*

Definition at line 19 of file integer_seq.hpp.

◆ index_sequence

template<usize... Nums>
using proxsuite::linalg::veg::meta::index_sequence = integer_sequence<usize, Nums...>

Definition at line 21 of file integer_seq.hpp.

◆ type_sequence

template<typename... Ts>
using proxsuite::linalg::veg::meta::type_sequence = _detail::_meta::type_sequence<Ts...>*

Definition at line 23 of file integer_seq.hpp.

◆ indexed

template<usize Is, typename T>
using proxsuite::linalg::veg::meta::indexed = T

Definition at line 33 of file integer_seq.hpp.

◆ type_sequence_cat

template<template< typename... F > class F, typename... Seqs>
using proxsuite::linalg::veg::meta::type_sequence_cat
Initial value:
typename _detail::_meta::concat_type_seq<
bool_constant<VEG_ALL_OF(_detail::_meta::specializes<F, Seqs>::value)>,
F,
Seqs...>::type
VEG_ALL_OF
#define VEG_ALL_OF(...)
Definition macros.hpp:177
proxsuite::linalg::veg::meta::bool_constant
constant< bool, B > bool_constant
Definition macros.hpp:900
proxsuite::linalg::veg::_detail::_meta::concat_type_seq
Definition integer_seq.hpp:85

Definition at line 172 of file integer_seq.hpp.

◆ type_sequence_zip

template<template< typename... > class F, typename... Seqs>
using proxsuite::linalg::veg::meta::type_sequence_zip
Initial value:
typename _detail::_meta::zip_type_seq<
meta::bool_constant<
VEG_ALL_OF(_detail::_meta::specializes<F, Seqs>::value) &&
VEG_CONCEPT(
all_same<
constant<usize, _detail::_meta::specialize_len<F, Seqs>::value>...>)>,
F,
Seqs...>::type
VEG_CONCEPT
#define VEG_CONCEPT(...)
Definition macros.hpp:1241
proxsuite::linalg::veg::usize
decltype(sizeof(0)) usize
Definition macros.hpp:702
proxsuite::linalg::veg::_detail::_meta::zip_type_seq
Definition integer_seq.hpp:88

Definition at line 178 of file integer_seq.hpp.

◆ type_sequence_apply

template<template< typename... > class F, typename Seq>
using proxsuite::linalg::veg::meta::type_sequence_apply
Initial value:
typename _detail::_meta::apply_type_seq<F, Seq>::type
proxsuite::linalg::veg::_detail::_meta::apply_type_seq
Definition integer_seq.hpp:77

Definition at line 188 of file integer_seq.hpp.

◆ void_t

template<typename...>
using proxsuite::linalg::veg::meta::void_t = void

Definition at line 611 of file macros.hpp.

◆ enable_if_t

template<bool B, typename T = void>
using proxsuite::linalg::veg::meta::enable_if_t
Initial value:
_detail::_meta::discard_1st<typename _detail::_meta::enable_if<B, void>::type,
T>
proxsuite::linalg::veg::_detail::_meta::discard_1st
V discard_1st
Definition macros.hpp:631

Definition at line 882 of file macros.hpp.

◆ uncvref_t

template<typename T>
using proxsuite::linalg::veg::meta::uncvref_t = typename _detail::_meta::uncvlref<T&>::type

Definition at line 887 of file macros.hpp.

◆ bool_constant

template<bool B>
using proxsuite::linalg::veg::meta::bool_constant = constant<bool, B>

Definition at line 900 of file macros.hpp.

◆ true_type

using proxsuite::linalg::veg::meta::true_type = bool_constant<true>

Definition at line 902 of file macros.hpp.

◆ false_type

using proxsuite::linalg::veg::meta::false_type = bool_constant<false>

Definition at line 903 of file macros.hpp.

◆ type_identity_t

template<typename T>
using proxsuite::linalg::veg::meta::type_identity_t = typename type_identity<T>::type

Definition at line 80 of file core.hpp.

◆ if_t

template<bool B, typename T, typename F>
using proxsuite::linalg::veg::meta::if_t = typename _detail::_meta::conditional_<B>::template type<T, F>

Definition at line 83 of file core.hpp.

◆ unref_t

template<typename T>
using proxsuite::linalg::veg::meta::unref_t = typename _detail::_meta::unref<T&>::type

Definition at line 268 of file core.hpp.

◆ unptr_t

template<typename T>
using proxsuite::linalg::veg::meta::unptr_t = typename _detail::_meta::is_pointer<T>::type

Definition at line 270 of file core.hpp.

◆ detected_or_t

template<typename Default, template< typename... > class Op, typename... Args>
using proxsuite::linalg::veg::meta::detected_or_t
Initial value:
typename meta::if_t<VEG_CONCEPT(detected<Op, Args...>),
meta::meta_apply<Op, Args...>,
meta::type_identity<Default>>::type
proxsuite::linalg::veg::meta::if_t
typename _detail::_meta::conditional_< B >::template type< T, F > if_t
Definition core.hpp:83
proxsuite::linalg::veg::meta::meta_apply
Definition core.hpp:65
proxsuite::linalg::veg::meta::type_identity
Definition core.hpp:76

Definition at line 273 of file core.hpp.

◆ detected_t

template<template< typename... > class Op, typename... Args>
using proxsuite::linalg::veg::meta::detected_t = detected_or_t<_detail::_meta::none, Op, Args...>

Definition at line 278 of file core.hpp.

◆ detected_return_t

template<template< typename... > class Op, typename... Args>
using proxsuite::linalg::veg::meta::detected_return_t = detected_or_t<_detail::_meta::none, Op, Args...>

Definition at line 285 of file core.hpp.

◆ decay_t

template<typename T>
using proxsuite::linalg::veg::meta::decay_t = typename _detail::_meta::decay_helper<uncvref_t<T>>::type

Definition at line 289 of file core.hpp.

◆ invoke_result_t

template<typename Fn, typename... Args>
using proxsuite::linalg::veg::meta::invoke_result_t
Initial value:
meta::detected_t<_detail::_meta::call_expr, Fn&&, Args&&...>
proxsuite::linalg::veg::_detail::_meta::call_expr
decltype(VEG_DECLVAL(Fn &&)(VEG_DECLVAL(Args &&)...)) call_expr
Definition invocable.hpp:14
proxsuite::linalg::veg::meta::detected_t
detected_or_t< _detail::_meta::none, Op, Args... > detected_t
Definition core.hpp:278

Definition at line 19 of file invocable.hpp.

Function Documentation

◆ VEG_NIEBLOID() [1/3]

proxsuite::linalg::veg::meta::VEG_NIEBLOID(is_consteval)

◆ VEG_NIEBLOID() [2/3]

proxsuite::linalg::veg::meta::VEG_NIEBLOID(unreachable)

◆ VEG_NIEBLOID() [3/3]

proxsuite::linalg::veg::meta::VEG_NIEBLOID(unreachable_if)

Variable Documentation

◆ static_const< T >::value

template<typename T>
T proxsuite::linalg::veg::meta::static_const< T >::value
constexpr

Definition at line 675 of file macros.hpp.

◆ constant< T, Value >::value

template<typename T, T Value>
T proxsuite::linalg::veg::meta::constant< T, Value >::value
constexpr

Definition at line 898 of file macros.hpp.