Add transform/unstream [New] rule
authorRoman Leshchinskiy <rl@cse.unsw.edu.au>
Fri, 3 Oct 2008 04:49:36 +0000 (04:49 +0000)
committerRoman Leshchinskiy <rl@cse.unsw.edu.au>
Fri, 3 Oct 2008 04:49:36 +0000 (04:49 +0000)
Data/Vector/MVector/New.hs

index 9aa2117..9d4da44 100644 (file)
@@ -48,6 +48,11 @@ transform f (New p) = New (MVector.transform f =<< p)
          p .
   transform f (transform g p) = transform (f . g) p
 
+"transform/unstream [New]"
+  forall (f :: forall m. Monad m => MStream m a -> MStream m a)
+         s.
+  transform f (unstream s) = unstream (f s)
+
  #-}
 
 slice :: New a -> Int -> Int -> New a