Implement "TypeLevelReasoning" proposal at wiki:TypeLevelReasoning
authorRichard Eisenberg <eir@cis.upenn.edu>
Wed, 24 Jul 2013 11:38:50 +0000 (12:38 +0100)
committerRichard Eisenberg <eir@cis.upenn.edu>
Wed, 24 Jul 2013 11:38:50 +0000 (12:38 +0100)
commit365b9d86d195dc483610a68836b4063656602244
tree876e8a11780ac12d8c0df6dc955a92e9f4b77fc0
parenta65ce1985d93250274eda16e0529bb5a9c93371b
Implement "TypeLevelReasoning" proposal at wiki:TypeLevelReasoning

This commit includes a propositional equality (:=:) in Data.Type.Equality,
a Proxy type in Data.Proxy, and has updates to Typeable.

There is an unfortunate number of hs-boot files necessary, but that
seems cleaner than moving Typeable instances around willy-nilly.
Data/Data.hs
Data/Proxy.hs [new file with mode: 0644]
Data/Proxy.hs-boot [new file with mode: 0644]
Data/Type/Equality.hs [new file with mode: 0644]
Data/Type/Equality.hs-boot [new file with mode: 0644]
Data/Typeable.hs
Data/Typeable/Internal.hs
Data/Typeable/Internal.hs-boot
base.cabal