[Haskell-cafe] How to read this syntax?

David F. Place d at vidplace.com
Thu Dec 29 11:26:08 EST 2005


I am trying to read _Arrows, Robots, and Functional Reactive  
Programming_ by Hudak, et al.


In section 2.1 there are a number of equations of the form:

g’ :: SF A C
g’ = arr g
     = arr f1 >>> arr f2


i’ :: SF (A,C) (B,D)
i’ = arr i
    = arr (f1 . fst) &&& arr (f2 . snd)
    = (arr fst >>> arr f1) &&& (arr snd >>> arr f2)

I can't find any reference to the syntax where the function left hand  
side is just  "space."  I'd greatly appreciate any insight.

David F. Place
mailto:d at vidplace.com

More information about the Haskell-Cafe mailing list