[Haskell-cafe] Injective type families for GHC - syntax proposals

Jan Stolarek jan.stolarek at p.lodz.pl
Wed Sep 17 14:02:43 UTC 2014


> > Use syntax similar to functional dependencies. The injectivity
> > declaration begins with `|` following type family declaration head. `|`
> > is followed by a
> > list of comma-separated injectivity conditions. Each injectivity
> > condition has
> > the form:
> >
> > {{{
> > result A -> B
> > }}}
>
> Was `_` considered here as the result token?
No, it wasn't.

Also, I think it's best to actually take a look at the wiki as new proposals are being added 
there.

Janek



More information about the Haskell-Cafe mailing list