CLaSH.Sized.Internal.BitVector

Datatypes

data BitVector n

type Bit

Accessors

Length information

size#

maxIndex#

Construction

Initialisation

high

low

bLit

Concatenation

(++#)

Reduction

reduceAnd#

reduceOr#

reduceXor#

Indexing

index#

replaceBit#

setSlice#

slice#

split#

msb#

lsb#

Type classes

Eq

eq#

neq#

Ord

lt#

ge#

gt#

le#

Enum (not synthesisable)

enumFrom#

enumFromThen#

enumFromTo#

enumFromThenTo#

Bounded

minBound#

maxBound#

Num

(+#)

(-#)

(*#)

negate#

fromInteger#

ExtendingNum

plus#

minus#

times#

Integral

quot#

rem#

toInteger#

Bits

and#

or#

xor#

complement#

shiftL#

shiftR#

rotateL#

rotateR#

popCountBV

FiniteBits

countLeadingZerosBV

countTrailingZerosBV

Resize

resize#

QuickCheck

shrinkSizedUnsigned