Iros
 
Loading...
Searching...
No Matches
function.h File Reference
#include "di/meta/core.h"
#include "di/platform/compiler.h"

Go to the source code of this file.

Classes

struct  di::meta::detail::DeferHelper< typename,... >
 
struct  di::meta::detail::DeferHelper< Fun, Args... >
 
struct  di::meta::Quote< Fun >
 
struct  di::meta::detail::ApplyHelper< F, List< Args... > >
 
struct  di::meta::Uncurry< Fun >
 
struct  di::meta::BindFront< MetaFn, Bound >
 
struct  di::meta::BindBack< MetaFn, Bound >
 
struct  di::meta::Flip< MetaFn >
 
struct  di::meta::detail::ComposeHelper< F >
 
struct  di::meta::detail::ComposeHelper< F, G >
 
struct  di::meta::detail::ComposeHelper< F, Gs... >
 
struct  di::meta::detail::ChainHelper< F >
 
struct  di::meta::detail::ChainHelper< F, G >
 
struct  di::meta::detail::ChainHelper< F, Gs... >
 
struct  di::meta::SameAs< T >
 
struct  di::meta::Not< MetaFn >
 

Namespaces

namespace  di
 
namespace  di::concepts
 
namespace  di::meta
 
namespace  di::meta::detail
 

Concepts

concept  di::concepts::ValidInstantiation
 
concept  di::concepts::MetaInvocable
 

Typedefs

template<template< typename... > typename Fun, typename... Args>
using di::meta::Defer = detail::DeferHelper<Fun, Args...>
 
template<concepts::MetaInvocable Fun, typename... Args>
using di::meta::Invoke = Type<Defer<Fun::template Invoke, Args...>>
 
template<concepts::MetaInvocable F, concepts::TypeList T>
using di::meta::Apply = Type<detail::ApplyHelper<F, T>>
 
template<concepts::MetaInvocable... Funs>
using di::meta::Compose = detail::ComposeHelper<Funs...>
 
template<concepts::MetaInvocable... Funs>
using di::meta::Chain = detail::ChainHelper<Funs...>