Changes between Version 4 and Version 5 of TypeLevelNamingIssues


Ignore:
Timestamp:
Sep 29, 2014 5:03:07 PM (5 years ago)
Author:
ibotty
Comment:

is in data.equality. no need to wish anymore

Legend:

Unmodified
Added
Removed
Modified
  • TypeLevelNamingIssues

    v4 v5  
    2222class EqualityT f where
    2323  equalsT :: f a -> f b -> Maybe (a :~: b)
     24
     25type family a == b where
     26  a == a = True
     27  a == b = False
    2428}}}
    2529
     
    122126    I've tested this function in a real setting, and it (that is, type inference for it) works great.
    123127
    124 6. I propose the following, further addition to `Data.Type.Equality`:
    125 {{{
    126 type family a == b where
    127   a == a = True
    128   a == b = False
    129 }}}