Trait invocation.
More...
|
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.
|
|
Trait invocation.
◆ defer_trait
template<template< typename... > class C, typename... Ts>
A wrapper that defers the instantiation of a trait C
with type parameters Ts
in a lambda
or let
expression.
- See also
defer
◆ defer_trait_i
template<typename T , template< T... > class C, T... Is>
A wrapper that defers the instantiation of a trait C
with integral constant parameters Is
in a lambda
or let
expression.
- See also
defer_i