package b0

  1. Overview
  2. Docs
Software construction and deployment kit

Install

dune-project
 Dependency

Authors

Maintainers

Sources

b0-0.0.6.tbz
sha512=e9aa779e66c08fc763019f16d4706f465d16c05d6400b58fbd0313317ef33ddea51952e2b058db28e65f7ddb7012f328c8bf02d8f1da17bb543348541a2587f0

doc/b0.memo/B0_zero/Op/Delete/index.html

Module Op.DeleteSource

Path deletion.

Path deletion

Sourcetype t

The type for path deletion operations.

Sourceval 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.

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

make constructs a bare deletion operation.

Sourceval get : op -> t

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

Sourceval path : t -> B0_std.Fpath.t

path d is the path to delete.

On This Page
  1. Path deletion