<div dir="ltr">Hi,<br>That seemed to compile! I had no idea this kind of construction was even possible!<br><br>However it did spew out a bunch of warnings like:<br>"No explicit associated type or default declaration for ‘Impl’ in instance ..."<br><br>Thanks!<br>-deech<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Jan 2, 2015 at 1:38 PM, Erik Hesselink <span dir="ltr"><<a href="mailto:hesselink@gmail.com" target="_blank">hesselink@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Could you do something like this?<br>
<br>
    instance (Impl D1 D2 ~ a -> IO (), C a) => Dispatch D1 D2<br>
<br>
Erik<br>
<div><div class="h5"><br>
On Fri, Jan 2, 2015 at 7:59 PM, aditya siram <<a href="mailto:aditya.siram@gmail.com">aditya.siram@gmail.com</a>> wrote:<br>
> Hi all,<br>
> I'd like to be able to constrain an associated type.<br>
><br>
> I used to have an instance that looked like:<br>
> class Dispatch a b c | a b -> c where<br>
>    runF :: a -> b -> c<br>
> instance (C a) => Dispatch D1 D2 ( a -> IO ()) where<br>
>    runF d1 d2 = (\_ -> return ())<br>
><br>
> Since I upgraded to 7.8 from 7.5 that instance declaration is no longer<br>
> accepted is no longer accepted since it violates FD's.<br>
><br>
> I have been updating my code to use type families like so:<br>
> class Dispatch a b where<br>
>    type Impl a b :: *<br>
>    runF :: a -> b -> Impl a b<br>
> instance (C a) => Dispatch D1 D2 where<br>
>    type Impl D1 D2 = a -> IO ()<br>
>    runF d1 d2 = (\_ return ())<br>
><br>
> Unfortunately the `type Impl ...` line in the instance is rejected because<br>
> it uses `a` on the RHS.<br>
><br>
> In this one case I could just package it up into a newtype or something but<br>
> I would ideally like to be able to constrain any number of arguments like:<br>
> instance (C a, C b ... C z) => Dispatch D1 D2 where<br>
>    type Impl D1 D2 = a -> b -> ... -> z -> IO ()<br>
>    ...<br>
><br>
> This was something I could do in 7.6 (although I realize this is way safer).<br>
> How do I go about getting that constraint back?<br>
><br>
> Thanks!<br>
> -deech<br>
><br>
</div></div>> _______________________________________________<br>
> Haskell-Cafe mailing list<br>
> <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
> <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
><br>
</blockquote></div><br></div>