- Generics - Haskell.org

patch applied (generics): Use crushRight1 instead of foldr in RepLib
by Alexey Rodriguez Yakushev 19 Mar '08

19 Mar '08

Wed Mar 19 05:58:23 PDT 2008 Alexey Rodriguez <mrchebas(a)gmail.com> * Use crushRight1 instead of foldr in RepLib M ./comparison/RepLib/CrushRight.lhs -5 +9

1 0

patch applied (generics): More documentation on GShowExt.lhs in EMGM
by Alexey Rodriguez Yakushev 19 Mar '08

19 Mar '08

Wed Mar 19 03:51:06 PDT 2008 Alexey Rodriguez <mrchebas(a)gmail.com> * More documentation on GShowExt.lhs in EMGM M ./comparison/EMGM/GShowExt.lhs -6 +7

1 0

patch applied (generics): Demoting GShow to literally satisfy the GShow tests.
by Oleg Kiselyov 19 Mar '08

19 Mar '08

Tue Mar 18 17:30:55 PDT 2008 oleg(a)okmij.org * Demoting GShow to literally satisfy the GShow tests. M ./comparison/SmashA/GShow.hs -2 +28 A ./comparison/SmashA/GShowExt.hs

1 0

patch applied (generics): RepLib: BinTreeReps added
by Alexey Rodriguez Yakushev 18 Mar '08

18 Mar '08

Tue Mar 18 07:27:29 PDT 2008 Alexey Rodriguez <mrchebas(a)gmail.com> * RepLib: BinTreeReps added A ./comparison/RepLib/BinTreeReps.hs

1 0

patch applied (generics): Ad-hoc cases with SYB-style combinators and with type-classes for RepLib
by Alexey Rodriguez Yakushev 18 Mar '08

18 Mar '08

Tue Mar 18 07:20:55 PDT 2008 Alexey Rodriguez <mrchebas(a)gmail.com> * Ad-hoc cases with SYB-style combinators and with type-classes for RepLib M ./comparison/RepLib/FoldTree.lhs -6 +42

1 0

patch applied (generics): Completed Uniplate tests.
by Alexey Rodriguez Yakushev 18 Mar '08

18 Mar '08

Thu Mar 13 09:00:32 PDT 2008 alex(a)cs.uu.nl * Completed Uniplate tests. A ./comparison/Uniplate/CrushRight.lhs M ./comparison/Uniplate/FoldTree.lhs +3 A ./comparison/Uniplate/FullTree.lhs A ./comparison/Uniplate/GEq.lhs M ./comparison/Uniplate/GShow.lhs -1 +10 M ./comparison/Uniplate/Paradise.lhs -5 +3

1 0

patch applied (generics): Spine corrections
by Alexey Rodriguez Yakushev 18 Mar '08

18 Mar '08

Tue Mar 18 05:43:59 PDT 2008 alex(a)cs.uu.nl * Spine corrections M ./comparison/Spine/CrushRight.lhs -12 +12 M ./comparison/Spine/FoldTree.lhs -1 +1 A ./comparison/Spine/GZipWith.lhs M ./comparison/Spine/Paradise.lhs -2 +2 M ./comparison/Spine/SYB1.hs -1 +19

1 0

patch applied (generics): GMapQ1 test for RepLib.
by Alexey Rodriguez Yakushev 18 Mar '08

18 Mar '08

Mon Mar 17 11:03:26 PDT 2008 Alexey Rodriguez <mrchebas(a)gmail.com> * GMapQ1 test for RepLib. M ./comparison/RepLib/GShow.lhs -14 +12

1 0

patch applied (generics): TestGEqNGRose also works. It was tough. It seems it is possible to specify local explicit universal quantification in type-class constraints. So, constraints can indeed be higher-rank. So, am I done with all examples?
by Oleg Kiselyov 18 Mar '08

18 Mar '08

Mon Mar 17 23:05:47 PDT 2008 oleg(a)okmij.org * TestGEqNGRose also works. It was tough. It seems it is possible to specify local explicit universal quantification in type-class constraints. So, constraints can indeed be higher-rank. So, am I done with all examples? M ./comparison/SmashA/GEq.hs -3 +3 A ./comparison/SmashA/NGRoseDats.hs

1 0

patch applied (generics): Removed rests of LIGD-style CrushRight from RepLib
by Alexey Rodriguez Yakushev 17 Mar '08

17 Mar '08

Mon Mar 17 05:54:01 PDT 2008 Alexey Rodriguez <mrchebas(a)gmail.com> * Removed rests of LIGD-style CrushRight from RepLib M ./comparison/RepLib/CrushRight.lhs -55

1 0