如何訪問Data.Functor.Of？

Question

我正在嘗試使用streaming-bytestring Data.ByteString.Streaming.Char8庫的長度函數。

我看到返回值的類型為Of ，但不清楚如何檢查它。 我嘗試使用case ，但是即使我對Data.Functor.Of進行了合格的導入，編譯器Not in scope: data constructor 'O.Of'說Not in scope: data constructor 'O.Of' 。

如何檢查價值？

代碼示例：

ghci> let bs = BSSC.string "tiger"            
ghci> bs                                                   
Chunk "tiger" (Empty (()))                                            
ghci> BSSC.length bs                 
6 :> ()                                  
ghci> let len = BSSC.length bs
ghci> :t len
len :: Monad m => m (OO.Of Int ())

Answer 1

Of的構造函數稱為(:>) ：

-- | A left-strict pair; the base functor for streams of individual elements.
data Of a b = !a :> b
    deriving (Data, Eq, Foldable, Ord,
              Read, Show, Traversable, Typeable, Generic, Generic1)
infixr 5 :>

所以你應該可以做類似的事情

n :> _ <- length bs