#include "packbits-write.hpp"

namespace floormat::detail_Pack_output {

using u32 = uint32_t;
using u8 = uint8_t;
template<size_t N> using f32 = output_field<u32, N>;
template<size_t N> using f8 = output_field<u8, N>;

static_assert(count_bits<u32, std::tuple< f32<2>, f32<3>, f32<5>> >::length == 10);
static_assert(count_bits<u8, std::tuple<>>::length == 0);
//static_assert(count_bits<u8, std::tuple<f8<9>>>::length == 0);

template u32 write_(output<u32, 32>, std::index_sequence<0>, const std::tuple<f32<1>>&);

static_assert(output<u32, 32>::next<1>::Capacity == 31);
static_assert(output<u32, 32>::next<1>::next<2>::Capacity == 29);

template<size_t N> using f32 = output_field<u32, N>;

#if 0
static_assert(write_(output<u32, 32>{0},
                     f32<2>{0b10},
                     f32<3>{0b011},
                     f32<3>{0b001}) == 0b000101110);
#endif

} // namespace floormat::detail_Pack_output