blob: 395bd2ff05f78e31d0b829187d4e3e1e0ad47907 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
%
% (c) The GRASP/AQUA Project, Glasgow University, 1995
%
\section[Merge]{Mergeing streams}
Avoiding the loss of ref. transparency by attaching the merge to the
IO monad.
(The ops. are now defined in Concurrent to avoid module loop trouble).
\begin{code}
module Merge
(
mergeIO
, nmergeIO
) where
import Concurrent
\end{code}
|