Module Op.CopySource

File copy.

File copy

Sourcetype t

The type for file copies.

Sourceval v_op : id:id -> mark:mark -> created:B0_std.Mtime.span -> ?post_exec:(op -> unit) -> ?k:(op -> unit) -> mode:int -> linenum:int option -> src:B0_std.Fpath.t -> B0_std.Fpath.t -> op

v declares a file copy operation, see the corresponding accessors for the semantics of various arguments.

Sourceval v : src:B0_std.Fpath.t -> dst:B0_std.Fpath.t -> mode:int -> linenum:int option -> t

v constructs a bare copy operation.

Sourceval get : op -> t

get o is the copy operation o. Raises Invalid_argument if o is not a copy.

Sourceval src : t -> B0_std.Fpath.t

src c is the file read for the copy.

Sourceval dst : t -> B0_std.Fpath.t

dst c is the written by the copy.

Sourceval mode : t -> int

mode c is the mode of the file written by the copy.

Sourceval linenum : t -> int option

linenum c is the linumber directive to write at the begining of the destination file (if any).