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.