diff --git a/streaming.cabal b/streaming.cabal index 44d2b6a..5ba4e8c 100644 --- a/streaming.cabal +++ b/streaming.cabal @@ -4,9 +4,9 @@ cabal-version: >=1.10 build-type: Simple synopsis: an elementary streaming prelude and general stream type. -description: This package contains two modules, - and . - The principal module, , exports an elementary streaming prelude focused on +description: This package contains two modules, + and . + The principal module, , exports an elementary streaming prelude focused on a simple \"source\" or \"producer\" type, namely @Stream (Of a) m r@. This is a sort of effectful version of @([a],r)@ in which successive elements of type @a@ arise from some sort of monadic @@ -70,7 +70,7 @@ description: This package contains two modules, module exports the general type, + The module exports the general type, @Stream f m r@, which can be used to stream successive distinct steps characterized by /any/ functor @f@, though we are mostly interested in organizing computations @@ -137,21 +137,21 @@ description: This package contains two modules, + is accomplished with this isomorphism: . > Pipes.unfoldr Streaming.next :: Stream (Of a) m r -> Producer a m r > Streaming.unfoldr Pipes.next :: Producer a m r -> Stream (Of a) m r . Interoperation with - + is thus: . > Streaming.reread IOStreams.read :: InputStream a -> Stream (Of a) IO () > IOStreams.unfoldM Streaming.uncons :: Stream (Of a) IO () -> IO (InputStream a) . With - + one might use, e.g.: . > Conduit.unfoldM Streaming.uncons :: Stream (Of a) m () -> Source m a