Re: [Haskell-cafe] Type families in export lists

Lee Duhem: On Sat, May 30, 2009 at 7:35 PM, Maurí cio briqueabra...@yahoo.com wrote: Hi, How do I include type families (used as associated types) in a module export list? E.g.: class MyClass a where type T a :: * coolFunction :: Ta - a (...) If I just include MyClass and its

Re: [Haskell-cafe] Type families in export lists

On Sun, May 31, 2009 at 7:10 PM, Manuel M T Chakravarty c...@cse.unsw.edu.au wrote: Lee Duhem: On Sat, May 30, 2009 at 7:35 PM, Maurí cio briqueabra...@yahoo.com wrote: Hi, How do I include type families (used as associated types) in a module export list? E.g.: class MyClass a where  

[Haskell-cafe] Type families in export lists

Hi, How do I include type families (used as associated types) in a module export list? E.g.: class MyClass a where type T a :: * coolFunction :: Ta - a (...) If I just include MyClass and its functions in the list, instances in other modules complain they don't know T, but I wasn't

Re: [Haskell-cafe] Type families in export lists

On Sat, May 30, 2009 at 7:35 PM, Maurí­cio briqueabra...@yahoo.com wrote: Hi, How do I include type families (used as associated types) in a module export list? E.g.: class MyClass a where    type T a :: *    coolFunction :: Ta - a    (...) If I just include MyClass and its functions in