Changes between Version 12 and Version 13 of OverloadedLists


Ignore:
Timestamp:
Mar 8, 2013 1:26:12 PM (2 years ago)
Author:
duairc
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • OverloadedLists

    v12 v13  
    159159== Heterogeneous Lists == 
    160160 
    161 The overloaded lists extension as, implemented above, would not be able to be used on heterogeneous lists, for example, as implemented below: 
     161The {{{OverloadedLists}}} extension as, implemented above, would not be able to be used on heterogeneous lists, for example, as implemented below: 
    162162 
    163163{{{ 
    164  
    165164data HList :: [*] -> * where 
    166165    HNil :: HList '[] 
    167166    HCons :: a -> HList xs -> HList (a ': xs) 
    168  
    169167}}} 
    170168 
    171 This is a bit disappointing. However, I'm not really sure how you could make this extension. 
     169This is a bit disappointing. However, I'm not really sure how you could make this extension support this use case, even if you added some hacks to the {{{IsList}}} class.