[Haskell-cafe] What does the `forall` mean ?

zaxis z_axis at 163.com
Wed Nov 11 19:24:16 EST 2009

import Text.ParserCombinators.Parsec

data PermParser tok st a = Perm (Maybe a) [Branch tok st a]
data Branch tok st a     = forall b. Branch (PermParser tok st (b -> a))
(GenParser tok st b)

I have hoogled the `forall` but i cannot find any appropriate answer!  


fac n = foldr (*) 1 [1..n]
View this message in context: http://old.nabble.com/What-does-the-%60forall%60-mean---tp26311291p26311291.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

More information about the Haskell-Cafe mailing list