haskell - 如何访问Data.Functor.Of？

Question

我正在尝试使用 length streaming-bytestring Data.ByteString.Streaming.Char8 库的函数。

我看到返回值的类型为Of，但我不清楚如何检查它。我尝试使用 case，但编译器显示 不在范围内:数据构造函数 'O.Of'，即使我对 Data.Functor 进行了限定导入。的。

如何检查该值？

代码示例:

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

The constructor of Of is called (:>) :

-- | 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