bv-sized-1.0.3: a bitvector datatype that is parameterized by the vector width

Index

absData.BitVector.Sized
addData.BitVector.Sized
addOfData.BitVector.Sized.Overflow
andData.BitVector.Sized
asBitsBEData.BitVector.Sized
asBitsLEData.BitVector.Sized
asBV 
1 (Function)Data.BitVector.Sized.Signed
2 (Function)Data.BitVector.Sized.Unsigned
asBytesBEData.BitVector.Sized
asBytesLEData.BitVector.Sized
asBytestringBEData.BitVector.Sized
asBytestringLEData.BitVector.Sized
ashrData.BitVector.Sized
asNaturalData.BitVector.Sized
asSignedData.BitVector.Sized
asUnsignedData.BitVector.Sized
bitData.BitVector.Sized
bit'Data.BitVector.Sized
bitsBEData.BitVector.Sized
bitsLEData.BitVector.Sized
boolData.BitVector.Sized
BV 
1 (Type/Class)Data.BitVector.Sized
2 (Data Constructor)Data.BitVector.Sized
bytesBEData.BitVector.Sized
bytesLEData.BitVector.Sized
bytestringBEData.BitVector.Sized
bytestringLEData.BitVector.Sized
clearBitData.BitVector.Sized
clearBit'Data.BitVector.Sized
clzData.BitVector.Sized
complementData.BitVector.Sized
complementBitData.BitVector.Sized
complementBit'Data.BitVector.Sized
concatData.BitVector.Sized
ctzData.BitVector.Sized
enumFromToSignedData.BitVector.Sized
enumFromToUnsignedData.BitVector.Sized
int16Data.BitVector.Sized
int32Data.BitVector.Sized
int64Data.BitVector.Sized
int8Data.BitVector.Sized
knownNatData.BitVector.Sized
lshrData.BitVector.Sized
maxSignedData.BitVector.Sized
maxUnsignedData.BitVector.Sized
minSignedData.BitVector.Sized
minUnsignedData.BitVector.Sized
mkBVData.BitVector.Sized
mkBVSignedData.BitVector.Sized
mkBVUnsignedData.BitVector.Sized
mkSignedBVData.BitVector.Sized.Signed
mkUnsignedBVData.BitVector.Sized.Unsigned
mulData.BitVector.Sized
mulOfData.BitVector.Sized.Overflow
mulWideData.BitVector.Sized
NatReprData.BitVector.Sized
negateData.BitVector.Sized
NoSignedOverflowData.BitVector.Sized.Overflow
NoUnsignedOverflowData.BitVector.Sized.Overflow
ofResultData.BitVector.Sized.Overflow
ofSignedData.BitVector.Sized.Overflow
ofUnsignedData.BitVector.Sized.Overflow
oneData.BitVector.Sized
orData.BitVector.Sized
Overflow 
1 (Type/Class)Data.BitVector.Sized.Overflow
2 (Data Constructor)Data.BitVector.Sized.Overflow
popCountData.BitVector.Sized
ppBinData.BitVector.Sized
ppDecData.BitVector.Sized
ppHexData.BitVector.Sized
ppOctData.BitVector.Sized
predSignedData.BitVector.Sized
predUnsignedData.BitVector.Sized
rotateLData.BitVector.Sized
rotateRData.BitVector.Sized
sdivData.BitVector.Sized
sdivModData.BitVector.Sized
sdivOfData.BitVector.Sized.Overflow
selectData.BitVector.Sized
select'Data.BitVector.Sized
setBitData.BitVector.Sized
setBit'Data.BitVector.Sized
sextData.BitVector.Sized
shlData.BitVector.Sized
shlOfData.BitVector.Sized.Overflow
signBitData.BitVector.Sized
SignedBV 
1 (Type/Class)Data.BitVector.Sized.Signed
2 (Data Constructor)Data.BitVector.Sized.Signed
signedClampData.BitVector.Sized
SignedOverflow 
1 (Type/Class)Data.BitVector.Sized.Overflow
2 (Data Constructor)Data.BitVector.Sized.Overflow
signumData.BitVector.Sized
sleData.BitVector.Sized
sltData.BitVector.Sized
smaxData.BitVector.Sized
sminData.BitVector.Sized
smodData.BitVector.Sized
smodOfData.BitVector.Sized.Overflow
squotData.BitVector.Sized
squotOfData.BitVector.Sized.Overflow
squotRemData.BitVector.Sized
sremData.BitVector.Sized
sremOfData.BitVector.Sized.Overflow
subData.BitVector.Sized
subOfData.BitVector.Sized.Overflow
succSignedData.BitVector.Sized
succUnsignedData.BitVector.Sized
sUniformRMData.BitVector.Sized
testBitData.BitVector.Sized
testBit'Data.BitVector.Sized
truncData.BitVector.Sized
trunc'Data.BitVector.Sized
truncBitsData.BitVector.Sized
uleData.BitVector.Sized
ultData.BitVector.Sized
umaxData.BitVector.Sized
uminData.BitVector.Sized
uniformMData.BitVector.Sized
UnsignedBV 
1 (Type/Class)Data.BitVector.Sized.Unsigned
2 (Data Constructor)Data.BitVector.Sized.Unsigned
unsignedClampData.BitVector.Sized
UnsignedOverflow 
1 (Type/Class)Data.BitVector.Sized.Overflow
2 (Data Constructor)Data.BitVector.Sized.Overflow
uquotData.BitVector.Sized
uquotRemData.BitVector.Sized
uremData.BitVector.Sized
uUniformRMData.BitVector.Sized
widthData.BitVector.Sized
word16Data.BitVector.Sized
word32Data.BitVector.Sized
word64Data.BitVector.Sized
word8Data.BitVector.Sized
xorData.BitVector.Sized
zeroData.BitVector.Sized
zextData.BitVector.Sized