Data.Bits

Методы

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

Побитовое "и"

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

Побитовое "или"

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

Побитовое "исключающее или"

complement :: a -> a Source

Инвертирует все биты аргумента

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

shift x i сдвигает x влево на i бит, если i положительно, или вправо на -i бит в противном случае. Сдвиги вправо выполняют расширение знака для типов чисел со знаком; т.е. они заполняют старшие биты единицами, если x отрицательно, и нулями в противном случае.

Экземпляр может определить либо этот унифицированный shift метод, либо shiftL и shiftR, в зависимости от того, что более удобно для рассматриваемого типа.

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

rotate x i вращает x влево на i бит, если i положительно, или вправо на -i бит в противном случае.

Для неограниченных типов, таких как Integer, rotate эквивалентно shift.

Экземпляр может определить либо этот унифицированный rotate метод, либо rotateL и rotateR, в зависимости от того, что более удобно для рассматриваемого типа.

zeroBits :: a Source

zeroBits - это значение со всеми сброшенными битами.

Следующие законы должны соблюдаться (для всех допустимых битовых индексов n):

• clearBit zeroBits n == zeroBits

• setBit   zeroBits n == bit n

• testBit  zeroBits n == False

• popCount zeroBits   == 0

Этот метод использует clearBit (bit 0) 0 в качестве реализации по умолчанию (которая должна быть эквивалентна zeroBits для типов, которые имеют 0-й бит).

С момента: 4.7.0.0

bit :: Int -> a Source

bit i - это значение с i-м битом установленным и всеми другими битами сброшенными.

Может быть реализовано с использованием bitDefault если a также является экземпляром Num.

См. также zeroBits.

setBit :: a -> Int -> a Source

x `setBit` i эквивалентно x .|. bit i

clearBit :: a -> Int -> a Source

x `clearBit` i эквивалентно x .&. complement (bit i)

complementBit :: a -> Int -> a Source

x `complementBit` i эквивалентно x `xor` bit i

testBit :: a -> Int -> Bool Source

Возвращает True если n-й бит аргумента равен 1

Может быть реализовано с использованием testBitDefault если a также является экземпляром Num.

bitSizeMaybe :: a -> Maybe Int Source

Возвращает количество бит в типе аргумента. Фактическое значение аргумента игнорируется. Возвращает Nothing для типов, не имеющих фиксированного размера в битах, таких как Integer.

С момента: 4.7.0.0

bitSize :: a -> Int Source

Возвращает количество бит в типе аргумента. Фактическое значение аргумента игнорируется. Функция bitSize не определена для типов, не имеющих фиксированного размера в битах, таких как Integer.

isSigned :: a -> Bool Source

Возвращает True если аргумент является типом со знаком. Фактическое значение аргумента игнорируется

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

Сдвигает аргумент влево на указанное количество бит (которое должно быть неотрицательным).

Экземпляр может определить либо этот и shiftR методы, либо унифицированный shift метод, в зависимости от того, что более удобно для рассматриваемого типа.

unsafeShiftL :: a -> Int -> a Source

Сдвигает аргумент влево на указанное количество бит. Результат неопределен для отрицательных значений сдвига и значений сдвига, больших или равных bitSize.

По умолчанию эквивалентно shiftL если не определено явно экземпляром.

С момента: 4.5.0.0

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

Сдвигает первый аргумент вправо на указанное количество бит. Результат неопределен для отрицательных значений сдвига и значений сдвига, больших или равных bitSize.

Сдвиги вправо выполняют расширение знака для типов чисел со знаком; т.е. они заполняют старшие биты единицами, если x отрицательно, и нулями в противном случае.

Экземпляр может определить либо этот и shiftL методы, либо унифицированный shift метод, в зависимости от того, что более удобно для рассматриваемого типа.

unsafeShiftR :: a -> Int -> a Source

Сдвигает первый аргумент вправо на указанное количество бит, которое должно быть неотрицательным и меньше количества бит в типе.

Сдвиги вправо выполняют расширение знака для типов чисел со знаком; т.е. они заполняют старшие биты единицами, если x отрицательно, и нулями в противном случае.

По умолчанию эквивалентно shiftR если не определено явно экземпляром.

С момента: 4.5.0.0

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

Вращает аргумент влево на указанное количество бит (которое должно быть неотрицательным).

Экземпляр может определить либо этот и rotateR методы, либо унифицированный rotate метод, в зависимости от того, что более удобно для рассматриваемого типа.

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

Вращает аргумент вправо на указанное количество бит (которое должно быть неотрицательным).

Экземпляр может определить либо этот и rotateL методы, либо унифицированный rotate метод, в зависимости от того, что более удобно для рассматриваемого типа.

popCount :: a -> Int Source

Возвращает количество установленных бит в аргументе. Это число известно как количество элементов или вес Хэмминга.

Может быть реализовано с использованием popCountDefault если a также является экземпляром Num.

С момента: 4.5.0.0

Методы

finiteBitSize :: b -> Int Источник

Возвращает число битов в типе аргумента. Фактическое значение аргумента игнорируется. Кроме того, finiteBitSize является полным, в отличие от устаревшей функции bitSize, которую она заменяет.

finiteBitSize = bitSize
bitSizeMaybe = Just . finiteBitSize

С версии: 4.7.0.0

countLeadingZeros :: b -> Int Источник

Подсчитывает количество нулевых битов, предшествующих наиболее значимому установленному биту.

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

countLeadingZeros может быть использовано для вычисления логарифма по основанию 2:

logBase2 x = finiteBitSize x - 1 - countLeadingZeros x

Примечание: Реализация по умолчанию для этого метода преднамеренно простая. Однако реализации для примитивных целочисленных типов используют инструкции процессора.

С версии: 4.8.0.0

countTrailingZeros :: b -> Int Источник

Подсчитывает количество нулевых битов, следующих за наименее значимым установленным битом.

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

Сопутствующая операция find-first-set может быть выражена через countTrailingZeros следующим образом:

findFirstSet x = 1 + countTrailingZeros x

Примечание: Реализация по умолчанию для этого метода преднамеренно простая. Однако реализации для примитивных целочисленных типов используют инструкции процессора.

С версии: 4.8.0.0