# Streams +System.IO

package
Various Haskell 2010 stream comonads. * Data.Stream.Future provides a coinductive anti-causal stream, or non-empty ZipList. The comonad provides access to only the tail of the stream. Like a conventional ZipList, this is not a monad. > data Future a = Last a | a :< Future a * Data.Stream.Future.Skew provides a non-empty skew-binary random-access-list with the semantics of Data.Stream.Future. As with Data.Stream.Future this stream is not a Monad, since the Applicative instance zips streams of potentially differing lengths. The random-access-list structure provides a number of operations logarithmic access time, but makes Data.Stream.Future.Skew.cons less productive. Where applicable Data.Stream.Infinite.Skew may be more efficient, due to a lazier and more efficient Applicative instance.
package
Numeric instances for infinite streams. An implementation of: Functional Pearl: Streams and Unique Fixed Points, Ralf Hinze, University of Oxford Streams, infinite sequences of elements, live in a coworld: they are given by a coinductive data type, operations on streams are implemented by corecursive programs, and proofs are conducted using coinduction. But there is more to it: suitably restricted, stream equations possess unique solutions, a fact that is not very widely appreciated. We show that this property gives rise to a simple and attractive proof technique essentially bringing equational reasoning to the coworld. In fact, we redevelop the theory of recurrences, finite calculus and generating functions using streams and stream operators building on the cornerstone of unique solutions. The development is constructive: streams and stream operators are implemented in Haskell, usually by one-liners. The resulting calculus or library, if you wish, is elegant and fun to use. Finally, we rephrase the proof of uniqueness using generalised algebraic data types. Along with the usual instances for infinite streams, this provides: Num, Enum, Real, Fractional, as well as recurrences on streams, finite calculus, generators Version 1.0
package
Overview An HTTP client, using the Snap Framework's 'io-streams' library to hande the streaming IO. The API is optimized for ease of use for the rather common case of code needing to query web services and deal with the result. The library is exported in a single module; see Network.Http.Client for full documentation. Version 0.7.0.2
package
Overview The io-streams library contains simple and easy-to-use primitives for I/O using streams. Most users will want to import the top-level convenience module System.IO.Streams, which re-exports most of the library: > import           System.IO.Streams (InputStream, OutputStream) > import qualified System.IO.Streams as Streams For first-time users, io-streams comes with an included tutorial, which can be found in the System.IO.Streams.Tutorial module. Features The io-streams user API has two basic types: InputStream a and OutputStream a, and three fundamental I/O primitives: @ -- read an item from an input stream Streams.System.IO.Streams.read :: System.IO.Streams.InputStream a -> IO (Maybe a) -- push an item back to an input stream Streams.System.IO.Streams.unRead :: a -> System.IO.Streams.InputStream a -> IO () -- write to an output stream Streams.System.IO.Streams.write :: Maybe a -> System.IO.Streams.OutputStream a -> IO () @ Streams can be transformed by composition and hooked together with provided combinators: > ghci> Streams.fromList [1,2,3::Int] >>= Streams.map > (*10) >>= Streams.toList > [10,20,30] Stream composition leaves the original stream accessible: > ghci> input <- Streams.fromByteString &quot;long string&quot; > ghci> wrapped <- Streams.takeBytes 4 input > ghci> Streams.read wrapped > Just &quot;long&quot; > ghci> Streams.read wrapped > Nothing > ghci> Streams.read input > Just &quot; string&quot; Simple types and operations in the IO monad mean straightforward and simple exception handling and resource cleanup using Haskell standard library facilities like Control.Exception.bracket. io-streams comes with: * functions to use files, handles, concurrent channels, sockets, lists, vectors, and more as streams. * a variety of combinators for wrapping and transforming streams, including compression and decompression using zlib, controlling precisely how many bytes are read from or written to a stream, buffering output using bytestring builders, folds, maps, filters, zips, etc. * support for parsing from streams using attoparsec. * support for spawning processes and communicating with them using streams. ChangeLog 1.1.2.2: Allowed newest versions of the process, test-framework, and text libraries. 1.1.2.1: Fixed build error when compiled against attoparsec-0.10.0.x. 1.1.2.0: Added System.IO.Streams.Concurrent.makeChanPipe, to create a simple concurrent pipe between an InputStream/OutputStream pair. 1.1.1.0: Added System.IO.Streams.Network.socketToStreamsWithBufferSize, allowing control over the size of the receive buffers used when reading from sockets. 1.1.0.3: Fixed an inconsistent version upper bound in the test suite. 1.1.0.2: Fixed a typo in the tutorial. 1.1.0.1: A couple of Haddock markup fixes. 1.1.0.0: Reworked, simplified, and streamlined the internals of the library. Exports from System.IO.Streams.Internal relying on Sources and Sinks were deleted because they are no longer necessary: Source(..), Sink(..), defaultPushback, withDefaultPushback, nullSource, nullSink, singletonSource, simpleSource, sourceToStream, sinkToStream, generatorToSource, and consumerToSink. 1.0.2.2: Fixed a bug in which &quot;takeBytes 0&quot; was erroneously requesting input from the wrapped stream. 1.0.2.1: Fixed a compile error on GHC 7.0.x. 1.0.2.0: Added System.IO.Streams.Process (support for communicating with system processes using streams), added new functions to System.IO.Streams.Handle for converting io-streams types to System.IO.Handles. (Now you can pass streams from this library to places that expect Handles and everything will work.) 1.0.1.0: Added System.IO.Streams.Combinators.ignoreEof. 1.0.0.1: Fixed some haddock markup. Version 1.1.2.2
package
The openssl-streams library contains io-streams routines for secure networking using OpenSSL (by way of HsOpenSSL). ChangeLog 1.1.0.0: Updated openssl-streams to work with io-streams 1.1.0.0. Version 1.1.0.0