The instances would get added to the reactive-fieldtrip package.  That package is currently very small, but I anticipate lots of goodies going in that relate to the combined use of Reactive and FieldTrip.

On Mon, Nov 24, 2008 at 11:18 AM, Conal Elliott <conal@conal.net> wrote:
Hi Greg,

I don't think anyone has implemented an instance for static transformations of dynamic geometry.  Ought to be easy, though.  Also 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.

So I don't forget, would you please submit a ticket to either http://trac.haskell.org/reactive or http://trac.haskell.org/FieldTrip ?

You might also enjoy adding these instances yourself.  Patches are very welcome.

Thanks,  - Conal


On Mon, Nov 24, 2008 at 10:27 AM, Greg Fitzgerald <garious@gmail.com> wrote:
Should it be possible to write this:

spinningTorusPair :: Double -> Behavior Geometry3
spinningTorusPair sz = uscale3 sz *% spinningG torusPair

Instead of this:

spinningTorusPair :: Double -> Behavior Geometry3
spinningTorusPair sz = (uscale3 sz *%) <$> spinningG torusPair


That is, should a Behavior of something transformable be an instance
of Transform as well?  Has anyone tried to implement this instance?

Thanks,
Greg
_______________________________________________
Reactive mailing list
Reactive@haskell.org
http://www.haskell.org/mailman/listinfo/reactive