[Haskell-cafe] Re: Additonal types for Foreign.C.Types

Maurí­cio briqueabraque at yahoo.com
Tue Feb 10 18:13:22 EST 2009

> The FFI spec says (at 
> http://www.cse.unsw.edu.au/~chak/haskell/ffi/ffi/ffise3.html#x6-120003.2):

There I see:

Foreign types are produced according to the following grammar:

ftype  --> frtype
        |   fatype -> ftype
frtype --> fatype
        |   ()
fatype --> qtycon atype[1] ... atype[k] (k > 0)

I can't understand the "qtycon atype[1]..." line. I did
search haskell 98 report syntax reference, and saw how
qtycon and tycon are defined, but I could not understand
how they are used here.

Thanks for your help,

More information about the Haskell-Cafe mailing list