Copyright	[2016..2017] Manuel M T Chakravarty Gabriele Keller Trevor L. McDonell
License	BSD3
Maintainer	Trevor L. McDonell <tmcdonell@cse.unsw.edu.au>
Stability	experimental
Portability	non-portable (GHC extensions)
Safe Haskell	None
Language	Haskell98

Data.Array.Accelerate.Data.Bits

Description

Bitwise operations for signed and unsigned integer expressions.

Synopsis

Documentation

class Eq a => Bits a where #

The Bits class defines bitwise operations over integral scalar expression types. As usual, bits are numbered from zero, with zero being the least significant bit.

Minimal complete definition

(.&.), (.|.), xor, complement, (shift | shiftL, shiftR), (rotate | rotateL, rotateR), isSigned, testBit, bit, popCount

Methods

(.&.) :: Exp a -> Exp a -> Exp a infixl 7 #

Bitwise "and"

(.|.) :: Exp a -> Exp a -> Exp a infixl 5 #

Bitwise "or"

xor :: Exp a -> Exp a -> Exp a infixl 6 #

Bitwise "xor"

complement :: Exp a -> Exp a #

Reverse all bits in the argument

shift :: Exp a -> Exp Int -> Exp a infixl 8 #

shift x i shifts x left by i bits if i is positive, or right by -i bits otherwise. Right shifts perform sign extension on signed number types; i.e. they fill the top bits with 1 if the x is negative and with 0 otherwise.

rotate :: Exp a -> Exp Int -> Exp a infixl 8 #

rotate x i rotates x left by i bits if i is positive, or right by -i bits otherwise.

zeroBits :: Exp a #

The value with all bits unset

bit :: Exp Int -> Exp a #

bit i is a value with the ith bit set and all other bits clear.

setBit :: Exp a -> Exp Int -> Exp a #

x `setBit` i is the same as x .|. bit i

clearBit :: Exp a -> Exp Int -> Exp a #

x `clearBit` i is the same as x .&. complement (bit i)

complementBit :: Exp a -> Exp Int -> Exp a #

x `complementBit` i is the same as x `xor` bit i

testBit :: Exp a -> Exp Int -> Exp Bool #

Return True if the nth bit of the argument is 1

isSigned :: Exp a -> Exp Bool #

Return True if the argument is a signed type.

shiftL :: Exp a -> Exp Int -> Exp a infixl 8 #

Shift the argument left by the specified number of bits (which must be non-negative).

unsafeShiftL :: Exp a -> Exp Int -> Exp a #

Shift the argument left by the specified number of bits. The result is undefined for negative shift amounts and shift amounts greater or equal to the finiteBitSize.

shiftR :: Exp a -> Exp Int -> Exp a infixl 8 #

Shift the first argument right by the specified number of bits (which must be non-negative).

Right shifts perform sign extension on signed number types; i.e. they fill the top bits with 1 if x is negative and with 0 otherwise.

unsafeShiftR :: Exp a -> Exp Int -> Exp a #

Shift the first argument right by the specified number of bits. The result is undefined for negative shift amounts and shift amounts greater or equal to the finiteBitSize.

rotateL :: Exp a -> Exp Int -> Exp a infixl 8 #

Rotate the argument left by the specified number of bits (which must be non-negative).

rotateR :: Exp a -> Exp Int -> Exp a infixl 8 #

Rotate the argument right by the specified number of bits (which must be non-negative).

popCount :: Exp a -> Exp Int #

Return the number of set bits in the argument. This number is known as the population count or the Hamming weight.

Instances

Bits Bool #
Methods (.&.) :: Exp Bool -> Exp Bool -> Exp Bool # (.\|.) :: Exp Bool -> Exp Bool -> Exp Bool # xor :: Exp Bool -> Exp Bool -> Exp Bool # complement :: Exp Bool -> Exp Bool # shift :: Exp Bool -> Exp Int -> Exp Bool # rotate :: Exp Bool -> Exp Int -> Exp Bool # zeroBits :: Exp Bool # bit :: Exp Int -> Exp Bool # setBit :: Exp Bool -> Exp Int -> Exp Bool # clearBit :: Exp Bool -> Exp Int -> Exp Bool # complementBit :: Exp Bool -> Exp Int -> Exp Bool # testBit :: Exp Bool -> Exp Int -> Exp Bool # isSigned :: Exp Bool -> Exp Bool # shiftL :: Exp Bool -> Exp Int -> Exp Bool # unsafeShiftL :: Exp Bool -> Exp Int -> Exp Bool # shiftR :: Exp Bool -> Exp Int -> Exp Bool # unsafeShiftR :: Exp Bool -> Exp Int -> Exp Bool # rotateL :: Exp Bool -> Exp Int -> Exp Bool # rotateR :: Exp Bool -> Exp Int -> Exp Bool # popCount :: Exp Bool -> Exp Int #
Bits Int #
Methods (.&.) :: Exp Int -> Exp Int -> Exp Int # (.\|.) :: Exp Int -> Exp Int -> Exp Int # xor :: Exp Int -> Exp Int -> Exp Int # complement :: Exp Int -> Exp Int # shift :: Exp Int -> Exp Int -> Exp Int # rotate :: Exp Int -> Exp Int -> Exp Int # zeroBits :: Exp Int # bit :: Exp Int -> Exp Int # setBit :: Exp Int -> Exp Int -> Exp Int # clearBit :: Exp Int -> Exp Int -> Exp Int # complementBit :: Exp Int -> Exp Int -> Exp Int # testBit :: Exp Int -> Exp Int -> Exp Bool # isSigned :: Exp Int -> Exp Bool # shiftL :: Exp Int -> Exp Int -> Exp Int # unsafeShiftL :: Exp Int -> Exp Int -> Exp Int # shiftR :: Exp Int -> Exp Int -> Exp Int # unsafeShiftR :: Exp Int -> Exp Int -> Exp Int # rotateL :: Exp Int -> Exp Int -> Exp Int # rotateR :: Exp Int -> Exp Int -> Exp Int # popCount :: Exp Int -> Exp Int #
Bits Int8 #
Methods (.&.) :: Exp Int8 -> Exp Int8 -> Exp Int8 # (.\|.) :: Exp Int8 -> Exp Int8 -> Exp Int8 # xor :: Exp Int8 -> Exp Int8 -> Exp Int8 # complement :: Exp Int8 -> Exp Int8 # shift :: Exp Int8 -> Exp Int -> Exp Int8 # rotate :: Exp Int8 -> Exp Int -> Exp Int8 # zeroBits :: Exp Int8 # bit :: Exp Int -> Exp Int8 # setBit :: Exp Int8 -> Exp Int -> Exp Int8 # clearBit :: Exp Int8 -> Exp Int -> Exp Int8 # complementBit :: Exp Int8 -> Exp Int -> Exp Int8 # testBit :: Exp Int8 -> Exp Int -> Exp Bool # isSigned :: Exp Int8 -> Exp Bool # shiftL :: Exp Int8 -> Exp Int -> Exp Int8 # unsafeShiftL :: Exp Int8 -> Exp Int -> Exp Int8 # shiftR :: Exp Int8 -> Exp Int -> Exp Int8 # unsafeShiftR :: Exp Int8 -> Exp Int -> Exp Int8 # rotateL :: Exp Int8 -> Exp Int -> Exp Int8 # rotateR :: Exp Int8 -> Exp Int -> Exp Int8 # popCount :: Exp Int8 -> Exp Int #
Bits Int16 #
Methods (.&.) :: Exp Int16 -> Exp Int16 -> Exp Int16 # (.\|.) :: Exp Int16 -> Exp Int16 -> Exp Int16 # xor :: Exp Int16 -> Exp Int16 -> Exp Int16 # complement :: Exp Int16 -> Exp Int16 # shift :: Exp Int16 -> Exp Int -> Exp Int16 # rotate :: Exp Int16 -> Exp Int -> Exp Int16 # zeroBits :: Exp Int16 # bit :: Exp Int -> Exp Int16 # setBit :: Exp Int16 -> Exp Int -> Exp Int16 # clearBit :: Exp Int16 -> Exp Int -> Exp Int16 # complementBit :: Exp Int16 -> Exp Int -> Exp Int16 # testBit :: Exp Int16 -> Exp Int -> Exp Bool # isSigned :: Exp Int16 -> Exp Bool # shiftL :: Exp Int16 -> Exp Int -> Exp Int16 # unsafeShiftL :: Exp Int16 -> Exp Int -> Exp Int16 # shiftR :: Exp Int16 -> Exp Int -> Exp Int16 # unsafeShiftR :: Exp Int16 -> Exp Int -> Exp Int16 # rotateL :: Exp Int16 -> Exp Int -> Exp Int16 # rotateR :: Exp Int16 -> Exp Int -> Exp Int16 # popCount :: Exp Int16 -> Exp Int #
Bits Int32 #
Methods (.&.) :: Exp Int32 -> Exp Int32 -> Exp Int32 # (.\|.) :: Exp Int32 -> Exp Int32 -> Exp Int32 # xor :: Exp Int32 -> Exp Int32 -> Exp Int32 # complement :: Exp Int32 -> Exp Int32 # shift :: Exp Int32 -> Exp Int -> Exp Int32 # rotate :: Exp Int32 -> Exp Int -> Exp Int32 # zeroBits :: Exp Int32 # bit :: Exp Int -> Exp Int32 # setBit :: Exp Int32 -> Exp Int -> Exp Int32 # clearBit :: Exp Int32 -> Exp Int -> Exp Int32 # complementBit :: Exp Int32 -> Exp Int -> Exp Int32 # testBit :: Exp Int32 -> Exp Int -> Exp Bool # isSigned :: Exp Int32 -> Exp Bool # shiftL :: Exp Int32 -> Exp Int -> Exp Int32 # unsafeShiftL :: Exp Int32 -> Exp Int -> Exp Int32 # shiftR :: Exp Int32 -> Exp Int -> Exp Int32 # unsafeShiftR :: Exp Int32 -> Exp Int -> Exp Int32 # rotateL :: Exp Int32 -> Exp Int -> Exp Int32 # rotateR :: Exp Int32 -> Exp Int -> Exp Int32 # popCount :: Exp Int32 -> Exp Int #
Bits Int64 #
Methods (.&.) :: Exp Int64 -> Exp Int64 -> Exp Int64 # (.\|.) :: Exp Int64 -> Exp Int64 -> Exp Int64 # xor :: Exp Int64 -> Exp Int64 -> Exp Int64 # complement :: Exp Int64 -> Exp Int64 # shift :: Exp Int64 -> Exp Int -> Exp Int64 # rotate :: Exp Int64 -> Exp Int -> Exp Int64 # zeroBits :: Exp Int64 # bit :: Exp Int -> Exp Int64 # setBit :: Exp Int64 -> Exp Int -> Exp Int64 # clearBit :: Exp Int64 -> Exp Int -> Exp Int64 # complementBit :: Exp Int64 -> Exp Int -> Exp Int64 # testBit :: Exp Int64 -> Exp Int -> Exp Bool # isSigned :: Exp Int64 -> Exp Bool # shiftL :: Exp Int64 -> Exp Int -> Exp Int64 # unsafeShiftL :: Exp Int64 -> Exp Int -> Exp Int64 # shiftR :: Exp Int64 -> Exp Int -> Exp Int64 # unsafeShiftR :: Exp Int64 -> Exp Int -> Exp Int64 # rotateL :: Exp Int64 -> Exp Int -> Exp Int64 # rotateR :: Exp Int64 -> Exp Int -> Exp Int64 # popCount :: Exp Int64 -> Exp Int #
Bits Word #
Methods (.&.) :: Exp Word -> Exp Word -> Exp Word # (.\|.) :: Exp Word -> Exp Word -> Exp Word # xor :: Exp Word -> Exp Word -> Exp Word # complement :: Exp Word -> Exp Word # shift :: Exp Word -> Exp Int -> Exp Word # rotate :: Exp Word -> Exp Int -> Exp Word # zeroBits :: Exp Word # bit :: Exp Int -> Exp Word # setBit :: Exp Word -> Exp Int -> Exp Word # clearBit :: Exp Word -> Exp Int -> Exp Word # complementBit :: Exp Word -> Exp Int -> Exp Word # testBit :: Exp Word -> Exp Int -> Exp Bool # isSigned :: Exp Word -> Exp Bool # shiftL :: Exp Word -> Exp Int -> Exp Word # unsafeShiftL :: Exp Word -> Exp Int -> Exp Word # shiftR :: Exp Word -> Exp Int -> Exp Word # unsafeShiftR :: Exp Word -> Exp Int -> Exp Word # rotateL :: Exp Word -> Exp Int -> Exp Word # rotateR :: Exp Word -> Exp Int -> Exp Word # popCount :: Exp Word -> Exp Int #
Bits Word8 #
Methods (.&.) :: Exp Word8 -> Exp Word8 -> Exp Word8 # (.\|.) :: Exp Word8 -> Exp Word8 -> Exp Word8 # xor :: Exp Word8 -> Exp Word8 -> Exp Word8 # complement :: Exp Word8 -> Exp Word8 # shift :: Exp Word8 -> Exp Int -> Exp Word8 # rotate :: Exp Word8 -> Exp Int -> Exp Word8 # zeroBits :: Exp Word8 # bit :: Exp Int -> Exp Word8 # setBit :: Exp Word8 -> Exp Int -> Exp Word8 # clearBit :: Exp Word8 -> Exp Int -> Exp Word8 # complementBit :: Exp Word8 -> Exp Int -> Exp Word8 # testBit :: Exp Word8 -> Exp Int -> Exp Bool # isSigned :: Exp Word8 -> Exp Bool # shiftL :: Exp Word8 -> Exp Int -> Exp Word8 # unsafeShiftL :: Exp Word8 -> Exp Int -> Exp Word8 # shiftR :: Exp Word8 -> Exp Int -> Exp Word8 # unsafeShiftR :: Exp Word8 -> Exp Int -> Exp Word8 # rotateL :: Exp Word8 -> Exp Int -> Exp Word8 # rotateR :: Exp Word8 -> Exp Int -> Exp Word8 # popCount :: Exp Word8 -> Exp Int #
Bits Word16 #
Methods (.&.) :: Exp Word16 -> Exp Word16 -> Exp Word16 # (.\|.) :: Exp Word16 -> Exp Word16 -> Exp Word16 # xor :: Exp Word16 -> Exp Word16 -> Exp Word16 # complement :: Exp Word16 -> Exp Word16 # shift :: Exp Word16 -> Exp Int -> Exp Word16 # rotate :: Exp Word16 -> Exp Int -> Exp Word16 # zeroBits :: Exp Word16 # bit :: Exp Int -> Exp Word16 # setBit :: Exp Word16 -> Exp Int -> Exp Word16 # clearBit :: Exp Word16 -> Exp Int -> Exp Word16 # complementBit :: Exp Word16 -> Exp Int -> Exp Word16 # testBit :: Exp Word16 -> Exp Int -> Exp Bool # isSigned :: Exp Word16 -> Exp Bool # shiftL :: Exp Word16 -> Exp Int -> Exp Word16 # unsafeShiftL :: Exp Word16 -> Exp Int -> Exp Word16 # shiftR :: Exp Word16 -> Exp Int -> Exp Word16 # unsafeShiftR :: Exp Word16 -> Exp Int -> Exp Word16 # rotateL :: Exp Word16 -> Exp Int -> Exp Word16 # rotateR :: Exp Word16 -> Exp Int -> Exp Word16 # popCount :: Exp Word16 -> Exp Int #
Bits Word32 #
Methods (.&.) :: Exp Word32 -> Exp Word32 -> Exp Word32 # (.\|.) :: Exp Word32 -> Exp Word32 -> Exp Word32 # xor :: Exp Word32 -> Exp Word32 -> Exp Word32 # complement :: Exp Word32 -> Exp Word32 # shift :: Exp Word32 -> Exp Int -> Exp Word32 # rotate :: Exp Word32 -> Exp Int -> Exp Word32 # zeroBits :: Exp Word32 # bit :: Exp Int -> Exp Word32 # setBit :: Exp Word32 -> Exp Int -> Exp Word32 # clearBit :: Exp Word32 -> Exp Int -> Exp Word32 # complementBit :: Exp Word32 -> Exp Int -> Exp Word32 # testBit :: Exp Word32 -> Exp Int -> Exp Bool # isSigned :: Exp Word32 -> Exp Bool # shiftL :: Exp Word32 -> Exp Int -> Exp Word32 # unsafeShiftL :: Exp Word32 -> Exp Int -> Exp Word32 # shiftR :: Exp Word32 -> Exp Int -> Exp Word32 # unsafeShiftR :: Exp Word32 -> Exp Int -> Exp Word32 # rotateL :: Exp Word32 -> Exp Int -> Exp Word32 # rotateR :: Exp Word32 -> Exp Int -> Exp Word32 # popCount :: Exp Word32 -> Exp Int #
Bits Word64 #
Methods (.&.) :: Exp Word64 -> Exp Word64 -> Exp Word64 # (.\|.) :: Exp Word64 -> Exp Word64 -> Exp Word64 # xor :: Exp Word64 -> Exp Word64 -> Exp Word64 # complement :: Exp Word64 -> Exp Word64 # shift :: Exp Word64 -> Exp Int -> Exp Word64 # rotate :: Exp Word64 -> Exp Int -> Exp Word64 # zeroBits :: Exp Word64 # bit :: Exp Int -> Exp Word64 # setBit :: Exp Word64 -> Exp Int -> Exp Word64 # clearBit :: Exp Word64 -> Exp Int -> Exp Word64 # complementBit :: Exp Word64 -> Exp Int -> Exp Word64 # testBit :: Exp Word64 -> Exp Int -> Exp Bool # isSigned :: Exp Word64 -> Exp Bool # shiftL :: Exp Word64 -> Exp Int -> Exp Word64 # unsafeShiftL :: Exp Word64 -> Exp Int -> Exp Word64 # shiftR :: Exp Word64 -> Exp Int -> Exp Word64 # unsafeShiftR :: Exp Word64 -> Exp Int -> Exp Word64 # rotateL :: Exp Word64 -> Exp Int -> Exp Word64 # rotateR :: Exp Word64 -> Exp Int -> Exp Word64 # popCount :: Exp Word64 -> Exp Int #
Bits CShort #
Methods (.&.) :: Exp CShort -> Exp CShort -> Exp CShort # (.\|.) :: Exp CShort -> Exp CShort -> Exp CShort # xor :: Exp CShort -> Exp CShort -> Exp CShort # complement :: Exp CShort -> Exp CShort # shift :: Exp CShort -> Exp Int -> Exp CShort # rotate :: Exp CShort -> Exp Int -> Exp CShort # zeroBits :: Exp CShort # bit :: Exp Int -> Exp CShort # setBit :: Exp CShort -> Exp Int -> Exp CShort # clearBit :: Exp CShort -> Exp Int -> Exp CShort # complementBit :: Exp CShort -> Exp Int -> Exp CShort # testBit :: Exp CShort -> Exp Int -> Exp Bool # isSigned :: Exp CShort -> Exp Bool # shiftL :: Exp CShort -> Exp Int -> Exp CShort # unsafeShiftL :: Exp CShort -> Exp Int -> Exp CShort # shiftR :: Exp CShort -> Exp Int -> Exp CShort # unsafeShiftR :: Exp CShort -> Exp Int -> Exp CShort # rotateL :: Exp CShort -> Exp Int -> Exp CShort # rotateR :: Exp CShort -> Exp Int -> Exp CShort # popCount :: Exp CShort -> Exp Int #
Bits CUShort #
Methods (.&.) :: Exp CUShort -> Exp CUShort -> Exp CUShort # (.\|.) :: Exp CUShort -> Exp CUShort -> Exp CUShort # xor :: Exp CUShort -> Exp CUShort -> Exp CUShort # complement :: Exp CUShort -> Exp CUShort # shift :: Exp CUShort -> Exp Int -> Exp CUShort # rotate :: Exp CUShort -> Exp Int -> Exp CUShort # zeroBits :: Exp CUShort # bit :: Exp Int -> Exp CUShort # setBit :: Exp CUShort -> Exp Int -> Exp CUShort # clearBit :: Exp CUShort -> Exp Int -> Exp CUShort # complementBit :: Exp CUShort -> Exp Int -> Exp CUShort # testBit :: Exp CUShort -> Exp Int -> Exp Bool # isSigned :: Exp CUShort -> Exp Bool # shiftL :: Exp CUShort -> Exp Int -> Exp CUShort # unsafeShiftL :: Exp CUShort -> Exp Int -> Exp CUShort # shiftR :: Exp CUShort -> Exp Int -> Exp CUShort # unsafeShiftR :: Exp CUShort -> Exp Int -> Exp CUShort # rotateL :: Exp CUShort -> Exp Int -> Exp CUShort # rotateR :: Exp CUShort -> Exp Int -> Exp CUShort # popCount :: Exp CUShort -> Exp Int #
Bits CInt #
Methods (.&.) :: Exp CInt -> Exp CInt -> Exp CInt # (.\|.) :: Exp CInt -> Exp CInt -> Exp CInt # xor :: Exp CInt -> Exp CInt -> Exp CInt # complement :: Exp CInt -> Exp CInt # shift :: Exp CInt -> Exp Int -> Exp CInt # rotate :: Exp CInt -> Exp Int -> Exp CInt # zeroBits :: Exp CInt # bit :: Exp Int -> Exp CInt # setBit :: Exp CInt -> Exp Int -> Exp CInt # clearBit :: Exp CInt -> Exp Int -> Exp CInt # complementBit :: Exp CInt -> Exp Int -> Exp CInt # testBit :: Exp CInt -> Exp Int -> Exp Bool # isSigned :: Exp CInt -> Exp Bool # shiftL :: Exp CInt -> Exp Int -> Exp CInt # unsafeShiftL :: Exp CInt -> Exp Int -> Exp CInt # shiftR :: Exp CInt -> Exp Int -> Exp CInt # unsafeShiftR :: Exp CInt -> Exp Int -> Exp CInt # rotateL :: Exp CInt -> Exp Int -> Exp CInt # rotateR :: Exp CInt -> Exp Int -> Exp CInt # popCount :: Exp CInt -> Exp Int #
Bits CUInt #
Methods (.&.) :: Exp CUInt -> Exp CUInt -> Exp CUInt # (.\|.) :: Exp CUInt -> Exp CUInt -> Exp CUInt # xor :: Exp CUInt -> Exp CUInt -> Exp CUInt # complement :: Exp CUInt -> Exp CUInt # shift :: Exp CUInt -> Exp Int -> Exp CUInt # rotate :: Exp CUInt -> Exp Int -> Exp CUInt # zeroBits :: Exp CUInt # bit :: Exp Int -> Exp CUInt # setBit :: Exp CUInt -> Exp Int -> Exp CUInt # clearBit :: Exp CUInt -> Exp Int -> Exp CUInt # complementBit :: Exp CUInt -> Exp Int -> Exp CUInt # testBit :: Exp CUInt -> Exp Int -> Exp Bool # isSigned :: Exp CUInt -> Exp Bool # shiftL :: Exp CUInt -> Exp Int -> Exp CUInt # unsafeShiftL :: Exp CUInt -> Exp Int -> Exp CUInt # shiftR :: Exp CUInt -> Exp Int -> Exp CUInt # unsafeShiftR :: Exp CUInt -> Exp Int -> Exp CUInt # rotateL :: Exp CUInt -> Exp Int -> Exp CUInt # rotateR :: Exp CUInt -> Exp Int -> Exp CUInt # popCount :: Exp CUInt -> Exp Int #
Bits CLong #
Methods (.&.) :: Exp CLong -> Exp CLong -> Exp CLong # (.\|.) :: Exp CLong -> Exp CLong -> Exp CLong # xor :: Exp CLong -> Exp CLong -> Exp CLong # complement :: Exp CLong -> Exp CLong # shift :: Exp CLong -> Exp Int -> Exp CLong # rotate :: Exp CLong -> Exp Int -> Exp CLong # zeroBits :: Exp CLong # bit :: Exp Int -> Exp CLong # setBit :: Exp CLong -> Exp Int -> Exp CLong # clearBit :: Exp CLong -> Exp Int -> Exp CLong # complementBit :: Exp CLong -> Exp Int -> Exp CLong # testBit :: Exp CLong -> Exp Int -> Exp Bool # isSigned :: Exp CLong -> Exp Bool # shiftL :: Exp CLong -> Exp Int -> Exp CLong # unsafeShiftL :: Exp CLong -> Exp Int -> Exp CLong # shiftR :: Exp CLong -> Exp Int -> Exp CLong # unsafeShiftR :: Exp CLong -> Exp Int -> Exp CLong # rotateL :: Exp CLong -> Exp Int -> Exp CLong # rotateR :: Exp CLong -> Exp Int -> Exp CLong # popCount :: Exp CLong -> Exp Int #
Bits CULong #
Methods (.&.) :: Exp CULong -> Exp CULong -> Exp CULong # (.\|.) :: Exp CULong -> Exp CULong -> Exp CULong # xor :: Exp CULong -> Exp CULong -> Exp CULong # complement :: Exp CULong -> Exp CULong # shift :: Exp CULong -> Exp Int -> Exp CULong # rotate :: Exp CULong -> Exp Int -> Exp CULong # zeroBits :: Exp CULong # bit :: Exp Int -> Exp CULong # setBit :: Exp CULong -> Exp Int -> Exp CULong # clearBit :: Exp CULong -> Exp Int -> Exp CULong # complementBit :: Exp CULong -> Exp Int -> Exp CULong # testBit :: Exp CULong -> Exp Int -> Exp Bool # isSigned :: Exp CULong -> Exp Bool # shiftL :: Exp CULong -> Exp Int -> Exp CULong # unsafeShiftL :: Exp CULong -> Exp Int -> Exp CULong # shiftR :: Exp CULong -> Exp Int -> Exp CULong # unsafeShiftR :: Exp CULong -> Exp Int -> Exp CULong # rotateL :: Exp CULong -> Exp Int -> Exp CULong # rotateR :: Exp CULong -> Exp Int -> Exp CULong # popCount :: Exp CULong -> Exp Int #
Bits CLLong #
Methods (.&.) :: Exp CLLong -> Exp CLLong -> Exp CLLong # (.\|.) :: Exp CLLong -> Exp CLLong -> Exp CLLong # xor :: Exp CLLong -> Exp CLLong -> Exp CLLong # complement :: Exp CLLong -> Exp CLLong # shift :: Exp CLLong -> Exp Int -> Exp CLLong # rotate :: Exp CLLong -> Exp Int -> Exp CLLong # zeroBits :: Exp CLLong # bit :: Exp Int -> Exp CLLong # setBit :: Exp CLLong -> Exp Int -> Exp CLLong # clearBit :: Exp CLLong -> Exp Int -> Exp CLLong # complementBit :: Exp CLLong -> Exp Int -> Exp CLLong # testBit :: Exp CLLong -> Exp Int -> Exp Bool # isSigned :: Exp CLLong -> Exp Bool # shiftL :: Exp CLLong -> Exp Int -> Exp CLLong # unsafeShiftL :: Exp CLLong -> Exp Int -> Exp CLLong # shiftR :: Exp CLLong -> Exp Int -> Exp CLLong # unsafeShiftR :: Exp CLLong -> Exp Int -> Exp CLLong # rotateL :: Exp CLLong -> Exp Int -> Exp CLLong # rotateR :: Exp CLLong -> Exp Int -> Exp CLLong # popCount :: Exp CLLong -> Exp Int #
Bits CULLong #
Methods (.&.) :: Exp CULLong -> Exp CULLong -> Exp CULLong # (.\|.) :: Exp CULLong -> Exp CULLong -> Exp CULLong # xor :: Exp CULLong -> Exp CULLong -> Exp CULLong # complement :: Exp CULLong -> Exp CULLong # shift :: Exp CULLong -> Exp Int -> Exp CULLong # rotate :: Exp CULLong -> Exp Int -> Exp CULLong # zeroBits :: Exp CULLong # bit :: Exp Int -> Exp CULLong # setBit :: Exp CULLong -> Exp Int -> Exp CULLong # clearBit :: Exp CULLong -> Exp Int -> Exp CULLong # complementBit :: Exp CULLong -> Exp Int -> Exp CULLong # testBit :: Exp CULLong -> Exp Int -> Exp Bool # isSigned :: Exp CULLong -> Exp Bool # shiftL :: Exp CULLong -> Exp Int -> Exp CULLong # unsafeShiftL :: Exp CULLong -> Exp Int -> Exp CULLong # shiftR :: Exp CULLong -> Exp Int -> Exp CULLong # unsafeShiftR :: Exp CULLong -> Exp Int -> Exp CULLong # rotateL :: Exp CULLong -> Exp Int -> Exp CULLong # rotateR :: Exp CULLong -> Exp Int -> Exp CULLong # popCount :: Exp CULLong -> Exp Int #

class Bits b => FiniteBits b where #

Minimal complete definition

finiteBitSize, countLeadingZeros, countTrailingZeros

Methods

finiteBitSize :: Exp b -> Exp Int #

Return the number of bits in the type of the argument.

countLeadingZeros :: Exp b -> Exp Int #

Count the number of zero bits preceding the most significant set bit. This can be used to compute a base-2 logarithm via:

logBase2 x = finiteBitSize x - 1 - countLeadingZeros x

countTrailingZeros :: Exp b -> Exp Int #

Count the number of zero bits following the least significant set bit. The related find-first-set operation can be expressed in terms of this as:

findFirstSet x = 1 + countTrailingZeros x

Instances

FiniteBits Bool #
Methods finiteBitSize :: Exp Bool -> Exp Int # countLeadingZeros :: Exp Bool -> Exp Int # countTrailingZeros :: Exp Bool -> Exp Int #
FiniteBits Int #
Methods finiteBitSize :: Exp Int -> Exp Int # countLeadingZeros :: Exp Int -> Exp Int # countTrailingZeros :: Exp Int -> Exp Int #
FiniteBits Int8 #
Methods finiteBitSize :: Exp Int8 -> Exp Int # countLeadingZeros :: Exp Int8 -> Exp Int # countTrailingZeros :: Exp Int8 -> Exp Int #
FiniteBits Int16 #
Methods finiteBitSize :: Exp Int16 -> Exp Int # countLeadingZeros :: Exp Int16 -> Exp Int # countTrailingZeros :: Exp Int16 -> Exp Int #
FiniteBits Int32 #
Methods finiteBitSize :: Exp Int32 -> Exp Int # countLeadingZeros :: Exp Int32 -> Exp Int # countTrailingZeros :: Exp Int32 -> Exp Int #
FiniteBits Int64 #
Methods finiteBitSize :: Exp Int64 -> Exp Int # countLeadingZeros :: Exp Int64 -> Exp Int # countTrailingZeros :: Exp Int64 -> Exp Int #
FiniteBits Word #
Methods finiteBitSize :: Exp Word -> Exp Int # countLeadingZeros :: Exp Word -> Exp Int # countTrailingZeros :: Exp Word -> Exp Int #
FiniteBits Word8 #
Methods finiteBitSize :: Exp Word8 -> Exp Int # countLeadingZeros :: Exp Word8 -> Exp Int # countTrailingZeros :: Exp Word8 -> Exp Int #
FiniteBits Word16 #
Methods finiteBitSize :: Exp Word16 -> Exp Int # countLeadingZeros :: Exp Word16 -> Exp Int # countTrailingZeros :: Exp Word16 -> Exp Int #
FiniteBits Word32 #
Methods finiteBitSize :: Exp Word32 -> Exp Int # countLeadingZeros :: Exp Word32 -> Exp Int # countTrailingZeros :: Exp Word32 -> Exp Int #
FiniteBits Word64 #
Methods finiteBitSize :: Exp Word64 -> Exp Int # countLeadingZeros :: Exp Word64 -> Exp Int # countTrailingZeros :: Exp Word64 -> Exp Int #
FiniteBits CShort #
Methods finiteBitSize :: Exp CShort -> Exp Int # countLeadingZeros :: Exp CShort -> Exp Int # countTrailingZeros :: Exp CShort -> Exp Int #
FiniteBits CUShort #
Methods finiteBitSize :: Exp CUShort -> Exp Int # countLeadingZeros :: Exp CUShort -> Exp Int # countTrailingZeros :: Exp CUShort -> Exp Int #
FiniteBits CInt #
Methods finiteBitSize :: Exp CInt -> Exp Int # countLeadingZeros :: Exp CInt -> Exp Int # countTrailingZeros :: Exp CInt -> Exp Int #
FiniteBits CUInt #
Methods finiteBitSize :: Exp CUInt -> Exp Int # countLeadingZeros :: Exp CUInt -> Exp Int # countTrailingZeros :: Exp CUInt -> Exp Int #
FiniteBits CLong #
Methods finiteBitSize :: Exp CLong -> Exp Int # countLeadingZeros :: Exp CLong -> Exp Int # countTrailingZeros :: Exp CLong -> Exp Int #
FiniteBits CULong #
Methods finiteBitSize :: Exp CULong -> Exp Int # countLeadingZeros :: Exp CULong -> Exp Int # countTrailingZeros :: Exp CULong -> Exp Int #
FiniteBits CLLong #
Methods finiteBitSize :: Exp CLLong -> Exp Int # countLeadingZeros :: Exp CLLong -> Exp Int # countTrailingZeros :: Exp CLLong -> Exp Int #
FiniteBits CULLong #
Methods finiteBitSize :: Exp CULLong -> Exp Int # countLeadingZeros :: Exp CULLong -> Exp Int # countTrailingZeros :: Exp CULLong -> Exp Int #