list.h

Go to the documentation of this file.

#pragma once
#include <utility>
#include <cstddef>
#include "pack.h"
 
namespace librepr {
 
template <template <typename...> class List, typename... Ts>
struct TypeListBase {
private: 
  template <std::size_t Idx>
  using do_split = pack::Split<Idx, List<Ts...>>;
 
public:
  constexpr static std::size_t size = sizeof...(Ts);
 
  template <template <typename> class F>
  using map = List<F<Ts>...>;
 
  template <template <typename> class F>
  using map_t = List<typename F<Ts>::type...>;
 
  template <std::size_t Idx>
    requires(sizeof...(Ts) > 0 && Idx < sizeof...(Ts))
  using get = typename pack::Split<Idx, List<Ts...>>::type;
 
  template <std::size_t Idx>
  using split = List<typename do_split<Idx>::head, typename do_split<Idx>::tail>;
 
  template <std::size_t Idx>
  using head = typename do_split<Idx>::head;
 
  template <std::size_t Idx>
  using tail = typename do_split<Idx>::tail;
 
  template <typename T>
  using append = List<Ts..., T>;
 
  template <typename T>
  using prepend = List<T, Ts...>;
 
  template <template <typename...> class T>
  using to = T<Ts...>;
 
  template <typename F, typename... Args>
  constexpr static decltype(auto) invoke(F&& callable, Args&&... args) {
    return callable.template operator()<Ts...>(std::forward<Args>(args)...);
  }
  constexpr static decltype(auto) invoke(F&& callable, Args&&... args) {…}
 
  template <typename F, typename... Args>
  constexpr static void for_each(F&& callable, Args&&... args) {
    (callable.template operator()<Ts>(std::forward<Args>(args)...), ...);
  }
  constexpr static void for_each(F&& callable, Args&&... args) {…}
 
  template <typename F, typename... Args>
  constexpr static void enumerate(F&& callable, Args&&... args) {
      [&callable, &args...]<std::size_t... Idx>(std::index_sequence<Idx...>) {
        (callable.template operator()<get<Idx>, Idx>(std::forward<Args>(args)...), ...);
      }(std::index_sequence_for<Ts...>{});
  }
  constexpr static void enumerate(F&& callable, Args&&... args) {…}
};
struct TypeListBase {…};
 
template <typename... Ts>
struct TypeList : TypeListBase<TypeList, Ts...> {};
 
template <template <auto...> class List, auto... Vs>
struct ValueListBase {
  constexpr static std::size_t size = sizeof...(Vs);
 
  template <template <typename...> class T = TypeList>
  using wrap = pack::wrap<T, Vs...>;
 
  template <template <typename...> class T = TypeList>
  using types = T<decltype(Vs)...>;
 
  template <std::size_t Idx>
    requires(sizeof...(Vs) > 0 && Idx < sizeof...(Vs))
  constexpr static auto get = wrap<>::template get<Idx>::type::value;
 
  template <std::size_t Idx>
  using do_split = pack::Split<Idx, List<Vs...>>;
 
  template <std::size_t Idx>
  using split = TypeList<pack::unwrap<List, typename do_split<Idx>::head>, 
                         pack::unwrap<List, typename do_split<Idx>::tail>>;
 
  template <std::size_t Idx>
  using head = typename do_split<Idx>::head;
 
  template <std::size_t Idx>
  using tail = typename do_split<Idx>::tail;
 
  template <auto V>
  using append = List<Vs..., V>;
 
  template <auto V>
  using prepend = List<V, Vs...>;
 
  template <template <auto...> class T>
  using to = T<Vs...>;
 
  template <typename F, typename... Args>
  constexpr static decltype(auto) invoke(F&& callable, Args&&... args) {
    return callable.template operator()<Vs...>(std::forward<Args>(args)...);
  }
  constexpr static decltype(auto) invoke(F&& callable, Args&&... args) {…}
 
  template <typename F, typename... Args>
  constexpr static void for_each(F&& callable, Args&&... args) {
    (callable.template operator()<Vs>(std::forward<Args>(args)...), ...);
  }
  constexpr static void for_each(F&& callable, Args&&... args) {…}
 
  template <typename F, typename... Args>
  constexpr static void enumerate(F&& callable, Args&&... args) {
      [&callable, &args...]<std::size_t... Idx>(std::index_sequence<Idx...>) {
        (callable.template operator()<get<Idx>, Idx>(std::forward<Args>(args)...), ...);
      }(std::make_index_sequence<sizeof...(Vs)>{});
  }
  constexpr static void enumerate(F&& callable, Args&&... args) {…}
};
struct ValueListBase {…};
 
template <auto... Vs>
struct ValueList : ValueListBase<ValueList, Vs...> {};
 
}  // namespace librepr