Define typeRep in terms of new Proxy#

Authored by austin on Sep 26 2013, 1:43 AM.

Description

Define typeRep in terms of new Proxy#

Data.Typeable.Internal.Typeable now contains typeRep# - defined over
Proxy# - instead of typeRep, the latter now being a wrapper of the
former.

Authored-by: Edward Kmett <ekmett@gmail.com>
Authored-by: Austin Seipp <austin@well-typed.com>
Signed-off-by: Austin Seipp <austin@well-typed.com>

Details

Committed
austinSep 27 2013, 12:16 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFFad74a2a921c6: Documentation for GHC.Generics
Branches
Unknown
Tags
Unknown