<div class="gmail_quote">On Thu, Oct 20, 2011 at 5:19 AM, Captain Freako <span dir="ltr"><<a href="mailto:capn.freako@gmail.com">capn.freako@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Hi David,<br>
<br>
I was referring to the `f' in the `runAuto' function, not the `liftAu' function.<br>
<br>
-db<br>
<div><div></div><div class="h5"><br></div></div></blockquote><div><br></div><div>Ah, I see. You quoted one thing and spoke of another, and I got all confused. Keep in mind that functions are arrows (instance Arrow (->)). </div>
<div><br></div><div><span class="Apple-style-span" style="font-family: arial, sans-serif; font-size: 13px; background-color: rgb(255, 255, 255); ">> type FilterAu b c = Automaton (->) b c<br></span></div><div>> runAuto :: FilterAu b c -> [b] -> [c]</div>
<div><div><span class="Apple-style-span" style="font-family: arial, sans-serif; font-size: 13px; background-color: rgb(255, 255, 255); ">> runAuto a [] = []<br>> runAuto (Automaton f) (x:xs) = let<br>
> (y,a) = f x<br>> in y:runAuto a xs</span></div></div><div><span class="Apple-style-span" style="font-family: arial, sans-serif; font-size: 13px; background-color: rgb(255, 255, 255); "><br></span></div><div><br>
</div></div>