Read (b0.B0_zero.Op.Read)

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.