19 Dec
2006
19 Dec
'06
8:36 a.m.
On Mon, Dec 18, 2006 at 04:59:45PM +0000, Joachim Breitner wrote:
Well, that???s a possible implementation of a maybeToM. The question is: Is it useful enough for a name on it???s own?
OK, I agree it's sufficiently useful, and it's a generalization of Data.Maybe.maybeToList. Perhaps we could get rid of maybeToList? Best regards Tomasz