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

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

Index

<:>	Data.BitVector.Sized.Internal, Data.BitVector.Sized
BitVector	Data.BitVector.Sized.Internal, Data.BitVector.Sized
BV	Data.BitVector.Sized.Internal
bv	Data.BitVector.Sized.Internal, Data.BitVector.Sized
bvAbs	Data.BitVector.Sized.Internal
bvAdd	Data.BitVector.Sized.Internal
bvAnd	Data.BitVector.Sized.Internal
bvComplement	Data.BitVector.Sized.Internal
bvConcat	Data.BitVector.Sized.Internal, Data.BitVector.Sized
bvExtract	Data.BitVector.Sized.Internal, Data.BitVector.Sized
bvExtractWithRepr	Data.BitVector.Sized.Internal
bvIntegerS	Data.BitVector.Sized.Internal, Data.BitVector.Sized
bvIntegerU	Data.BitVector.Sized.Internal, Data.BitVector.Sized
bvMul	Data.BitVector.Sized.Internal
bvNegate	Data.BitVector.Sized.Internal
bvOr	Data.BitVector.Sized.Internal
bvPopCount	Data.BitVector.Sized.Internal
bvRotate	Data.BitVector.Sized.Internal
bvSext	Data.BitVector.Sized.Internal, Data.BitVector.Sized
bvSextWithRepr	Data.BitVector.Sized.Internal
bvShift	Data.BitVector.Sized.Internal
bvSignum	Data.BitVector.Sized.Internal
bvTestBit	Data.BitVector.Sized.Internal
bvWidth	Data.BitVector.Sized.Internal
bvXor	Data.BitVector.Sized.Internal
bvZext	Data.BitVector.Sized.Internal, Data.BitVector.Sized
bvZextWithRepr	Data.BitVector.Sized.Internal