is_unique.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_VARIADIC_IS_UNIQUE_HPP
#define TINYMPL_VARIADIC_IS_UNIQUE_HPP

#include <tinympl/variadic/find.hpp>
#include <type_traits>

namespace tinympl {
namespace variadic {

template<class ... Args> struct is_unique;

template<class Head, class ... Tail>
struct is_unique<Head, Tail...> : std::conditional <
    find<Head, Tail...>::type::value == sizeof ...( Tail ),
    typename is_unique<Tail...>::type,
    std::integral_constant<bool, false> >::type
{};

template<> struct is_unique<> :
        std::integral_constant<bool, true>
{};


} // namespace variadic
} // namespace tinympl

#endif // TINYMPL_VARIADIC_IS_UNIQUE_HPP