<div dir="ltr">This package is geared toward your specific question.<br><br><a href="https://hackage.haskell.org/package/TypeCompose">https://hackage.haskell.org/package/TypeCompose</a><br></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Mar 24, 2015 at 7:02 AM, martin <span dir="ltr"><<a href="mailto:martin.drautzburg@web.de" target="_blank">martin.drautzburg@web.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello all,<br>
<br>
I've been playing with temporal values, i.e. values which change over time at discrete points in time. I thought it<br>
would be good to make it an instance of Applicative and I was pleased with the results. I may be re-inventing some of<br>
frp here, but hey.<br>
<br>
Then I wondered how I would replace one Temporal by another at some point in time. Kind of like switching from summer<br>
schedule to winter schedule. Or switching channels on the TV, where each channel is a Temporal Image.<br>
<br>
It seems that by stacking up Temporals in this way, I could theoretically start with sample values and abstract my way<br>
up to a symphony. What is unclear to me is the following: when I have two Temporal Ints, I know what (+) <$> does. It<br>
operates on the Ints. But when I have Temporal Temporal Ints, then the function before the <$> would operate on the next<br>
level, i.e. it has to be a function which accepts a Temporal.<br>
<br>
But a Temporal Temporal Int can always be flattened into a Temporal Int. So I may just as well ask to apply a function<br>
to the bottom level, namely the Ints.<br>
<br>
How to I choose how deep down I want to reach? And any other guidance will also be much appreciated.<br>
<span class="HOEnZb"><font color="#888888"><br>
Martin<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
</font></span></blockquote></div><br></div>