copy.mli (2086B)
1 2 (* Transfer a file from one replica to the other *) 3 val file : 4 Common.root (* root of source *) 5 -> Path.local (* path of source *) 6 -> Common.root (* root of target *) 7 -> Fspath.t (* fspath of target *) 8 -> Path.local (* path of target (temp location) *) 9 -> Path.local (* path of "real" (original) target *) 10 -> [`Update of (Uutil.Filesize.t * Uutil.Filesize.t) | `Copy] 11 -> Props.t (* permissions for new file *) 12 -> Os.fullfingerprint (* fingerprint of file *) 13 -> Fileinfo.stamp option (* source file stamp, if available *) 14 -> Osx.ressStamp (* resource info of file *) 15 -> Uutil.File.t (* file's index in UI (for progress bars) *) 16 -> Fileinfo.basic Lwt.t (* information regarding the transferred file *) 17 18 val localFile : 19 Fspath.t (* fspath of source *) 20 -> Path.local (* path of source *) 21 -> Fspath.t (* fspath of target *) 22 -> Path.local (* path of target *) 23 -> Path.local (* path of "real" [original] target *) 24 -> [`Update of (Uutil.Filesize.t * Uutil.Filesize.t) | `Copy] 25 -> Props.t (* permissions for new file *) 26 -> Uutil.Filesize.t (* fork length *) 27 -> Uutil.File.t option (* file's index in UI (for progress bars), if appropriate *) 28 -> unit 29 30 val recursively : 31 Fspath.t (* fspath of source *) 32 -> Path.local (* path of source *) 33 -> Fspath.t (* fspath of target *) 34 -> Path.local (* path of target *) 35 -> unit 36 37 val readPropsExtData : 38 Common.root (* root of source *) 39 -> Path.local (* path of source *) 40 -> Props.t (* props of source *) 41 -> Props.x Lwt.t (* props with all ext data included *) 42 43 val readPropsExtDataG : 44 Common.root (* root of source *) 45 -> Path.t (* path of source *) 46 -> Props.t (* props of source *) 47 -> (Path.local option * Props.x) Lwt.t (* props with all ext data included 48 and path translated to local path *)