Hi all,
dynApp allows to apply a Dynamic function to a Dynamic argument:
dynApp :: Dynamic -> Dynamic -> Dynamic
I don't seem to find a way (without modifying Data.Dynamic itself) to
code this function
import Data.Typeable
import Data.Dynamic
import Data.Foldable
dynApp1 :: (Typeable1 container, Foldable container) => Dynamic ->
container Dynamic -> Dynamic
dynApp1
f -- originally of type :: container a -> b
val --- all its values _must_ have type :: b
-- I get stuck when trying to transform val to type Dynamic (transform
:: container Dynamic -> Dynamic) in order to apply f
nor even the more concrete case of lists
dynAppList :: Dynamic -> [Dynamic] -> Dynamic
Any suggestions?
Thanks,
Fons
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
