Trait composition. More...
| Modules | |
| lazy | |
| Classes | |
| struct | meta::bind_back< Fn, Us > | 
| An invocable that partially applies the invocable Fnby binding the argumentsUsto the back ofFn.  More... | |
| struct | meta::bind_front< Fn, Ts > | 
| An invocable that partially applies the invocable Fnby binding the argumentsTsto the front ofFn.  More... | |
| struct | meta::compose_< Fns > | 
| Compose the Invocables Fnsin the parameter packTs.  More... | |
| struct | meta::flip< Fn > | 
| An invocable that reverses the order of the first two arguments.  More... | |
| struct | meta::quote< C > | 
| Turn a template Cinto an invocable.  More... | |
| struct | meta::quote_i< T, C > | 
| Turn a template Ctaking literals of typeTinto a invocable.  More... | |
| Typedefs | |
| template<invocable Fn, invocable Q = quote<list>> | |
| using | meta::curry = compose< Fn, Q > | 
| An invocable that takes a bunch of arguments, bundles them into a type list, and then calls the invocable Fnwith the type listQ. | |
| template<invocable ... Fns> | |
| using | meta::on_ = detail::on_< Fns... > | 
| Use as on<Fn, Gs...>. Creates an invocable that applies invocableFnto the result of applying invocablecompose<Gs...>to all the arguments. | |
| template<template< typename... > class C> | |
| using | meta::quote_trait = compose< quote< _t >, quote< C > > | 
| Turn a trait template Cinto an invocable.  More... | |
| template<typename T , template< T... > class C> | |
| using | meta::quote_trait_i = compose< quote< _t >, quote_i< T, C > > | 
| Turn a trait template Ctaking literals of typeTinto an invocable. | |
| template<invocable Fn> | |
| using | meta::uncurry = bind_front< quote< apply >, Fn > | 
| An invocable that takes a type list, unpacks the types, and then calls the invocable Fnwith the types. | |
Trait composition.
| using meta::quote_trait = typedef compose<quote<_t>, quote<C> > | 
#include <meta/meta.hpp>
Turn a trait template C into an invocable.