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 ===