Question

我有一个简单的函数，可以一次读取一个字节的二进制文件。在下面它得到一个编译时错误。问题似乎是bs2，即BSSC.length的结果ByteString，具有未知类型。我是否缺少对r的类型约束？

import qualified Data.ByteString.Streaming.Char8 as BSSC

main :: IO ()
main = runResourceT $ dump $ BSSC.readFile "filename"

dump :: (MonadIO m) => BSSC.ByteString m r -> m ()                                                                                                                                                
dump bs = do
    len :> bs2 <- BSSC.length bs          -- Data.Functor.Of (:>)
    if len <= 1 then return ()
    else dump $ BSSC.putStr $ BSSC.splitAt 1 bs2

编译时错误：

Main.hs:166:46: error:
  • Couldn't match expected type ‘BSSC.ByteString
                                    (BSSC.ByteString m) r0’
                with actual type ‘r’
    ‘r’ is a rigid type variable bound by
      the type signature for:
        dump :: forall (m :: * -> *) r.
                MonadIO m =>
                BSSC.ByteString m r -> m ()
      at Main.hs:162:9
  • In the second argument of ‘BSSC.splitAt’, namely ‘bs2’
    In the second argument of ‘($)’, namely ‘BSSC.splitAt 1 bs2’
    In the second argument of ‘($)’, namely
      ‘BSSC.putStr $ BSSC.splitAt 1 bs2’
  • Relevant bindings include
      bs2 :: r (bound at Main.hs:164:12)
      bs :: BSSC.ByteString m r (bound at Main.hs:163:6)
      dump :: BSSC.ByteString m r -> m () (bound at Main.hs:163:1)

Answer 1

streaming-bytestring中的ByteString类型具有两个类型参数。第一个是基本monad m，在其中生成值（通常为IO）。

第二个是特殊的结束值r，在ByteString用完后返回。通常它将是一个无信息的()。但是，它对于定义诸如splitAt :: Monad m => Int64 -> ByteString m r -> ByteString m (ByteString m r)之类的功能非常有用。该类型的意思是：“给我一个限制位置和一个以r返回的有效字节流，我将为您提供另一个不超过限制的流，并以一个有效字节流返回。 r。”嵌套在外部流中的最终流只能在外部流用尽之后才能到达。

length的类型为Monad m => ByteString m r -> m (Of Int r)。它使用作为参数接收的值流，并在基本monad中返回一个操作。 ByteString不再存在。传递给bs2的{{1}}不是splitAt，而是原始ByteString（其类型为ByteString）的结束值。这会导致类型错误。

Answer 2

您可以使用bs作为splitAt的第二个参数来修复类型不匹配的问题

import qualified Data.ByteString.Streaming.Char8 as BSSC

main :: IO ()
main = runResourceT $ dump $ BSSC.readFile "filename"

dump :: (MonadIO m) => BSSC.ByteString m r -> m ()                                                                                                                                                
dump bs = do
    len :> bs2 <- BSSC.length bs
    if len <= 1 then return ()
    else dump $ BSSC.putStr $ BSSC.splitAt 1 bs

，但无法按预期工作。我想它将读取文件中的字母次数。

如果要递归，则应使用

import qualified Data.ByteString.Streaming.Char8 as BSSC

main :: IO ()
main = runResourceT $ dump $ BSSC.readFile "filename"

dump :: (MonadIO m) => BSSC.ByteString m r -> m ()                                                                                                                                                
dump bs = do
    split <- BSSC.uncons bs
    case split of
       Left _        -> return ()
       Right (x, xs) -> putStr (show x) >> dump xs

我没有编译器，所以我的摘要中可能有编译问题。

缺少结果类型？在函数长度中:: Monad m => ByteString m r-> m（Int r）

2 个答案: