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

 I know I'm not answering your question...