set_difference.hpp

// Copyright (C) 2013, Ennio Barbaro.
//
// Use, modification, and distribution is subject to 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)
//
// See http://sbabbi.github.io/tinympl for documentation.
//
// You are welcome to contact the author at:
//  enniobarbaro@gmail.com
//

#ifndef TINYMPL_SET_DIFFERENCE_HPP
#define TINYMPL_SET_DIFFERENCE_HPP

#include <tinympl/variadic/remove_if.hpp>
#include <tinympl/variadic/count.hpp>
#include <tinympl/as_sequence.hpp>
#include <tinympl/sequence.hpp>
#include <tinympl/bind.hpp>

namespace tinympl {

template<class SequenceA,
        class SequenceB,
        template<class ...> class Out = as_sequence<SequenceA>::template rebind>
struct set_difference :
    set_difference< as_sequence_t<SequenceA>, as_sequence_t<SequenceB>, Out> {};

template<class ... Ts,
        class ... Us,
        template<class ...> class Out>
struct set_difference<sequence<Ts...>, sequence<Us...>, Out> :
        variadic::remove_if<
            bind<variadic::count, arg1, Us...>::template eval_t,
            Out,
            Ts...> {};

} // namespace tinympl

#endif // TINYMPL_SET_DIFFERENCE_HPP