concepts.hpp

Go to the documentation of this file.

//=======================================================================
// Copyright (c) 2013 Robert Rosolek
//
// Distributed under the Boost Software License, Version 1.0. (See
// accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
//=======================================================================
#ifndef PAAL_CONCEPTS_HPP
#define PAAL_CONCEPTS_HPP

#include <boost/concept_check.hpp>
#include <boost/range/concepts.hpp>
#include <boost/range/iterator.hpp>

#include <type_traits>
#include <utility>

namespace paal {
namespace utils {
namespace concepts {

template <class T>
struct floating_point {
   static_assert(std::is_floating_point<T>::value,
         "T is not floating point!");
};

template <class T>
struct move_constructible {
   static_assert(std::is_move_constructible<T>::value,
         "T is not move constructible!");
};

template <class Iter, class Val>
class output_iterator {
   Iter iter;
   Val val;

   public:
      BOOST_CONCEPT_USAGE(output_iterator)
      {
         *iter = std::move(val);
         ++iter;
      }
};

template<class T>
struct readable_range {
   BOOST_CONCEPT_ASSERT((boost_concepts::ReadableIteratorConcept<
      typename boost::range_iterator<T>::type>));
};


} 
} 
} 

#endif /* PAAL_CONCEPTS_HPP */