Cleanup includes (#12)

- remove dependency on `boost::optional`
- remove dependency on `boost::mpl` (remove `function_types`)
- remove `is_there_in_sequence`
- remove `copy_into_variadic`

Author: lukasm91

include/cpp_bindgen/common/any_moveable.hpp

@@ -17,7 +17,7 @@
 namespace cpp_bindgen {
 
     struct bad_any_cast : std::bad_cast {
-        const char *what() const noexcept override { return "gridtools::bad_any_cast"; }
+        const char *what() const noexcept override { return "cpp_bindgen::bad_any_cast"; }
     };
 
     /**

include/cpp_bindgen/common/copy_into_variadic.hpp

@@ -0,0 +1,22 @@
+/*
+ * GridTools
+ *
+ * Copyright (c) 2014-2019, ETH Zurich
+ * All rights reserved.
+ *
+ * Please, refer to the LICENSE file in the root directory.
+ * SPDX-License-Identifier: BSD-3-Clause
+ */
+#pragma once
+
+#include <type_traits>
+
+namespace cpp_bindgen {
+
+    template <class...>
+    struct disjunction : std::false_type {};
+    template <class B1>
+    struct disjunction<B1> : B1 {};
+    template <class B1, class... Bn>
+    struct disjunction<B1, Bn...> : std::conditional<bool(B1::value), B1, disjunction<Bn...>>::type {};
+} // namespace cpp_bindgen

include/cpp_bindgen/common/disjunction.hpp

@@ -36,13 +36,6 @@ namespace cpp_bindgen {
         };
     } // namespace for_each_detail
 
-    /** \ingroup common
-        @{
-        \ingroup allmeta
-        @{
-        \defgroup foreach For Each
-        @{
-    */
     /// Calls fun(T{}) for each element of the type list List.
     template <class List, class Fun>
     void for_each(Fun const &fun) {
@@ -60,9 +53,5 @@ namespace cpp_bindgen {
     template <class List, class Fun>
     void for_each_type(Fun const &fun) {
         for_each_detail::for_each_type_impl<List>::exec(fun);
-    };
-
-    /** @} */
-    /** @} */
-    /** @} */
+    }
 } // namespace cpp_bindgen

include/cpp_bindgen/common/for_each.hpp

@@ -0,0 +1,53 @@
+/*
+ * GridTools
+ *
+ * Copyright (c) 2014-2019, ETH Zurich
+ * All rights reserved.
+ *
+ * Please, refer to the LICENSE file in the root directory.
+ * SPDX-License-Identifier: BSD-3-Clause
+ */
+#pragma once
+
+#include <tuple>
+#include <type_traits>
+
+namespace cpp_bindgen {
+    namespace function_traits {
+        namespace _impl {
+            template <class>
+            struct parameter_types_helper;
+
+            template <class Ret, class... Args>
+            struct parameter_types_helper<Ret(Args...)> {
+                using type = std::tuple<Args...>;
+            };
+
+            template <class>
+            struct result_type_helper;
+
+            template <class Ret, class... Args>
+            struct result_type_helper<Ret(Args...)> {
+                using type = Ret;
+            };
+
+            template <class>
+            struct arity_helper;
+
+            template <class Ret, class... Args>
+            struct arity_helper<Ret(Args...)> {
+                static constexpr std::size_t value = sizeof...(Args);
+            };
+        } // namespace _impl
+
+        template <class F, typename std::enable_if<std::is_function<F>::value, int>::type = 0>
+        struct parameter_types : _impl::parameter_types_helper<typename std::remove_cv<F>::type> {};
+
+        template <class F, typename std::enable_if<std::is_function<F>::value, int>::type = 0>
+        struct result_type : _impl::result_type_helper<typename std::remove_cv<F>::type> {};
+
+        template <class F, typename std::enable_if<std::is_function<F>::value, int>::type = 0>
+        struct arity : _impl::arity_helper<typename std::remove_cv<F>::type> {};
+
+    } // namespace function_traits
+} // namespace cpp_bindgen

include/cpp_bindgen/common/function_traits.hpp

@@ -9,25 +9,21 @@
  */
 #pragma once
 
-#include <boost/function_types/function_arity.hpp>
-#include <boost/function_types/parameter_types.hpp>
-#include <boost/function_types/result_type.hpp>
-#include <boost/mpl/at.hpp>
 #include <boost/preprocessor.hpp>
 
+#include "common/function_traits.hpp"
 #include "function_wrapper.hpp"
 #include "generator.hpp"
 
-#define GEN_EXPORT_BINDING_IMPL_PARAM_DECL(z, i, signature)                                         \
-    typename boost::mpl::at_c<                                                                      \
-        typename boost::function_types::parameter_types<::cpp_bindgen::wrapped_t<signature>>::type, \
-        i>::type param_##i
+#define GEN_EXPORT_BINDING_IMPL_PARAM_DECL(z, i, signature) \
+    typename std::tuple_element<i,                          \
+        ::cpp_bindgen::function_traits::parameter_types<::cpp_bindgen::wrapped_t<signature>>::type>::type param_##i
 
-#define GEN_ADD_GENERATED_DEFINITION_IMPL(n, name, cppsignature, impl)                                           \
-    static_assert(::boost::function_types::function_arity<cppsignature>::value == n, "arity mismatch");          \
-    extern "C" typename ::boost::function_types::result_type<::cpp_bindgen::wrapped_t<cppsignature>>::type name( \
-        BOOST_PP_ENUM(n, GEN_EXPORT_BINDING_IMPL_PARAM_DECL, cppsignature)) {                                    \
-        return ::cpp_bindgen::wrap<cppsignature>(impl)(BOOST_PP_ENUM_PARAMS(n, param_));                         \
+#define GEN_ADD_GENERATED_DEFINITION_IMPL(n, name, cppsignature, impl)                                            \
+    static_assert(::cpp_bindgen::function_traits::arity<cppsignature>::value == n, "arity mismatch");             \
+    extern "C" typename ::cpp_bindgen::function_traits::result_type<::cpp_bindgen::wrapped_t<cppsignature>>::type \
+    name(BOOST_PP_ENUM(n, GEN_EXPORT_BINDING_IMPL_PARAM_DECL, cppsignature)) {                                    \
+        return ::cpp_bindgen::wrap<cppsignature>(impl)(BOOST_PP_ENUM_PARAMS(n, param_));                          \
     }
 
 /**