[Haskell-cafe] Associated types

Andrew Coppin andrewcoppin at btinternet.com
Thu Jul 1 14:24:53 EDT 2010

David Menendez wrote:
> Something like this should work:
> class (Path p, CompletePath (CompletedPath p)) => IncompletePath p where
>     type CompletedPath p :: *

Oh, you can do that? (I.e., mention the CompletedPath function before 
you've defined it.) Sweet...

More information about the Haskell-Cafe mailing list