Data.BitVector

Bit-vectors

type BitVector

data BV

size

width

nat

uint

int

Creation

bitVec

ones

zeros

Comparison

(==.)

(/=.)

(<.)

(<=.)

(>.)

(>=.)

slt

sle

sgt

sge

Indexing

(@.)

index

(@@)

extract

(!.)

least

most

msb

lsb

msb1

Arithmetic

sdiv

srem

smod

lg2

List-like operations

(#)

cat

zeroExtend

signExtend

foldl_

foldr_

reverse_

replicate_

and_

or_

split

group_

join

Bitwise operations

not_

nand

nor

xnor

(<<.)

shl

(>>.)

shr

ashr

(<<<.)

rol

(>>>.)

ror

Conversion

fromBool

fromBits

toBits

Pretty-printing

showBin

showOct

showHex

Utilities

maxNat

integerWidth