Safe Haskell	Safe
Language	Haskell2010

Copilot.Language.Operators.BitWise

Contents

Orphan instances

Description

Bitwise operators applied on streams, pointwise.

Synopsis

class Eq a => Bits a where
- (.&.) :: a -> a -> a
- (.|.) :: a -> a -> a
- complement :: a -> 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

Documentation

class Eq a => Bits a where #

Minimal complete definition

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

Methods

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

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

complement :: a -> a #

Instances

Instances details

Bits Int16
Instance details Defined in GHC.Internal.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
Instance details Defined in GHC.Internal.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
Instance details Defined in GHC.Internal.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
Instance details Defined in GHC.Internal.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
Instance details Defined in GHC.Internal.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
Instance details Defined in GHC.Internal.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
Instance details Defined in GHC.Internal.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
Instance details Defined in GHC.Internal.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
Instance details Defined in GHC.Internal.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
Instance details Defined in GHC.Internal.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
Instance details Defined in GHC.Internal.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
Instance details Defined in GHC.Internal.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
Instance details Defined in GHC.Internal.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
(Typed a, Bits a) => Bits (Stream a) Source #	Instance of the `Bits` class for `Stream`s. Only the methods `.&.`, `complement`, `.\|.` and `xor` are defined.
Instance details 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 => Bits (And a)
Instance details Defined in GHC.Internal.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)
Instance details Defined in GHC.Internal.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)
Instance details Defined in GHC.Internal.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)
Instance details Defined in GHC.Internal.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)
Instance details Defined in GHC.Internal.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