Explicitly include headers and libraries

include/rapidcheck/Check.hpp

@@ -1,6 +1,7 @@
 #pragma once
 
 #include <iostream>
+#include <string>
 
 #include "rapidcheck/detail/Configuration.h"
 #include "rapidcheck/detail/Results.h"

include/rapidcheck/Classify.hpp

@@ -1,6 +1,7 @@
 #pragma once
 
 #include <string>
+#include <initializer_list>
 
 namespace rc {
 namespace detail {

include/rapidcheck/Gen.hpp

@@ -1,6 +1,7 @@
 #pragma once
 
 #include <cassert>
+#include <exception>
 
 #include "rapidcheck/detail/Any.h"
 #include "rapidcheck/detail/ImplicitParam.h"

include/rapidcheck/GenerationFailure.h

@@ -1,6 +1,7 @@
 #pragma once
 
 #include <stdexcept>
+#include <string>
 
 namespace rc {
 

include/rapidcheck/Log.hpp

@@ -1,5 +1,9 @@
 #pragma once
 
+#include <cstdlib>
+#include <ostream>
+#include <string>
+
 namespace rc {
 namespace detail {
 

include/rapidcheck/Maybe.hpp

@@ -1,5 +1,7 @@
 #pragma once
 
+#include <utility>
+
 #include "rapidcheck/Show.h"
 
 namespace rc {

include/rapidcheck/Random.h

@@ -1,7 +1,8 @@
 #pragma once
 
-#include <cstdint>
 #include <array>
+#include <cstdint>
+#include <cstdlib>
 #include <limits>
 
 namespace rc {

include/rapidcheck/Random.hpp

@@ -2,6 +2,8 @@
 
 #include "rapidcheck/detail/Serialization.h"
 
+#include <tuple>
+
 namespace rc {
 
 template <typename Iterator>

include/rapidcheck/Show.hpp

@@ -3,16 +3,19 @@
 #include <map>
 #include <vector>
 #include <deque>
-#include <forward_list>
 #include <list>
 #include <set>
 #include <unordered_set>
 #include <unordered_map>
 #include <memory>
+#include <cstdlib>
 #include <cstdint>
 #include <type_traits>
 #include <array>
 #include <sstream>
+#include <tuple>
+#include <ostream>
+#include <forward_list>
 
 #include "rapidcheck/detail/Traits.h"
 

include/rapidcheck/detail/AlignedUnion.h

@@ -1,5 +1,8 @@
 #pragma once
 
+#include <cstdlib>
+#include <type_traits>
+
 namespace rc {
 namespace detail {
 

include/rapidcheck/detail/Any.h

@@ -1,6 +1,8 @@
 #pragma once
 
+
 #include <memory>
+#include <ostream>
 #include <string>
 
 namespace rc {

include/rapidcheck/detail/Any.hpp

@@ -1,6 +1,7 @@
 #pragma once
 
 #include <cassert>
+#include <typeinfo>
 
 #include "rapidcheck/Traits.h"
 #include "rapidcheck/Show.h"

include/rapidcheck/detail/ApplyTuple.h

@@ -1,6 +1,9 @@
 #pragma once
 
-#include "rapidcheck/detail/IntSequence.h"
+#include <tuple>
+#include <utility>
+
+#include "rapidcheck/Traits.h"
 
 namespace rc {
 namespace detail {

include/rapidcheck/detail/BitStream.h

@@ -1,6 +1,7 @@
 #pragma once
 
 #include <cstdint>
+#include <type_traits>
 
 namespace rc {
 namespace detail {

include/rapidcheck/detail/BitStream.hpp

@@ -1,8 +1,10 @@
 #pragma once
 
+#include <algorithm>
 #include <limits>
 
 #include "rapidcheck/detail/Utility.h"
+#include "rapidcheck/Gen.h"
 
 namespace rc {
 namespace detail {

include/rapidcheck/detail/ExecFixture.h

@@ -1,5 +1,9 @@
 #pragma once
 
+
+#include <utility>
+#include <rapidcheck/detail/FunctionTraits.h>
+
 namespace rc {
 namespace detail {
 

include/rapidcheck/detail/FrequencyMap.h

@@ -1,6 +1,7 @@
 #pragma once
 
 #include <vector>
+#include <cstdlib>
 
 namespace rc {
 namespace detail {

include/rapidcheck/detail/FunctionTraits.h

@@ -1,6 +1,10 @@
 #pragma once
 
+#include <type_traits>
+
 #include "TypeList.h"
+#include "rapidcheck/Traits.h"
+
 
 namespace rc {
 namespace detail {

include/rapidcheck/detail/IntSequence.h

@@ -1,5 +1,8 @@
 #pragma once
 
+#include <cstdlib>
+#include <type_traits>
+
 namespace rc {
 namespace detail {
 

include/rapidcheck/detail/Serialization.h

@@ -1,5 +1,7 @@
 #pragma once
 
+#include <cstdint>
+#include <cstdlib>
 #include <stdexcept>
 #include <string>
 #include <unordered_map>

include/rapidcheck/detail/Serialization.hpp

@@ -1,6 +1,10 @@
 #include "Serialization.h"
 
+#include <algorithm>
 #include <limits>
+#include <type_traits>
+#include <utility>
+
 
 namespace rc {
 namespace detail {

include/rapidcheck/detail/ShowType.h

@@ -1,5 +1,8 @@
 #pragma once
 
+#include <iostream>
+#include <string>
+
 namespace rc {
 namespace detail {
 

include/rapidcheck/detail/TypeList.h

@@ -1,5 +1,8 @@
 #pragma once
 
+#include <tuple>
+#include <type_traits>
+
 namespace rc {
 namespace detail {
 

include/rapidcheck/detail/Utility.h

@@ -1,8 +1,11 @@
 #pragma once
 
+#include <cstdlib>
+#include <limits>
 #include <string>
 #include <tuple>
-#include <limits>
+#include <type_traits>
+#include <utility>
 
 namespace rc {
 namespace detail {

include/rapidcheck/detail/Variant.hpp

@@ -1,5 +1,7 @@
 #pragma once
 
+#include <utility>
+
 namespace rc {
 namespace detail {
 

include/rapidcheck/fn/Common.h

@@ -1,5 +1,7 @@
 #pragma once
 
+#include "rapidcheck/Traits.h"
+
 namespace rc {
 namespace fn {
 

include/rapidcheck/fn/Common.hpp

@@ -1,5 +1,10 @@
 #pragma once
 
+#include <type_traits>
+#include <utility>
+
+#include "rapidcheck/Traits.h"
+
 namespace rc {
 namespace fn {
 

include/rapidcheck/gen/Build.h

@@ -1,5 +1,7 @@
 #pragma once
 
+#include "rapidcheck/Gen.h"
+
 namespace rc {
 namespace gen {
 namespace detail {

include/rapidcheck/gen/Chrono.hpp

@@ -1,5 +1,7 @@
 #pragma once
 
+#include "rapidcheck/gen/Arbitrary.h"
+
 namespace rc {
 namespace gen {
 namespace detail {

include/rapidcheck/gen/Exec.h

@@ -1,6 +1,7 @@
 #pragma once
 
 #include "rapidcheck/detail/FunctionTraits.h"
+#include "rapidcheck/Gen.h"
 
 namespace rc {
 namespace gen {

include/rapidcheck/gen/Select.h

@@ -1,5 +1,7 @@
 #pragma once
 
+#include <initializer_list>
+
 namespace rc {
 namespace gen {
 

include/rapidcheck/gen/Select.hpp

@@ -1,5 +1,7 @@
 #pragma once
 
+#include <initializer_list>
+
 #include "rapidcheck/detail/FrequencyMap.h"
 #include "rapidcheck/gen/detail/ScaleInteger.h"
 

include/rapidcheck/gen/detail/ExecRaw.h

@@ -1,5 +1,6 @@
 #pragma once
 
+#include "rapidcheck/Gen.h"
 #include "rapidcheck/detail/FunctionTraits.h"
 #include "rapidcheck/gen/detail/Recipe.h"
 

include/rapidcheck/gen/detail/ShrinkValueIterator.hpp

@@ -1,4 +1,5 @@
 #pragma once
+#include <cstddef>
 
 namespace rc {
 namespace gen {

include/rapidcheck/seq/Create.hpp

@@ -1,6 +1,7 @@
 #pragma once
 
 #include "rapidcheck/seq/Transform.h"
+#include <cstdlib>
 
 namespace rc {
 namespace seq {
@@ -189,7 +190,7 @@ Seq<std::pair<std::size_t, std::size_t>> subranges(std::size_t start,
                        return seq::map(
                            seq::range<std::size_t>(start, end - rangeSize + 1),
                            [=](std::size_t rangeStart) {
-                             return std::make_pair(rangeStart,
+                             return std::pair<std::size_t, std::size_t>(rangeStart,
                                                    rangeStart + rangeSize);
                            });
                      });

src/GenerationFailure.cpp

@@ -1,6 +1,8 @@
 #include "rapidcheck/GenerationFailure.h"
 
+
 #include <string>
+#include <utility>
 
 namespace rc {
 

src/detail/Base64.h

@@ -1,5 +1,7 @@
 #pragma once
 
+#include <cstdint>
+#include <cstdlib>
 #include <string>
 #include <vector>
 

src/detail/FrequencyMap.cpp

@@ -1,6 +1,7 @@
 #include "rapidcheck/detail/FrequencyMap.h"
 
 #include <algorithm>
+#include <iterator>
 
 namespace rc {
 namespace detail {
@@ -15,7 +16,7 @@ FrequencyMap::FrequencyMap(const std::vector<std::size_t> &frequencies)
 }
 
 std::size_t FrequencyMap::lookup(std::size_t x) const {
-  return std::upper_bound(begin(m_table), end(m_table), x) - begin(m_table);
+  return std::upper_bound(std::begin(m_table), std::end(m_table), x) - std::begin(m_table);
 }
 
 std::size_t FrequencyMap::sum() const { return m_sum; }

src/seq/Create.cpp

@@ -0,0 +1 @@
+#include <rapidcheck/seq/Create.h>