[Haskell-cafe] What does the `forall` mean ?
jfredett at gmail.com
Wed Nov 11 19:27:58 EST 2009
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
Hope that makes sense,
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 ->
> (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
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe