Changes between Version 4 and Version 5 of InjectiveTypeFamilies


Ignore:
Timestamp:
Jul 15, 2014 8:31:07 AM (6 years ago)
Author:
jstolarek
Comment:

Fix typo: ans -> and

Legend:

Unmodified
Added
Removed
Modified
  • InjectiveTypeFamilies

    v4 v5  
    5757result A -> B
    5858}}}
    59 where `A` is a possibly-empty list of type variables declared in type family head and `B` is non-empty list of said type variables. Things on the left and right of `->` are called LHS ans RHS of an injectivity condition, respectively. `result` becomes a restricted word that cannot be used as a type variable's identifier in a type family declaration (neither in declaration head nor in the equations). This is identical to how the `role` word is treated.
     59where `A` is a possibly-empty list of type variables declared in type family head and `B` is non-empty list of said type variables. Things on the left and right of `->` are called LHS and RHS of an injectivity condition, respectively. `result` becomes a restricted word that cannot be used as a type variable's identifier in a type family declaration (neither in declaration head nor in the equations). This is identical to how the `role` word is treated.
    6060
    6161The examples given in the "Outline" section could have the following injectivity conditions: