Changes between Version 11 and Version 12 of OverloadedLists


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

--

Legend:

Unmodified
Added
Removed
Modified
  • OverloadedLists

    v11 v12  
    156156http://www.mail-archive.com/[email protected]/msg101412.html
    157157}}}
     158
     159== Heterogeneous Lists ==
     160
     161The overloaded lists extension as, implemented above, would not be able to be used on heterogeneous lists, for example, as implemented below:
     162
     163{{{
     164
     165data HList :: [*] -> * where
     166    HNil :: HList '[]
     167    HCons :: a -> HList xs -> HList (a ': xs)
     168
     169}}}
     170
     171This is a bit disappointing. However, I'm not really sure how you could make this extension.