File predicates.hpp

↰ Parent directory (include)

Size/align key wrappers, comparison predicates, and operator tag mapping.

Definition (include/predicates.hpp)

• Program Listing for File predicates.hpp

Detailed Description

• HasStaticSize concept gates types that expose static constexpr std::size_t size.

• Size<T>, SizeOf<T>, AlignOf<T> present a unified ::type and ::size.

• cmp, PredBy, op_tag, and ops build size-based predicates.

• op_type<"..."> maps a compile-time string token (e.g. "<"_ct) to an operator tag whose template pred<L,R> can be used in algorithms (e.g. partition/sort).

• Helpers Size_t, SizeOf_t, AlignOf_t, and Apply<S,...> create keyed typelists.

Example

structA{staticconstexprstd::size_tsize=3;}; structB{staticconstexprstd::size_tsize=5;};

usingLT=:ref:`exhale_typedef_predicates_8hpp_1adc079efedc1088be4f5cf68b7a56d779`<”<”_ct>;//operatortagforless-than static_assert(LT::templatepred<A,B>::value);//3<5

usingKeys=:ref:exhale_struct_structctql_1_1detail_1_1HTList;//HTList<Size<A>,Size<B>>

Includes

• concepts (File concepts.hpp)

• cstddef

• ct_string.inl (File ct_string.inl)

• functional

• htlist.hpp (File htlist.hpp)

• match.hpp (File match.hpp)

Included By

• File partition.hpp

• File reduce.hpp

• File sorted.hpp

Namespaces

• Namespace ctql

Classes

• Template Struct AlignOf

• Template Struct cmp

• Template Struct op_tag

• Struct ops

• Template Struct PredBy

• Template Struct PredBy::t

• Template Struct Size

• Template Struct SizeOf

Typedefs

• Typedef ctql::AlignOf_t

• Typedef ctql::Apply

• Typedef ctql::op_type

• Typedef ctql::Size_t

• Typedef ctql::SizeOf_t