util-foreach.hpp

Go to the documentation of this file.

/*
  UTIL-FOREACH.hpp  -  helpers for doing something for each element

  Copyright (C)         Lumiera.org
    2009,               Hermann Vosseler <Ichthyostega@web.de>

  This program is free software; you can redistribute it and/or
  modify it under the terms of the GNU General Public License as
  published by the Free Software Foundation; either version 2 of
  the License, or (at your option) any later version.

  This program is distributed in the hope that it will be useful,
  but WITHOUT ANY WARRANTY; without even the implied warranty of
  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  GNU General Public License for more details.

  You should have received a copy of the GNU General Public License
  along with this program; if not, write to the Free Software
  Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.

*/


#ifndef UTIL_FOREACH_H
#define UTIL_FOREACH_H

#include "lib/util.hpp"
#include "lib/meta/trait.hpp"

#include <functional>
#include <algorithm>



namespace util {
  
  using lib::meta::enable_if;
  using lib::meta::disable_if;
  
  using lib::meta::can_STL_ForEach;
  using lib::meta::can_IterForEach;
  
  
  
  template <typename IT, typename FUN>
  inline bool
  and_all (IT i, IT end, FUN predicate)
  {
    for ( ; i!=end; ++i )
      if (!predicate(*i))
        return false;
    
    return true;
  }
  
  
  template <typename IT, typename FUN>
  inline bool
  has_any (IT i, IT end, FUN predicate)
  {
    for ( ; i!=end; ++i )
      if (predicate(*i))
        return true;
    
    return false;
  }
  
  
  /* === specialisations for STL containers and Lumiera Forward Iterators === */
  
  template <typename Container
           ,typename FUN
           >
  inline                                   disable_if< can_IterForEach<Container>,
  FUN                                      >
  for_each (Container const& coll, FUN doIt)
  {
    using lib::meta::unwrap;
    
    return std::for_each (unwrap(coll).begin()
                         ,unwrap(coll).end()
                         ,             doIt);
  }
  
  
  template <typename IT
           ,typename FUN
           >
  inline   enable_if< can_IterForEach<IT>,
  FUN      >
  for_each (IT const& ii, FUN doIt)
  {
    return std::for_each (ii, IT(), doIt);
  }
  
  
  
  
  template <typename Container
           ,typename FUN
           >
  inline   enable_if< can_STL_ForEach<Container>,
  bool     >
  and_all (Container const& coll, FUN predicate)
  {
    using lib::meta::unwrap;
    
    return and_all (unwrap(coll).begin()
                   ,unwrap(coll).end()
                   ,             predicate);
  }
  
  
  template <typename IT
           ,typename FUN
           >
  inline   enable_if< can_IterForEach<IT>,
  bool     >
  and_all (IT const& ii, FUN predicate)
  {
    return and_all (ii, IT(), predicate);
  }
  
  
  
  template <typename Container
           ,typename FUN
           >
  inline   enable_if< can_STL_ForEach<Container>,
  bool     >
  has_any (Container const& coll, FUN predicate)
  {
    using lib::meta::unwrap;
    
    return has_any (unwrap(coll).begin()
                   ,unwrap(coll).end()
                   ,             predicate);
  }
  
  
  template <typename IT
           ,typename FUN
           >
  inline   enable_if< can_IterForEach<IT>,
  bool     >
  has_any (IT const& ii, FUN predicate)
  {
    return has_any (ii, IT(), predicate);
  }
  
  
  
  
  /* === allow creating argument binders on-the-fly === */
  
  
  template <typename CON, typename FUN, typename P1, typename...ARGS>
  inline void
  for_each (CON const& elements, FUN function, P1&& bind1, ARGS&& ...args) 
  {
    for_each (elements, std::bind (function, std::forward<P1>(bind1), std::forward<ARGS> (args)...));
  }
  
  
  
  
  
  template <typename CON, typename FUN, typename P1, typename...ARGS>
  inline bool
  and_all (CON const& elements, FUN function, P1&& bind1, ARGS&& ...args)
  {
    return and_all (elements, std::bind<bool> (function, std::forward<P1>(bind1), std::forward<ARGS> (args)...));
  }
  
  
  
  
  
  template <typename CON, typename FUN, typename P1, typename...ARGS>
  inline bool
  has_any (CON const& elements, FUN function, P1&& bind1, ARGS&& ...args)
  {
    return has_any (elements, std::bind<bool> (function, std::forward<P1>(bind1), std::forward<ARGS> (args)...));
  }
  
  
  
} // namespace util
#endif /*UTIL_FOREACH_H*/