Module Op.Delete

Path deletion.

Path deletion

type t

The type for path deletion operations.

val make_op : id:id -> mark:mark -> created:B0_std.Mtime.Span.t -> ?post_exec:(op -> unit) -> ?k:(op -> unit) -> B0_std.Fpath.t -> op

make_op declares a path deletion operation, see the corresponding accessors for the semantics of the various arguments.

val make : path:B0_std.Fpath.t -> t

make constructs a bare deletion operation.

val get : op -> t

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

val path : t -> B0_std.Fpath.t

path d is the path to delete.