Module Ketrew_pure.Reactive.Signal

module Signal: sig .. end

type 'a t = 'a Ketrew_pure.Reactive.signal 

val map : 'a t ->
       f:('a -> 'b) -> 'b t

val bind : 'a t ->
       f:('a -> 'b t) ->
       'b t

val constant : 'a -> 'a t

val value : 'a t -> 'a

val singleton : 'a t -> 'a Ketrew_pure.Reactive.signal_list_wrap

val list : 'a list t ->
       'a Ketrew_pure.Reactive.signal_list_wrap

val tuple_2 : 'a t ->
       'b t -> ('a * 'b) t

val tuple_3 : 'a t ->
       'b t ->
       'c t ->
       ('a * 'b * 'c) t