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