Make the queues public

Having the annotated queues available seems perhaps more useful
than the sliding window function itself, since it lets users
use them for whatever style of sliding they desire.

Author: treeowl

src/Data/AnnotatedQueue.hs

@@ -2,7 +2,8 @@
   BangPatterns, UndecidableInstances #-}
 
 -- | An implementation of Okasaki's implicit queues holding elements of some
--- semigroup. We track the sum of them all.
+-- semigroup. We track the sum of them all. This structure is designed to
+-- support efficient *sliding window* algorithms for streams.
 module Data.AnnotatedQueue
   ( Queue
   , ViewL (..)
@@ -120,16 +121,16 @@ on `m`, for a total of 2 units of work.
 
 In the last case, we have two possibilities, depending on the prefix:
 
-1. The prefix has one element. Then the debit allowance on `m` is 0. We force `m`
-(for free). We do 1 unit of unshared work. We create a suspension for the
+1. The prefix has one element. Then the debit allowance on `m` is 0. We force
+`m` (for free). We do 1 unit of unshared work. We create a suspension for the
 recursive call and place 2 debits on it to pay for that. Since the debit
-allowance for the suspension only allows 1 debit, we pay one of them off now.
-So the amortized cost is 2.
+allowance for the result middle only allows 1 debit, we pay one of them off
+now.  So the amortized cost is 2.
 
-2. The prefix has two elements. Then the debit allowance on `m` is 1. We pay off
-that debit and force `m`. We do 1 unit of unshared work. We create a suspension
-for the recursive call and place 2 debits on it. This is within the debit allowance
-for the result. So the amortized cost is 2.
+2. The prefix has two elements. Then the debit allowance on `m` is 1. We pay
+off that debit and force `m`. We do 1 unit of unshared work. We create a
+suspension for the recursive call and place 2 debits on it. This is within the
+debit allowance for the result middle. So the amortized cost is 2.
 -}
 
 data ViewL s = EmptyL | ViewL !s !(Queue s)

streaming.cabal

@@ -204,8 +204,7 @@ library
     , Streaming.Prelude
     , Streaming.Internal
     , Data.Functor.Of
-  other-modules:
-      Data.AnnotatedQueue
+    , Data.AnnotatedQueue
   build-depends:
       base >=4.8 && <5
     , mtl >=2.1 && <2.3