On 10/14/07, Jean-Philippe Bernardy <[EMAIL PROTECTED]> wrote:
> instance Arrow a => Functor (a r) where -- (not defined as such in base, but
> ad-hoc)
> f <$> g = pure f . g
Similarly:
instance Arrow a => Applicative (a r) where
return a = pure (const a)
a <*> b = pure (\(f,x) -> f x) . a &&& b
--
Dave Menendez <[EMAIL PROTECTED]>
<http://www.eyrie.org/~zednenem/>
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
