From c8027236c897ebac20a4d9cc8209f216cded20c8 Mon Sep 17 00:00:00 2001 From: Gabriel Gonzalez Date: Thu, 6 Feb 2014 10:55:15 +0700 Subject: [PATCH] Replaced the word "proxies" with "pipes" Generally `pipes` documentation avoids the word proxy unless it's in a bidirectional context. --- Pipes/Text.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Pipes/Text.hs b/Pipes/Text.hs index c0c0946..f85f0ee 100644 --- a/Pipes/Text.hs +++ b/Pipes/Text.hs @@ -29,11 +29,11 @@ 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' - and 'stdout' proxies, as with the following \"echo\" program: + and 'stdout' pipes, as with the following \"echo\" program: > main = runEffect $ Text.stdin >-> Text.stdout - You can also translate pure lazy 'TL.Text's to and from proxies: + You can also translate pure lazy 'TL.Text's to and from pipes: > main = runEffect $ Text.fromLazy (TL.pack "Hello, world!\n") >-> Text.stdout @@ -1159,4 +1159,4 @@ decodeIso8859_1 = go where - \ No newline at end of file + -- 2.41.0