--- This is an optimized version of 'getWord' that is used for lossless
--- only (error_limit ≡ 0). Also, rather than obtaining a single
--- sample, it can be used to obtain an entire buffer of either mono or
--- stereo samples.
---getWordsLossless ∷
+-- | This is an optimized version of 'getWord' that is used for
+-- lossless only ('edErrorLimit' ≡ 0). Also, rather than obtaining a
+-- single sample, it can be used to obtain an entire buffer of either
+-- mono or stereo samples.
+getWordsLossless ∷ ∀bs n v. (Bitstream bs, Integral n, GV.Vector v Int32)
+ ⇒ Bool -- ^ Is the stream monaural?
+ → WordsData
+ → bs -- ^ WV bitstream.
+ → n -- ^ Number of samples to get.
+ → (# WordsData, bs, v Int32 #)
+{-# INLINEABLE getWordsLossless #-}
+getWordsLossless isMono w bs nSamples0
+ = error "FIXME"
+ where
+ nSamples ∷ n
+ nSamples = if isMono
+ then nSamples0
+ else nSamples0 ⋅ 2