File writes.
val v_op :
id:id ->
mark:mark ->
created:B00_std.Time.span ->
?post_exec:(op -> unit) ->
?k:(op -> unit) ->
stamp:string ->
reads:B00_std.Fpath.t list ->
mode:int ->
write:B00_std.Fpath.t ->
(unit -> (string, string) result) ->
opwrite declares a file write operations, see the corresponding accessors for the semantics of the various arguments.
val v :
stamp:string ->
mode:int ->
file:B00_std.Fpath.t ->
data:(unit -> (string, string) result) ->
tv constructs a bare write operation.
geo o is the write o. Raises Invalid_argument if o is not a write.
val stamp : t -> stringstamp w is the file write stamp used for caching.
val mode : t -> intint w is the mode of the file written by w.
val file : t -> B00_std.Fpath.tfile w is the file written by w.
data w invokes and discards the write data function. If the write data function raises this is turned into an Error _.
val discard_data : t -> unitdiscard_data w discards the write data function.