[Haskell-cafe] Associated types

Christopher Lane Hinson lane at downstairspeople.org
Thu Jul 1 14:26:25 EDT 2010

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

AIUI, this isn't implemented yet.  You'll have to place the constraint on each
involved function.


More information about the Haskell-Cafe mailing list