Module type Eliom_shared_sigs.S

module type S = sig .. end

type 'a t 
type 'a sv 
val const : 'a -> 'a t
val value : 'a t -> 'a sv
val map : ?eq:('b -> 'b -> bool) sv ->
('a -> 'b) sv ->
'a t -> 'b t
val fmap : ?eq:('b -> 'b -> bool) sv ->
('a -> 'b option) sv ->
'b sv ->
'a t -> 'b t
val merge : ?eq:('a -> 'a -> bool) sv ->
('a -> 'b -> 'a) sv ->
'a -> 'b t list -> 'a t
val l2 : ?eq:('c -> 'c -> bool) sv ->
('a -> 'b -> 'c) sv ->
'a t ->
'b t -> 'c t
val l3 : ?eq:('d -> 'd -> bool) sv ->
('a -> 'b -> 'c -> 'd) sv ->
'a t ->
'b t ->
'c t -> 'd t
val l4 : ?eq:('e -> 'e -> bool) sv ->
('a -> 'b -> 'c -> 'd -> 'e) sv ->
'a t ->
'b t ->
'c t ->
'd t -> 'e t
val l5 : ?eq:('f -> 'f -> bool) sv ->
('a -> 'b -> 'c -> 'd -> 'e -> 'f) sv ->
'a t ->
'b t ->
'c t ->
'd t ->
'e t -> 'f t
val l6 : ?eq:('g -> 'g -> bool) sv ->
('a -> 'b -> 'c -> 'd -> 'e -> 'f -> 'g) sv ->
'a t ->
'b t ->
'c t ->
'd t ->
'e t ->
'f t -> 'g t
val switch : ?eq:('a -> 'a -> bool) sv ->
'a t t -> 'a t
module Infix: sig .. end

Infix operators

module Lwt: sig .. end

Cooperative versions of the React operators