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 returns T. 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_type if T::invoke exists and names a class template or alias template; otherwise, it's an alias for std::false_type. | |
| template<typename T > | |
| using | meta::is_valid = detail::is_valid_< T > |
For testing whether a deferred computation will succeed in a let or a lambda. | |
| 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 T is an instantiation of class template C. | |
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)> |