Namespaces
namespace	_detail

namespace	alignment

namespace	array

namespace	cmp

namespace	collections

namespace	concepts

namespace	cpo

namespace	dynstack

namespace	literals

namespace	mem

namespace	meta

namespace	nb

namespace	tags

namespace	tuple

namespace	vector

Classes
struct	Boolean

struct	Boolean< maybe >

struct	Defer

struct	Dyn

struct	Fix

struct	incomplete_t

struct	InPlace

struct	InPlace< void >

struct	Ref

struct	RefMut

struct	Slice

struct	SliceMut

struct	Str

struct	StrLiteralConstant

struct	Tuple

struct	Vec

Typedefs
using	no_c = meta::constant<Ternary, Ternary::no>

using	maybe_c = meta::constant<Ternary, Ternary::maybe>

using	yes_c = meta::constant<Ternary, Ternary::yes>

template<typename T , typename... Ts>
using	position_of = typename _detail::pack_idx_elem<T>::template Type<Ts...>

template<usize I, typename... Ts>
using	ith = typename _detail::pack_ith_elem<I>::template Type<Ts...>

using	usize = decltype(sizeof(0))

using	isize = _detail::_meta::make_signed<usize>::Type

using	i64 = std::int64_t

using	u64 = std::uint64_t

using	i32 = std::int32_t

using	u32 = std::uint32_t

using	i16 = std::int16_t

using	u16 = std::uint16_t

using	u8 = std::uint8_t

using	i8 = std::int8_t

template<typename T , usize N>
using	CArray = T[N]

template<typename T , usize I>
using	inner_ith = decltype(VEG_DECLVAL(T)[Fix<isize{ I }>{}])

using	Tuplify = tuple::nb::tuplify

template<typename T >
using	DoNotDeduce = meta::type_identity_t<T>

Enumerations
enum struct	Ternary : unsigned char { no , maybe , yes }

enum struct	CharUnit : unsigned char { SPACE = 0x20 , EXCLAMATION_MARK = 0x21 , DOUBLE_QUOTE = 0x22 , NUMBER = 0x23 , DOLLAR = 0x24 , PERCENT = 0x25 , AMPERSAND = 0x26 , SINGLE_QUOTE = 0x27 , LEFT_PARENTHESIS = 0x28 , RIGHT_PARENTHESIS = 0x29 , ASTERISK = 0x2A , PLUS = 0x2B , COMMA = 0x2C , MINUS = 0x2D , PERIOD = 0x2E , SLASH = 0x2F , ZERO = 0x30 , ONE = 0x31 , TWO = 0x32 , THREE = 0x33 , FOUR = 0x34 , FIVE = 0x35 , SIX = 0x36 , SEVEN = 0x37 , EIGHT = 0x38 , NINE = 0x39 , COLON = 0x3A , SEMICOLON = 0x3B , LESS_THAN = 0x3C , EQUALITY_SIGN = 0x3D , GREATER_THAN = 0x3E , QUESTION_MARK = 0x3F , AT_SIGN = 0x40 , UPPERCASE_A = 0x41 , UPPERCASE_B = 0x42 , UPPERCASE_C = 0x43 , UPPERCASE_D = 0x44 , UPPERCASE_E = 0x45 , UPPERCASE_F = 0x46 , UPPERCASE_G = 0x47 , UPPERCASE_H = 0x48 , UPPERCASE_I = 0x49 , UPPERCASE_J = 0x4A , UPPERCASE_K = 0x4B , UPPERCASE_L = 0x4C , UPPERCASE_M = 0x4D , UPPERCASE_N = 0x4E , UPPERCASE_O = 0x4F , UPPERCASE_P = 0x50 , UPPERCASE_Q = 0x51 , UPPERCASE_R = 0x52 , UPPERCASE_S = 0x53 , UPPERCASE_T = 0x54 , UPPERCASE_U = 0x55 , UPPERCASE_V = 0x56 , UPPERCASE_W = 0x57 , UPPERCASE_X = 0x58 , UPPERCASE_Y = 0x59 , UPPERCASE_Z = 0x5A , LEFT_SQUARE_BRACKET = 0x5B , BACKSLASH = 0x5C , RIGHT_SQUARE_BRACKET = 0x5D , CARET = 0x5F , GRAVE = 0x60 , LOWERCASE_A = 0x61 , LOWERCASE_B = 0x62 , LOWERCASE_C = 0x63 , LOWERCASE_D = 0x64 , LOWERCASE_E = 0x65 , LOWERCASE_F = 0x66 , LOWERCASE_G = 0x67 , LOWERCASE_H = 0x68 , LOWERCASE_I = 0x69 , LOWERCASE_J = 0x6A , LOWERCASE_K = 0x6B , LOWERCASE_L = 0x6C , LOWERCASE_M = 0x6D , LOWERCASE_N = 0x6E , LOWERCASE_O = 0x6F , LOWERCASE_P = 0x70 , LOWERCASE_Q = 0x71 , LOWERCASE_R = 0x72 , LOWERCASE_S = 0x73 , LOWERCASE_T = 0x74 , LOWERCASE_U = 0x75 , LOWERCASE_V = 0x76 , LOWERCASE_W = 0x77 , LOWERCASE_X = 0x78 , LOWERCASE_Y = 0x79 , LOWERCASE_Z = 0x7A , LEFT_CURLY_BRACKET = 0x7B , VERTICAL_BAR = 0x7C , RIGHT_CURLY_BRACKET = 0x7D , TILDE = 0x7E }

Functions
VEG_INLINE constexpr auto	operator""_v (unsigned long long n) VEG_NOEXCEPT -> Dyn

template<char... Chars>
VEG_INLINE constexpr auto	operator""_c () VEG_NOEXCEPT

template<typename... Types, typename... Args>
auto	print_types_halt (Args &&...) -> incomplete_t< Types..., Args... >

template<typename... Types, typename... Args>
	VEG_CPP14 (constexpr) void print_types(Args &&...)

	VEG_NIEBLOID (unused)

	VEG_TAG (from_raw_parts, FromRawParts)

	VEG_TAG (safe, Safe)

	VEG_TAG (unsafe, Unsafe)

	VEG_NIEBLOID_TEMPLATE (typename To, narrow, To)

	VEG_NIEBLOID (clone)

	VEG_NIEBLOID (deref)

	VEG_NIEBLOID (deref_mut)

	VEG_NIEBLOID (ref)

	VEG_NIEBLOID (mut)

	VEG_NIEBLOID (init_list)

	VEG_TAG_TEMPLATE (typename T, tag, Tag, T)

	VEG_TAG (as_ref, AsRef)

	VEG_TAG (as_mut, AsMut)

	VEG_TAG (from, From)

	VEG_TAG (from_i, FromI)

	VEG_TAG (as_ref_once, AsRefOnce)

	VEG_TAG (from_alloc, FromAlloc)

	VEG_TAG (from_alloc_and_value, FromAllocAndValue)

	VEG_TAG (from_slice, FromSlice)

	VEG_TAG (from_slice_mut, FromSliceMut)

	VEG_INLINE_VAR (inplace, InPlace< void >)

	VEG_CPP17 (template< typename Fn > Defer(Fn) -> Defer< Fn >;) namespace nb

	VEG_NIEBLOID (defer)

	VEG_NIEBLOID_TEMPLATE (usize I, get, I)

Variables
constexpr auto	no = Ternary::no

constexpr auto	maybe = Ternary::maybe

constexpr auto	yes = Ternary::yes

Typedef Documentation

◆ no_c

using proxsuite::linalg::veg::no_c = meta::constant<Ternary, Ternary::no>

Definition at line 67 of file fix_index.hpp.

◆ maybe_c

using proxsuite::linalg::veg::maybe_c = meta::constant<Ternary, Ternary::maybe>

Definition at line 68 of file fix_index.hpp.

◆ yes_c

using proxsuite::linalg::veg::yes_c = meta::constant<Ternary, Ternary::yes>

Definition at line 69 of file fix_index.hpp.

◆ position_of

template<typename T , typename... Ts>

using proxsuite::linalg::veg::position_of = typename _detail::pack_idx_elem<T>::template Type<Ts...>

Definition at line 234 of file integer_seq.hpp.

◆ ith

template<usize I, typename... Ts>

using proxsuite::linalg::veg::ith = typename _detail::pack_ith_elem<I>::template Type<Ts...>

Definition at line 248 of file integer_seq.hpp.

◆ usize

decltype(sizeof(0)) typedef proxsuite::linalg::veg::usize = decltype(sizeof(0))

Definition at line 702 of file macros.hpp.

◆ isize

using proxsuite::linalg::veg::isize = _detail::_meta::make_signed<usize>::Type

Definition at line 43 of file typedefs.hpp.

◆ i64

using proxsuite::linalg::veg::i64 = std::int64_t

Definition at line 45 of file typedefs.hpp.

◆ u64

using proxsuite::linalg::veg::u64 = std::uint64_t

Definition at line 46 of file typedefs.hpp.

◆ i32

using proxsuite::linalg::veg::i32 = std::int32_t

Definition at line 47 of file typedefs.hpp.

◆ u32

using proxsuite::linalg::veg::u32 = std::uint32_t

Definition at line 48 of file typedefs.hpp.

◆ i16

using proxsuite::linalg::veg::i16 = std::int16_t

Definition at line 49 of file typedefs.hpp.

◆ u16

using proxsuite::linalg::veg::u16 = std::uint16_t

Definition at line 50 of file typedefs.hpp.

◆ u8

using proxsuite::linalg::veg::u8 = std::uint8_t

Definition at line 51 of file typedefs.hpp.

◆ i8

using proxsuite::linalg::veg::i8 = std::int8_t

Definition at line 52 of file typedefs.hpp.

◆ CArray

template<typename T , usize N>

using proxsuite::linalg::veg::CArray = T[N]

Definition at line 15 of file slice.hpp.

◆ inner_ith

template<typename T , usize I>

using proxsuite::linalg::veg::inner_ith = decltype(VEG_DECLVAL(T)[Fix<isize{ I }>{}])

Definition at line 65 of file tuple.hpp.

◆ DoNotDeduce

template<typename T >

using proxsuite::linalg::veg::DoNotDeduce = meta::type_identity_t<T>

Definition at line 292 of file core.hpp.

Enumeration Type Documentation

◆ Ternary

enum struct proxsuite::linalg::veg::Ternary : unsigned char

strong

Enumerator
no
maybe
yes

Definition at line 57 of file fix_index.hpp.

◆ CharUnit

enum struct proxsuite::linalg::veg::CharUnit : unsigned char

strong

Enumerator
SPACE
EXCLAMATION_MARK
DOUBLE_QUOTE
NUMBER
DOLLAR
PERCENT
AMPERSAND
SINGLE_QUOTE
LEFT_PARENTHESIS
RIGHT_PARENTHESIS
ASTERISK
PLUS
COMMA
MINUS
PERIOD
SLASH
ZERO
ONE
TWO
THREE
FOUR
FIVE
SIX
SEVEN
EIGHT
NINE
COLON
SEMICOLON
LESS_THAN
EQUALITY_SIGN
GREATER_THAN
QUESTION_MARK
AT_SIGN
UPPERCASE_A
UPPERCASE_B
UPPERCASE_C
UPPERCASE_D
UPPERCASE_E
UPPERCASE_F
UPPERCASE_G
UPPERCASE_H
UPPERCASE_I
UPPERCASE_J
UPPERCASE_K
UPPERCASE_L
UPPERCASE_M
UPPERCASE_N
UPPERCASE_O
UPPERCASE_P
UPPERCASE_Q
UPPERCASE_R
UPPERCASE_S
UPPERCASE_T
UPPERCASE_U
UPPERCASE_V
UPPERCASE_W
UPPERCASE_X
UPPERCASE_Y
UPPERCASE_Z
LEFT_SQUARE_BRACKET
BACKSLASH
RIGHT_SQUARE_BRACKET
CARET
GRAVE
LOWERCASE_A
LOWERCASE_B
LOWERCASE_C
LOWERCASE_D
LOWERCASE_E
LOWERCASE_F
LOWERCASE_G
LOWERCASE_H
LOWERCASE_I
LOWERCASE_J
LOWERCASE_K
LOWERCASE_L
LOWERCASE_M
LOWERCASE_N
LOWERCASE_O
LOWERCASE_P
LOWERCASE_Q
LOWERCASE_R
LOWERCASE_S
LOWERCASE_T
LOWERCASE_U
LOWERCASE_V
LOWERCASE_W
LOWERCASE_X
LOWERCASE_Y
LOWERCASE_Z
LEFT_CURLY_BRACKET
VERTICAL_BAR
RIGHT_CURLY_BRACKET
TILDE

Definition at line 926 of file macros.hpp.

Function Documentation

◆ print_types_halt()

template<typename... Types, typename... Args>

auto proxsuite::linalg::veg::print_types_halt ( Args && ... ) -> incomplete_t< Types..., Args... >

◆ VEG_CPP14()

template<typename... Types, typename... Args>

proxsuite::linalg::veg::VEG_CPP14 ( constexpr ) &&

Definition at line 686 of file macros.hpp.

◆ VEG_NIEBLOID() [1/8]

proxsuite::linalg::veg::VEG_NIEBLOID ( unused )

◆ VEG_NIEBLOID_TEMPLATE() [1/2]

proxsuite::linalg::veg::VEG_NIEBLOID_TEMPLATE	(	typename To	,
		narrow	,
		To	)

◆ VEG_NIEBLOID() [2/8]

proxsuite::linalg::veg::VEG_NIEBLOID ( clone )

◆ VEG_NIEBLOID() [3/8]

proxsuite::linalg::veg::VEG_NIEBLOID ( deref )

◆ VEG_NIEBLOID() [4/8]

proxsuite::linalg::veg::VEG_NIEBLOID ( deref_mut )

◆ VEG_NIEBLOID() [5/8]

proxsuite::linalg::veg::VEG_NIEBLOID ( ref )

◆ VEG_NIEBLOID() [6/8]

proxsuite::linalg::veg::VEG_NIEBLOID ( mut )

◆ VEG_NIEBLOID() [7/8]

proxsuite::linalg::veg::VEG_NIEBLOID ( init_list )

◆ VEG_CPP17()

proxsuite::linalg::veg::VEG_CPP17 ( template< typename Fn > Defer(Fn) -> Defer< Fn >; )

Definition at line 30 of file defer.hpp.

◆ VEG_NIEBLOID() [8/8]

proxsuite::linalg::veg::VEG_NIEBLOID ( defer )

◆ VEG_NIEBLOID_TEMPLATE() [2/2]

proxsuite::linalg::veg::VEG_NIEBLOID_TEMPLATE	(	usize	I,
		get	,
		I	)

Variable Documentation

◆ no

constexpr auto proxsuite::linalg::veg::no = Ternary::no

constexpr

Definition at line 64 of file fix_index.hpp.

◆ maybe

constexpr auto proxsuite::linalg::veg::maybe = Ternary::maybe

constexpr

Definition at line 65 of file fix_index.hpp.

◆ yes

constexpr auto proxsuite::linalg::veg::yes = Ternary::yes

constexpr

Definition at line 66 of file fix_index.hpp.

Namespaces

Classes

Typedefs

Enumerations

Functions

Variables

Typedef Documentation

◆ no_c

◆ maybe_c

◆ yes_c

◆ position_of

◆ ith

◆ usize

◆ isize

◆ i64

◆ u64

◆ i32

◆ u32

◆ i16

◆ u16

◆ u8

◆ i8

◆ CArray

◆ inner_ith

◆ DoNotDeduce

Enumeration Type Documentation

◆ Ternary

◆ CharUnit

Function Documentation

◆ print_types_halt()

◆ VEG_CPP14()

◆ VEG_NIEBLOID() [1/8]

◆ VEG_NIEBLOID_TEMPLATE() [1/2]

◆ VEG_NIEBLOID() [2/8]

◆ VEG_NIEBLOID() [3/8]

◆ VEG_NIEBLOID() [4/8]

◆ VEG_NIEBLOID() [5/8]

◆ VEG_NIEBLOID() [6/8]

◆ VEG_NIEBLOID() [7/8]

◆ VEG_CPP17()

◆ VEG_NIEBLOID() [8/8]

◆ VEG_NIEBLOID_TEMPLATE() [2/2]

Variable Documentation

◆ no

◆ maybe

◆ yes