Changes between Version 2 and Version 3 of Ticket #9334, comment 14


Ignore:
Timestamp:
Aug 24, 2016 6:23:17 PM (3 years ago)
Author:
Iceland_jack
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #9334, comment 14

    v2 v3  
    1919Another [https://gist.github.com/Icelandjack/5afdaa32f41adf3204ef9025d9da2a70#pdf-type-classes-and-instance-chains-a-relational-approach-1 approach] that uses the module system to hide this class and type:
    2020
    21 : class Fail t
    22 : data TypeExists t
     21{{{#!hs
     22class Fail t
     23data TypeExists t
     24}}}
    2325
    2426and uses it as
    2527
    26 : instance Fail (TypeExists t) => HasNone t (Cons t ts)
     28{{{#!hs
     29instance Fail (TypeExists t) => HasNone t (Cons t ts)
     30}}}