6 Jun
2006
6 Jun
'06
11:16 a.m.
On Jun 6, 2006, at 9:57 AM, David F. Place wrote:
It bothers me that the functions findMin, findMax, deleteFindMin and deleteFindMax are error when applied to the empty set in various types of collections. Shouldn't they return Maybe?
FYI, Edison has operations that generalize 'deleteFind*' (named viewMin/viewMax) which call 'fail' in an arbitrary monad when applied to an empty collection; obviously, these can be instantiated at type 'Maybe'. http://www.eecs.tufts.edu/~rdocki01/docs/edison/Data-Edison- Coll.html#v%3AminView
-------------------------------- David F. Place mailto:d@vidplace.com
Rob Dockins Speak softly and drive a Sherman tank. Laugh hard; it's a long way to the bank. -- TMBG