#ifndef EOLIAN_CXX_ATTRIBUTES_HH
#define EOLIAN_CXX_ATTRIBUTES_HH

#include <tuple>
#include <type_traits>
#include "grammar/type_traits.hpp"

namespace efl { namespace eolian { namespace grammar {

namespace attributes {

struct unused_type {};
unused_type const unused = {};
        
template <int N, typename Tuple, typename Enable = void>
struct tuple_element;

template <int N, typename Tuple>
struct tuple_element<N, Tuple, typename std::enable_if
                     <type_traits::is_std_tuple<Tuple>::value>::type> : std::tuple_element<N, Tuple>
{};
        
template <int N, typename Tuple>
typename tuple_element<N, typename std::remove_const<Tuple>::type>::type get_adl(Tuple& tuple)
{
  using std::get;
  return get<N>(tuple);
}
  
template <int I, typename Tuple>
struct lazy_offset_tuple
{
   lazy_offset_tuple(Tuple& tuple)
     : tuple(tuple) {}

   template <int N>
   typename tuple_element<N+I, typename std::remove_const<Tuple>::type>::type get() const
   {
      return attributes::get_adl<N+I>(tuple);
   }
  
   Tuple& tuple;
};

}
namespace type_traits {
template <int N, typename T>
struct is_tuple<attributes::lazy_offset_tuple<N, T>> : std::true_type {};
template <int N,  typename T>
struct is_explicit_tuple<attributes::lazy_offset_tuple<N, T>> : std::true_type {};
}
namespace attributes {
  
template <typename T>
struct infinite_tuple
{
  T object;
};

template <typename T>
infinite_tuple<T> make_infinite_tuple(T&& object)
{
  return infinite_tuple<T>{std::forward<T>(object)};
}

template <int N, typename T>
struct tuple_element<N, infinite_tuple<T>>
{
  typedef T type;
  static type& get(infinite_tuple<T>& tuple) { return tuple.object; }
  static type const& get(infinite_tuple<T> const& tuple) { return tuple.object; }
};
template <int N, typename T>
struct tuple_element<N, infinite_tuple<T> const> : tuple_element<N, infinite_tuple<T>> {};
template <int N, typename T>
typename tuple_element<N, infinite_tuple<T>>::type&
get(infinite_tuple<T>& tuple)
{
  return tuple_element<N, infinite_tuple<T>>::get(tuple);
}
template <int N, typename T>
typename tuple_element<N, infinite_tuple<T>>::type const&
get(infinite_tuple<T> const& tuple)
{
  return tuple_element<N, infinite_tuple<T>>::get(tuple);
}
  
}

namespace type_traits {
template <typename T>
struct is_tuple<attributes::infinite_tuple<T>> : std::true_type {};
template <typename T>
struct is_explicit_tuple<attributes::infinite_tuple<T>> : std::true_type {};
}
namespace attributes {

template <int N, int I, typename Tuple>
struct tuple_element<N, lazy_offset_tuple<I, Tuple>> : tuple_element<N+I, typename std::remove_const<Tuple>::type>
{};
template <int N, int I, typename Tuple>
struct tuple_element<N, lazy_offset_tuple<I, Tuple> const> : tuple_element<N+I, typename std::remove_const<Tuple>::type>
{};

template <int N, int I, typename Tuple>
typename tuple_element<N, lazy_offset_tuple<I, Tuple> const>::type
 get(lazy_offset_tuple<I, Tuple> const& tuple)
{
   return tuple.template get<N>();
}
        
template <typename Tuple>
lazy_offset_tuple<1, Tuple> pop_front(Tuple& tuple, typename std::enable_if<type_traits::is_tuple<Tuple>::value>::type* = 0)
{
   return lazy_offset_tuple<1, Tuple>(tuple);
}

template <int N, typename Tuple>
lazy_offset_tuple<N + 1, Tuple> pop_front(lazy_offset_tuple<N, Tuple> tuple, typename std::enable_if<type_traits::is_tuple<Tuple>::value>::type* = 0)
{
   return lazy_offset_tuple<N + 1, Tuple>(tuple.tuple);
}

template <int I, typename Tuple>
lazy_offset_tuple<I, Tuple> pop_front_n(Tuple& tuple, typename std::enable_if<type_traits::is_tuple<Tuple>::value && I>::type* = 0)
{
   return lazy_offset_tuple<I, Tuple>(tuple);
}
template <int I, typename Tuple>
Tuple& pop_front_n(Tuple& tuple, typename std::enable_if<I == 0>::type* = 0)
{
   return tuple;
}

template <int I, int N, typename Tuple>
lazy_offset_tuple<N + I, Tuple> pop_front_n(lazy_offset_tuple<N, Tuple> tuple, typename std::enable_if<type_traits::is_tuple<Tuple>::value>::type* = 0)
{
   return lazy_offset_tuple<N + I, Tuple>(tuple.tuple);
}

template <typename Generator, typename OutputIterator, typename Attribute, typename Context>
bool generate(Generator const& gen, OutputIterator sink, Attribute const& attribute, Context const& context
              , typename std::enable_if
              <type_traits::is_explicit_tuple<Attribute>::value
              && !type_traits::accepts_tuple<Generator>::value
              && type_traits::attributes_needed<Generator>::value != 0
              >::type* = 0)
{
   return gen.generate(sink, get<0>(attribute), context);
}

template <typename Generator, typename OutputIterator, typename Attribute, typename Context>
bool generate(Generator const& gen, OutputIterator sink, Attribute const& attribute, Context const& context
              , typename std::enable_if
              <type_traits::is_explicit_tuple<Attribute>::value
              && type_traits::accepts_tuple<Generator>::value
              && type_traits::attributes_needed<Generator>::value != 0
              >::type* = 0)
{
   return gen.generate(sink, attribute, context);
}
  
template <typename Generator, typename OutputIterator, typename Attribute, typename Context>
bool generate(Generator const& gen, OutputIterator sink, Attribute const&
              , Context const& context
              , typename std::enable_if
              <type_traits::attributes_needed<Generator>::value == 0
              >::type* = 0)
{
   return gen.generate(sink, unused, context);
}

template <typename Generator, typename OutputIterator, typename Attribute, typename Context>
bool generate(Generator const& gen, OutputIterator sink, Attribute const& attribute, Context const& context
              , typename std::enable_if
              <!type_traits::is_explicit_tuple<Attribute>::value
              && type_traits::attributes_needed<Generator>::value != 0
              >::type* = 0)
{
   return gen.generate(sink, attribute, context);
}
  
} } } }

#endif