Hi all,<br><br>In this excerpt from the <a href="http://hackage.haskell.org/packages/archive/arrows/0.4.1.2/doc/html/Control-Arrow-Transformer-Automaton.html#t:Automaton">Automaton</a> page:<br><div style="font-family: courier new,monospace; margin-left: 40px;" class="top">
<p class="src"><a name="v:runAutomaton" class="def">runAutomaton</a> :: (<a href="http://hackage.haskell.org/packages/archive/base/4.2.0.2/doc/html/Control-Arrow.html#t:ArrowLoop">ArrowLoopC</a> a, <a href="http://hackage.haskell.org/packages/archive/base/4.2.0.2/doc/html/Control-Arrow.html#t:ArrowApply">ArrowApply</a> a) =&gt; <a href="http://hackage.haskell.org/packages/archive/arrows/0.4.1.2/doc/html/Control-Arrow-Transformer-Automaton.html#t:Automaton">Automaton</a> a (e, b) c -&gt; a (e, <a href="http://hackage.haskell.org/packages/archive/Stream/0.4.1/doc/html/Data-Stream.html#t:Stream">Stream</a> b) (<a href="http://hackage.haskell.org/packages/archive/Stream/0.4.1/doc/html/Data-Stream.html#t:Stream">Stream</a> c)<a href="http://hackage.haskell.org/packages/archive/arrows/0.4.1.2/doc/html/src/Control-Arrow-Transformer-Automaton.html#runAutomaton" class="link">Source</a></p>
<div class="doc"><p>Encapsulating an automaton by running it on a stream of inputs,
 obtaining a stream of outputs.
</p><p>Typical usage in arrow notation:
</p><pre>        proc p -&gt; do
                ...
<font size="4"><b>                ys &lt;- (|runAutomaton (\x -&gt; <u>...</u>)|) xs
</b></font></pre><p>Here <code>xs</code> refers to the input stream and <code>x</code> to individual
 elements of that stream.  <code>ys</code> is bound to the output stream.
</p></div></div>Could someone replace the ellipses w/ an expression that would compile and make sense?<br>(I&#39;m really struggling, trying to understand this example.)<br><br>Thanks!<br>-db<br><br>