Trait invocation. More...

Topics
	lazy

Classes
struct	meta::id< T >
	A trait that always returns its argument `T`. More...
struct	meta::defer< C, Ts >
	A wrapper that defers the instantiation of a template `C` with type parameters `Ts` in a `lambda` or `let` expression. More...
struct	meta::defer_i< T, C, Is >
	A wrapper that defers the instantiation of a template `C` with integral constant parameters `Is` in a `lambda` or `let` expression. More...

Typedefs
template<META_TYPE_CONSTRAINT(trait) T>
using	meta::_t = typename T::type
	Type alias for `T::type`.
template<META_TYPE_CONSTRAINT(invocable) Fn, typename... Args>
using	meta::invoke = typename Fn::template invoke<Args...>
	Evaluate the invocable `Fn` with the arguments `Args`.
template<template< typename... > class C, typename... Ts>
using	meta::defer_trait = defer<detail::_t_t, detail::defer_<C, Ts...>>
	A wrapper that defers the instantiation of a trait `C` with type parameters `Ts` in a `lambda` or `let` expression.
template<typename T, template< T... > class C, T... Is>
using	meta::defer_trait_i = defer<detail::_t_t, detail::defer_i_<T, C, Is...>>
	A wrapper that defers the instantiation of a trait `C` with integral constant parameters `Is` in a `lambda` or `let` expression.
template<META_TYPE_CONSTRAINT(invocable) Fn, typename L>
using	meta::apply = _t<extension::apply<Fn, L>>
	Applies the invocable `Fn` using the types in the type list `L` as arguments.

Detailed Description

Trait invocation.

Typedef Documentation

template<template< typename... > class C, typename... Ts>

using meta::defer_trait = defer<detail::_t_t, detail::defer_<C, Ts...>>

A wrapper that defers the instantiation of a trait C with type parameters Ts in a lambda or let expression.

template<typename T, template< T... > class C, T... Is>

using meta::defer_trait_i = defer<detail::_t_t, detail::defer_i_<T, C, Is...>>

A wrapper that defers the instantiation of a trait C with integral constant parameters Is in a lambda or let expression.