[Haskell-cafe] What's the new type ?

zaxis z_axis at 163.com
Thu Nov 5 02:17:40 EST 2009


type Parser a = GenParser Char () a
newtype GenParser tok st a = Parser (State tok st -> Consumed (Reply tok st
a))

As i know, the Parser type is just an alias of GenParser. Then  can the
second line be replaced as below?

newtype GenParser tok st a = GenParser Char () (State tok st -> Consumed
(Reply tok st a))

If it can , then what is the new type ?

Sincerely!

-----
fac n = foldr (*) 1 [1..n]
-- 
View this message in context: http://old.nabble.com/What%27s-the-new-type---tp26208600p26208600.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.



More information about the Haskell-Cafe mailing list