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

[Joe Fredette]

Forall means the same thing as it means in math, it means "for any  
type -- call it `b` -- then the type of the following it `Branch  
(PermParser tok st (b -> a)`"

`tok`, `st` and `a` are all given by the declaration of the datatype  
itself.

Hope that makes sense,

/Joe

On Nov 11, 2009, at 7:24 PM, zaxis wrote:

>
> 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!
>
> thanks!
>
> -----
> 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.
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe