
27 May
2009
27 May
'09
10:59 p.m.
On Wed, May 27, 2009 at 7:33 PM, michael rice
Still exploring monads. I don't understand why the type signature for double is OK, but not the one for iota.
Michael
=================
--double :: (Int a) => a -> Maybe b --double x = Just (x + x)
iota :: (Int a) => a -> [b] iota n = [1..n]
Int is not a class, and you are using it as such?
--usage: [3,4,5] >>= iota --should produce [1,2,3,1,2,3,4,1,2,3,4,5]
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe