Data.BitVector
type BitVector
data BV
size
width
nat
uint
int
nil
bitVec
bitVecs
ones
zeros
isNat
isPos
(==.)
(/=.)
(<.)
(<=.)
(>.)
(>=.)
slt
sle
sgt
sge
(@.)
index
(@@)
extract
(@:)
(!.)
least
most
msb
lsb
msb1
lsb1
signumI
pow
sdiv
srem
smod
lg2
(#)
cat
append
concat
zeroExtend
signExtend
foldl
foldl_
foldr
foldr_
reverse
reverse_
replicate
replicate_
and
and_
or
or_
split
group
group_
join
not
not_
nand
nor
xnor
(<<.)
shl
(>>.)
shr
ashr
(<<<.)
rol
(>>>.)
ror
fromBool
fromBits
toBits
showBin
showOct
showHex