Trace and loop examples?

Vincenzo aka Nick Name vincenzo_mlRE.MOVE at
Tue Dec 16 13:31:19 EST 2003

Hi all, I am trying to lear more about arrows in haskell, so I am 
reading the paper at:

However, I can't understand how to produce a working and meaningful 
example of the trace function, or the loop arrow (I am using the 
"automata" example).

The trace function is defined like:

trace f b = let (c,d) = f (b,d) in c

Can someone show an example function f to pass to trace and what the 
purpose is? 



More information about the Haskell-Cafe mailing list