11 Feb
2013
11 Feb
'13
6:45 p.m.
Petr Pudlák <petr.mvd@gmail.com> 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 <es@ertes.de>" FPrint: BD28 3E3F BE63 BADD 4157 9134 D56A 37FA E5DD 8D11 Keysrv: hkp://subkeys.pgp.net/