Module Op.Read

File reads.

File reads

type t

The type for file read 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 file read operation, see the corresponding accessors for the semantics of the various arguments.

val make : file:B0_std.Fpath.t -> data:string -> t

make constructs a bare read operation.

val get : op -> t

get o is the read o. Raise Invalid_argument if o is not a read.

val file : t -> B0_std.Fpath.t

file r is the file read by r.

val data : t -> string

data r is the read data.

val set_data : t -> string -> unit

set_data r d sets the read data to d.

val discard_data : t -> unit

discard_data () discards read data.