Module macros

Constructor Macros

This module provides macros that can be used to create bitvec data buffers at compile time. Each data structure has a corresponding macro:

• BitSlice has bits!
• BitArray has bitarr! (and BitArr! to produce type expressions)
• BitBox has bitbox!
• BitVec has bitvec!

These macros take a sequence of bit literals, as well as some optional control prefixes, and expand to code that is generally solvable at compile-time. The provided bit-orderings Lsb0 and Msb0 have implementations that can be used in const contexts, while third-party user-provided orderings cannot be used in const contexts but almost certainly can be const-folded by LLVM.

The sequences are encoded into element literals during compilation, and will be correctly encoded into the target binary. This is even true for targets with differing byte-endianness than the host compiler.

See each macro for documentation on its invocation syntax. The general pattern is [modifier] [T, O;] bits…. The modifiers influence the nature of the produced binding, the [T, O;] pair provides type parameters when the default is undesirable, and the bits… provides the actual contents of the data buffer.