Read (u.db754b27fa8234b46c062afc5e87d455.b0.0.0.5.doc.b0.b00.B000.Op.Read)

File reads

Sourcetype t

The type for file read operations.

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

v_op declares a file read operation, see the corresponding accessors for the semantics of the various arguments.

Sourceval v : file:B0_std.Fpath.t -> data:string -> t

v constructs a bare read operation.

Sourceval get : op -> t

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

Sourceval file : t -> B0_std.Fpath.t

file r is the file read by r.

Sourceval data : t -> string

data r is the read data.

Sourceval set_data : t -> string -> unit

set_data r d sets the read data to d.

Sourceval discard_data : t -> unit

discard_data () discards read data.