24 Nov
2008
24 Nov
'08
6:56 p.m.
static transformations of dynamic geometry. dynamic transformation of static geometry and dynamic transformation of dynamic geometry. And the corresponding three additional instances for 2D geometry. All six would be very useful.
Implementing just the dynamic transformation of dynamic geometry seems to work out best. instance Transform xf a => Transform (Behavior xf) (Behavior a) where (*%) = liftA2 (*%) With the other instances, GHC complains about ambiguities, and it's easy enough to pull either side up into the dynamic realm. Thanks, Greg