Copilot.Language.Operators.BitWise

Bitwise operators applied on streams, pointwise.

Documentation

class Eq a => Bits a where

The Bits class defines bitwise operations over integral types.

• Bits are numbered from 0 with bit 0 being the least significant bit.

Minimal complete definition

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

Methods

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

Bitwise "and"

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

Bitwise "or"

complement :: a -> a

Reverse all the bits in the argument

Instances

Bits Int16

Since: base-2.1

Defined in GHC.Int

Methods

(.&.) :: Int16 -> Int16 -> Int16

(.|.) :: Int16 -> Int16 -> Int16

xor :: Int16 -> Int16 -> Int16

complement :: Int16 -> Int16

shift :: Int16 -> Int -> Int16

rotate :: Int16 -> Int -> Int16

zeroBits :: Int16

bit :: Int -> Int16

setBit :: Int16 -> Int -> Int16

clearBit :: Int16 -> Int -> Int16

complementBit :: Int16 -> Int -> Int16

testBit :: Int16 -> Int -> Bool

bitSizeMaybe :: Int16 -> Maybe Int

bitSize :: Int16 -> Int

isSigned :: Int16 -> Bool

shiftL :: Int16 -> Int -> Int16

unsafeShiftL :: Int16 -> Int -> Int16

shiftR :: Int16 -> Int -> Int16

unsafeShiftR :: Int16 -> Int -> Int16

rotateL :: Int16 -> Int -> Int16

rotateR :: Int16 -> Int -> Int16

popCount :: Int16 -> Int

Bits Int32

Since: base-2.1

Defined in GHC.Int

Methods

(.&.) :: Int32 -> Int32 -> Int32

(.|.) :: Int32 -> Int32 -> Int32

xor :: Int32 -> Int32 -> Int32

complement :: Int32 -> Int32

shift :: Int32 -> Int -> Int32

rotate :: Int32 -> Int -> Int32

zeroBits :: Int32

bit :: Int -> Int32

setBit :: Int32 -> Int -> Int32

clearBit :: Int32 -> Int -> Int32

complementBit :: Int32 -> Int -> Int32

testBit :: Int32 -> Int -> Bool

bitSizeMaybe :: Int32 -> Maybe Int

bitSize :: Int32 -> Int

isSigned :: Int32 -> Bool

shiftL :: Int32 -> Int -> Int32

unsafeShiftL :: Int32 -> Int -> Int32

shiftR :: Int32 -> Int -> Int32

unsafeShiftR :: Int32 -> Int -> Int32

rotateL :: Int32 -> Int -> Int32

rotateR :: Int32 -> Int -> Int32

popCount :: Int32 -> Int

Bits Int64

Since: base-2.1

Defined in GHC.Int

Methods

(.&.) :: Int64 -> Int64 -> Int64

(.|.) :: Int64 -> Int64 -> Int64

xor :: Int64 -> Int64 -> Int64

complement :: Int64 -> Int64

shift :: Int64 -> Int -> Int64

rotate :: Int64 -> Int -> Int64

zeroBits :: Int64

bit :: Int -> Int64

setBit :: Int64 -> Int -> Int64

clearBit :: Int64 -> Int -> Int64

complementBit :: Int64 -> Int -> Int64

testBit :: Int64 -> Int -> Bool

bitSizeMaybe :: Int64 -> Maybe Int

bitSize :: Int64 -> Int

isSigned :: Int64 -> Bool

shiftL :: Int64 -> Int -> Int64

unsafeShiftL :: Int64 -> Int -> Int64

shiftR :: Int64 -> Int -> Int64

unsafeShiftR :: Int64 -> Int -> Int64

rotateL :: Int64 -> Int -> Int64

rotateR :: Int64 -> Int -> Int64

popCount :: Int64 -> Int

Bits Int8

Since: base-2.1

Defined in GHC.Int

Methods

(.&.) :: Int8 -> Int8 -> Int8

(.|.) :: Int8 -> Int8 -> Int8

xor :: Int8 -> Int8 -> Int8

complement :: Int8 -> Int8

shift :: Int8 -> Int -> Int8

rotate :: Int8 -> Int -> Int8

zeroBits :: Int8

bit :: Int -> Int8

setBit :: Int8 -> Int -> Int8

clearBit :: Int8 -> Int -> Int8

complementBit :: Int8 -> Int -> Int8

testBit :: Int8 -> Int -> Bool

bitSizeMaybe :: Int8 -> Maybe Int

bitSize :: Int8 -> Int

isSigned :: Int8 -> Bool

shiftL :: Int8 -> Int -> Int8

unsafeShiftL :: Int8 -> Int -> Int8

shiftR :: Int8 -> Int -> Int8

unsafeShiftR :: Int8 -> Int -> Int8

rotateL :: Int8 -> Int -> Int8

rotateR :: Int8 -> Int -> Int8

popCount :: Int8 -> Int

Bits Word16

Since: base-2.1

Defined in GHC.Word

Methods

(.&.) :: Word16 -> Word16 -> Word16

(.|.) :: Word16 -> Word16 -> Word16

xor :: Word16 -> Word16 -> Word16

complement :: Word16 -> Word16

shift :: Word16 -> Int -> Word16

rotate :: Word16 -> Int -> Word16

zeroBits :: Word16

bit :: Int -> Word16

setBit :: Word16 -> Int -> Word16

clearBit :: Word16 -> Int -> Word16

complementBit :: Word16 -> Int -> Word16

testBit :: Word16 -> Int -> Bool

bitSizeMaybe :: Word16 -> Maybe Int

bitSize :: Word16 -> Int

isSigned :: Word16 -> Bool

shiftL :: Word16 -> Int -> Word16

unsafeShiftL :: Word16 -> Int -> Word16

shiftR :: Word16 -> Int -> Word16

unsafeShiftR :: Word16 -> Int -> Word16

rotateL :: Word16 -> Int -> Word16

rotateR :: Word16 -> Int -> Word16

popCount :: Word16 -> Int

Bits Word32

Since: base-2.1

Defined in GHC.Word

Methods

(.&.) :: Word32 -> Word32 -> Word32

(.|.) :: Word32 -> Word32 -> Word32

xor :: Word32 -> Word32 -> Word32

complement :: Word32 -> Word32

shift :: Word32 -> Int -> Word32

rotate :: Word32 -> Int -> Word32

zeroBits :: Word32

bit :: Int -> Word32

setBit :: Word32 -> Int -> Word32

clearBit :: Word32 -> Int -> Word32

complementBit :: Word32 -> Int -> Word32

testBit :: Word32 -> Int -> Bool

bitSizeMaybe :: Word32 -> Maybe Int

bitSize :: Word32 -> Int

isSigned :: Word32 -> Bool

shiftL :: Word32 -> Int -> Word32

unsafeShiftL :: Word32 -> Int -> Word32

shiftR :: Word32 -> Int -> Word32

unsafeShiftR :: Word32 -> Int -> Word32

rotateL :: Word32 -> Int -> Word32

rotateR :: Word32 -> Int -> Word32

popCount :: Word32 -> Int

Bits Word64

Since: base-2.1

Defined in GHC.Word

Methods

(.&.) :: Word64 -> Word64 -> Word64

(.|.) :: Word64 -> Word64 -> Word64

xor :: Word64 -> Word64 -> Word64

complement :: Word64 -> Word64

shift :: Word64 -> Int -> Word64

rotate :: Word64 -> Int -> Word64

zeroBits :: Word64

bit :: Int -> Word64

setBit :: Word64 -> Int -> Word64

clearBit :: Word64 -> Int -> Word64

complementBit :: Word64 -> Int -> Word64

testBit :: Word64 -> Int -> Bool

bitSizeMaybe :: Word64 -> Maybe Int

bitSize :: Word64 -> Int

isSigned :: Word64 -> Bool

shiftL :: Word64 -> Int -> Word64

unsafeShiftL :: Word64 -> Int -> Word64

shiftR :: Word64 -> Int -> Word64

unsafeShiftR :: Word64 -> Int -> Word64

rotateL :: Word64 -> Int -> Word64

rotateR :: Word64 -> Int -> Word64

popCount :: Word64 -> Int

Bits Word8

Since: base-2.1

Defined in GHC.Word

Methods

(.&.) :: Word8 -> Word8 -> Word8

(.|.) :: Word8 -> Word8 -> Word8

xor :: Word8 -> Word8 -> Word8

complement :: Word8 -> Word8

shift :: Word8 -> Int -> Word8

rotate :: Word8 -> Int -> Word8

zeroBits :: Word8

bit :: Int -> Word8

setBit :: Word8 -> Int -> Word8

clearBit :: Word8 -> Int -> Word8

complementBit :: Word8 -> Int -> Word8

testBit :: Word8 -> Int -> Bool

bitSizeMaybe :: Word8 -> Maybe Int

bitSize :: Word8 -> Int

isSigned :: Word8 -> Bool

shiftL :: Word8 -> Int -> Word8

unsafeShiftL :: Word8 -> Int -> Word8

shiftR :: Word8 -> Int -> Word8

unsafeShiftR :: Word8 -> Int -> Word8

rotateL :: Word8 -> Int -> Word8

rotateR :: Word8 -> Int -> Word8

popCount :: Word8 -> Int

Bits Integer

Since: base-2.1

Defined in GHC.Bits

Methods

(.&.) :: Integer -> Integer -> Integer

(.|.) :: Integer -> Integer -> Integer

xor :: Integer -> Integer -> Integer

complement :: Integer -> Integer

shift :: Integer -> Int -> Integer

rotate :: Integer -> Int -> Integer

zeroBits :: Integer

bit :: Int -> Integer

setBit :: Integer -> Int -> Integer

clearBit :: Integer -> Int -> Integer

complementBit :: Integer -> Int -> Integer

testBit :: Integer -> Int -> Bool

bitSizeMaybe :: Integer -> Maybe Int

bitSize :: Integer -> Int

isSigned :: Integer -> Bool

shiftL :: Integer -> Int -> Integer

unsafeShiftL :: Integer -> Int -> Integer

shiftR :: Integer -> Int -> Integer

unsafeShiftR :: Integer -> Int -> Integer

rotateL :: Integer -> Int -> Integer

rotateR :: Integer -> Int -> Integer

popCount :: Integer -> Int

Bits Natural

Since: base-4.8.0

Defined in GHC.Bits

Methods

(.&.) :: Natural -> Natural -> Natural

(.|.) :: Natural -> Natural -> Natural

xor :: Natural -> Natural -> Natural

complement :: Natural -> Natural

shift :: Natural -> Int -> Natural

rotate :: Natural -> Int -> Natural

zeroBits :: Natural

bit :: Int -> Natural

setBit :: Natural -> Int -> Natural

clearBit :: Natural -> Int -> Natural

complementBit :: Natural -> Int -> Natural

testBit :: Natural -> Int -> Bool

bitSizeMaybe :: Natural -> Maybe Int

bitSize :: Natural -> Int

isSigned :: Natural -> Bool

shiftL :: Natural -> Int -> Natural

unsafeShiftL :: Natural -> Int -> Natural

shiftR :: Natural -> Int -> Natural

unsafeShiftR :: Natural -> Int -> Natural

rotateL :: Natural -> Int -> Natural

rotateR :: Natural -> Int -> Natural

popCount :: Natural -> Int

Bits Bool

Interpret Bool as 1-bit bit-field

Since: base-4.7.0.0

Defined in GHC.Bits

Methods

(.&.) :: Bool -> Bool -> Bool

(.|.) :: Bool -> Bool -> Bool

xor :: Bool -> Bool -> Bool

complement :: Bool -> Bool

shift :: Bool -> Int -> Bool

rotate :: Bool -> Int -> Bool

zeroBits :: Bool

bit :: Int -> Bool

setBit :: Bool -> Int -> Bool

clearBit :: Bool -> Int -> Bool

complementBit :: Bool -> Int -> Bool

testBit :: Bool -> Int -> Bool

bitSizeMaybe :: Bool -> Maybe Int

bitSize :: Bool -> Int

isSigned :: Bool -> Bool

shiftL :: Bool -> Int -> Bool

unsafeShiftL :: Bool -> Int -> Bool

shiftR :: Bool -> Int -> Bool

unsafeShiftR :: Bool -> Int -> Bool

rotateL :: Bool -> Int -> Bool

rotateR :: Bool -> Int -> Bool

popCount :: Bool -> Int

Bits Int

Since: base-2.1

Defined in GHC.Bits

Methods

(.&.) :: Int -> Int -> Int

(.|.) :: Int -> Int -> Int

xor :: Int -> Int -> Int

complement :: Int -> Int

shift :: Int -> Int -> Int

rotate :: Int -> Int -> Int

zeroBits :: Int

bit :: Int -> Int

setBit :: Int -> Int -> Int

clearBit :: Int -> Int -> Int

complementBit :: Int -> Int -> Int

testBit :: Int -> Int -> Bool

bitSizeMaybe :: Int -> Maybe Int

bitSize :: Int -> Int

isSigned :: Int -> Bool

shiftL :: Int -> Int -> Int

unsafeShiftL :: Int -> Int -> Int

shiftR :: Int -> Int -> Int

unsafeShiftR :: Int -> Int -> Int

rotateL :: Int -> Int -> Int

rotateR :: Int -> Int -> Int

popCount :: Int -> Int

Bits Word

Since: base-2.1

Defined in GHC.Bits

Methods

(.&.) :: Word -> Word -> Word

(.|.) :: Word -> Word -> Word

xor :: Word -> Word -> Word

complement :: Word -> Word

shift :: Word -> Int -> Word

rotate :: Word -> Int -> Word

zeroBits :: Word

bit :: Int -> Word

setBit :: Word -> Int -> Word

clearBit :: Word -> Int -> Word

complementBit :: Word -> Int -> Word

testBit :: Word -> Int -> Bool

bitSizeMaybe :: Word -> Maybe Int

bitSize :: Word -> Int

isSigned :: Word -> Bool

shiftL :: Word -> Int -> Word

unsafeShiftL :: Word -> Int -> Word

shiftR :: Word -> Int -> Word

unsafeShiftR :: Word -> Int -> Word

rotateL :: Word -> Int -> Word

rotateR :: Word -> Int -> Word

popCount :: Word -> Int

Bits a => Bits (And a)

Since: base-4.16

Defined in Data.Bits

Methods

(.&.) :: And a -> And a -> And a

(.|.) :: And a -> And a -> And a

xor :: And a -> And a -> And a

complement :: And a -> And a

shift :: And a -> Int -> And a

rotate :: And a -> Int -> And a

zeroBits :: And a

bit :: Int -> And a

setBit :: And a -> Int -> And a

clearBit :: And a -> Int -> And a

complementBit :: And a -> Int -> And a

testBit :: And a -> Int -> Bool

bitSizeMaybe :: And a -> Maybe Int

bitSize :: And a -> Int

isSigned :: And a -> Bool

shiftL :: And a -> Int -> And a

unsafeShiftL :: And a -> Int -> And a

shiftR :: And a -> Int -> And a

unsafeShiftR :: And a -> Int -> And a

rotateL :: And a -> Int -> And a

rotateR :: And a -> Int -> And a

popCount :: And a -> Int

Bits a => Bits (Iff a)

Since: base-4.16

Defined in Data.Bits

Methods

(.&.) :: Iff a -> Iff a -> Iff a

(.|.) :: Iff a -> Iff a -> Iff a

xor :: Iff a -> Iff a -> Iff a

complement :: Iff a -> Iff a

shift :: Iff a -> Int -> Iff a

rotate :: Iff a -> Int -> Iff a

zeroBits :: Iff a

bit :: Int -> Iff a

setBit :: Iff a -> Int -> Iff a

clearBit :: Iff a -> Int -> Iff a

complementBit :: Iff a -> Int -> Iff a

testBit :: Iff a -> Int -> Bool

bitSizeMaybe :: Iff a -> Maybe Int

bitSize :: Iff a -> Int

isSigned :: Iff a -> Bool

shiftL :: Iff a -> Int -> Iff a

unsafeShiftL :: Iff a -> Int -> Iff a

shiftR :: Iff a -> Int -> Iff a

unsafeShiftR :: Iff a -> Int -> Iff a

rotateL :: Iff a -> Int -> Iff a

rotateR :: Iff a -> Int -> Iff a

popCount :: Iff a -> Int

Bits a => Bits (Ior a)

Since: base-4.16

Defined in Data.Bits

Methods

(.&.) :: Ior a -> Ior a -> Ior a

(.|.) :: Ior a -> Ior a -> Ior a

xor :: Ior a -> Ior a -> Ior a

complement :: Ior a -> Ior a

shift :: Ior a -> Int -> Ior a

rotate :: Ior a -> Int -> Ior a

zeroBits :: Ior a

bit :: Int -> Ior a

setBit :: Ior a -> Int -> Ior a

clearBit :: Ior a -> Int -> Ior a

complementBit :: Ior a -> Int -> Ior a

testBit :: Ior a -> Int -> Bool

bitSizeMaybe :: Ior a -> Maybe Int

bitSize :: Ior a -> Int

isSigned :: Ior a -> Bool

shiftL :: Ior a -> Int -> Ior a

unsafeShiftL :: Ior a -> Int -> Ior a

shiftR :: Ior a -> Int -> Ior a

unsafeShiftR :: Ior a -> Int -> Ior a

rotateL :: Ior a -> Int -> Ior a

rotateR :: Ior a -> Int -> Ior a

popCount :: Ior a -> Int

Bits a => Bits (Xor a)

Since: base-4.16

Defined in Data.Bits

Methods

(.&.) :: Xor a -> Xor a -> Xor a

(.|.) :: Xor a -> Xor a -> Xor a

xor :: Xor a -> Xor a -> Xor a

complement :: Xor a -> Xor a

shift :: Xor a -> Int -> Xor a

rotate :: Xor a -> Int -> Xor a

zeroBits :: Xor a

bit :: Int -> Xor a

setBit :: Xor a -> Int -> Xor a

clearBit :: Xor a -> Int -> Xor a

complementBit :: Xor a -> Int -> Xor a

testBit :: Xor a -> Int -> Bool

bitSizeMaybe :: Xor a -> Maybe Int

bitSize :: Xor a -> Int

isSigned :: Xor a -> Bool

shiftL :: Xor a -> Int -> Xor a

unsafeShiftL :: Xor a -> Int -> Xor a

shiftR :: Xor a -> Int -> Xor a

unsafeShiftR :: Xor a -> Int -> Xor a

rotateL :: Xor a -> Int -> Xor a

rotateR :: Xor a -> Int -> Xor a

popCount :: Xor a -> Int

Bits a => Bits (Identity a)

Since: base-4.9.0.0

Defined in Data.Functor.Identity

Methods

(.&.) :: Identity a -> Identity a -> Identity a

(.|.) :: Identity a -> Identity a -> Identity a

xor :: Identity a -> Identity a -> Identity a

complement :: Identity a -> Identity a

shift :: Identity a -> Int -> Identity a

rotate :: Identity a -> Int -> Identity a

zeroBits :: Identity a

bit :: Int -> Identity a

setBit :: Identity a -> Int -> Identity a

clearBit :: Identity a -> Int -> Identity a

complementBit :: Identity a -> Int -> Identity a

testBit :: Identity a -> Int -> Bool

bitSizeMaybe :: Identity a -> Maybe Int

bitSize :: Identity a -> Int

isSigned :: Identity a -> Bool

shiftL :: Identity a -> Int -> Identity a

unsafeShiftL :: Identity a -> Int -> Identity a

shiftR :: Identity a -> Int -> Identity a

unsafeShiftR :: Identity a -> Int -> Identity a

rotateL :: Identity a -> Int -> Identity a

rotateR :: Identity a -> Int -> Identity a

popCount :: Identity a -> Int

Bits a => Bits (Down a)

Since: base-4.14.0.0

Defined in Data.Ord

Methods

(.&.) :: Down a -> Down a -> Down a

(.|.) :: Down a -> Down a -> Down a

xor :: Down a -> Down a -> Down a

complement :: Down a -> Down a

shift :: Down a -> Int -> Down a

rotate :: Down a -> Int -> Down a

zeroBits :: Down a

bit :: Int -> Down a

setBit :: Down a -> Int -> Down a

clearBit :: Down a -> Int -> Down a

complementBit :: Down a -> Int -> Down a

testBit :: Down a -> Int -> Bool

bitSizeMaybe :: Down a -> Maybe Int

bitSize :: Down a -> Int

isSigned :: Down a -> Bool

shiftL :: Down a -> Int -> Down a

unsafeShiftL :: Down a -> Int -> Down a

shiftR :: Down a -> Int -> Down a

unsafeShiftR :: Down a -> Int -> Down a

rotateL :: Down a -> Int -> Down a

rotateR :: Down a -> Int -> Down a

popCount :: Down a -> Int

(Typed a, Bits a) => Bits (Stream a)

Instance of the Bits class for Streams.

Only the methods .&., complement, .|. and xor are defined.

Defined in Copilot.Language.Operators.BitWise

Methods

(.&.) :: Stream a -> Stream a -> Stream a

(.|.) :: Stream a -> Stream a -> Stream a

xor :: Stream a -> Stream a -> Stream a

complement :: Stream a -> Stream a

shift :: Stream a -> Int -> Stream a

rotate :: Stream a -> Int -> Stream a

zeroBits :: Stream a

bit :: Int -> Stream a

setBit :: Stream a -> Int -> Stream a

clearBit :: Stream a -> Int -> Stream a

complementBit :: Stream a -> Int -> Stream a

testBit :: Stream a -> Int -> Bool

bitSizeMaybe :: Stream a -> Maybe Int

bitSize :: Stream a -> Int

isSigned :: Stream a -> Bool

shiftL :: Stream a -> Int -> Stream a

unsafeShiftL :: Stream a -> Int -> Stream a

shiftR :: Stream a -> Int -> Stream a

unsafeShiftR :: Stream a -> Int -> Stream a

rotateL :: Stream a -> Int -> Stream a

rotateR :: Stream a -> Int -> Stream a

popCount :: Stream a -> Int

(.^.) :: Bits a => a -> a -> a

See xor.

(.<<.) :: (Bits a, Typed a, Typed b, Integral b) => Stream a -> Stream b -> Stream a

Shifting values of a stream to the left.

(.>>.) :: (Bits a, Typed a, Typed b, Integral b) => Stream a -> Stream b -> Stream a

Shifting values of a stream to the right.

Orphan instances

(Typed a, Bits a) => Bits (Stream a)

Instance of the Bits class for Streams.

Only the methods .&., complement, .|. and xor are defined.

Methods

(.&.) :: Stream a -> Stream a -> Stream a

(.|.) :: Stream a -> Stream a -> Stream a

xor :: Stream a -> Stream a -> Stream a

complement :: Stream a -> Stream a

shift :: Stream a -> Int -> Stream a

rotate :: Stream a -> Int -> Stream a

zeroBits :: Stream a

bit :: Int -> Stream a

setBit :: Stream a -> Int -> Stream a

clearBit :: Stream a -> Int -> Stream a

complementBit :: Stream a -> Int -> Stream a

testBit :: Stream a -> Int -> Bool

bitSizeMaybe :: Stream a -> Maybe Int

bitSize :: Stream a -> Int

isSigned :: Stream a -> Bool

shiftL :: Stream a -> Int -> Stream a

unsafeShiftL :: Stream a -> Int -> Stream a

shiftR :: Stream a -> Int -> Stream a

unsafeShiftR :: Stream a -> Int -> Stream a

rotateL :: Stream a -> Int -> Stream a

rotateR :: Stream a -> Int -> Stream a

popCount :: Stream a -> Int