Changes between Version 14 and Version 15 of Migration/8.4


Ignore:
Timestamp:
Jan 2, 2018 7:32:25 AM (20 months ago)
Author:
alanz
Comment:

Add description of IdP

Legend:

Unmodified
Added
Removed
Modified
  • Migration/8.4

    v14 v15  
    275275#endif
    276276}}}
     277
     278There is also a type family to define the underlying identifier type for a given index.
     279
     280{{{#!hs
     281type family IdP p
     282type instance IdP GhcPs = RdrName
     283type instance IdP GhcRn = Name
     284type instance IdP GhcTc = Id
     285}}}