unison

Fork of Unison, a bi-directional file synchronization tool
git clone git://git.laack.co/unison.git
Log | Files | Refs | README | LICENSE

watchercommon.mli (793B)


      1 
      2 val debug : bool ref
      3 
      4 val error : string -> 'a
      5 val format_exc : exn -> string
      6 
      7 exception Already_lost
      8 
      9 module StringMap : Map.S with type key = string
     10 
     11 module F (M : sig type watch end) : sig
     12 
     13   type t
     14 
     15   val get_id : t -> int
     16   val get_watch : t -> M.watch option
     17   val set_watch : t -> M.watch option -> unit
     18   val get_subdirs : t -> t StringMap.t
     19   val is_root : t -> bool
     20 
     21   val file_by_id : (int, t) Hashtbl.t
     22   val dir_path : t -> string -> string
     23 
     24   val signal_change :
     25     float -> t -> string option -> [> `CREAT | `DEL ] -> unit
     26   val signal_overflow : unit -> unit
     27 
     28   module type S = sig
     29     val add_watch : string -> t -> bool -> unit
     30     val release_watch : t -> unit
     31     val watch : unit -> unit
     32     val clear_event_memory : unit -> unit
     33   end
     34 
     35   module F (M :S) : sig end
     36 
     37 end