ty::pack<> Struct Reference

Empty pack specialization. More...

#include <typack/typack.hpp>

Inheritance diagram for ty::pack<>:

Classes
struct	filter
	Provides a member typedef type which is the empty pack. More...
struct	map
	Provides a member typedef type which is the empty pack. More...

Public Types
template<template< typename ... > typename Mod, typename ... Ts>
using	map_t = typename map< Mod, Ts... >::type
	Helper type which transforms each type in this pack with Mod
template<template< typename ... > typename Trait, typename ... Ts>
using	filter_t = typename filter< Trait, Ts... >::type
	Helper type which filters the types in this pack matching Trait.
Public Types inherited from ty::detail::pack_base<>
using	concat_t = typename concat< Us... >::type
	Helper type which is this pack with Us added.
using	into_t = Tuple< Ts... >
	Helper type which wraps this pack's types in Tuple.

Additional Inherited Members
Static Public Attributes inherited from ty::detail::pack_base<>
static constexpr auto	size
	Number of types in this pack.
static constexpr auto	any_v
	Helper variable which checks whether any type in this pack matches Trait.
static constexpr auto	all_v
	Helper variable which checks whether all types in this pack match Trait.

Detailed Description

Empty pack specialization.

Member Typedef Documentation

filter_t

template<template< typename ... > typename Trait, typename ... Ts>

using ty::pack<>::filter_t = typename filter<Trait, Ts...>::type

Helper type which filters the types in this pack matching Trait.

Template Parameters

Trait	Type trait
...Ts	Trait type parameters

map_t

template<template< typename ... > typename Mod, typename ... Ts>

using ty::pack<>::map_t = typename map<Mod, Ts...>::type

Helper type which transforms each type in this pack with Mod  

Template Parameters

Mod	Type modifier
...Ts	Mod type parameters

---

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

• include/typack/typack.hpp