[reactive] Transforming Behaviors

Greg Fitzgerald garious at gmail.com
Mon Nov 24 18:56:02 EST 2008

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


More information about the Reactive mailing list