function_traits.hpp

#ifndef PRE_TYPE_TRAITS_FUNCTION_TRAITS_HPP
#define PRE_TYPE_TRAITS_FUNCTION_TRAITS_HPP

#include <pre/type_traits/detail/function_traits_impl.hpp>

namespace pre { namespace type_traits {
    
  template<typename F, typename = void>
  struct function_traits;

  template<typename F> 
  struct function_traits<F, detail::enable_if_is_lambda_t<F> > 
    : public detail::function_traits_impl<decltype(&F::operator())> {};

  template<typename F>
  struct function_traits<F, detail::enable_if_is_function_t<F> >
    : public detail::function_traits_impl<typename std::remove_pointer<F>::type> {};

  template<typename F>
  struct function_traits<F, detail::enable_if_is_function_member_pointer_t<F> >
    : public detail::function_traits_impl_member<F> {};
  

}}


#endif /*PRE_TYPE_TRAITS_FUNCTION_TRAITS_HPP*/