Haskell ByteString/Data.Binary.Показать вопрос

Question

Попытка использования Data.Binary.Get и ByteString и непонимание того, что происходит. Мой код ниже:

getSegmentParams :: Get (Int, L.ByteString) 
getSegmentParams = do 
    seglen <- liftM fromIntegral getWord16be 
    params <- getByteString (seglen - 2) 
    return (seglen, params) 

Я получаю следующую ошибку против третьего пункта обратного кортежа, т.е. полезной нагрузки:

Couldn't match expected type `L.ByteString' 
     against inferred type `bytestring-0.9.1.4:Data.ByteString.Internal.ByteString' 

Кто-то пожалуйста, объясните мне, взаимодействие между Data.Binary.Get и ByteStrings и как я могу делать то, что я намереваюсь. Благодарю.

Answer 1

Существует два типа данных ByteString: один находится в Data.ByteString.Lazy и один находится в Data.ByteString.

Учитывая, что L квалифицирует ваш ByteString, я предполагаю, что вы хотите ленивого сорта, но getByteString дает вам строгую ByteString.

Lazy ByteString s внутренне представлено строкой ByteString s.

К счастью, Data.ByteString.Lazy дает вам механизм поворота списка строгих ByteString s в ленивый ByteString.

Если определить

import qualified Data.ByteString as S 


strictToLazy :: S.ByteString -> L.ByteString 
strictToLazy = L.fromChunks . return 

вы можете изменить свой фрагмент кода в

getSegmentParams :: Get (Int, L.ByteString) 
getSegmentParams = do 
    seglen <- liftM fromIntegral getWord16be 
    params <- getByteString (seglen - 2) 
    return (seglen, strictToLazy params) 

и все должно быть в порядке с миром.

Answer 2

Он говорит, что вы ожидаете, что второй элемент кортежа быть L.ByteString (я предполагаю, что L от Data.ByteString.Lazy), но getByteString процедуры возвращает строгая байтовой строкой из Data.ByteString. Вероятно, вы хотите использовать getLazyByteString.