On Fri, Mar 8, 2013 at 10:43 AM, Philippe Veber <philippe.veber@gmail.com> wrote:
Dear functional-reactive camlers,
In order to change the dependencies between signals dynamically, one can use the switch function whose type is:
utop $ React.S.switch;;
- : ?eq:('a -> 'a -> bool) -> 'a React.signal -> 'a React.signal React.event -> 'a React.signal = <fun>
However I often find myself wanting to write signals of signals, and I wrote the following definition to cope with them:
val bind_s : 'a React.signal -> ('a -> 'b React.signal) -> 'b"Bind" is the basic building block of the Froc library:val bind :?eq:('a -> 'a -> bool) ->'b Froc.behavior ->('b -> 'a Froc.behavior) -> 'a Froc.behaviorI know I'm not answering your question...