11 Feb
2013
11 Feb
'13
10:45 a.m.
Petr Pudlák
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