Changes between Version 54 and Version 55 of DataParallel/ClosureConversion/ClassLess


Ignore:
Timestamp:
May 1, 2007 8:11:14 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DataParallel/ClosureConversion/ClassLess

    v54 v55  
    115115}}} 
    116116 
     117 
    117118=== Conversions === 
     119 
     120==== Rules ==== 
    118121 
    119122To perform the actual conversion of values of a type `t::*`, we generate a conversion `iso<t>` of type `t :<->: t^` as follows: 
     
    135138}}} 
    136139 
     140==== Examples ==== 
     141 
     142Here some example conversions: 
     143{{{ 
     144iso<Int -> Int>     = isoArr isoInt isoInt 
     145iso<Int -> Int#>    = id :<->: id 
     146iso<[a -> a]>       = isoList (isoArr (id :<->: id)  
     147                                      (id :<->: id)) 
     148iso<f (Int -> Int)> = (\_ -> (id :<->: id)) 
     149                        (isoArr isoInt isoInt) 
     150                    = id :<-> id 
     151}}} 
    137152 
    138153=== Converting type declarations ===