streams 3.0.1.1 → 3.1

raw patch · 2 files changed

+2/−6 lines, 2 files

Files

• src/Data/Stream/Infinite.hs +0/−3
• streams.cabal +2/−3

@@ -185,9 +185,6 @@ interleave :: Stream a -> Stream a -> Stream a interleave ~(x :> xs) ys = x :> interleave ys xs -instance Semigroup (Stream a) where-  (<>) = interleave- -- | The 'inits' function takes a stream @xs@ and returns all the -- finite prefixes of @xs@. --

@@ -1,6 +1,6 @@ name:          streams category:      Control, Comonads-version:       3.0.1.1+version:       3.1 license:       BSD3 cabal-version: >= 1.6 license-file:  LICENSE@@ -40,8 +40,7 @@   * "Data.Stream.Infinite" provides a coinductive infinite anti-causal stream. The 'Comonad' provides access to the tail of the     stream and the 'Applicative' zips streams together. Unlike 'Future', infinite stream form a 'Monad'. The monad diagonalizes     the 'Stream', which is consistent with the behavior of the 'Applicative', and the view of a 'Stream' as a isomorphic to the reader-    monad from the natural numbers. Being infinite in length, there is no 'Alternative' instance, but instead the 'FunctorAlt'-    instance provides access to the 'Semigroup' of interleaving streams.+    monad from the natural numbers. Being infinite in length, there is no 'Alternative' instance.   .   > data Stream a = a :< Stream a   .