Changes between Version 17 and Version 18 of GenericsPropositionalEquality


Ignore:
Timestamp:
Dec 19, 2014 7:41:00 PM (5 years ago)
Author:
heisenbug
Comment:

Formatting

Legend:

Unmodified
Added
Removed
Modified
  • GenericsPropositionalEquality

    v17 v18  
    11This page sketches the ideas how to equip `GHC.Generics` with type-level reasoning facilities. This page describes ''work in progress''. Initially responsible for this page is Gabor Greif.
    22
    3 =Status Nov 2014=
     3= Status Nov 2014 =
    44
    55At the HacBerin 2014 GGR and JPM discussed the issue and we settled it in a way so that no changes to GHC are necessary. The trick is to obtain type equality witness from the Rep T and push that down to its innards. This way we need no propeq for constructors etc. Also Pedro is working towards a clean solution utilizing DataKinds.