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

Index

abs | Data.BitVector.Sized
add | Data.BitVector.Sized
addOf | Data.BitVector.Sized.Overflow
and | Data.BitVector.Sized
asBitsBE | Data.BitVector.Sized
asBitsLE | Data.BitVector.Sized
asBV |
1 (Function) | Data.BitVector.Sized.Signed
2 (Function) | Data.BitVector.Sized.Unsigned
asBytesBE | Data.BitVector.Sized
asBytesLE | Data.BitVector.Sized
asBytestringBE | Data.BitVector.Sized
asBytestringLE | Data.BitVector.Sized
ashr | Data.BitVector.Sized
asNatural | Data.BitVector.Sized
asSigned | Data.BitVector.Sized
asUnsigned | Data.BitVector.Sized
bit | Data.BitVector.Sized
bit' | Data.BitVector.Sized
bitsBE | Data.BitVector.Sized
bitsLE | Data.BitVector.Sized
bool | Data.BitVector.Sized
BV |
1 (Type/Class) | Data.BitVector.Sized
2 (Data Constructor) | Data.BitVector.Sized
bytesBE | Data.BitVector.Sized
bytesLE | Data.BitVector.Sized
bytestringBE | Data.BitVector.Sized
bytestringLE | Data.BitVector.Sized
clearBit | Data.BitVector.Sized
clearBit' | Data.BitVector.Sized
clz | Data.BitVector.Sized
complement | Data.BitVector.Sized
complementBit | Data.BitVector.Sized
complementBit' | Data.BitVector.Sized
concat | Data.BitVector.Sized
ctz | Data.BitVector.Sized
enumFromToSigned | Data.BitVector.Sized
enumFromToUnsigned | Data.BitVector.Sized
int16 | Data.BitVector.Sized
int32 | Data.BitVector.Sized
int64 | Data.BitVector.Sized
int8 | Data.BitVector.Sized
knownNat | Data.BitVector.Sized
lshr | Data.BitVector.Sized
maxSigned | Data.BitVector.Sized
maxUnsigned | Data.BitVector.Sized
minSigned | Data.BitVector.Sized
minUnsigned | Data.BitVector.Sized
mkBV | Data.BitVector.Sized
mkBVSigned | Data.BitVector.Sized
mkBVUnsigned | Data.BitVector.Sized
mkSignedBV | Data.BitVector.Sized.Signed
mkUnsignedBV | Data.BitVector.Sized.Unsigned
mul | Data.BitVector.Sized
mulOf | Data.BitVector.Sized.Overflow
mulWide | Data.BitVector.Sized
NatRepr | Data.BitVector.Sized
negate | Data.BitVector.Sized
NoSignedOverflow | Data.BitVector.Sized.Overflow
NoUnsignedOverflow | Data.BitVector.Sized.Overflow
ofResult | Data.BitVector.Sized.Overflow
ofSigned | Data.BitVector.Sized.Overflow
ofUnsigned | Data.BitVector.Sized.Overflow
one | Data.BitVector.Sized
or | Data.BitVector.Sized
Overflow |
1 (Type/Class) | Data.BitVector.Sized.Overflow
2 (Data Constructor) | Data.BitVector.Sized.Overflow
popCount | Data.BitVector.Sized
ppBin | Data.BitVector.Sized
ppDec | Data.BitVector.Sized
ppHex | Data.BitVector.Sized
ppOct | Data.BitVector.Sized
predSigned | Data.BitVector.Sized
predUnsigned | Data.BitVector.Sized
rotateL | Data.BitVector.Sized
rotateR | Data.BitVector.Sized
sdiv | Data.BitVector.Sized
sdivMod | Data.BitVector.Sized
sdivOf | Data.BitVector.Sized.Overflow
select | Data.BitVector.Sized
select' | Data.BitVector.Sized
setBit | Data.BitVector.Sized
setBit' | Data.BitVector.Sized
sext | Data.BitVector.Sized
shl | Data.BitVector.Sized
shlOf | Data.BitVector.Sized.Overflow
signBit | Data.BitVector.Sized
SignedBV |
1 (Type/Class) | Data.BitVector.Sized.Signed
2 (Data Constructor) | Data.BitVector.Sized.Signed
signedClamp | Data.BitVector.Sized
SignedOverflow |
1 (Type/Class) | Data.BitVector.Sized.Overflow
2 (Data Constructor) | Data.BitVector.Sized.Overflow
signum | Data.BitVector.Sized
sle | Data.BitVector.Sized
slt | Data.BitVector.Sized
smax | Data.BitVector.Sized
smin | Data.BitVector.Sized
smod | Data.BitVector.Sized
smodOf | Data.BitVector.Sized.Overflow
squot | Data.BitVector.Sized
squotOf | Data.BitVector.Sized.Overflow
squotRem | Data.BitVector.Sized
srem | Data.BitVector.Sized
sremOf | Data.BitVector.Sized.Overflow
sresize | Data.BitVector.Sized
sub | Data.BitVector.Sized
subOf | Data.BitVector.Sized.Overflow
succSigned | Data.BitVector.Sized
succUnsigned | Data.BitVector.Sized
sUniformRM | Data.BitVector.Sized
testBit | Data.BitVector.Sized
testBit' | Data.BitVector.Sized
trunc | Data.BitVector.Sized
trunc' | Data.BitVector.Sized
truncBits | Data.BitVector.Sized
ule | Data.BitVector.Sized
ult | Data.BitVector.Sized
umax | Data.BitVector.Sized
umin | Data.BitVector.Sized
uniformM | Data.BitVector.Sized
UnsignedBV |
1 (Type/Class) | Data.BitVector.Sized.Unsigned
2 (Data Constructor) | Data.BitVector.Sized.Unsigned
unsignedClamp | Data.BitVector.Sized
UnsignedOverflow |
1 (Type/Class) | Data.BitVector.Sized.Overflow
2 (Data Constructor) | Data.BitVector.Sized.Overflow
uquot | Data.BitVector.Sized
uquotRem | Data.BitVector.Sized
urem | Data.BitVector.Sized
uUniformRM | Data.BitVector.Sized
width | Data.BitVector.Sized
word16 | Data.BitVector.Sized
word32 | Data.BitVector.Sized
word64 | Data.BitVector.Sized
word8 | Data.BitVector.Sized
xor | Data.BitVector.Sized
zero | Data.BitVector.Sized
zext | Data.BitVector.Sized
zresize | Data.BitVector.Sized