Concept definition

template<class T>

concept is_arrow_traits = mpl::is_type_instance_of_v<T, arrow_traits> and requires {

sparrow::is_arrow_traits

Matches valid and complete arrow_traits specializations for type T.

Definition data_type.hpp:787

sparrow::mpl::is_type_instance_of_v

constexpr bool is_type_instance_of_v

Variable template for convenient access to is_type_instance_of.

Definition mp_utils.hpp:102

The C++ representation of the arrow value.

For arrow_traits<X>, this is usually X.

typename T::value_type;

The arrow (binary) layout to use by default for representing a set of data for that type.

typename detail::accepts_template<T::template default_layout>; TODO: add more interface requirements on the traits here TODO: add conversion operations between bytes and the value type

}

Detailed Description

Matches valid and complete arrow_traits specializations for type T.

Every type that needs to be compatible with this library's interface must provide a specialization of arrow_traits

See also: arrow_traits, has_arrow_type_traits

Definition at line 787 of file data_type.hpp.