sparrow::impl Namespace Reference

Classes
struct	get_inner_reference
struct	materialized
	Owning counterpart of the type stored by a nullable. More...
struct	materialized< sequence_view< T, Extent > >
struct	materialized< std::string_view >
struct	materialized_mapping
	Mapping of the alternatives of Source onto their owning counterpart in Dest. More...
struct	materialized_mapping< std::variant< U... >, std::variant< T... > >

Concepts
concept	both_constructible_from_cref
	Concepts used to disambiguate the nullable class constructors.
concept	both_convertible_from_cref
concept	constructible_from_one
concept	initializable_from_refs
concept	assignable_from_one
concept	assignable_from_refs
concept	both_constructible_from_cond_ref
concept	both_convertible_from_cond_ref
concept	both_assignable_from_cref
concept	both_assignable_from_cond_ref
concept	materializable_into
	Whether every alternative of Source has exactly one owning counterpart in Dest, so that a value of Source can be converted to Dest.

Typedefs
template<class C, bool is_const>
using	get_inner_reference_t = typename get_inner_reference<C, is_const>::type
template<class T, class U>
using	conditional_ref_t = std::conditional_t<std::is_reference_v<T>, const std::decay_t<U>&, std::decay_t<U>&&>
template<class T>
using	materialized_t = typename materialized<T>::type
template<class N>
using	materialized_nullable_t
	Owning counterpart of a nullable: materialized value and flag.

Functions
template<class Dest, class Source>
constexpr Dest	materialize_variant (const Source &source)
	Converts the active alternative of a nullable variant to its owning counterpart.

Variables
template<class X, class... Ts>
constexpr bool	unique_alternative = ((0 + ... + int(std::same_as<X, Ts>)) == 1)
	Whether X is the type of exactly one of Ts.

Typedef Documentation

conditional_ref_t

template<class T, class U>

using sparrow::impl::conditional_ref_t = std::conditional_t<std::is_reference_v<T>, const std::decay_t<U>&, std::decay_t<U>&&>

Examples

/home/runner/work/sparrow/sparrow/include/sparrow/utils/nullable.hpp.

Definition at line 231 of file nullable.hpp.

get_inner_reference_t

template<class C, bool is_const>

using sparrow::impl::get_inner_reference_t = typename get_inner_reference<C, is_const>::type

Definition at line 855 of file data_type.hpp.

materialized_nullable_t

template<class N>

using sparrow::impl::materialized_nullable_t

Initial value:

nullable<
           materialized_t<typename N::value_type>,
           materialized_t<typename N::flag_type>>

Owning counterpart of a nullable: materialized value and flag.

Examples

/home/runner/work/sparrow/sparrow/include/sparrow/utils/nullable.hpp.

Definition at line 278 of file nullable.hpp.

materialized_t

template<class T>

using sparrow::impl::materialized_t = typename materialized<T>::type

Examples

/home/runner/work/sparrow/sparrow/include/sparrow/utils/nullable.hpp.

Definition at line 272 of file nullable.hpp.

Function Documentation

materialize_variant()

template<class Dest, class Source>

Dest sparrow::impl::materialize_variant ( const Source & source )

constexpr

Converts the active alternative of a nullable variant to its owning counterpart.

Examples

/home/runner/work/sparrow/sparrow/include/sparrow/utils/nullable.hpp.

Definition at line 320 of file nullable.hpp.

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

unique_alternative

template<class X, class... Ts>

bool sparrow::impl::unique_alternative = ((0 + ... + int(std::same_as<X, Ts>)) == 1)

inlineconstexpr

Whether X is the type of exactly one of Ts.

Examples

/home/runner/work/sparrow/sparrow/include/sparrow/utils/nullable.hpp.

Definition at line 286 of file nullable.hpp.