Petr Pudlák <[email protected]> wrote: > class Arrow a => ArrowDelay a where > delay :: a b c -> a () (b -> c) > > force :: Arrow a => a () (b -> c) -> a b c > > Perhaps it would be convenient to have ArrowDelay and the > corresponding conversions included in the library so that defining and > using Applicative instances for arrows would become more > straightforward.
I appreciate the idea from a theoretical standpoint, but you don't actually have to define an ArrowDelay instance for the notation to work. The compiler can't check the laws anyway. Greets, Ertugrul -- Key-ID: E5DD8D11 "Ertugrul Soeylemez <[email protected]>" FPrint: BD28 3E3F BE63 BADD 4157 9134 D56A 37FA E5DD 8D11 Keysrv: hkp://subkeys.pgp.net/
signature.asc
Description: PGP signature
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
