tetl 0.1.0
Embedded Template Library
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Static Public Attributes | Related Symbols | List of all members
integral_constant< Type, Val > Struct Template Reference
Utilities Library » type_traits

#include <integral_constant.hpp>

Inheritance diagram for integral_constant< Type, Val >:
is_assignable< add_lvalue_reference_t< T >, add_lvalue_reference_t< T const > > is_assignable< add_lvalue_reference_t< T >, add_rvalue_reference_t< T > > is_floating_point< Rep > is_nothrow_assignable< add_lvalue_reference_t< T >, add_lvalue_reference_t< T const > > is_nothrow_assignable< add_lvalue_reference_t< T >, add_rvalue_reference_t< T > > is_same< nullptr_t, remove_cv_t< T > > is_same< void, remove_cv_t< T > > is_trivially_assignable< add_lvalue_reference_t< T >, add_lvalue_reference_t< T const > > is_trivially_assignable< add_lvalue_reference_t< T >, add_rvalue_reference_t< T > > is_trivially_constructible< T > _swap_no_throw< T, U > _swappable_with_helper< T, U, typename > _swappable_with_helper< T, U, void_t< decltype(swap(declval< T >(), declval< U >()))> > is_clock< typename > conjunction< B > disjunction< B > has_unique_object_representations< T > has_virtual_destructor< T > is_abstract< T > is_aggregate< T > is_arithmetic< T > is_array< T > is_array< T[N]> is_array< T[]> is_assignable< T, U > is_base_of< Base, Derived > is_bitmask_type< T > is_bounded_array< T > is_bounded_array< T[N]> is_builtin_integer< T > is_builtin_signed_integer< T > is_builtin_unsigned_integer< T > is_class< T > is_compound< T > is_const< T > is_const< T const > is_convertible< From, To > is_destructible< Type[]> is_destructible< void > is_enum< T > is_error_condition_enum< T > is_error_condition_enum< errc > is_execution_policy< T > is_execution_policy< etl::execution::sequenced_policy > is_execution_policy< etl::execution::unsequenced_policy > is_final< T > is_floating_point< T > is_function< T > is_fundamental< T > is_implicit_default_constructible< T, typename, typename > is_implicit_default_constructible< T, decltype(test_implicit_default_constructible< T const & >({})), false_type > is_implicit_default_constructible< T, decltype(test_implicit_default_constructible< T const & >({})), true_type > is_integral< T > is_invocable< Fn, ArgTypes > is_invocable_r< R, Fn, ArgTypes > is_lvalue_reference< T > is_lvalue_reference< T & > is_mdspan< T > is_mdspan< mdspan< T, Extents, Layout, Accessor > > is_member_object_pointer< T > is_nothrow_assignable< T, U > is_nothrow_assignable< T, U > is_nothrow_constructible< T, Args > is_nothrow_convertible< From, To > is_nothrow_convertible< From, To > is_nothrow_destructible< Type & > is_nothrow_destructible< Type && > is_nothrow_swappable_with< T, U > is_object< T > is_polymorphic< T > is_reference< T > is_reference< T & > is_reference< T && > is_reference_wrapper< T > is_reference_wrapper< reference_wrapper< U > > is_rvalue_reference< T > is_rvalue_reference< T && > is_same< T, U > is_same< T, T > is_scalar< T > is_scoped_enum< T > is_scoped_enum< T > is_signed< T > is_specialized< typename, typename, typename > is_specialized< Template, T, void_t< decltype(Template< T >{})> > is_standard_layout< T > is_swappable_with< T, U > is_trivial< T > is_trivially_assignable< T, U > is_trivially_constructible< T, Args > is_trivially_copy_constructible< T > is_trivially_copyable< T > is_trivially_destructible< T > is_trivially_move_constructible< T > is_unbounded_array< T > is_unbounded_array< T[]> is_union< T > is_unsigned< T > is_volatile< T > is_volatile< T volatile > contains< Needle, list< Ts... > > negation< B > ratio_equal< R1, R2 > ratio_not_equal< R1, R2 > uses_allocator< Type, Alloc >

Public Types

using type = integral_constant< Type, Val >
 
using value_type = Type
 

Public Member Functions

constexpr operator value_type () const noexcept
 
constexpr auto operator() () const noexcept -> value_type
 

Static Public Attributes

static constexpr Type value = Val
 

Related Symbols

(Note that these are not member symbols.)

template<typename Rhs , Rhs R, typename Lhs , Lhs L>
constexpr auto operator!= (integral_constant< Rhs, R >, integral_constant< Lhs, L >) -> integral_constant< bool, L !=R >
 
template<typename Rhs , Rhs R, typename Lhs , Lhs L>
constexpr auto operator+ (integral_constant< Rhs, R >, integral_constant< Lhs, L >) -> integral_constant< decltype(L+R), L+R >
 
template<typename Rhs , Rhs R, typename Lhs , Lhs L>
constexpr auto operator== (integral_constant< Rhs, R >, integral_constant< Lhs, L >) -> integral_constant< bool, L==R >
 

Member Typedef Documentation

◆ type

template<typename Type , Type Val>
using type = integral_constant<Type, Val>

◆ value_type

template<typename Type , Type Val>
using value_type = Type

Member Function Documentation

◆ operator value_type()

template<typename Type , Type Val>
constexpr operator value_type ( ) const
inlineconstexprnoexcept

◆ operator()()

template<typename Type , Type Val>
constexpr auto operator() ( ) const -> value_type
inlineconstexprnoexcept

Member Data Documentation

◆ value

template<typename Type , Type Val>
constexpr Type value = Val
staticconstexpr
The documentation for this struct was generated from the following file: