ty::detail::pack_base< Ts > Struct Template Reference

Provides common pack functionality. More...

#include <typack/typack.hpp>

Classes
struct	all
	Provides a static constant which indicates whether all types in this pack match Trait   More...
struct	any
	Provides a static constant which indicates whether any type in this pack matches Trait. More...
struct	concat
	Provides a member typedef type which is this pack with Us added. More...
struct	concat< pack< Us... > >
	Provides a member typedef type which is this pack with the inner pack types Us added. More...

Public Types
template<typename ... Us>
using	concat_t = typename concat< Us... >::type
	Helper type which is this pack with Us added.
template<template< typename ... > typename Tuple>
using	into_t = Tuple< Ts... >
	Helper type which wraps this pack's types in Tuple.

Static Public Attributes
static constexpr auto	size = sizeof...(Ts)
	Number of types in this pack.
template<template< typename ... > typename Trait, typename ... Us>
static constexpr auto	any_v = any<Trait, Us...>::value
	Helper variable which checks whether any type in this pack matches Trait.
template<template< typename ... > typename Trait, typename ... Us>
static constexpr auto	all_v = all<Trait, Us...>::value
	Helper variable which checks whether all types in this pack match Trait.

Detailed Description

template<typename ... Ts>
struct ty::detail::pack_base< Ts >

Provides common pack functionality.

Template Parameters

...Ts

Pack types

Member Typedef Documentation

concat_t

template<typename ... Ts>

template<typename ... Us>

using ty::detail::pack_base< Ts >::concat_t = typename concat<Us...>::type

Helper type which is this pack with Us added.

Template Parameters

...Us

New types

into_t

template<typename ... Ts>

template<template< typename ... > typename Tuple>

using ty::detail::pack_base< Ts >::into_t = Tuple<Ts...>

Helper type which wraps this pack's types in Tuple.

Template Parameters

Tuple

Tuple-like type

Member Data Documentation

all_v

template<typename ... Ts>

template<template< typename ... > typename Trait, typename ... Us>

constexpr auto ty::detail::pack_base< Ts >::all_v = all<Trait, Us...>::value

staticconstexpr

Helper variable which checks whether all types in this pack match Trait.

Template Parameters

Trait	Type trait
...Us	Trait type parameters

any_v

template<typename ... Ts>

template<template< typename ... > typename Trait, typename ... Us>

constexpr auto ty::detail::pack_base< Ts >::any_v = any<Trait, Us...>::value

staticconstexpr

Helper variable which checks whether any type in this pack matches Trait.

Template Parameters

Trait	Type trait
...Us	Trait type parameters

---

The documentation for this struct was generated from the following file:

• include/typack/typack.hpp