about summary refs log tree commit diff
path: root/third_party/immer/extra/guile/scm/detail/pack.hpp
blob: 9a1813570bcd8b5d2d9ee5b7190fba747575c72e (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
//
// immer: immutable data structures for C++
// Copyright (C) 2016, 2017, 2018 Juan Pedro Bolivar Puente
//
// This software is distributed under the Boost Software License, Version 1.0.
// See accompanying file LICENSE or copy at http://boost.org/LICENSE_1_0.txt
//

#pragma once

namespace scm {
namespace detail {

struct none_t;

template <typename... Ts>
struct pack {};

template <typename Pack>
struct pack_size;

template <typename... Ts>
struct pack_size<pack<Ts...>>
{
    static constexpr auto value = sizeof...(Ts);
};

template <typename Pack>
constexpr auto pack_size_v = pack_size<Pack>::value;

template <typename Pack>
struct pack_last
{
    using type = none_t;
};

template <typename T, typename ...Ts>
struct pack_last<pack<T, Ts...>>
    : pack_last<pack<Ts...>>
{};

template <typename T>
struct pack_last<pack<T>>
{
    using type = T;
};

template <typename Pack>
using pack_last_t = typename pack_last<Pack>::type;

} // namespace detail
} // namespace scm