Rename (:=:) to (:~:) and add Data.Type.Coercion

Authored by ekmett on Oct 8 2013, 8:22 PM.

Description

Rename (:=:) to (:~:) and add Data.Type.Coercion

Bikeshed color chosen by core libraries committee

Knock-on effects:

  • Made the instances for Read, Enum, Data and Bounded for (:~:) more robust
  • Renamed Data.Type.Equality.coerce to subst. It collided with GHC.Prim.coerce from Coercible.

Signed-off-by: Austin Seipp <aseipp@pobox.com>

Details

Committed
austinOct 9 2013, 2:45 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF4434dc9a8a8c: Typo in documentation
Branches
Unknown
Tags
Unknown