Module type `Eliom_shared_sigs.S`

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