Jan,
I notice two things
1) that where notation in the style of closed type families is quite nice!
2) what about adding some annotation to the args that act injectively wrt
the result? eg
type family Foo *a *b -- or some other marking annotation
rather than
type family Foo a b | $syntaxPlaceHolder -> a b -- or
Or should we actually think of the solver process as being analagous to
fundeps?
On Wed, Sep 17, 2014 at 10:02 AM, Jan Stolarek
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
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe