8 May
2010
8 May
'10
1:32 a.m.
"Brandon S. Allbery KF8NH"
On May 8, 2010, at 01:16 , Ivan Lazar Miljenovic wrote:
Huh? What about "maybeAdd (Just 2) Nothing" ?
Isn't that handled by the definition of (>>=) in Maybe, as opposed to by invoking fail?
instance Monad Maybe where -- ... Nothing >>= _ = Nothing (Just x) >>= f = f x
Yes, but isn't the "y <- Nothing" pattern failure handled by invoking fail? -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com