Changes between Version 9 and Version 10 of ExtensibleRecords


Ignore:
Timestamp:
Nov 12, 2007 2:03:20 PM (6 years ago)
Author:
claus
Comment:

add link to current version of Data.Record.hs

Legend:

Unmodified
Added
Removed
Modified
  • ExtensibleRecords

    v9 v10  
    1212 * [http://homepage.ntlworld.com/b.hilken/files/Records.hs Type Families] 
    1313 * [http://homepages.cwi.nl/~ralf/HList/ Heterogeneous Collections], see also [http://okmij.org/ftp/Haskell/keyword-arguments.lhs Keyword Arguments] 
    14  * [http://hackage.haskell.org/trac/haskell-prime/attachment/ticket/92/Data.Record.hs Poor Man's Records] 
     14 * [http://www.cs.kent.ac.uk/people/staff/cr3/toolbox/haskell/Data.Record.hs Data.Record.hs], expanded and documented version of the old Haskell prime #92 attachment [http://hackage.haskell.org/trac/haskell-prime/attachment/ticket/92/Data.Record.hs Poor Man's Records] 
    1515 
    1616 
     
    6161 * {{{ (- L) :: Remove L a b => a -> b }}} 
    6262 * {{{ (+) :: Concat a b c => a -> b -> c }}} 
    63 The `Subrecord` predicate and `<-` operator could easily be added. The difference between '''Heterogeneous Collections''' and '''Poor Man's Records''' is that '''Poor Man's Records''' makes no attempt to sort labels or remove duplicates, so for example `{x = 3, y = 4}` and `{y = 4, x = 3}` have different types, so are certainly not equal. 
     63The `Subrecord` predicate and `<-` operator could easily be added. The difference between '''Heterogeneous Collections''' and '''Poor Man's Records''' is that '''Poor Man's Records''' makes no attempt to sort labels or remove duplicates, so for example `{x = 3, y = 4}` and `{y = 4, x = 3}` have different types, so are certainly not equal (the updated version of November 2007 supports record projection and permutation, among most other operations). 
    6464 
    6565