diff options
| author | michaelt <what_is_it_to_do_anything@yahoo.com> | 2014-02-25 01:12:15 -0500 |
|---|---|---|
| committer | michaelt <what_is_it_to_do_anything@yahoo.com> | 2014-02-25 01:12:15 -0500 |
| commit | 80a490ef5673cd22586215732bf8f596437e8f59 (patch) | |
| tree | 7369cc571300b3196037a1d7362113ba5f516fb7 /Pipes/Text | |
| parent | 24fa37c185d329399851dd622e243e8456cb5381 (diff) | |
| download | text-pipes-80a490ef5673cd22586215732bf8f596437e8f59.tar.gz text-pipes-80a490ef5673cd22586215732bf8f596437e8f59.tar.zst text-pipes-80a490ef5673cd22586215732bf8f596437e8f59.zip | |
Pipes.Text documentation approaching tutorial length
Diffstat (limited to 'Pipes/Text')
| -rw-r--r-- | Pipes/Text/IO.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Pipes/Text/IO.hs b/Pipes/Text/IO.hs index 101052b..627582e 100644 --- a/Pipes/Text/IO.hs +++ b/Pipes/Text/IO.hs | |||
| @@ -33,9 +33,9 @@ import Pipes.Safe (MonadSafe(..), Base(..)) | |||
| 33 | import Prelude hiding (readFile, writeFile) | 33 | import Prelude hiding (readFile, writeFile) |
| 34 | 34 | ||
| 35 | {- $textio | 35 | {- $textio |
| 36 | Where pipes IO replaces lazy IO, @Producer Text m r@ replaces lazy 'Text'. | 36 | Where pipes @IO@ replaces lazy @IO@, @Producer Text IO r@ replaces lazy 'Text'. |
| 37 | This module exports some convenient functions for producing and consuming | 37 | This module exports some convenient functions for producing and consuming |
| 38 | pipes 'Text' in IO, namely, 'readFile', 'writeFile', 'fromHandle', 'toHandle', | 38 | pipes 'Text' in @IO@, namely, 'readFile', 'writeFile', 'fromHandle', 'toHandle', |
| 39 | 'stdin' and 'stdout'. Some caveats described below. | 39 | 'stdin' and 'stdout'. Some caveats described below. |
| 40 | 40 | ||
| 41 | The main points are as in | 41 | The main points are as in |