Re: Arrows and GHC rewrite rules

On 3/30/07, Simon Peyton-Jones <[EMAIL PROTECTED]> wrote: Would someone care to document this at http://haskell.org/haskellwiki/GHC/Using_rules Thanks! I added a section at http://haskell.org/haskellwiki/GHC/Using_rules#Rules_and_method_sharing . Eric _

Arrows and GHC rewrite rules

In GHC's Control.Arrow implementation, there are several rewrite rules which exploit some properties of arrows. For example, "compose/arr" forall f g . arr f >>> arr g = arr (f >>> g) "first/arr" forall f . first (arr f) = arr (first f) "second/arr" forall f . second (arr f) = arr (second f)