Data.BitVector

Bit-vectors

type BitVector

data BV

size

width

nat

uint

int

Creation

nil

bitVec

bitVecs

ones

zeros

Test

isNat

isPos

Comparison

(==.)

(/=.)

(<.)

(<=.)

(>.)

(>=.)

slt

sle

sgt

sge

Indexing

(@.)

index

(@@)

extract

(@:)

(!.)

least

most

msb

lsb

msb1

lsb1

Arithmetic

signumI

pow

sdiv

srem

smod

lg2

List-like operations

(#)

cat

append

concat

zeroExtend

signExtend

foldl

foldl_

foldr

foldr_

reverse

reverse_

replicate

replicate_

and

and_

or

or_

split

group

group_

join

Bitwise operations

not

not_

nand

nor

xnor

(<<.)

shl

(>>.)

shr

ashr

(<<<.)

rol

(>>>.)

ror

Conversion

fromBool

fromBits

toBits

Pretty-printing

showBin

showOct

showHex