Mark member function definitions with the necessary 'requires' clauses.

include/sampleflow/consumers/auto_covariance_matrix.h

@@ -357,6 +357,7 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (Concepts::is_vector_space_type<InputType>)
     AutoCovarianceMatrix<InputType>::
     AutoCovarianceMatrix (unsigned int lag_length)
       :
@@ -368,6 +369,7 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (Concepts::is_vector_space_type<InputType>)
     AutoCovarianceMatrix<InputType>::
     ~AutoCovarianceMatrix ()
     {
@@ -376,6 +378,7 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (Concepts::is_vector_space_type<InputType>)
     void
     AutoCovarianceMatrix<InputType>::
     consume (InputType sample, AuxiliaryData /*aux_data*/)
@@ -485,6 +488,7 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (Concepts::is_vector_space_type<InputType>)
     typename AutoCovarianceMatrix<InputType>::value_type
     AutoCovarianceMatrix<InputType>::
     get () const

include/sampleflow/consumers/auto_covariance_trace.h

@@ -397,6 +397,7 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (Concepts::is_vector_space_type<InputType>)
     AutoCovarianceTrace<InputType>::
     AutoCovarianceTrace (unsigned int lag_length)
       :
@@ -408,14 +409,17 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (Concepts::is_vector_space_type<InputType>)
     AutoCovarianceTrace<InputType>::
     ~AutoCovarianceTrace ()
     {
       this->disconnect_and_flush();
     }
 
 
+
     template <typename InputType>
+    requires (Concepts::is_vector_space_type<InputType>)
     void
     AutoCovarianceTrace<InputType>::
     consume (InputType sample, AuxiliaryData /*aux_data*/)
@@ -520,6 +524,7 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (Concepts::is_vector_space_type<InputType>)
     typename AutoCovarianceTrace<InputType>::value_type
     AutoCovarianceTrace<InputType>::
     get () const

include/sampleflow/consumers/average_cosinus.h

@@ -129,6 +129,7 @@ namespace SampleFlow
     };
 
     template <typename InputType>
+    requires (Concepts::is_vector_space_type<InputType>)
     AverageCosineBetweenSuccessiveSamples<InputType>::
     AverageCosineBetweenSuccessiveSamples (const unsigned int length)
       :
@@ -141,6 +142,7 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (Concepts::is_vector_space_type<InputType>)
     AverageCosineBetweenSuccessiveSamples<InputType>::
     ~AverageCosineBetweenSuccessiveSamples ()
     {
@@ -150,6 +152,7 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (Concepts::is_vector_space_type<InputType>)
     void
     AverageCosineBetweenSuccessiveSamples<InputType>::
     consume (InputType sample, AuxiliaryData /*aux_data*/)
@@ -216,8 +219,10 @@ namespace SampleFlow
         }
     }
 
-//return value
+
+
     template <typename InputType>
+    requires (Concepts::is_vector_space_type<InputType>)
     std::vector<typename InputType::value_type>
     AverageCosineBetweenSuccessiveSamples<InputType>::
     get () const

include/sampleflow/consumers/covariance_matrix.h

@@ -140,6 +140,7 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (Concepts::is_vector_space_type<InputType>)
     CovarianceMatrix<InputType>::
     CovarianceMatrix ()
       :
@@ -152,6 +153,7 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (Concepts::is_vector_space_type<InputType>)
     CovarianceMatrix<InputType>::
     ~CovarianceMatrix ()
     {
@@ -161,6 +163,7 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (Concepts::is_vector_space_type<InputType>)
     void
     CovarianceMatrix<InputType>::
     consume (InputType sample, AuxiliaryData /*aux_data*/)
@@ -206,6 +209,7 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (Concepts::is_vector_space_type<InputType>)
     typename CovarianceMatrix<InputType>::value_type
     CovarianceMatrix<InputType>::
     get () const

include/sampleflow/consumers/histogram.h

@@ -254,6 +254,7 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (std::is_arithmetic_v<InputType>)
     Histogram<InputType>::
     Histogram (const double min_value,
                const double max_value,
@@ -278,6 +279,7 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (std::is_arithmetic_v<InputType>)
     Histogram<InputType>::
     Histogram (const double min_pre_value,
                const double max_pre_value,
@@ -312,6 +314,7 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (std::is_arithmetic_v<InputType>)
     Histogram<InputType>::
     Histogram (const Histogram<InputType> &o)
       :
@@ -325,6 +328,7 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (std::is_arithmetic_v<InputType>)
     Histogram<InputType>::
     ~Histogram ()
     {
@@ -334,6 +338,7 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (std::is_arithmetic_v<InputType>)
     void
     Histogram<InputType>::
     consume (InputType sample, AuxiliaryData /*aux_data*/)
@@ -355,6 +360,7 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (std::is_arithmetic_v<InputType>)
     typename Histogram<InputType>::value_type
     Histogram<InputType>::
     get () const
@@ -384,6 +390,7 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (std::is_arithmetic_v<InputType>)
     void
     Histogram<InputType>::
     write_gnuplot(std::ostream &&output_stream) const
@@ -406,6 +413,7 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (std::is_arithmetic_v<InputType>)
     unsigned int
     Histogram<InputType>::
     bin_number (const double value) const

include/sampleflow/consumers/mean_value.h

@@ -156,6 +156,7 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (Concepts::is_vector_space_type<InputType>)
     MeanValue<InputType>::
     MeanValue ()
       :
@@ -168,6 +169,7 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (Concepts::is_vector_space_type<InputType>)
     MeanValue<InputType>::
     ~MeanValue ()
     {
@@ -177,6 +179,7 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (Concepts::is_vector_space_type<InputType>)
     void
     MeanValue<InputType>::
     consume (InputType sample, AuxiliaryData /*aux_data*/)
@@ -207,6 +210,7 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (Concepts::is_vector_space_type<InputType>)
     typename MeanValue<InputType>::value_type
     MeanValue<InputType>::
     get () const

include/sampleflow/consumers/pair_histogram.h

@@ -279,6 +279,9 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (Concepts::has_subscript_operator<InputType> &&
+              Concepts::has_size_function<InputType> &&
+              std::is_arithmetic_v<types::ScalarType<InputType>>)
     PairHistogram<InputType>::
     PairHistogram (const double min_x_value,
                    const double max_x_value,
@@ -322,6 +325,9 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (Concepts::has_subscript_operator<InputType> &&
+              Concepts::has_size_function<InputType> &&
+              std::is_arithmetic_v<types::ScalarType<InputType>>)
     PairHistogram<InputType>::
     PairHistogram (const double min_x_pre_value,
                    const double max_x_pre_value,
@@ -381,6 +387,9 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (Concepts::has_subscript_operator<InputType> &&
+              Concepts::has_size_function<InputType> &&
+              std::is_arithmetic_v<types::ScalarType<InputType>>)
     PairHistogram<InputType>::
     PairHistogram (const PairHistogram<InputType> &o)
       :
@@ -395,6 +404,9 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (Concepts::has_subscript_operator<InputType> &&
+              Concepts::has_size_function<InputType> &&
+              std::is_arithmetic_v<types::ScalarType<InputType>>)
     PairHistogram<InputType>::
     ~PairHistogram ()
     {
@@ -404,6 +416,9 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (Concepts::has_subscript_operator<InputType> &&
+              Concepts::has_size_function<InputType> &&
+              std::is_arithmetic_v<types::ScalarType<InputType>>)
     void
     PairHistogram<InputType>::
     consume (InputType sample, AuxiliaryData /*aux_data*/)
@@ -433,6 +448,9 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (Concepts::has_subscript_operator<InputType> &&
+              Concepts::has_size_function<InputType> &&
+              std::is_arithmetic_v<types::ScalarType<InputType>>)
     typename PairHistogram<InputType>::value_type
     PairHistogram<InputType>::
     get () const
@@ -467,6 +485,9 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (Concepts::has_subscript_operator<InputType> &&
+              Concepts::has_size_function<InputType> &&
+              std::is_arithmetic_v<types::ScalarType<InputType>>)
     void
     PairHistogram<InputType>::
     write_gnuplot(std::ostream &&output_stream) const
@@ -549,6 +570,9 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (Concepts::has_subscript_operator<InputType> &&
+              Concepts::has_size_function<InputType> &&
+              std::is_arithmetic_v<types::ScalarType<InputType>>)
     unsigned int
     PairHistogram<InputType>::
     x_bin_number (const double value) const
@@ -572,6 +596,9 @@ namespace SampleFlow
 
 
     template <typename InputType>
+    requires (Concepts::has_subscript_operator<InputType> &&
+              Concepts::has_size_function<InputType> &&
+              std::is_arithmetic_v<types::ScalarType<InputType>>)
     unsigned int
     PairHistogram<InputType>::
     y_bin_number (const double value) const

include/sampleflow/producer.h

@@ -201,6 +201,7 @@ namespace SampleFlow
 
 
   template <typename OutputType>
+  requires (Concepts::is_valid_sampletype<OutputType>)
   Producer<OutputType>::Producer (Producer &&producer)
     :
     // Conceptually, it would be nice to move the rhs signals
@@ -219,6 +220,7 @@ namespace SampleFlow
 
 
   template <typename OutputType>
+  requires (Concepts::is_valid_sampletype<OutputType>)
   Producer<OutputType>::~Producer ()
   {
     disconnect_consumers(*this);