di::concepts::BitTag Concept Reference

#include <di/bit/bitstruct/bit_tag.h>

Concept definition

template<typename T>
concept di::concepts::BitTag = 
    requires { typename meta::BitValue<T>; } && requires(meta::BitValue<T> value, BitSet<0> bitset, T const tag) {
        T::value_into_bits(bitset, value);
        { T::bits_into_value(bitset) } -> SameAs<meta::BitValue<T>>;
        { tag.get() } -> SameAs<meta::BitValue<T>>;
    } && ConstructibleFrom<T, meta::BitValue<T>>