Haskell 将 Word8 转换为 Int 到 Bits

Question

我想将 Word8 转换为 Int，以便我可以将其转换为 Bits 列表，无论如何将其转换为 int 或直接转换为位？

这是我当前的代码片段

intsToBits :: Int -> [Bit]
intsToBits x  =
  reverse (go x) where
  go 0 = [Zero]
  go n | n `mod` 2 == 1 = One : go (n `div` 2)
       | n `mod` 2 == 0 = Zero : go (n `div` 2)
  go _ = []

word8ToInt :: Word8 -> Int
word8ToInt = fromIntegral

decoder :: BS.ByteString -> IO [Bit]
decoder raw =
  do
     let raw' = BS.unpack raw
     let ls = go raw'
     return ls
       where
         go []     = []
         go [x]    = intsToBits $  x
         go (x:xs) = intsToBits (word8ToInt x) ++ go xs

Answer 1

Word8是FiniteBits类的一个实例，因此您可以使用类似

toBitList x = map (testBit x) [0..(finiteBitSize x-1)]

或者，如果你想[(finiteBitSize x-1), (finiteBitSize x-2)..0] ， [(finiteBitSize x-1), (finiteBitSize x-2)..0] 。

---

我从您的编辑中看到您（显然）希望您的位按从最重要到最不重要的顺序排列，并且您不想要任何前导零。 有多种方法可以做到这一点，但最简单的方法可能是使用countLeadingZeros修改上述方法。

Answer 2

关于提问的元：你真的应该举一些例子来说明你是如何尝试解决问题的。 害羞的是，至少有一个你想要的结果的例子，比如“位”对你意味着什么。 我倾向于将Word8值的集合视为位，因此需要执行操作。

也就是说，让我们提出并回答一系列相关问题。

Haskell 中的位运算符是什么？

如果你想要位级操作，而不是像x || 2^i这样的算术技巧 x || 2^i您可以使用 Bits 类中的函数：

Prelude> import Data.Bits
Prelude Data.Bits> :i Bits
class Eq a => Bits a where
  (.&.) :: a -> a -> a
  (.|.) :: a -> a -> a
  xor :: a -> a -> a
  complement :: a -> a
  shift :: a -> Int -> a
  rotate :: a -> Int -> a
  zeroBits :: a
  bit :: Int -> a
  setBit :: a -> Int -> a
  clearBit :: a -> Int -> a
  complementBit :: a -> Int -> a
  testBit :: a -> Int -> Bool
  bitSizeMaybe :: a -> Maybe Int
  bitSize :: a -> Int
  isSigned :: a -> Bool
  shiftL :: a -> Int -> a
  unsafeShiftL :: a -> Int -> a
  shiftR :: a -> Int -> a
  unsafeShiftR :: a -> Int -> a
  rotateL :: a -> Int -> a
  rotateR :: a -> Int -> a
  popCount :: a -> Int

还有FiniteBits类：

class Bits b => FiniteBits b where
  finiteBitSize      :: b -> Int
  countLeadingZeros  :: b -> Int
  countTrailingZeros :: b -> Int

如何将Word8转换为[Bool] ？

这只是测试字中的每一位，而 b

toBits x = [testBit x i | i <- [0.. finiteBitSize x - 1]

如何将Word8转换为某种我称为Bit数据类型，但我不会向您展示？

在您第一次编辑后，我现在认为您有data Bit = Zero | One data Bit = Zero | One但不清楚这是否正确。 似乎家庭作业和这里给出的建议应该足以完成剩下的工作。