Copilot.Language.Operators.BitWise

Bitwise operators.

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 or (shiftL and shiftR)), (rotate or (rotateL and rotateR)), bitSize, isSigned, testBit, bit, and popCount. The latter three can be implemented using testBitDefault, 'bitDefault, and popCountDefault, if a is also an instance of Num.

Methods

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

Bitwise "and"

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

Bitwise "or"

complement :: a -> a

Reverse all the bits in the argument

Instances

Bits Int

Bits Int8

Bits Int16

Bits Int32

Bits Int64

Bits Integer

Bits Word

Bits Word8

Bits Word16

Bits Word32

Bits Word64

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

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

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

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