Re: [Haskell-cafe] Extending the idea of a general Num to other types?

[Peter Verswyvelen]

Henning Thielemann wrote:
If you are happy with writing "do {1;2;3;4}" you are certainly also happy
with "cv [1,2,3,4]", where cv means 'convert' and is a method of a class
for converting between lists and another sequence type.
class ListCompatible lc where
   cv :: [a] -> lc a
   rt :: lc a -> [a]   {- restore :-) -}

Better don't adapt the names, but the idea would work, wouldn't it?

  
Oh but I will not write "do {1;2;3;4}", this was just an idea :-) Yep, 
your approach certainly works, but I just found it was a bit of a 
discrepancy in Haskell (numbers getting better lifting support than lists).




_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe