base-4.9.1.0: Basic libraries

Copyright | (c) The University of Glasgow 2001
License | BSD-style (see the file libraries/base/LICENSE)
Maintainer | libraries@haskell.org
Stability | experimental
Portability | portable
Safe Haskell | Trustworthy
Language | Haskell2010

Data.Bits

Description

This module defines bitwise operations for signed and unsigned integers. Instances of the class `Bits` for the `Int` and `Integer` types are available from this module, and instances for explicitly sized integral types are available from the Data.Int and Data.Word modules.

Synopsis

- class Eq a => Bits a where
- class Bits b => FiniteBits b where
- bitDefault :: (Bits a, Num a) => Int -> a
- testBitDefault :: (Bits a, Num a) => a -> Int -> Bool
- popCountDefault :: (Bits a, Num a) => a -> Int
- toIntegralSized :: (Integral a, Integral b, Bits a, Bits b) => a -> Maybe b

# Documentation

class Eq a => Bits a where Source #

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 Source #

Bitwise "and"

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

Bitwise "or"

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

Bitwise "xor"

complement :: a -> a Source #

Reverse all the bits in the argument

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

``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.

An instance can define either this unified `shift` or `shiftL` and `shiftR`, depending on which is more convenient for the type in question.

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

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

For unbounded types like `Integer`, `rotate` is equivalent to `shift`.

An instance can define either this unified `rotate` or `rotateL` and `rotateR`, depending on which is more convenient for the type in question.

zeroBits :: a Source #

`zeroBits` is the value with all bits unset.

The following laws ought to hold (for all valid bit indices `n`):

-     clearBit zeroBits n == zeroBits

-     setBit   zeroBits n == bit n

-     testBit  zeroBits n == False

-     popCount zeroBits   == 0

This method uses ``clearBit` (`bit` 0) 0` as its default implementation (which ought to be equivalent to `zeroBits` for types which possess a 0th bit).

Since: 4.7.0.0

bit :: Int -> a Source #

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

Can be implemented using `bitDefault` if `a` is also an instance of `Num`.

See also `zeroBits`.

setBit :: a -> Int -> a Source #

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

clearBit :: a -> Int -> a Source #

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

complementBit :: a -> Int -> a Source #

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

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

Return `True` if the `n`th bit of the argument is 1

Can be implemented using `testBitDefault` if `a` is also an instance of `Num`.

bitSizeMaybe :: a -> Maybe Int Source #

Return the number of bits in the type of the argument. The actual value of the argument is ignored. Returns Nothing for types that do not have a fixed bitsize, like `Integer`.

Since: 4.7.0.0

bitSize :: a -> Int Source #

Deprecated: Use `bitSizeMaybe` or `finiteBitSize` instead

Return the number of bits in the type of the argument. The actual value of the argument is ignored. The function `bitSize` is undefined for types that do not have a fixed bitsize, like `Integer`.

isSigned :: a -> Bool Source #

Return `True` if the argument is a signed type. The actual value of the argument is ignored

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

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

An instance can define either this and `shiftR` or the unified `shift`, depending on which is more convenient for the type in question.

unsafeShiftL :: a -> Int -> a Source #

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 `bitSize`.

Defaults to `shiftL` unless defined explicitly by an instance.

Since: 4.5.0.0

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

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 `bitSize`.

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.

An instance can define either this and `shiftL` or the unified `shift`, depending on which is more convenient for the type in question.

unsafeShiftR :: a -> Int -> a Source #

Shift the first argument right by the specified number of bits, which must be non-negative an smaller than the number of bits in the type.

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.

Defaults to `shiftR` unless defined explicitly by an instance.

Since: 4.5.0.0

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

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

An instance can define either this and `rotateR` or the unified `rotate`, depending on which is more convenient for the type in question.

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

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

An instance can define either this and `rotateL` or the unified `rotate`, depending on which is more convenient for the type in question.

popCount :: a -> Int Source #

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

Can be implemented using `popCountDefault` if `a` is also an instance of `Num`.

Since: 4.5.0.0

Instances

Bits Bool # |
Methods (.&.) :: Bool -> Bool -> Bool Source # (.|.) :: Bool -> Bool -> Bool Source # xor :: Bool -> Bool -> Bool Source # complement :: Bool -> Bool Source # shift :: Bool -> Int -> Bool Source # rotate :: Bool -> Int -> Bool Source # zeroBits :: Bool Source # bit :: Int -> Bool Source # setBit :: Bool -> Int -> Bool Source # clearBit :: Bool -> Int -> Bool Source # complementBit :: Bool -> Int -> Bool Source # testBit :: Bool -> Int -> Bool Source # bitSizeMaybe :: Bool -> Maybe Int Source # bitSize :: Bool -> Int Source # isSigned :: Bool -> Bool Source # shiftL :: Bool -> Int -> Bool Source # unsafeShiftL :: Bool -> Int -> Bool Source # shiftR :: Bool -> Int -> Bool Source # unsafeShiftR :: Bool -> Int -> Bool Source # rotateL :: Bool -> Int -> Bool Source # rotateR :: Bool -> Int -> Bool Source # popCount :: Bool -> Int Source #
Bits Int # |
Methods (.&.) :: Int -> Int -> Int Source # (.|.) :: Int -> Int -> Int Source # xor :: Int -> Int -> Int Source # complement :: Int -> Int Source # shift :: Int -> Int -> Int Source # rotate :: Int -> Int -> Int Source # zeroBits :: Int Source # bit :: Int -> Int Source # setBit :: Int -> Int -> Int Source # clearBit :: Int -> Int -> Int Source # complementBit :: Int -> Int -> Int Source # testBit :: Int -> Int -> Bool Source # bitSizeMaybe :: Int -> Maybe Int Source # bitSize :: Int -> Int Source # isSigned :: Int -> Bool Source # shiftL :: Int -> Int -> Int Source # unsafeShiftL :: Int -> Int -> Int Source # shiftR :: Int -> Int -> Int Source # unsafeShiftR :: Int -> Int -> Int Source # rotateL :: Int -> Int -> Int Source # rotateR :: Int -> Int -> Int Source # popCount :: Int -> Int Source #
Bits Int8 # |
Methods (.&.) :: Int8 -> Int8 -> Int8 Source # (.|.) :: Int8 -> Int8 -> Int8 Source # xor :: Int8 -> Int8 -> Int8 Source # complement :: Int8 -> Int8 Source # shift :: Int8 -> Int -> Int8 Source # rotate :: Int8 -> Int -> Int8 Source # zeroBits :: Int8 Source # bit :: Int -> Int8 Source # setBit :: Int8 -> Int -> Int8 Source # clearBit :: Int8 -> Int -> Int8 Source # complementBit :: Int8 -> Int -> Int8 Source # testBit :: Int8 -> Int -> Bool Source # bitSizeMaybe :: Int8 -> Maybe Int Source # bitSize :: Int8 -> Int Source # isSigned :: Int8 -> Bool Source # shiftL :: Int8 -> Int -> Int8 Source # unsafeShiftL :: Int8 -> Int -> Int8 Source # shiftR :: Int8 -> Int -> Int8 Source # unsafeShiftR :: Int8 -> Int -> Int8 Source # rotateL :: Int8 -> Int -> Int8 Source # rotateR :: Int8 -> Int -> Int8 Source # popCount :: Int8 -> Int Source #
Bits Int16 # |
Methods (.&.) :: Int16 -> Int16 -> Int16 Source # (.|.) :: Int16 -> Int16 -> Int16 Source # xor :: Int16 -> Int16 -> Int16 Source # complement :: Int16 -> Int16 Source # shift :: Int16 -> Int -> Int16 Source # rotate :: Int16 -> Int -> Int16 Source # zeroBits :: Int16 Source # bit :: Int -> Int16 Source # setBit :: Int16 -> Int -> Int16 Source # clearBit :: Int16 -> Int -> Int16 Source # complementBit :: Int16 -> Int -> Int16 Source # testBit :: Int16 -> Int -> Bool Source # bitSizeMaybe :: Int16 -> Maybe Int Source # bitSize :: Int16 -> Int Source # isSigned :: Int16 -> Bool Source # shiftL :: Int16 -> Int -> Int16 Source # unsafeShiftL :: Int16 -> Int -> Int16 Source # shiftR :: Int16 -> Int -> Int16 Source # unsafeShiftR :: Int16 -> Int -> Int16 Source # rotateL :: Int16 -> Int -> Int16 Source # rotateR :: Int16 -> Int -> Int16 Source # popCount :: Int16 -> Int Source #
Bits Int32 # |
Methods (.&.) :: Int32 -> Int32 -> Int32 Source # (.|.) :: Int32 -> Int32 -> Int32 Source # xor :: Int32 -> Int32 -> Int32 Source # complement :: Int32 -> Int32 Source # shift :: Int32 -> Int -> Int32 Source # rotate :: Int32 -> Int -> Int32 Source # zeroBits :: Int32 Source # bit :: Int -> Int32 Source # setBit :: Int32 -> Int -> Int32 Source # clearBit :: Int32 -> Int -> Int32 Source # complementBit :: Int32 -> Int -> Int32 Source # testBit :: Int32 -> Int -> Bool Source # bitSizeMaybe :: Int32 -> Maybe Int Source # bitSize :: Int32 -> Int Source # isSigned :: Int32 -> Bool Source # shiftL :: Int32 -> Int -> Int32 Source # unsafeShiftL :: Int32 -> Int -> Int32 Source # shiftR :: Int32 -> Int -> Int32 Source # unsafeShiftR :: Int32 -> Int -> Int32 Source # rotateL :: Int32 -> Int -> Int32 Source # rotateR :: Int32 -> Int -> Int32 Source # popCount :: Int32 -> Int Source #
Bits Int64 # |
Methods (.&.) :: Int64 -> Int64 -> Int64 Source # (.|.) :: Int64 -> Int64 -> Int64 Source # xor :: Int64 -> Int64 -> Int64 Source # complement :: Int64 -> Int64 Source # shift :: Int64 -> Int -> Int64 Source # rotate :: Int64 -> Int -> Int64 Source # zeroBits :: Int64 Source # bit :: Int -> Int64 Source # setBit :: Int64 -> Int -> Int64 Source # clearBit :: Int64 -> Int -> Int64 Source # complementBit :: Int64 -> Int -> Int64 Source # testBit :: Int64 -> Int -> Bool Source # bitSizeMaybe :: Int64 -> Maybe Int Source # bitSize :: Int64 -> Int Source # isSigned :: Int64 -> Bool Source # shiftL :: Int64 -> Int -> Int64 Source # unsafeShiftL :: Int64 -> Int -> Int64 Source # shiftR :: Int64 -> Int -> Int64 Source # unsafeShiftR :: Int64 -> Int -> Int64 Source # rotateL :: Int64 -> Int -> Int64 Source # rotateR :: Int64 -> Int -> Int64 Source # popCount :: Int64 -> Int Source #
Bits Integer # |
Methods (.&.) :: Integer -> Integer -> Integer Source # (.|.) :: Integer -> Integer -> Integer Source # xor :: Integer -> Integer -> Integer Source # complement :: Integer -> Integer Source # shift :: Integer -> Int -> Integer Source # rotate :: Integer -> Int -> Integer Source # zeroBits :: Integer Source # bit :: Int -> Integer Source # setBit :: Integer -> Int -> Integer Source # clearBit :: Integer -> Int -> Integer Source # complementBit :: Integer -> Int -> Integer Source # testBit :: Integer -> Int -> Bool Source # bitSizeMaybe :: Integer -> Maybe Int Source # bitSize :: Integer -> Int Source # isSigned :: Integer -> Bool Source # shiftL :: Integer -> Int -> Integer Source # unsafeShiftL :: Integer -> Int -> Integer Source # shiftR :: Integer -> Int -> Integer Source # unsafeShiftR :: Integer -> Int -> Integer Source # rotateL :: Integer -> Int -> Integer Source # rotateR :: Integer -> Int -> Integer Source # popCount :: Integer -> Int Source #
Bits Word # |
Methods (.&.) :: Word -> Word -> Word Source # (.|.) :: Word -> Word -> Word Source # xor :: Word -> Word -> Word Source # complement :: Word -> Word Source # shift :: Word -> Int -> Word Source # rotate :: Word -> Int -> Word Source # zeroBits :: Word Source # bit :: Int -> Word Source # setBit :: Word -> Int -> Word Source # clearBit :: Word -> Int -> Word Source # complementBit :: Word -> Int -> Word Source # testBit :: Word -> Int -> Bool Source # bitSizeMaybe :: Word -> Maybe Int Source # bitSize :: Word -> Int Source # isSigned :: Word -> Bool Source # shiftL :: Word -> Int -> Word Source # unsafeShiftL :: Word -> Int -> Word Source # shiftR :: Word -> Int -> Word Source # unsafeShiftR :: Word -> Int -> Word Source # rotateL :: Word -> Int -> Word Source # rotateR :: Word -> Int -> Word Source # popCount :: Word -> Int Source #
Bits Word8 # |
Methods (.&.) :: Word8 -> Word8 -> Word8 Source # (.|.) :: Word8 -> Word8 -> Word8 Source # xor :: Word8 -> Word8 -> Word8 Source # complement :: Word8 -> Word8 Source # shift :: Word8 -> Int -> Word8 Source # rotate :: Word8 -> Int -> Word8 Source # zeroBits :: Word8 Source # bit :: Int -> Word8 Source # setBit :: Word8 -> Int -> Word8 Source # clearBit :: Word8 -> Int -> Word8 Source # complementBit :: Word8 -> Int -> Word8 Source # testBit :: Word8 -> Int -> Bool Source # bitSizeMaybe :: Word8 -> Maybe Int Source # bitSize :: Word8 -> Int Source # isSigned :: Word8 -> Bool Source # shiftL :: Word8 -> Int -> Word8 Source # unsafeShiftL :: Word8 -> Int -> Word8 Source # shiftR :: Word8 -> Int -> Word8 Source # unsafeShiftR :: Word8 -> Int -> Word8 Source # rotateL :: Word8 -> Int -> Word8 Source # rotateR :: Word8 -> Int -> Word8 Source # popCount :: Word8 -> Int Source #
Bits Word16 # |
Methods (.&.) :: Word16 -> Word16 -> Word16 Source # (.|.) :: Word16 -> Word16 -> Word16 Source # xor :: Word16 -> Word16 -> Word16 Source # complement :: Word16 -> Word16 Source # shift :: Word16 -> Int -> Word16 Source # rotate :: Word16 -> Int -> Word16 Source # zeroBits :: Word16 Source # bit :: Int -> Word16 Source # setBit :: Word16 -> Int -> Word16 Source # clearBit :: Word16 -> Int -> Word16 Source # complementBit :: Word16 -> Int -> Word16 Source # testBit :: Word16 -> Int -> Bool Source # bitSizeMaybe :: Word16 -> Maybe Int Source # bitSize :: Word16 -> Int Source # isSigned :: Word16 -> Bool Source # shiftL :: Word16 -> Int -> Word16 Source # unsafeShiftL :: Word16 -> Int -> Word16 Source # shiftR :: Word16 -> Int -> Word16 Source # unsafeShiftR :: Word16 -> Int -> Word16 Source # rotateL :: Word16 -> Int -> Word16 Source # rotateR :: Word16 -> Int -> Word16 Source # popCount :: Word16 -> Int Source #
Bits Word32 # |
Methods (.&.) :: Word32 -> Word32 -> Word32 Source # (.|.) :: Word32 -> Word32 -> Word32 Source # xor :: Word32 -> Word32 -> Word32 Source # complement :: Word32 -> Word32 Source # shift :: Word32 -> Int -> Word32 Source # rotate :: Word32 -> Int -> Word32 Source # zeroBits :: Word32 Source # bit :: Int -> Word32 Source # setBit :: Word32 -> Int -> Word32 Source # clearBit :: Word32 -> Int -> Word32 Source # complementBit :: Word32 -> Int -> Word32 Source # testBit :: Word32 -> Int -> Bool Source # bitSizeMaybe :: Word32 -> Maybe Int Source # bitSize :: Word32 -> Int Source # isSigned :: Word32 -> Bool Source # shiftL :: Word32 -> Int -> Word32 Source # unsafeShiftL :: Word32 -> Int -> Word32 Source # shiftR :: Word32 -> Int -> Word32 Source # unsafeShiftR :: Word32 -> Int -> Word32 Source # rotateL :: Word32 -> Int -> Word32 Source # rotateR :: Word32 -> Int -> Word32 Source # popCount :: Word32 -> Int Source #
Bits Word64 # |
Methods (.&.) :: Word64 -> Word64 -> Word64 Source # (.|.) :: Word64 -> Word64 -> Word64 Source # xor :: Word64 -> Word64 -> Word64 Source # complement :: Word64 -> Word64 Source # shift :: Word64 -> Int -> Word64 Source # rotate :: Word64 -> Int -> Word64 Source # zeroBits :: Word64 Source # bit :: Int -> Word64 Source # setBit :: Word64 -> Int -> Word64 Source # clearBit :: Word64 -> Int -> Word64 Source # complementBit :: Word64 -> Int -> Word64 Source # testBit :: Word64 -> Int -> Bool Source # bitSizeMaybe :: Word64 -> Maybe Int Source # bitSize :: Word64 -> Int Source # isSigned :: Word64 -> Bool Source # shiftL :: Word64 -> Int -> Word64 Source # unsafeShiftL :: Word64 -> Int -> Word64 Source # shiftR :: Word64 -> Int -> Word64 Source # unsafeShiftR :: Word64 -> Int -> Word64 Source # rotateL :: Word64 -> Int -> Word64 Source # rotateR :: Word64 -> Int -> Word64 Source # popCount :: Word64 -> Int Source #
Bits CUIntMax # |
Methods (.&.) :: CUIntMax -> CUIntMax -> CUIntMax Source # (.|.) :: CUIntMax -> CUIntMax -> CUIntMax Source # xor :: CUIntMax -> CUIntMax -> CUIntMax Source # complement :: CUIntMax -> CUIntMax Source # shift :: CUIntMax -> Int -> CUIntMax Source # rotate :: CUIntMax -> Int -> CUIntMax Source # zeroBits :: CUIntMax Source # bit :: Int -> CUIntMax Source # setBit :: CUIntMax -> Int -> CUIntMax Source # clearBit :: CUIntMax -> Int -> CUIntMax Source # complementBit :: CUIntMax -> Int -> CUIntMax Source # testBit :: CUIntMax -> Int -> Bool Source # bitSizeMaybe :: CUIntMax -> Maybe Int Source # bitSize :: CUIntMax -> Int Source # isSigned :: CUIntMax -> Bool Source # shiftL :: CUIntMax -> Int -> CUIntMax Source # unsafeShiftL :: CUIntMax -> Int -> CUIntMax Source # shiftR :: CUIntMax -> Int -> CUIntMax Source # unsafeShiftR :: CUIntMax -> Int -> CUIntMax Source # rotateL :: CUIntMax -> Int -> CUIntMax Source # rotateR :: CUIntMax -> Int -> CUIntMax Source # popCount :: CUIntMax -> Int Source #
Bits CIntMax # |
Methods (.&.) :: CIntMax -> CIntMax -> CIntMax Source # (.|.) :: CIntMax -> CIntMax -> CIntMax Source # xor :: CIntMax -> CIntMax -> CIntMax Source # complement :: CIntMax -> CIntMax Source # shift :: CIntMax -> Int -> CIntMax Source # rotate :: CIntMax -> Int -> CIntMax Source # zeroBits :: CIntMax Source # bit :: Int -> CIntMax Source # setBit :: CIntMax -> Int -> CIntMax Source # clearBit :: CIntMax -> Int -> CIntMax Source # complementBit :: CIntMax -> Int -> CIntMax Source # testBit :: CIntMax -> Int -> Bool Source # bitSizeMaybe :: CIntMax -> Maybe Int Source # bitSize :: CIntMax -> Int Source # isSigned :: CIntMax -> Bool Source # shiftL :: CIntMax -> Int -> CIntMax Source # unsafeShiftL :: CIntMax -> Int -> CIntMax Source # shiftR :: CIntMax -> Int -> CIntMax Source # unsafeShiftR :: CIntMax -> Int -> CIntMax Source # rotateL :: CIntMax -> Int -> CIntMax Source # rotateR :: CIntMax -> Int -> CIntMax Source # popCount :: CIntMax -> Int Source #
Bits CUIntPtr # |
Methods (.&.) :: CUIntPtr -> CUIntPtr -> CUIntPtr Source # (.|.) :: CUIntPtr -> CUIntPtr -> CUIntPtr Source # xor :: CUIntPtr -> CUIntPtr -> CUIntPtr Source # complement :: CUIntPtr -> CUIntPtr Source # shift :: CUIntPtr -> Int -> CUIntPtr Source # rotate :: CUIntPtr -> Int -> CUIntPtr Source # zeroBits :: CUIntPtr Source # bit :: Int -> CUIntPtr Source # setBit :: CUIntPtr -> Int -> CUIntPtr Source # clearBit :: CUIntPtr -> Int -> CUIntPtr Source # complementBit :: CUIntPtr -> Int -> CUIntPtr Source # testBit :: CUIntPtr -> Int -> Bool Source # bitSizeMaybe :: CUIntPtr -> Maybe Int Source # bitSize :: CUIntPtr -> Int Source # isSigned :: CUIntPtr -> Bool Source # shiftL :: CUIntPtr -> Int -> CUIntPtr Source # unsafeShiftL :: CUIntPtr -> Int -> CUIntPtr Source # shiftR :: CUIntPtr -> Int -> CUIntPtr Source # unsafeShiftR :: CUIntPtr -> Int -> CUIntPtr Source # rotateL :: CUIntPtr -> Int -> CUIntPtr Source # rotateR :: CUIntPtr -> Int -> CUIntPtr Source # popCount :: CUIntPtr -> Int Source #
Bits CIntPtr # |
Methods (.&.) :: CIntPtr -> CIntPtr -> CIntPtr Source # (.|.) :: CIntPtr -> CIntPtr -> CIntPtr Source # xor :: CIntPtr -> CIntPtr -> CIntPtr Source # complement :: CIntPtr -> CIntPtr Source # shift :: CIntPtr -> Int -> CIntPtr Source # rotate :: CIntPtr -> Int -> CIntPtr Source # zeroBits :: CIntPtr Source # bit :: Int -> CIntPtr Source # setBit :: CIntPtr -> Int -> CIntPtr Source # clearBit :: CIntPtr -> Int -> CIntPtr Source # complementBit :: CIntPtr -> Int -> CIntPtr Source # testBit :: CIntPtr -> Int -> Bool Source # bitSizeMaybe :: CIntPtr -> Maybe Int Source # bitSize :: CIntPtr -> Int Source # isSigned :: CIntPtr -> Bool Source # shiftL :: CIntPtr -> Int -> CIntPtr Source # unsafeShiftL :: CIntPtr -> Int -> CIntPtr Source # shiftR :: CIntPtr -> Int -> CIntPtr Source # unsafeShiftR :: CIntPtr -> Int -> CIntPtr Source # rotateL :: CIntPtr -> Int -> CIntPtr Source # rotateR :: CIntPtr -> Int -> CIntPtr Source # popCount :: CIntPtr -> Int Source #
Bits CSigAtomic # |
Methods (.&.) :: CSigAtomic -> CSigAtomic -> CSigAtomic Source # (.|.) :: CSigAtomic -> CSigAtomic -> CSigAtomic Source # xor :: CSigAtomic -> CSigAtomic -> CSigAtomic Source # complement :: CSigAtomic -> CSigAtomic Source # shift :: CSigAtomic -> Int -> CSigAtomic Source # rotate :: CSigAtomic -> Int -> CSigAtomic Source # zeroBits :: CSigAtomic Source # bit :: Int -> CSigAtomic Source # setBit :: CSigAtomic -> Int -> CSigAtomic Source # clearBit :: CSigAtomic -> Int -> CSigAtomic Source # complementBit :: CSigAtomic -> Int -> CSigAtomic Source # testBit :: CSigAtomic -> Int -> Bool Source # bitSizeMaybe :: CSigAtomic -> Maybe Int Source # bitSize :: CSigAtomic -> Int Source # isSigned :: CSigAtomic -> Bool Source # shiftL :: CSigAtomic -> Int -> CSigAtomic Source # unsafeShiftL :: CSigAtomic -> Int -> CSigAtomic Source # shiftR :: CSigAtomic -> Int -> CSigAtomic Source # unsafeShiftR :: CSigAtomic -> Int -> CSigAtomic Source # rotateL :: CSigAtomic -> Int -> CSigAtomic Source # rotateR :: CSigAtomic -> Int -> CSigAtomic Source # popCount :: CSigAtomic -> Int Source #
Bits CWchar # |
Methods (.&.) :: CWchar -> CWchar -> CWchar Source # (.|.) :: CWchar -> CWchar -> CWchar Source # xor :: CWchar -> CWchar -> CWchar Source # complement :: CWchar -> CWchar Source # shift :: CWchar -> Int -> CWchar Source # rotate :: CWchar -> Int -> CWchar Source # zeroBits :: CWchar Source # bit :: Int -> CWchar Source # setBit :: CWchar -> Int -> CWchar Source # clearBit :: CWchar -> Int -> CWchar Source # complementBit :: CWchar -> Int -> CWchar Source # testBit :: CWchar -> Int -> Bool Source # bitSizeMaybe :: CWchar -> Maybe Int Source # bitSize :: CWchar -> Int Source # isSigned :: CWchar -> Bool Source # shiftL :: CWchar -> Int -> CWchar Source # unsafeShiftL :: CWchar -> Int -> CWchar Source # shiftR :: CWchar -> Int -> CWchar Source # unsafeShiftR :: CWchar -> Int -> CWchar Source # rotateL :: CWchar -> Int -> CWchar Source # rotateR :: CWchar -> Int -> CWchar Source # popCount :: CWchar -> Int Source #
Bits CSize # |
Methods (.&.) :: CSize -> CSize -> CSize Source # (.|.) :: CSize -> CSize -> CSize Source # xor :: CSize -> CSize -> CSize Source # complement :: CSize -> CSize Source # shift :: CSize -> Int -> CSize Source # rotate :: CSize -> Int -> CSize Source # zeroBits :: CSize Source # bit :: Int -> CSize Source # setBit :: CSize -> Int -> CSize Source # clearBit :: CSize -> Int -> CSize Source # complementBit :: CSize -> Int -> CSize Source # testBit :: CSize -> Int -> Bool Source # bitSizeMaybe :: CSize -> Maybe Int Source # bitSize :: CSize -> Int Source # isSigned :: CSize -> Bool Source # shiftL :: CSize -> Int -> CSize Source # unsafeShiftL :: CSize -> Int -> CSize Source # shiftR :: CSize -> Int -> CSize Source # unsafeShiftR :: CSize -> Int -> CSize Source # rotateL :: CSize -> Int -> CSize Source # rotateR :: CSize -> Int -> CSize Source # popCount :: CSize -> Int Source #
Bits CPtrdiff # |
Methods (.&.) :: CPtrdiff -> CPtrdiff -> CPtrdiff Source # (.|.) :: CPtrdiff -> CPtrdiff -> CPtrdiff Source # xor :: CPtrdiff -> CPtrdiff -> CPtrdiff Source # complement :: CPtrdiff -> CPtrdiff Source # shift :: CPtrdiff -> Int -> CPtrdiff Source # rotate :: CPtrdiff -> Int -> CPtrdiff Source # zeroBits :: CPtrdiff Source # bit :: Int -> CPtrdiff Source # setBit :: CPtrdiff -> Int -> CPtrdiff Source # clearBit :: CPtrdiff -> Int -> CPtrdiff Source # complementBit :: CPtrdiff -> Int -> CPtrdiff Source # testBit :: CPtrdiff -> Int -> Bool Source # bitSizeMaybe :: CPtrdiff -> Maybe Int Source # bitSize :: CPtrdiff -> Int Source # isSigned :: CPtrdiff -> Bool Source # shiftL :: CPtrdiff -> Int -> CPtrdiff Source # unsafeShiftL :: CPtrdiff -> Int -> CPtrdiff Source # shiftR :: CPtrdiff -> Int -> CPtrdiff Source # unsafeShiftR :: CPtrdiff -> Int -> CPtrdiff Source # rotateL :: CPtrdiff -> Int -> CPtrdiff Source # rotateR :: CPtrdiff -> Int -> CPtrdiff Source # popCount :: CPtrdiff -> Int Source #
Bits CULLong # |
Methods (.&.) :: CULLong -> CULLong -> CULLong Source # (.|.) :: CULLong -> CULLong -> CULLong Source # xor :: CULLong -> CULLong -> CULLong Source # complement :: CULLong -> CULLong Source # shift :: CULLong -> Int -> CULLong Source # rotate :: CULLong -> Int -> CULLong Source # zeroBits :: CULLong Source # bit :: Int -> CULLong Source # setBit :: CULLong -> Int -> CULLong Source # clearBit :: CULLong -> Int -> CULLong Source # complementBit :: CULLong -> Int -> CULLong Source # testBit :: CULLong -> Int -> Bool Source # bitSizeMaybe :: CULLong -> Maybe Int Source # bitSize :: CULLong -> Int Source # isSigned :: CULLong -> Bool Source # shiftL :: CULLong -> Int -> CULLong Source # unsafeShiftL :: CULLong -> Int -> CULLong Source # shiftR :: CULLong -> Int -> CULLong Source # unsafeShiftR :: CULLong -> Int -> CULLong Source # rotateL :: CULLong -> Int -> CULLong Source # rotateR :: CULLong -> Int -> CULLong Source # popCount :: CULLong -> Int Source #
Bits CLLong # |
Methods (.&.) :: CLLong -> CLLong -> CLLong Source # (.|.) :: CLLong -> CLLong -> CLLong Source # xor :: CLLong -> CLLong -> CLLong Source # complement :: CLLong -> CLLong Source # shift :: CLLong -> Int -> CLLong Source # rotate :: CLLong -> Int -> CLLong Source # zeroBits :: CLLong Source # bit :: Int -> CLLong Source # setBit :: CLLong -> Int -> CLLong Source # clearBit :: CLLong -> Int -> CLLong Source # complementBit :: CLLong -> Int -> CLLong Source # testBit :: CLLong -> Int -> Bool Source # bitSizeMaybe :: CLLong -> Maybe Int Source # bitSize :: CLLong -> Int Source # isSigned :: CLLong -> Bool Source # shiftL :: CLLong -> Int -> CLLong Source # unsafeShiftL :: CLLong -> Int -> CLLong Source # shiftR :: CLLong -> Int -> CLLong Source # unsafeShiftR :: CLLong -> Int -> CLLong Source # rotateL :: CLLong -> Int -> CLLong Source # rotateR :: CLLong -> Int -> CLLong Source # popCount :: CLLong -> Int Source #
Bits CULong # |
Methods (.&.) :: CULong -> CULong -> CULong Source # (.|.) :: CULong -> CULong -> CULong Source # xor :: CULong -> CULong -> CULong Source # complement :: CULong -> CULong Source # shift :: CULong -> Int -> CULong Source # rotate :: CULong -> Int -> CULong Source # zeroBits :: CULong Source # bit :: Int -> CULong Source # setBit :: CULong -> Int -> CULong Source # clearBit :: CULong -> Int -> CULong Source # complementBit :: CULong -> Int -> CULong Source # testBit :: CULong -> Int -> Bool Source # bitSizeMaybe :: CULong -> Maybe Int Source # bitSize :: CULong -> Int Source # isSigned :: CULong -> Bool Source # shiftL :: CULong -> Int -> CULong Source # unsafeShiftL :: CULong -> Int -> CULong Source # shiftR :: CULong -> Int -> CULong Source # unsafeShiftR :: CULong -> Int -> CULong Source # rotateL :: CULong -> Int -> CULong Source # rotateR :: CULong -> Int -> CULong Source # popCount :: CULong -> Int Source #
Bits CLong # |
Methods (.&.) :: CLong -> CLong -> CLong Source # (.|.) :: CLong -> CLong -> CLong Source # xor :: CLong -> CLong -> CLong Source # complement :: CLong -> CLong Source # shift :: CLong -> Int -> CLong Source # rotate :: CLong -> Int -> CLong Source # zeroBits :: CLong Source # bit :: Int -> CLong Source # setBit :: CLong -> Int -> CLong Source # clearBit :: CLong -> Int -> CLong Source # complementBit :: CLong -> Int -> CLong Source # testBit :: CLong -> Int -> Bool Source # bitSizeMaybe :: CLong -> Maybe Int Source # bitSize :: CLong -> Int Source # isSigned :: CLong -> Bool Source # shiftL :: CLong -> Int -> CLong Source # unsafeShiftL :: CLong -> Int -> CLong Source # shiftR :: CLong -> Int -> CLong Source # unsafeShiftR :: CLong -> Int -> CLong Source # rotateL :: CLong -> Int -> CLong Source # rotateR :: CLong -> Int -> CLong Source # popCount :: CLong -> Int Source #
Bits CUInt # |
Methods (.&.) :: CUInt -> CUInt -> CUInt Source # (.|.) :: CUInt -> CUInt -> CUInt Source # xor :: CUInt -> CUInt -> CUInt Source # complement :: CUInt -> CUInt Source # shift :: CUInt -> Int -> CUInt Source # rotate :: CUInt -> Int -> CUInt Source # zeroBits :: CUInt Source # bit :: Int -> CUInt Source # setBit :: CUInt -> Int -> CUInt Source # clearBit :: CUInt -> Int -> CUInt Source # complementBit :: CUInt -> Int -> CUInt Source # testBit :: CUInt -> Int -> Bool Source # bitSizeMaybe :: CUInt -> Maybe Int Source # bitSize :: CUInt -> Int Source # isSigned :: CUInt -> Bool Source # shiftL :: CUInt -> Int -> CUInt Source # unsafeShiftL :: CUInt -> Int -> CUInt Source # shiftR :: CUInt -> Int -> CUInt Source # unsafeShiftR :: CUInt -> Int -> CUInt Source # rotateL :: CUInt -> Int -> CUInt Source # rotateR :: CUInt -> Int -> CUInt Source # popCount :: CUInt -> Int Source #
Bits CInt # |
Methods (.&.) :: CInt -> CInt -> CInt Source # (.|.) :: CInt -> CInt -> CInt Source # xor :: CInt -> CInt -> CInt Source # complement :: CInt -> CInt Source # shift :: CInt -> Int -> CInt Source # rotate :: CInt -> Int -> CInt Source # zeroBits :: CInt Source # bit :: Int -> CInt Source # setBit :: CInt -> Int -> CInt Source # clearBit :: CInt -> Int -> CInt Source # complementBit :: CInt -> Int -> CInt Source # testBit :: CInt -> Int -> Bool Source # bitSizeMaybe :: CInt -> Maybe Int Source # bitSize :: CInt -> Int Source # isSigned :: CInt -> Bool Source # shiftL :: CInt -> Int -> CInt Source # unsafeShiftL :: CInt -> Int -> CInt Source # shiftR :: CInt -> Int -> CInt Source # unsafeShiftR :: CInt -> Int -> CInt Source # rotateL :: CInt -> Int -> CInt Source # rotateR :: CInt -> Int -> CInt Source # popCount :: CInt -> Int Source #
Bits CUShort # |
Methods (.&.) :: CUShort -> CUShort -> CUShort Source # (.|.) :: CUShort -> CUShort -> CUShort Source # xor :: CUShort -> CUShort -> CUShort Source # complement :: CUShort -> CUShort Source # shift :: CUShort -> Int -> CUShort Source # rotate :: CUShort -> Int -> CUShort Source # zeroBits :: CUShort Source # bit :: Int -> CUShort Source # setBit :: CUShort -> Int -> CUShort Source # clearBit :: CUShort -> Int -> CUShort Source # complementBit :: CUShort -> Int -> CUShort Source # testBit :: CUShort -> Int -> Bool Source # bitSizeMaybe :: CUShort -> Maybe Int Source # bitSize :: CUShort -> Int Source # isSigned :: CUShort -> Bool Source # shiftL :: CUShort -> Int -> CUShort Source # unsafeShiftL :: CUShort -> Int -> CUShort Source # shiftR :: CUShort -> Int -> CUShort Source # unsafeShiftR :: CUShort -> Int -> CUShort Source # rotateL :: CUShort -> Int -> CUShort Source # rotateR :: CUShort -> Int -> CUShort Source # popCount :: CUShort -> Int Source #
Bits CShort # |
Methods (.&.) :: CShort -> CShort -> CShort Source # (.|.) :: CShort -> CShort -> CShort Source # xor :: CShort -> CShort -> CShort Source # complement :: CShort -> CShort Source # shift :: CShort -> Int -> CShort Source # rotate :: CShort -> Int -> CShort Source # zeroBits :: CShort Source # bit :: Int -> CShort Source # setBit :: CShort -> Int -> CShort Source # clearBit :: CShort -> Int -> CShort Source # complementBit :: CShort -> Int -> CShort Source # testBit :: CShort -> Int -> Bool Source # bitSizeMaybe :: CShort -> Maybe Int Source # bitSize :: CShort -> Int Source # isSigned :: CShort -> Bool Source # shiftL :: CShort -> Int -> CShort Source # unsafeShiftL :: CShort -> Int -> CShort Source # shiftR :: CShort -> Int -> CShort Source # unsafeShiftR :: CShort -> Int -> CShort Source # rotateL :: CShort -> Int -> CShort Source # rotateR :: CShort -> Int -> CShort Source # popCount :: CShort -> Int Source #
Bits CUChar # |
Methods (.&.) :: CUChar -> CUChar -> CUChar Source # (.|.) :: CUChar -> CUChar -> CUChar Source # xor :: CUChar -> CUChar -> CUChar Source # complement :: CUChar -> CUChar Source # shift :: CUChar -> Int -> CUChar Source # rotate :: CUChar -> Int -> CUChar Source # zeroBits :: CUChar Source # bit :: Int -> CUChar Source # setBit :: CUChar -> Int -> CUChar Source # clearBit :: CUChar -> Int -> CUChar Source # complementBit :: CUChar -> Int -> CUChar Source # testBit :: CUChar -> Int -> Bool Source # bitSizeMaybe :: CUChar -> Maybe Int Source # bitSize :: CUChar -> Int Source # isSigned :: CUChar -> Bool Source # shiftL :: CUChar -> Int -> CUChar Source # unsafeShiftL :: CUChar -> Int -> CUChar Source # shiftR :: CUChar -> Int -> CUChar Source # unsafeShiftR :: CUChar -> Int -> CUChar Source # rotateL :: CUChar -> Int -> CUChar Source # rotateR :: CUChar -> Int -> CUChar Source # popCount :: CUChar -> Int Source #
Bits CSChar # |
Methods (.&.) :: CSChar -> CSChar -> CSChar Source # (.|.) :: CSChar -> CSChar -> CSChar Source # xor :: CSChar -> CSChar -> CSChar Source # complement :: CSChar -> CSChar Source # shift :: CSChar -> Int -> CSChar Source # rotate :: CSChar -> Int -> CSChar Source # zeroBits :: CSChar Source # bit :: Int -> CSChar Source # setBit :: CSChar -> Int -> CSChar Source # clearBit :: CSChar -> Int -> CSChar Source # complementBit :: CSChar -> Int -> CSChar Source # testBit :: CSChar -> Int -> Bool Source # bitSizeMaybe :: CSChar -> Maybe Int Source # bitSize :: CSChar -> Int Source # isSigned :: CSChar -> Bool Source # shiftL :: CSChar -> Int -> CSChar Source # unsafeShiftL :: CSChar -> Int -> CSChar Source # shiftR :: CSChar -> Int -> CSChar Source # unsafeShiftR :: CSChar -> Int -> CSChar Source # rotateL :: CSChar -> Int -> CSChar Source # rotateR :: CSChar -> Int -> CSChar Source # popCount :: CSChar -> Int Source #
Bits CChar # |
Methods (.&.) :: CChar -> CChar -> CChar Source # (.|.) :: CChar -> CChar -> CChar Source # xor :: CChar -> CChar -> CChar Source # complement :: CChar -> CChar Source # shift :: CChar -> Int -> CChar Source # rotate :: CChar -> Int -> CChar Source # zeroBits :: CChar Source # bit :: Int -> CChar Source # setBit :: CChar -> Int -> CChar Source # clearBit :: CChar -> Int -> CChar Source # complementBit :: CChar -> Int -> CChar Source # testBit :: CChar -> Int -> Bool Source # bitSizeMaybe :: CChar -> Maybe Int Source # bitSize :: CChar -> Int Source # isSigned :: CChar -> Bool Source # shiftL :: CChar -> Int -> CChar Source # unsafeShiftL :: CChar -> Int -> CChar Source # shiftR :: CChar -> Int -> CChar Source # unsafeShiftR :: CChar -> Int -> CChar Source # rotateL :: CChar -> Int -> CChar Source # rotateR :: CChar -> Int -> CChar Source # popCount :: CChar -> Int Source #
Bits IntPtr # |
Methods (.&.) :: IntPtr -> IntPtr -> IntPtr Source # (.|.) :: IntPtr -> IntPtr -> IntPtr Source # xor :: IntPtr -> IntPtr -> IntPtr Source # complement :: IntPtr -> IntPtr Source # shift :: IntPtr -> Int -> IntPtr Source # rotate :: IntPtr -> Int -> IntPtr Source # zeroBits :: IntPtr Source # bit :: Int -> IntPtr Source # setBit :: IntPtr -> Int -> IntPtr Source # clearBit :: IntPtr -> Int -> IntPtr Source # complementBit :: IntPtr -> Int -> IntPtr Source # testBit :: IntPtr -> Int -> Bool Source # bitSizeMaybe :: IntPtr -> Maybe Int Source # bitSize :: IntPtr -> Int Source # isSigned :: IntPtr -> Bool Source # shiftL :: IntPtr -> Int -> IntPtr Source # unsafeShiftL :: IntPtr -> Int -> IntPtr Source # shiftR :: IntPtr -> Int -> IntPtr Source # unsafeShiftR :: IntPtr -> Int -> IntPtr Source # rotateL :: IntPtr -> Int -> IntPtr Source # rotateR :: IntPtr -> Int -> IntPtr Source # popCount :: IntPtr -> Int Source #
Bits WordPtr # |
Methods (.&.) :: WordPtr -> WordPtr -> WordPtr Source # (.|.) :: WordPtr -> WordPtr -> WordPtr Source # xor :: WordPtr -> WordPtr -> WordPtr Source # complement :: WordPtr -> WordPtr Source # shift :: WordPtr -> Int -> WordPtr Source # rotate :: WordPtr -> Int -> WordPtr Source # zeroBits :: WordPtr Source # bit :: Int -> WordPtr Source # setBit :: WordPtr -> Int -> WordPtr Source # clearBit :: WordPtr -> Int -> WordPtr Source # complementBit :: WordPtr -> Int -> WordPtr Source # testBit :: WordPtr -> Int -> Bool Source # bitSizeMaybe :: WordPtr -> Maybe Int Source # bitSize :: WordPtr -> Int Source # isSigned :: WordPtr -> Bool Source # shiftL :: WordPtr -> Int -> WordPtr Source # unsafeShiftL :: WordPtr -> Int -> WordPtr Source # shiftR :: WordPtr -> Int -> WordPtr Source # unsafeShiftR :: WordPtr -> Int -> WordPtr Source # rotateL :: WordPtr -> Int -> WordPtr Source # rotateR :: WordPtr -> Int -> WordPtr Source # popCount :: WordPtr -> Int Source #
Bits Fd # |
Methods (.&.) :: Fd -> Fd -> Fd Source # (.|.) :: Fd -> Fd -> Fd Source # xor :: Fd -> Fd -> Fd Source # complement :: Fd -> Fd Source # shift :: Fd -> Int -> Fd Source # rotate :: Fd -> Int -> Fd Source # zeroBits :: Fd Source # bit :: Int -> Fd Source # setBit :: Fd -> Int -> Fd Source # clearBit :: Fd -> Int -> Fd Source # complementBit :: Fd -> Int -> Fd Source # testBit :: Fd -> Int -> Bool Source # bitSizeMaybe :: Fd -> Maybe Int Source # bitSize :: Fd -> Int Source # isSigned :: Fd -> Bool Source # shiftL :: Fd -> Int -> Fd Source # unsafeShiftL :: Fd -> Int -> Fd Source # shiftR :: Fd -> Int -> Fd Source # unsafeShiftR :: Fd -> Int -> Fd Source # rotateL :: Fd -> Int -> Fd Source # rotateR :: Fd -> Int -> Fd Source # popCount :: Fd -> Int Source #
Bits CRLim # |
Methods (.&.) :: CRLim -> CRLim -> CRLim Source # (.|.) :: CRLim -> CRLim -> CRLim Source # xor :: CRLim -> CRLim -> CRLim Source # complement :: CRLim -> CRLim Source # shift :: CRLim -> Int -> CRLim Source # rotate :: CRLim -> Int -> CRLim Source # zeroBits :: CRLim Source # bit :: Int -> CRLim Source # setBit :: CRLim -> Int -> CRLim Source # clearBit :: CRLim -> Int -> CRLim Source # complementBit :: CRLim -> Int -> CRLim Source # testBit :: CRLim -> Int -> Bool Source # bitSizeMaybe :: CRLim -> Maybe Int Source # bitSize :: CRLim -> Int Source # isSigned :: CRLim -> Bool Source # shiftL :: CRLim -> Int -> CRLim Source # unsafeShiftL :: CRLim -> Int -> CRLim Source # shiftR :: CRLim -> Int -> CRLim Source # unsafeShiftR :: CRLim -> Int -> CRLim Source # rotateL :: CRLim -> Int -> CRLim Source # rotateR :: CRLim -> Int -> CRLim Source # popCount :: CRLim -> Int Source #
Bits CTcflag # |
Methods (.&.) :: CTcflag -> CTcflag -> CTcflag Source # (.|.) :: CTcflag -> CTcflag -> CTcflag Source # xor :: CTcflag -> CTcflag -> CTcflag Source # complement :: CTcflag -> CTcflag Source # shift :: CTcflag -> Int -> CTcflag Source # rotate :: CTcflag -> Int -> CTcflag Source # zeroBits :: CTcflag Source # bit :: Int -> CTcflag Source # setBit :: CTcflag -> Int -> CTcflag Source # clearBit :: CTcflag -> Int -> CTcflag Source # complementBit :: CTcflag -> Int -> CTcflag Source # testBit :: CTcflag -> Int -> Bool Source # bitSizeMaybe :: CTcflag -> Maybe Int Source # bitSize :: CTcflag -> Int Source # isSigned :: CTcflag -> Bool Source # shiftL :: CTcflag -> Int -> CTcflag Source # unsafeShiftL :: CTcflag -> Int -> CTcflag Source # shiftR :: CTcflag -> Int -> CTcflag Source # unsafeShiftR :: CTcflag -> Int -> CTcflag Source # rotateL :: CTcflag -> Int -> CTcflag Source # rotateR :: CTcflag -> Int -> CTcflag Source # popCount :: CTcflag -> Int Source #
Bits CUid # |
Methods (.&.) :: CUid -> CUid -> CUid Source # (.|.) :: CUid -> CUid -> CUid Source # xor :: CUid -> CUid -> CUid Source # complement :: CUid -> CUid Source # shift :: CUid -> Int -> CUid Source # rotate :: CUid -> Int -> CUid Source # zeroBits :: CUid Source # bit :: Int -> CUid Source # setBit :: CUid -> Int -> CUid Source # clearBit :: CUid -> Int -> CUid Source # complementBit :: CUid -> Int -> CUid Source # testBit :: CUid -> Int -> Bool Source # bitSizeMaybe :: CUid -> Maybe Int Source # bitSize :: CUid -> Int Source # isSigned :: CUid -> Bool Source # shiftL :: CUid -> Int -> CUid Source # unsafeShiftL :: CUid -> Int -> CUid Source # shiftR :: CUid -> Int -> CUid Source # unsafeShiftR :: CUid -> Int -> CUid Source # rotateL :: CUid -> Int -> CUid Source # rotateR :: CUid -> Int -> CUid Source # popCount :: CUid -> Int Source #
Bits CNlink # |
Methods (.&.) :: CNlink -> CNlink -> CNlink Source # (.|.) :: CNlink -> CNlink -> CNlink Source # xor :: CNlink -> CNlink -> CNlink Source # complement :: CNlink -> CNlink Source # shift :: CNlink -> Int -> CNlink Source # rotate :: CNlink -> Int -> CNlink Source # zeroBits :: CNlink Source # bit :: Int -> CNlink Source # setBit :: CNlink -> Int -> CNlink Source # clearBit :: CNlink -> Int -> CNlink Source # complementBit :: CNlink -> Int -> CNlink Source # testBit :: CNlink -> Int -> Bool Source # bitSizeMaybe :: CNlink -> Maybe Int Source # bitSize :: CNlink -> Int Source # isSigned :: CNlink -> Bool Source # shiftL :: CNlink -> Int -> CNlink Source # unsafeShiftL :: CNlink -> Int -> CNlink Source # shiftR :: CNlink -> Int -> CNlink Source # unsafeShiftR :: CNlink -> Int -> CNlink Source # rotateL :: CNlink -> Int -> CNlink Source # rotateR :: CNlink -> Int -> CNlink Source # popCount :: CNlink -> Int Source #
Bits CGid # |
Methods (.&.) :: CGid -> CGid -> CGid Source # (.|.) :: CGid -> CGid -> CGid Source # xor :: CGid -> CGid -> CGid Source # complement :: CGid -> CGid Source # shift :: CGid -> Int -> CGid Source # rotate :: CGid -> Int -> CGid Source # zeroBits :: CGid Source # bit :: Int -> CGid Source # setBit :: CGid -> Int -> CGid Source # clearBit :: CGid -> Int -> CGid Source # complementBit :: CGid -> Int -> CGid Source # testBit :: CGid -> Int -> Bool Source # bitSizeMaybe :: CGid -> Maybe Int Source # bitSize :: CGid -> Int Source # isSigned :: CGid -> Bool Source # shiftL :: CGid -> Int -> CGid Source # unsafeShiftL :: CGid -> Int -> CGid Source # shiftR :: CGid -> Int -> CGid Source # unsafeShiftR :: CGid -> Int -> CGid Source # rotateL :: CGid -> Int -> CGid Source # rotateR :: CGid -> Int -> CGid Source # popCount :: CGid -> Int Source #
Bits CSsize # |
Methods (.&.) :: CSsize -> CSsize -> CSsize Source # (.|.) :: CSsize -> CSsize -> CSsize Source # xor :: CSsize -> CSsize -> CSsize Source # complement :: CSsize -> CSsize Source # shift :: CSsize -> Int -> CSsize Source # rotate :: CSsize -> Int -> CSsize Source # zeroBits :: CSsize Source # bit :: Int -> CSsize Source # setBit :: CSsize -> Int -> CSsize Source # clearBit :: CSsize -> Int -> CSsize Source # complementBit :: CSsize -> Int -> CSsize Source # testBit :: CSsize -> Int -> Bool Source # bitSizeMaybe :: CSsize -> Maybe Int Source # bitSize :: CSsize -> Int Source # isSigned :: CSsize -> Bool Source # shiftL :: CSsize -> Int -> CSsize Source # unsafeShiftL :: CSsize -> Int -> CSsize Source # shiftR :: CSsize -> Int -> CSsize Source # unsafeShiftR :: CSsize -> Int -> CSsize Source # rotateL :: CSsize -> Int -> CSsize Source # rotateR :: CSsize -> Int -> CSsize Source # popCount :: CSsize -> Int Source #
Bits CPid # |
Methods (.&.) :: CPid -> CPid -> CPid Source # (.|.) :: CPid -> CPid -> CPid Source # xor :: CPid -> CPid -> CPid Source # complement :: CPid -> CPid Source # shift :: CPid -> Int -> CPid Source # rotate :: CPid -> Int -> CPid Source # zeroBits :: CPid Source # bit :: Int -> CPid Source # setBit :: CPid -> Int -> CPid Source # clearBit :: CPid -> Int -> CPid Source # complementBit :: CPid -> Int -> CPid Source # testBit :: CPid -> Int -> Bool Source # bitSizeMaybe :: CPid -> Maybe Int Source # bitSize :: CPid -> Int Source # isSigned :: CPid -> Bool Source # shiftL :: CPid -> Int -> CPid Source # unsafeShiftL :: CPid -> Int -> CPid Source # shiftR :: CPid -> Int -> CPid Source # unsafeShiftR :: CPid -> Int -> CPid Source # rotateL :: CPid -> Int -> CPid Source # rotateR :: CPid -> Int -> CPid Source # popCount :: CPid -> Int Source #
Bits COff # |
Methods (.&.) :: COff -> COff -> COff Source # (.|.) :: COff -> COff -> COff Source # xor :: COff -> COff -> COff Source # complement :: COff -> COff Source # shift :: COff -> Int -> COff Source # rotate :: COff -> Int -> COff Source # zeroBits :: COff Source # bit :: Int -> COff Source # setBit :: COff -> Int -> COff Source # clearBit :: COff -> Int -> COff Source # complementBit :: COff -> Int -> COff Source # testBit :: COff -> Int -> Bool Source # bitSizeMaybe :: COff -> Maybe Int Source # bitSize :: COff -> Int Source # isSigned :: COff -> Bool Source # shiftL :: COff -> Int -> COff Source # unsafeShiftL :: COff -> Int -> COff Source # shiftR :: COff -> Int -> COff Source # unsafeShiftR :: COff -> Int -> COff Source # rotateL :: COff -> Int -> COff Source # rotateR :: COff -> Int -> COff Source # popCount :: COff -> Int Source #
Bits CMode # |
Methods (.&.) :: CMode -> CMode -> CMode Source # (.|.) :: CMode -> CMode -> CMode Source # xor :: CMode -> CMode -> CMode Source # complement :: CMode -> CMode Source # shift :: CMode -> Int -> CMode Source # rotate :: CMode -> Int -> CMode Source # zeroBits :: CMode Source # bit :: Int -> CMode Source # setBit :: CMode -> Int -> CMode Source # clearBit :: CMode -> Int -> CMode Source # complementBit :: CMode -> Int -> CMode Source # testBit :: CMode -> Int -> Bool Source # bitSizeMaybe :: CMode -> Maybe Int Source # bitSize :: CMode -> Int Source # isSigned :: CMode -> Bool Source # shiftL :: CMode -> Int -> CMode Source # unsafeShiftL :: CMode -> Int -> CMode Source # shiftR :: CMode -> Int -> CMode Source # unsafeShiftR :: CMode -> Int -> CMode Source # rotateL :: CMode -> Int -> CMode Source # rotateR :: CMode -> Int -> CMode Source # popCount :: CMode -> Int Source #
Bits CIno # |
Methods (.&.) :: CIno -> CIno -> CIno Source # (.|.) :: CIno -> CIno -> CIno Source # xor :: CIno -> CIno -> CIno Source # complement :: CIno -> CIno Source # shift :: CIno -> Int -> CIno Source # rotate :: CIno -> Int -> CIno Source # zeroBits :: CIno Source # bit :: Int -> CIno Source # setBit :: CIno -> Int -> CIno Source # clearBit :: CIno -> Int -> CIno Source # complementBit :: CIno -> Int -> CIno Source # testBit :: CIno -> Int -> Bool Source # bitSizeMaybe :: CIno -> Maybe Int Source # bitSize :: CIno -> Int Source # isSigned :: CIno -> Bool Source # shiftL :: CIno -> Int -> CIno Source # unsafeShiftL :: CIno -> Int -> CIno Source # shiftR :: CIno -> Int -> CIno Source # unsafeShiftR :: CIno -> Int -> CIno Source # rotateL :: CIno -> Int -> CIno Source # rotateR :: CIno -> Int -> CIno Source # popCount :: CIno -> Int Source #
Bits CDev # |
Methods (.&.) :: CDev -> CDev -> CDev Source # (.|.) :: CDev -> CDev -> CDev Source # xor :: CDev -> CDev -> CDev Source # complement :: CDev -> CDev Source # shift :: CDev -> Int -> CDev Source # rotate :: CDev -> Int -> CDev Source # zeroBits :: CDev Source # bit :: Int -> CDev Source # setBit :: CDev -> Int -> CDev Source # clearBit :: CDev -> Int -> CDev Source # complementBit :: CDev -> Int -> CDev Source # testBit :: CDev -> Int -> Bool Source # bitSizeMaybe :: CDev -> Maybe Int Source # bitSize :: CDev -> Int Source # isSigned :: CDev -> Bool Source # shiftL :: CDev -> Int -> CDev Source # unsafeShiftL :: CDev -> Int -> CDev Source # shiftR :: CDev -> Int -> CDev Source # unsafeShiftR :: CDev -> Int -> CDev Source # rotateL :: CDev -> Int -> CDev Source # rotateR :: CDev -> Int -> CDev Source # popCount :: CDev -> Int Source #
Bits Natural # |
Methods (.&.) :: Natural -> Natural -> Natural Source # (.|.) :: Natural -> Natural -> Natural Source # xor :: Natural -> Natural -> Natural Source # complement :: Natural -> Natural Source # shift :: Natural -> Int -> Natural Source # rotate :: Natural -> Int -> Natural Source # zeroBits :: Natural Source # bit :: Int -> Natural Source # setBit :: Natural -> Int -> Natural Source # clearBit :: Natural -> Int -> Natural Source # complementBit :: Natural -> Int -> Natural Source # testBit :: Natural -> Int -> Bool Source # bitSizeMaybe :: Natural -> Maybe Int Source # bitSize :: Natural -> Int Source # isSigned :: Natural -> Bool Source # shiftL :: Natural -> Int -> Natural Source # unsafeShiftL :: Natural -> Int -> Natural Source # shiftR :: Natural -> Int -> Natural Source # unsafeShiftR :: Natural -> Int -> Natural Source # rotateL :: Natural -> Int -> Natural Source # rotateR :: Natural -> Int -> Natural Source # popCount :: Natural -> Int Source #
Bits a => Bits (Identity a) # |
Methods (.&.) :: Identity a -> Identity a -> Identity a Source # (.|.) :: Identity a -> Identity a -> Identity a Source # xor :: Identity a -> Identity a -> Identity a Source # complement :: Identity a -> Identity a Source # shift :: Identity a -> Int -> Identity a Source # rotate :: Identity a -> Int -> Identity a Source # zeroBits :: Identity a Source # bit :: Int -> Identity a Source # setBit :: Identity a -> Int -> Identity a Source # clearBit :: Identity a -> Int -> Identity a Source # complementBit :: Identity a -> Int -> Identity a Source # testBit :: Identity a -> Int -> Bool Source # bitSizeMaybe :: Identity a -> Maybe Int Source # bitSize :: Identity a -> Int Source # isSigned :: Identity a -> Bool Source # shiftL :: Identity a -> Int -> Identity a Source # unsafeShiftL :: Identity a -> Int -> Identity a Source # shiftR :: Identity a -> Int -> Identity a Source # unsafeShiftR :: Identity a -> Int -> Identity a Source # rotateL :: Identity a -> Int -> Identity a Source # rotateR :: Identity a -> Int -> Identity a Source # popCount :: Identity a -> Int Source #
Bits a => Bits (Const k a b) # |
Methods (.&.) :: Const k a b -> Const k a b -> Const k a b Source # (.|.) :: Const k a b -> Const k a b -> Const k a b Source # xor :: Const k a b -> Const k a b -> Const k a b Source # complement :: Const k a b -> Const k a b Source # shift :: Const k a b -> Int -> Const k a b Source # rotate :: Const k a b -> Int -> Const k a b Source # zeroBits :: Const k a b Source # bit :: Int -> Const k a b Source # setBit :: Const k a b -> Int -> Const k a b Source # clearBit :: Const k a b -> Int -> Const k a b Source # complementBit :: Const k a b -> Int -> Const k a b Source # testBit :: Const k a b -> Int -> Bool Source # bitSizeMaybe :: Const k a b -> Maybe Int Source # bitSize :: Const k a b -> Int Source # isSigned :: Const k a b -> Bool Source # shiftL :: Const k a b -> Int -> Const k a b Source # unsafeShiftL :: Const k a b -> Int -> Const k a b Source # shiftR :: Const k a b -> Int -> Const k a b Source # unsafeShiftR :: Const k a b -> Int -> Const k a b Source # rotateL :: Const k a b -> Int -> Const k a b Source # rotateR :: Const k a b -> Int -> Const k a b Source # popCount :: Const k a b -> Int Source #

class Bits b => FiniteBits b where Source #

The `FiniteBits` class denotes types with a finite, fixed number of bits.

Since: 4.7.0.0

Minimal complete definition

finiteBitSize

Methods

finiteBitSize :: b -> Int Source #

Return the number of bits in the type of the argument. The actual value of the argument is ignored. Moreover, `finiteBitSize` is total, in contrast to the deprecated `bitSize` function it replaces.

    finiteBitSize = bitSize
    bitSizeMaybe = Just . finiteBitSize

Since: 4.7.0.0

countLeadingZeros :: b -> Int Source #

Count number of zero bits preceding the most significant set bit.

    countLeadingZeros (zeroBits :: a) = finiteBitSize (zeroBits :: a)

`countLeadingZeros` can be used to compute log base 2 via

    logBase2 x = finiteBitSize x - 1 - countLeadingZeros x

Note: The default implementation for this method is intentionally naive. However, the instances provided for the primitive integral types are implemented using CPU specific machine instructions.

Since: 4.8.0.0

countTrailingZeros :: b -> Int Source #

Count number of zero bits following the least significant set bit.

    countTrailingZeros (zeroBits :: a) = finiteBitSize (zeroBits :: a)
    countTrailingZeros . negate = countTrailingZeros

The related find-first-set operation can be expressed in terms of `countTrailingZeros` as follows

    findFirstSet x = 1 + countTrailingZeros x

Note: The default implementation for this method is intentionally naive. However, the instances provided for the primitive integral types are implemented using CPU specific machine instructions.

Since: 4.8.0.0

Instances

FiniteBits Bool # |
Methods finiteBitSize :: Bool -> Int Source # countLeadingZeros :: Bool -> Int Source # countTrailingZeros :: Bool -> Int Source #
FiniteBits Int # |
Methods finiteBitSize :: Int -> Int Source # countLeadingZeros :: Int -> Int Source # countTrailingZeros :: Int -> Int Source #
FiniteBits Int8 # |
Methods finiteBitSize :: Int8 -> Int Source # countLeadingZeros :: Int8 -> Int Source # countTrailingZeros :: Int8 -> Int Source #
FiniteBits Int16 # |
Methods finiteBitSize :: Int16 -> Int Source # countLeadingZeros :: Int16 -> Int Source # countTrailingZeros :: Int16 -> Int Source #
FiniteBits Int32 # |
Methods finiteBitSize :: Int32 -> Int Source # countLeadingZeros :: Int32 -> Int Source # countTrailingZeros :: Int32 -> Int Source #
FiniteBits Int64 # |
Methods finiteBitSize :: Int64 -> Int Source # countLeadingZeros :: Int64 -> Int Source # countTrailingZeros :: Int64 -> Int Source #
FiniteBits Word # |
Methods finiteBitSize :: Word -> Int Source # countLeadingZeros :: Word -> Int Source # countTrailingZeros :: Word -> Int Source #
FiniteBits Word8 # |
Methods finiteBitSize :: Word8 -> Int Source # countLeadingZeros :: Word8 -> Int Source # countTrailingZeros :: Word8 -> Int Source #
FiniteBits Word16 # |
Methods finiteBitSize :: Word16 -> Int Source # countLeadingZeros :: Word16 -> Int Source # countTrailingZeros :: Word16 -> Int Source #
FiniteBits Word32 # |
Methods finiteBitSize :: Word32 -> Int Source # countLeadingZeros :: Word32 -> Int Source # countTrailingZeros :: Word32 -> Int Source #
FiniteBits Word64 # |
Methods finiteBitSize :: Word64 -> Int Source # countLeadingZeros :: Word64 -> Int Source # countTrailingZeros :: Word64 -> Int Source #
FiniteBits CUIntMax # |
Methods finiteBitSize :: CUIntMax -> Int Source # countLeadingZeros :: CUIntMax -> Int Source # countTrailingZeros :: CUIntMax -> Int Source #
FiniteBits CIntMax # |
Methods finiteBitSize :: CIntMax -> Int Source # countLeadingZeros :: CIntMax -> Int Source # countTrailingZeros :: CIntMax -> Int Source #
FiniteBits CUIntPtr # |
Methods finiteBitSize :: CUIntPtr -> Int Source # countLeadingZeros :: CUIntPtr -> Int Source # countTrailingZeros :: CUIntPtr -> Int Source #
FiniteBits CIntPtr # |
Methods finiteBitSize :: CIntPtr -> Int Source # countLeadingZeros :: CIntPtr -> Int Source # countTrailingZeros :: CIntPtr -> Int Source #
FiniteBits CSigAtomic # |
Methods finiteBitSize :: CSigAtomic -> Int Source # countLeadingZeros :: CSigAtomic -> Int Source # countTrailingZeros :: CSigAtomic -> Int Source #
FiniteBits CWchar # |
Methods finiteBitSize :: CWchar -> Int Source # countLeadingZeros :: CWchar -> Int Source # countTrailingZeros :: CWchar -> Int Source #
FiniteBits CSize # |
Methods finiteBitSize :: CSize -> Int Source # countLeadingZeros :: CSize -> Int Source # countTrailingZeros :: CSize -> Int Source #
FiniteBits CPtrdiff # |
Methods finiteBitSize :: CPtrdiff -> Int Source # countLeadingZeros :: CPtrdiff -> Int Source # countTrailingZeros :: CPtrdiff -> Int Source #
FiniteBits CULLong # |
Methods finiteBitSize :: CULLong -> Int Source # countLeadingZeros :: CULLong -> Int Source # countTrailingZeros :: CULLong -> Int Source #
FiniteBits CLLong # |
Methods finiteBitSize :: CLLong -> Int Source # countLeadingZeros :: CLLong -> Int Source # countTrailingZeros :: CLLong -> Int Source #
FiniteBits CULong # |
Methods finiteBitSize :: CULong -> Int Source # countLeadingZeros :: CULong -> Int Source # countTrailingZeros :: CULong -> Int Source #
FiniteBits CLong # |
Methods finiteBitSize :: CLong -> Int Source # countLeadingZeros :: CLong -> Int Source # countTrailingZeros :: CLong -> Int Source #
FiniteBits CUInt # |
Methods finiteBitSize :: CUInt -> Int Source # countLeadingZeros :: CUInt -> Int Source # countTrailingZeros :: CUInt -> Int Source #
FiniteBits CInt # |
Methods finiteBitSize :: CInt -> Int Source # countLeadingZeros :: CInt -> Int Source # countTrailingZeros :: CInt -> Int Source #
FiniteBits CUShort # |
Methods finiteBitSize :: CUShort -> Int Source # countLeadingZeros :: CUShort -> Int Source # countTrailingZeros :: CUShort -> Int Source #
FiniteBits CShort # |
Methods finiteBitSize :: CShort -> Int Source # countLeadingZeros :: CShort -> Int Source # countTrailingZeros :: CShort -> Int Source #
FiniteBits CUChar # |
Methods finiteBitSize :: CUChar -> Int Source # countLeadingZeros :: CUChar -> Int Source # countTrailingZeros :: CUChar -> Int Source #
FiniteBits CSChar # |
Methods finiteBitSize :: CSChar -> Int Source # countLeadingZeros :: CSChar -> Int Source # countTrailingZeros :: CSChar -> Int Source #
FiniteBits CChar # |
Methods finiteBitSize :: CChar -> Int Source # countLeadingZeros :: CChar -> Int Source # countTrailingZeros :: CChar -> Int Source #
FiniteBits IntPtr # |
Methods finiteBitSize :: IntPtr -> Int Source # countLeadingZeros :: IntPtr -> Int Source # countTrailingZeros :: IntPtr -> Int Source #
FiniteBits WordPtr # |
Methods finiteBitSize :: WordPtr -> Int Source # countLeadingZeros :: WordPtr -> Int Source # countTrailingZeros :: WordPtr -> Int Source #
FiniteBits Fd # |
Methods finiteBitSize :: Fd -> Int Source # countLeadingZeros :: Fd -> Int Source # countTrailingZeros :: Fd -> Int Source #
FiniteBits CRLim # |
Methods finiteBitSize :: CRLim -> Int Source # countLeadingZeros :: CRLim -> Int Source # countTrailingZeros :: CRLim -> Int Source #
FiniteBits CTcflag # |
Methods finiteBitSize :: CTcflag -> Int Source # countLeadingZeros :: CTcflag -> Int Source # countTrailingZeros :: CTcflag -> Int Source #
FiniteBits CUid # |
Methods finiteBitSize :: CUid -> Int Source # countLeadingZeros :: CUid -> Int Source # countTrailingZeros :: CUid -> Int Source #
FiniteBits CNlink # |
Methods finiteBitSize :: CNlink -> Int Source # countLeadingZeros :: CNlink -> Int Source # countTrailingZeros :: CNlink -> Int Source #
FiniteBits CGid # |
Methods finiteBitSize :: CGid -> Int Source # countLeadingZeros :: CGid -> Int Source # countTrailingZeros :: CGid -> Int Source #
FiniteBits CSsize # |
Methods finiteBitSize :: CSsize -> Int Source # countLeadingZeros :: CSsize -> Int Source # countTrailingZeros :: CSsize -> Int Source #
FiniteBits CPid # |
Methods finiteBitSize :: CPid -> Int Source # countLeadingZeros :: CPid -> Int Source # countTrailingZeros :: CPid -> Int Source #
FiniteBits COff # |
Methods finiteBitSize :: COff -> Int Source # countLeadingZeros :: COff -> Int Source # countTrailingZeros :: COff -> Int Source #
FiniteBits CMode # |
Methods finiteBitSize :: CMode -> Int Source # countLeadingZeros :: CMode -> Int Source # countTrailingZeros :: CMode -> Int Source #
FiniteBits CIno # |
Methods finiteBitSize :: CIno -> Int Source # countLeadingZeros :: CIno -> Int Source # countTrailingZeros :: CIno -> Int Source #
FiniteBits CDev # |
Methods finiteBitSize :: CDev -> Int Source # countLeadingZeros :: CDev -> Int Source # countTrailingZeros :: CDev -> Int Source #
FiniteBits a => FiniteBits (Identity a) # |
Methods finiteBitSize :: Identity a -> Int Source # countLeadingZeros :: Identity a -> Int Source # countTrailingZeros :: Identity a -> Int Source #
FiniteBits a => FiniteBits (Const k a b) # |
Methods finiteBitSize :: Const k a b -> Int Source # countLeadingZeros :: Const k a b -> Int Source # countTrailingZeros :: Const k a b -> Int Source #

bitDefault :: (Bits a, Num a) => Int -> a Source #

Default implementation for `bit`.

Note that: `bitDefault i = 1 `shiftL` i`

Since: 4.6.0.0

testBitDefault :: (Bits a, Num a) => a -> Int -> Bool Source #

Default implementation for `testBit`.

Note that: `testBitDefault x i = (x .&. bit i) /= 0`

Since: 4.6.0.0

popCountDefault :: (Bits a, Num a) => a -> Int Source #

Default implementation for `popCount`.

This implementation is intentionally naive. Instances are expected to provide an optimized implementation for their size.

Since: 4.6.0.0

toIntegralSized :: (Integral a, Integral b, Bits a, Bits b) => a -> Maybe b Source #

Attempt to convert an `Integral` type `a` to an `Integral` type `b` using the size of the types as measured by `Bits` methods.

A simpler version of this function is:

    toIntegral :: (Integral a, Integral b) => a -> Maybe b
    toIntegral x
      | toInteger x == y = Just (fromInteger y)
      | otherwise        = Nothing
      where
        y = toInteger x

This version requires going through `Integer`, which can be inefficient. However, `toIntegralSized` is optimized to allow GHC to statically determine the relative type sizes (as measured by `bitSizeMaybe` and `isSigned`) and avoid going through `Integer` for many types. (The implementation uses `fromIntegral`, which is itself optimized with rules for `base` types but may go through `Integer` for some type pairs.)

Since: 4.8.0.0