Exposition-only definitions from teh c++ language standard. More...

#include <type_traits>
#include <utility>
#include "basics/compatibility/core-concepts.hpp"

Include dependency graph for exposition.hpp:

This graph shows which files directly or indirectly include this file:

Classes
struct	OpenKalman::internal::detail::decay_copy_impl

struct	OpenKalman::internal::detail::is_integer_like_impl< T, typename >

struct	OpenKalman::internal::detail::is_integer_like_impl< bool >

struct	OpenKalman::internal::detail::is_integer_like_impl< const bool >

struct	OpenKalman::internal::detail::is_integer_like_impl< volatile bool >

struct	OpenKalman::internal::detail::is_integer_like_impl< const volatile bool >

struct	OpenKalman::internal::detail::is_integer_like_impl< T, std::enable_if_t< std::is_integral_v< T > > >

struct	OpenKalman::internal::is_initializer_list< T >
	Whether the argument is a specialization of std::initializer_list. More...

struct	OpenKalman::internal::is_initializer_list< std::initializer_list< T > >

struct	OpenKalman::internal::is_initializer_list< T & >

struct	OpenKalman::internal::is_initializer_list< T && >

struct	OpenKalman::internal::is_initializer_list< const T >

struct	OpenKalman::internal::is_initializer_list< volatile T >

struct	OpenKalman::internal::detail::boolean_testable_impl1< B, typename >

struct	OpenKalman::internal::detail::boolean_testable_impl1< B, std::enable_if_t< stdex::convertible_to< B, bool > > >

struct	OpenKalman::internal::detail::boolean_testable_impl2< B, typename >

struct	OpenKalman::internal::detail::boolean_testable_impl2< B, std::enable_if_t< detail::boolean_testable_impl1< B >::value and detail::boolean_testable_impl1< decltype(not std::declval< B >())>::value > >

struct	OpenKalman::internal::detail::WeaklyEqualityComparableWithImpl< T, U, typename >

struct	OpenKalman::internal::detail::WeaklyEqualityComparableWithImpl< T, U, std::enable_if_t< boolean_testable< decltype(std::declval< const std::remove_reference_t< T > & >()==std::declval< const std::remove_reference_t< U > & >())> and boolean_testable< decltype(std::declval< const std::remove_reference_t< T > & >() !=std::declval< const std::remove_reference_t< U > & >())> and boolean_testable< decltype(std::declval< const std::remove_reference_t< U > & >()==std::declval< const std::remove_reference_t< T > & >())> and boolean_testable< decltype(std::declval< const std::remove_reference_t< U > & >() !=std::declval< const std::remove_reference_t< T > & >())> > >

struct	OpenKalman::internal::detail::PartiallyOrderedWithImpl< T, U, typename >

struct	OpenKalman::internal::detail::PartiallyOrderedWithImpl< T, U, std::enable_if_t< OpenKalman::internal::boolean_testable< decltype(std::declval< const std::remove_reference_t< T > & >()< std::declval< const std::remove_reference_t< U > & >())> and OpenKalman::internal::boolean_testable< decltype(std::declval< const std::remove_reference_t< T > & >() > std::declval< const std::remove_reference_t< U > & >())> and OpenKalman::internal::boolean_testable< decltype(std::declval< const std::remove_reference_t< T > & >()<=std::declval< const std::remove_reference_t< U > & >())> and OpenKalman::internal::boolean_testable< decltype(std::declval< const std::remove_reference_t< T > & >() >=std::declval< const std::remove_reference_t< U > & >())> and OpenKalman::internal::boolean_testable< decltype(std::declval< const std::remove_reference_t< U > & >()< std::declval< const std::remove_reference_t< T > & >())> and OpenKalman::internal::boolean_testable< decltype(std::declval< const std::remove_reference_t< U > & >() > std::declval< const std::remove_reference_t< T > & >())> and OpenKalman::internal::boolean_testable< decltype(std::declval< const std::remove_reference_t< U > & >()<=std::declval< const std::remove_reference_t< T > & >())> and OpenKalman::internal::boolean_testable< decltype(std::declval< const std::remove_reference_t< U > & >() >=std::declval< const std::remove_reference_t< T > & >())> > >

Variables
constexpr detail::decay_copy_impl	OpenKalman::internal::decay_copy

template<typename T >
constexpr bool	OpenKalman::internal::is_integer_like = detail::is_integer_like_impl<T>::value

template<typename T >
constexpr bool	OpenKalman::internal::is_signed_integer_like = is_integer_like<T> and std::is_signed_v<T>

template<typename T >
constexpr bool	OpenKalman::internal::is_unsigned_integer_like = is_integer_like<T> and std::is_unsigned_v<T>

template<typename B >
constexpr bool	OpenKalman::internal::boolean_testable

template<typename T , typename U >
constexpr bool	OpenKalman::internal::WeaklyEqualityComparableWith = detail::WeaklyEqualityComparableWithImpl<T, U>::value

template<typename T , typename U >
constexpr bool	OpenKalman::internal::PartiallyOrderedWith = detail::PartiallyOrderedWithImpl<T, U>::value