8 Jan
2011
8 Jan
'11
6:09 a.m.
* Henning Thielemann
On Sat, 8 Jan 2011, Roman Cheplyaka wrote:
I think catMaybes deserves its own typeclass, which would represent "truncatable" structures:
class Truncatable struct where catMaybes :: struct (Maybe a) -> Maybe a
But catMaybes has the type catMaybes :: struct (Maybe a) -> struct a for struct = []
Thanks, that was a typo. -- Roman I. Cheplyaka :: http://ro-che.info/ Don't worry what people think, they don't do it very often.