Trait invocation/composition. More...
| Modules | |
| Invocation | |
| Trait invocation. | |
| Composition | |
| Trait composition. | |
| lazy | |
| Classes | |
| struct | meta::id< T > | 
| A trait that always returns its argument T. It is also an invocable that always returnsT.  More... | |
| Typedefs | |
| template<typename T > | |
| using | meta::alignof_ = meta::size_t< alignof(T)> | 
| An alias that computes the alignment required for any instance of the type T.  More... | |
| template<typename T > | |
| using | meta::id_t = _t< id< T > > | 
| An alias for type T. Useful in non-deduced contexts. | |
| template<typename T , template< typename... > class C> | |
| using | meta::is = _t< detail::is_< T, C > > | 
| is  More... | |
| template<typename T > | |
| using | meta::is_callable = _t< detail::is_callable_< T > > | 
| An alias for std::true_typeifT::invokeexists and names a class template or alias template; otherwise, it's an alias forstd::false_type. | |
| template<typename T > | |
| using | meta::is_valid = detail::is_valid_< T > | 
| For testing whether a deferred computation will succeed in a letor alambda. | |
| template<typename... Ts> | |
| using | meta::lambda = detail::lambda_< list< Ts... > > | 
| For creating anonymous Invocables.  More... | |
| template<typename... As> | |
| using | meta::let = _t< _t< detail::let_< As... > > > | 
| A lexically scoped expression with local variables.  More... | |
| template<invocable Fn> | |
| using | meta::not_fn = compose< quote< not_ >, Fn > | 
| Logically negate the result of invocable Fn. | |
| template<typename T > | |
| using | meta::sizeof_ = meta::size_t< sizeof(T)> | 
| An alias that computes the size of the type T.  More... | |
| template<typename... > | |
| using | meta::void_ = void | 
| An alias for void. | |
| Variables | |
| template<typename , template< typename... > class> | |
| constexpr bool | meta::is_v = false | 
| is_v Test whether a type Tis an instantiation of class templateC. | |
Trait invocation/composition.
| using meta::alignof_ = typedef meta::size_t<alignof(T)> | 
#include <meta/meta.hpp>
An alias that computes the alignment required for any instance of the type T. 
O(1). | using meta::lambda = typedef detail::lambda_<list<Ts...> > | 
#include <meta/meta.hpp>
For creating anonymous Invocables.
#include <meta/meta.hpp>
A lexically scoped expression with local variables.
| using meta::sizeof_ = typedef meta::size_t<sizeof(T)> |