bv-sized-0.2.1: a BitVector datatype that is parameterized by the vector width (Index)

bv-sized-0.2.1: a BitVector datatype that is parameterized by the vector width

Index

<:	Data.BitVector.Sized.BitLayout
<:>	Data.BitVector.Sized
BitLayout	Data.BitVector.Sized.BitLayout
BitVector	Data.BitVector.Sized
bitVector	Data.BitVector.Sized
BV	Data.BitVector.Sized
bvAbs	Data.BitVector.Sized
bvAdd	Data.BitVector.Sized
bvAnd	Data.BitVector.Sized
bvComplement	Data.BitVector.Sized
bvConcat	Data.BitVector.Sized
bvDivS	Data.BitVector.Sized
bvDivU	Data.BitVector.Sized
bvExtract	Data.BitVector.Sized
bvExtractWithRepr	Data.BitVector.Sized
bvIntegerS	Data.BitVector.Sized
bvIntegerU	Data.BitVector.Sized
bvLTS	Data.BitVector.Sized
bvLTU	Data.BitVector.Sized
bvMul	Data.BitVector.Sized
bvMulFS	Data.BitVector.Sized
bvMulFSU	Data.BitVector.Sized
bvMulFU	Data.BitVector.Sized
bvNegate	Data.BitVector.Sized
bvOr	Data.BitVector.Sized
bvPopCount	Data.BitVector.Sized
bvRotate	Data.BitVector.Sized
bvSext	Data.BitVector.Sized
bvSextWithRepr	Data.BitVector.Sized
bvShift	Data.BitVector.Sized
bvShiftL	Data.BitVector.Sized
bvShiftRA	Data.BitVector.Sized
bvShiftRL	Data.BitVector.Sized
bvSignum	Data.BitVector.Sized
bvTestBit	Data.BitVector.Sized
bvTruncBits	Data.BitVector.Sized
bvWidth	Data.BitVector.Sized
bvXor	Data.BitVector.Sized
bvZext	Data.BitVector.Sized
bvZextWithRepr	Data.BitVector.Sized
Chunk
1 (Type/Class)	Data.BitVector.Sized.BitLayout
2 (Data Constructor)	Data.BitVector.Sized.BitLayout
chunk	Data.BitVector.Sized.BitLayout
empty	Data.BitVector.Sized.BitLayout
extract	Data.BitVector.Sized.BitLayout
inject	Data.BitVector.Sized.BitLayout
layoutLens	Data.BitVector.Sized.BitLayout