From 81074089ef35d307d8575c8ad8b1f43e01a37dc3 Mon Sep 17 00:00:00 2001 From: michaelt Date: Fri, 21 Feb 2014 22:34:20 -0500 Subject: [PATCH] IO documentation wibbles --- Pipes/Text/IO.hs | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/Pipes/Text/IO.hs b/Pipes/Text/IO.hs index 23aff69..101052b 100644 --- a/Pipes/Text/IO.hs +++ b/Pipes/Text/IO.hs @@ -35,17 +35,15 @@ import Prelude hiding (readFile, writeFile) {- $textio Where pipes IO replaces lazy IO, @Producer Text m r@ replaces lazy 'Text'. This module exports some convenient functions for producing and consuming - pipes 'Text' in IO, with caveats described below. + pipes 'Text' in IO, namely, 'readFile', 'writeFile', 'fromHandle', 'toHandle', + 'stdin' and 'stdout'. Some caveats described below. The main points are as in An 'IO.Handle' can be associated with a 'Producer' or 'Consumer' according as it is read or written to. - - To stream to or from 'IO.Handle's, one can use 'fromHandle' or 'toHandle'. For - example, the following program copies a document from one file to another: - + > import Pipes > import qualified Pipes.Text as Text > import qualified Pipes.Text.IO as Text @@ -65,11 +63,12 @@ To stream from files, the following is perhaps more Prelude-like (note that it u > > main = runSafeT $ runEffect $ Text.readFile "inFile.txt" >-> Text.writeFile "outFile.txt" - You can stream to and from 'stdin' and 'stdout' using the predefined 'stdin' + Finally, you can stream to and from 'stdin' and 'stdout' using the predefined 'stdin' and 'stdout' pipes, as with the following \"echo\" program: > main = runEffect $ Text.stdin >-> Text.stdout + -} -- 2.41.0