Pretty Good Sum Type  1.0.0
Classes | Typedefs
type_traits.hpp File Reference

At this time contains only a metafunction for determining if a given type F is "callable" on a parameter pack of arguments Args More...

#include <type_traits>

Go to the source code of this file.

Classes

struct  pgs::negation< B >
 
struct  pgs::is_callable< F, Args >
 Metafunction to determine if an instance of a type F can be applied to a tuple of parameters with types determined by the template parameter pack Args More...
 

Typedefs

template<class T >
using pgs::decay_t = typename std::decay< T >::type
 
template<bool B, class T = void>
using pgs::enable_if_t = typename std::enable_if< B, T >::type
 
template<class T , class U >
using pgs::not_is_same = negation< std::is_same< T, U >>
 Convenience metafunction.
 

Detailed Description

At this time contains only a metafunction for determining if a given type F is "callable" on a parameter pack of arguments Args